runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481959-1307576598/watcher-3481959-1307576598 -o /tmp/evaluation-result-3481959-1307576598/solver-3481959-1307576598 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481959-1307576598.opb -seed 262160610 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 1.07 0.43 2/512 23225
/proc/meminfo: memFree=30506352/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (python) S 23223 23225 23050 0 -1 4202496 895 0 0 0 0 0 0 0 20 0 1 0 869257741 16150528 776 33554432000 4194304 5683644 140734399365024 18446744073709551615 271550535680 0 2147483391 16781312 2 18446744071699469502 0 0 17 1 0 0 0
/proc/23225/statm: 3943 776 343 364 0 430 0
[startup+0.0479111 s]
/proc/loadavg: 1.97 1.07 0.43 2/512 23225
/proc/meminfo: memFree=30506352/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/23225/stat : 23225 (python) R 23223 23225 23050 0 -1 4202496 1288 0 0 0 2 0 0 0 17 0 1 0 869257741 19337216 1140 33554432000 4194304 5683644 140734399365024 18446744073709551615 4865441 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23225/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100912 s]
/proc/loadavg: 1.97 1.07 0.43 2/512 23225
/proc/meminfo: memFree=30506352/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/23225/stat : 23225 (python) R 23223 23225 23050 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 869257741 87670784 2381 33554432000 4194304 5683644 140734399365024 18446744073709551615 271550535680 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/23225/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300889 s]
/proc/loadavg: 1.97 1.07 0.43 2/512 23225
/proc/meminfo: memFree=30506352/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/23225/stat : 23225 (python) R 23223 23225 23050 0 -1 4202496 5358 928 1 0 12 5 0 0 16 0 1 0 869257741 126709760 3745 33554432000 4194304 5683644 140734399365024 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23225/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.70082 s]
/proc/loadavg: 1.97 1.07 0.43 2/512 23225
/proc/meminfo: memFree=30506352/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=282536 CPUtime=0.44 cores=1,3,5,7
/proc/23225/stat : 23225 (python) S 23223 23225 23050 0 -1 4202496 9160 928 1 0 32 12 0 0 16 0 1 0 869257741 289316864 7012 33554432000 4194304 5683644 140734399365024 18446744073709551615 271550535680 0 2147483391 16781312 33554434 18446744071699469502 0 0 17 1 0 0 0
/proc/23225/statm: 70634 7012 1828 364 0 5527 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282536
Solver just ended. Dumping a history of the last processes samples
[startup+1.11767 s]
/proc/loadavg: 2.22 1.14 0.45 6/534 23251
/proc/meminfo: memFree=30459368/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=293220 CPUtime=0.46 cores=1,3,5,7
/proc/23225/stat : 23225 (python) S 23223 23225 23050 0 -1 4202496 9638 928 1 0 34 12 0 0 18 0 2 0 869257741 300257280 7146 33554432000 4194304 5683644 140734399365024 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23225/statm: 73305 7146 1862 364 0 8192 0
[pid=23231] ppid=23225 vsize=282976 CPUtime=0 cores=1,3,5,7
/proc/23231/stat : 23231 (python) S 23225 23225 23050 0 -1 4202560 851 0 0 0 0 0 0 0 16 0 1 0 869257813 289767424 5638 33554432000 4194304 5683644 140734399365024 18446744073709551615 271550557711 0 0 16781312 33554946 347542470055165952 0 0 17 3 0 0 0
/proc/23231/statm: 70744 5638 358 364 0 5631 0
[pid=23233] ppid=23231 vsize=8537116 CPUtime=0.76 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23231 23233 23233 0 -1 4202496 12006 0 1 0 74 2 0 0 19 0 19 0 869257814 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23233/statm: 2134279 9769 2208 9 0 2125020 0
[pid=23233/tid=23234] ppid=23231 vsize=8537116 CPUtime=0.35 cores=1,3,5,7
/proc/23233/task/23234/stat : 23234 (java) R 23231 23233 23233 0 -1 4202560 5980 0 1 0 34 1 0 0 25 0 19 0 869257814 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 46912505563879 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23233/tid=23235] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23235/stat : 23235 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23236] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23237] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23238] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23239] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23240] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23240/stat : 23240 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23241] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23242] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23242/stat : 23242 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23243] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23243/stat : 23243 (java) S 23231 23233 23233 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869257816 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 0 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23244] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23244/stat : 23244 (java) S 23231 23233 23233 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 869257816 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 7 0 0 0
[pid=23233/tid=23245] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869257816 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23246] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23246/stat : 23246 (java) S 23231 23233 23233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869257818 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562361265 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23247] ppid=23231 vsize=8537116 CPUtime=0.2 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23231 23233 23233 0 -1 4202560 3130 0 0 0 20 0 0 0 21 0 19 0 869257818 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23248] ppid=23231 vsize=8537116 CPUtime=0.18 cores=1,3,5,7
/proc/23233/task/23248/stat : 23248 (java) S 23231 23233 23233 0 -1 4202560 1511 0 0 0 18 0 0 0 17 0 19 0 869257818 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23249] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23249/stat : 23249 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257818 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23250] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869257818 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 4 0 16800975 18446604470463878400 0 0 -1 5 0 0 0
[pid=23233/tid=23251] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869257833 8742006784 9769 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23225/tid=23232] ppid=23223 vsize=293220 CPUtime=0 cores=1,3,5,7
/proc/23225/task/23232/stat : 23232 (python) S 23223 23225 23050 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869257813 300257280 7146 33554432000 4194304 5683644 140734399365024 18446744073709551615 271562361265 0 0 16781312 33554434 18446604467278542848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9113312
[startup+1.30164 s]
/proc/loadavg: 2.22 1.14 0.45 6/534 23251
/proc/meminfo: memFree=30459368/32951124 swapFree=55639044/67111528
[pid=23225] ppid=23223 vsize=293220 CPUtime=0.46 cores=1,3,5,7
/proc/23225/stat : 23225 (python) S 23223 23225 23050 0 -1 4202496 9638 928 1 0 34 12 0 0 18 0 2 0 869257741 300257280 7146 33554432000 4194304 5683644 140734399365024 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23225/statm: 73305 7146 1862 364 0 8192 0
[pid=23231] ppid=23225 vsize=282976 CPUtime=0 cores=1,3,5,7
/proc/23231/stat : 23231 (python) S 23225 23225 23050 0 -1 4202560 851 0 0 0 0 0 0 0 16 0 1 0 869257813 289767424 5638 33554432000 4194304 5683644 140734399365024 18446744073709551615 271550557711 0 0 16781312 33554946 347542470055165952 0 0 17 3 0 0 0
/proc/23231/statm: 70744 5638 358 364 0 5631 0
[pid=23233] ppid=23231 vsize=8537116 CPUtime=1 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23231 23233 23233 0 -1 4202496 16300 0 1 0 98 2 0 0 19 0 19 0 869257814 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23233/statm: 2134279 14062 2213 9 0 2125020 0
[pid=23233/tid=23234] ppid=23231 vsize=8537116 CPUtime=0.54 cores=1,3,5,7
/proc/23233/task/23234/stat : 23234 (java) R 23231 23233 23233 0 -1 4202560 10260 0 1 0 52 2 0 0 25 0 19 0 869257814 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 46912505563887 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23233/tid=23235] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23235/stat : 23235 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23236] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23237] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23238] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23239] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23240] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23240/stat : 23240 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23241] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23242] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23242/stat : 23242 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869257815 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23243] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23243/stat : 23243 (java) S 23231 23233 23233 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 19 0 869257816 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 0 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23244] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23244/stat : 23244 (java) S 23231 23233 23233 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 869257816 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 7 0 0 0
[pid=23233/tid=23245] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869257816 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23246] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23246/stat : 23246 (java) S 23231 23233 23233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869257818 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562361265 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23247] ppid=23231 vsize=8537116 CPUtime=0.24 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23231 23233 23233 0 -1 4202560 3138 0 0 0 24 0 0 0 16 0 19 0 869257818 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23233/tid=23248] ppid=23231 vsize=8537116 CPUtime=0.2 cores=1,3,5,7
/proc/23233/task/23248/stat : 23248 (java) S 23231 23233 23233 0 -1 4202560 1513 0 0 0 20 0 0 0 15 0 19 0 869257818 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23249] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23249/stat : 23249 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869257818 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562353561 0 4 0 16800975 18446604470463878400 0 0 -1 1 0 0 0
[pid=23233/tid=23250] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869257818 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 4 0 16800975 18446604470463878400 0 0 -1 5 0 0 0
[pid=23233/tid=23251] ppid=23231 vsize=8537116 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869257833 8742006784 14062 33554432000 1073741824 1073778376 140735418053552 18446744073709551615 271562354176 0 4 0 16800975 18446604470463878400 0 0 -1 3 0 0 0
[pid=23225/tid=23232] ppid=23223 vsize=293220 CPUtime=0 cores=1,3,5,7
/proc/23225/task/23232/stat : 23232 (python) S 23223 23225 23050 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869257813 300257280 7146 33554432000 4194304 5683644 140734399365024 18446744073709551615 271562361265 0 0 16781312 33554434 18446604467278542848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9113312
Child status: 0
Real time (s): 1.33731
CPU time (s): 1.53377
CPU user time (s): 1.37179
CPU system time (s): 0.161975
CPU usage (%): 114.69
Max. virtual memory (cumulated for all children) (KiB): 9113312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37179
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32482
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3078
involuntary context switches= 58
runsolver used 0.008998 second user time and 0.025996 second system time
The end