runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4250219-1500768880/watcher-4250219-1500768880 -o /tmp/evaluation-result-4250219-1500768880/solver-4250219-1500768880 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500755887-22353 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4250219-1500768880.xml
pid=24446
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.71 1.78 1.84 3/262 24449
/proc/meminfo: memFree=29849028/32770624 swapFree=6820/908272
[pid=24449] ppid=24446 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 2061 0 0 0 0 0 0 0 20 0 2 0 12153097 8550137856 2329 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2087436 2329 1198 1 0 2076347 0
[pid=24449/tid=24450] ppid=24446 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) R 24446 24449 22322 0 -1 4202560 856 0 0 0 0 0 0 0 20 0 2 0 12153097 8550137856 2395 33554432000 4194304 4196468 140733873051872 140592398899616 140592386946976 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[startup+0.100158 s]
/proc/loadavg: 1.71 1.78 1.84 3/262 24449
/proc/meminfo: memFree=29849028/32770624 swapFree=6820/908272
[pid=24449] ppid=24446 vsize=10833892 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 4618 0 0 0 7 1 0 0 20 0 19 0 12153097 11093905408 5747 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2708473 5747 2596 1 0 2696911 0
[pid=24449/tid=24450] ppid=24446 vsize=10833892 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) D 24446 24449 22322 0 -1 1077944384 2731 0 0 0 6 0 0 0 20 0 19 0 12153097 11093905408 5747 33554432000 4194304 4196468 140733873051872 140592398894912 140592394681405 0 4 0 16800975 18446744072101641764 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10833892
[startup+0.200356 s]
/proc/loadavg: 1.71 1.78 1.84 3/262 24449
/proc/meminfo: memFree=29849028/32770624 swapFree=6820/908272
[pid=24449] ppid=24446 vsize=10900580 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 5912 0 0 0 19 1 0 0 20 0 20 0 12153097 11162193920 7492 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2725145 7492 2886 1 0 2713552 0
[pid=24449/tid=24450] ppid=24446 vsize=10900580 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) R 24446 24449 22322 0 -1 4202560 3277 0 0 0 13 0 0 0 20 0 20 0 12153097 11162193920 7492 33554432000 4194304 4196468 140733873051872 140592398886800 140592394669462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10900580
[startup+0.300309 s]
/proc/loadavg: 1.71 1.78 1.84 3/262 24449
/proc/meminfo: memFree=29849028/32770624 swapFree=6820/908272
[pid=24449] ppid=24446 vsize=10902664 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 8222 0 0 0 39 3 0 0 20 0 20 0 12153097 11164327936 11600 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2725666 11600 3003 1 0 2713552 0
[pid=24449/tid=24450] ppid=24446 vsize=10902664 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) R 24446 24449 22322 0 -1 4202560 5109 0 0 0 22 1 0 0 20 0 20 0 12153097 11164327936 11600 33554432000 4194304 4196468 140733873051872 140592398886592 140592378701157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10902664
[startup+0.700192 s]
/proc/loadavg: 1.71 1.78 1.84 3/262 24449
/proc/meminfo: memFree=29849028/32770624 swapFree=6820/908272
[pid=24449] ppid=24446 vsize=10971352 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 13129 0 0 0 137 6 0 0 20 0 21 0 12153097 11234664448 26604 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2742838 26604 3093 1 0 2730705 0
[pid=24449/tid=24450] ppid=24446 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) S 24446 24449 22322 0 -1 1077944384 5131 0 0 0 22 2 0 0 20 0 21 0 12153097 11234664448 26604 33554432000 4194304 4196468 140733873051872 140592398900400 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10971352
[startup+1.50075 s]
/proc/loadavg: 1.71 1.78 1.84 3/283 24470
/proc/meminfo: memFree=29638924/32770624 swapFree=6820/908812
[pid=24449] ppid=24446 vsize=10973400 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 15948 0 0 0 383 27 0 0 20 0 18 0 12153097 11236761600 63262 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2743350 63262 3154 1 0 2731217 0
[pid=24449/tid=24450] ppid=24446 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) D 24446 24449 22322 0 -1 4202560 5133 0 0 0 22 2 0 0 20 0 18 0 12153097 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592398900536 140592387343159 0 0 0 16800975 18446744072099691653 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24452] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24452/stat : 24452 (java) S 24446 24449 22322 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592336661520 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24453] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24453/stat : 24453 (java) S 24446 24449 22322 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592335608976 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24454] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24454/stat : 24454 (java) S 24446 24449 22322 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592334555920 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24455] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24455/stat : 24455 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592333503376 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24456] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24456/stat : 24456 (java) S 24446 24449 22322 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591997180432 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24457] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24457/stat : 24457 (java) S 24446 24449 22322 0 -1 1077944384 21 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591996127888 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24458] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24458/stat : 24458 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591995074832 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24459] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24459/stat : 24459 (java) S 24446 24449 22322 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591994022288 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24461] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24461/stat : 24461 (java) S 24446 24449 22322 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 12153101 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591936435872 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24462] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24462/stat : 24462 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 12153101 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591935382768 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24463] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24463/stat : 24463 (java) S 24446 24449 22322 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591934330096 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24464] ppid=24446 vsize=10973400 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24464/stat : 24464 (java) S 24446 24449 22322 0 -1 1077944384 1627 0 0 0 62 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591933265968 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24465] ppid=24446 vsize=10973400 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24465/stat : 24465 (java) S 24446 24449 22322 0 -1 1077944384 1150 0 0 0 62 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591932206304 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24466] ppid=24446 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24466/stat : 24466 (java) S 24446 24449 22322 0 -1 1077944384 1379 0 0 0 59 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591931152000 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24467] ppid=24446 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24467/stat : 24467 (java) S 24446 24449 22322 0 -1 1077944384 2110 0 0 0 58 1 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591862114416 140592394668674 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24468] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24468/stat : 24468 (java) S 24446 24449 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591861062624 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24449 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50075 s]
/proc/loadavg: 1.71 1.78 1.84 3/283 24470
/proc/meminfo: memFree=29638924/32770624 swapFree=6820/908812
[pid=24449] ppid=24446 vsize=10973400 CPUtime=4.1 cores=0,2,4,6,8,10,12,14
/proc/24449/stat : 24449 (java) S 24446 24449 22322 0 -1 1077944320 15948 0 0 0 383 27 0 0 20 0 18 0 12153097 11236761600 63262 33554432000 4194304 4196468 140733873051872 140733873034416 140592394657527 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
/proc/24449/statm: 2743350 63262 3154 1 0 2731217 0
[pid=24449/tid=24450] ppid=24446 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24450/stat : 24450 (java) D 24446 24449 22322 0 -1 4202560 5133 0 0 0 22 2 0 0 20 0 18 0 12153097 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592398900536 140592387343159 0 0 0 16800975 18446744072099691653 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24452] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24452/stat : 24452 (java) S 24446 24449 22322 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592336661520 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24453] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24453/stat : 24453 (java) S 24446 24449 22322 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592335608976 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24454] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24454/stat : 24454 (java) S 24446 24449 22322 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592334555920 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24455] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24455/stat : 24455 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140592333503376 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24456] ppid=24446 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24456/stat : 24456 (java) S 24446 24449 22322 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591997180432 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24457] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24457/stat : 24457 (java) S 24446 24449 22322 0 -1 1077944384 21 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591996127888 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24458] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24458/stat : 24458 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591995074832 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24459] ppid=24446 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24459/stat : 24459 (java) S 24446 24449 22322 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 18 0 12153098 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591994022288 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24461] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24461/stat : 24461 (java) S 24446 24449 22322 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 12153101 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591936435872 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24462] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24462/stat : 24462 (java) S 24446 24449 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 12153101 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591935382768 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24463] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24463/stat : 24463 (java) S 24446 24449 22322 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591934330096 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24464] ppid=24446 vsize=10973400 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24464/stat : 24464 (java) S 24446 24449 22322 0 -1 1077944384 1627 0 0 0 62 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591933265968 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24465] ppid=24446 vsize=10973400 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24465/stat : 24465 (java) S 24446 24449 22322 0 -1 1077944384 1150 0 0 0 62 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591932206304 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24466] ppid=24446 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24466/stat : 24466 (java) S 24446 24449 22322 0 -1 1077944384 1379 0 0 0 59 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591931152000 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24467] ppid=24446 vsize=10973400 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24467/stat : 24467 (java) S 24446 24449 22322 0 -1 1077944384 2110 0 0 0 58 1 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591862114416 140592394668674 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
[pid=24449/tid=24468] ppid=24446 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24449/task/24468/stat : 24468 (java) S 24446 24449 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 12153105 11236761600 63262 33554432000 4194304 4196468 140733873051872 140591861062624 140592394667733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20533248 140733873054915 140733873055044 140733873055044 140733873057743 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.53724
CPU time (s): 4.12002
CPU user time (s): 3.83639
CPU system time (s): 0.28363
CPU usage (%): 268.015
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.83639
system time used= 0.28363
maximum resident set size= 253728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3114
involuntary context switches= 364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015367 second user time and 0.017731 second system time
The end