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-4264277-1502291028/watcher-4264277-1502291028 -o /tmp/evaluation-result-4264277-1502291028/solver-4264277-1502291028 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502259076-7906 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264277-1502291028.xml
pid=15363
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15366/stat : 15366 (runsolver) D 15363 15366 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76918013 24240128 107 18446744073709551615 4194304 4338465 140737140359824 140737140357464 139950006530775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29597696 140737140363424 140737140363849 140737140363849 140737140367306 0
/proc/15366/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15366/stat : 15366 (runsolver) D 15363 15366 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76918013 24240128 107 18446744073709551615 4194304 4338465 140737140359824 140737140357464 139950006530775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29597696 140737140363424 140737140363849 140737140363849 140737140367306 0
/proc/15366/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.20022 s]
/proc/loadavg: 1.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=10551180 CPUtime=0.06 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 4888 0 0 0 5 1 0 0 20 0 15 0 76918013 10804408320 5920 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2637795 5920 2612 1 0 2627261 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551180
[startup+0.300816 s]
/proc/loadavg: 1.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=10551180 CPUtime=0.24 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 8766 0 0 0 22 2 0 0 20 0 15 0 76918013 10804408320 9098 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2637795 9098 2847 1 0 2627261 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.703816 s]
/proc/loadavg: 1.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=10621952 CPUtime=1.25 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 14222 0 0 0 120 5 0 0 20 0 16 0 76918013 10876878848 20981 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2655488 20981 3074 1 0 2644414 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15366 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800857 s]
/proc/loadavg: 1.88 1.78 1.89 2/200 15366
/proc/meminfo: memFree=31122080/32770624 swapFree=0/381464
[pid=15366] ppid=15363 vsize=10621952 CPUtime=1.61 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 14777 0 0 0 156 5 0 0 20 0 16 0 76918013 10876878848 25129 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2655488 25129 3083 1 0 2644414 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10621952
[startup+1.20865 s]
/proc/loadavg: 1.88 1.78 1.89 4/216 15382
/proc/meminfo: memFree=31000348/32770624 swapFree=0/381520
[pid=15366] ppid=15363 vsize=10624000 CPUtime=3.01 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 16683 0 0 0 294 7 0 0 20 0 16 0 76918013 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2656000 38648 3093 1 0 2644926 0
[pid=15366/tid=15368] ppid=15363 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15366/task/15368/stat : 15368 (java) S 15363 15366 1774 0 -1 1077944384 6202 0 0 0 19 2 0 0 20 0 16 0 76918024 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607923526832 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15369] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15369/stat : 15369 (java) S 15363 15366 1774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607849703824 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15370] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15370/stat : 15370 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607848651024 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15371] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15371/stat : 15371 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607847598736 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15372] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15372/stat : 15372 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607846545936 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15373] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15373/stat : 15373 (java) S 15363 15366 1774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 76918026 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607160830576 140607919295106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15374] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15374/stat : 15374 (java) S 15363 15366 1774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 76918026 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607159776544 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15375] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15375/stat : 15375 (java) S 15363 15366 1774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 76918027 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607158724208 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15376] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (java) S 15363 15366 1774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76918029 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607157672528 140607919302555 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15377] ppid=15363 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/15366/task/15377/stat : 15377 (java) R 15363 15366 1774 0 -1 1077944384 1917 0 0 0 67 0 0 0 20 0 16 0 76918029 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607156606160 140607919294165 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15378] ppid=15363 vsize=10624000 CPUtime=0.66 cores=0,2,4,6
/proc/15366/task/15378/stat : 15378 (java) R 15363 15366 1774 0 -1 4202560 1458 0 0 0 66 0 0 0 20 0 16 0 76918029 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607155566704 140607898530511 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15379] ppid=15363 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/15366/task/15379/stat : 15379 (java) R 15363 15366 1774 0 -1 4202560 2718 0 0 0 59 1 0 0 20 0 16 0 76918029 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607154514416 140607897652348 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15380] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15380/stat : 15380 (java) S 15363 15366 1774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76918029 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607153461728 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15381] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15381/stat : 15381 (java) S 15363 15366 1774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 76918033 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607152409520 140607919295106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15382] ppid=15363 vsize=10624000 CPUtime=0.83 cores=0,2,4,6
/proc/15366/task/15382/stat : 15382 (java) R 15363 15366 1774 0 -1 4202560 3020 0 0 0 81 2 0 0 20 0 16 0 76918050 10878976000 38648 18446744073709551615 4194304 4196468 140731578285216 140607149217344 140607521578055 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10624000
[startup+1.30086 s]
/proc/loadavg: 1.88 1.78 1.89 4/216 15382
/proc/meminfo: memFree=31000348/32770624 swapFree=0/381520
[pid=15366] ppid=15363 vsize=10624000 CPUtime=3.28 cores=0,2,4,6
/proc/15366/stat : 15366 (java) S 15363 15366 1774 0 -1 1077944320 16921 0 0 0 321 7 0 0 20 0 16 0 76918013 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140731578267760 140607919283959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
/proc/15366/statm: 2656000 41420 3096 1 0 2644926 0
[pid=15366/tid=15368] ppid=15363 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15366/task/15368/stat : 15368 (java) S 15363 15366 1774 0 -1 1077944384 6202 0 0 0 19 2 0 0 20 0 16 0 76918024 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607923526832 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15369] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15369/stat : 15369 (java) S 15363 15366 1774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607849703824 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15370] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15370/stat : 15370 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607848651024 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15371] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15371/stat : 15371 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607847598736 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15372] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15372/stat : 15372 (java) S 15363 15366 1774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 76918025 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607846545936 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15373] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15373/stat : 15373 (java) S 15363 15366 1774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 76918026 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607160830576 140607919295106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15374] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15374/stat : 15374 (java) S 15363 15366 1774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 76918026 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607159776544 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15375] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15375/stat : 15375 (java) S 15363 15366 1774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 76918027 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607158724208 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15376] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (java) S 15363 15366 1774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76918029 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607157672528 140607919302555 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15377] ppid=15363 vsize=10624000 CPUtime=0.74 cores=0,2,4,6
/proc/15366/task/15377/stat : 15377 (java) R 15363 15366 1774 0 -1 4202560 1934 0 0 0 74 0 0 0 20 0 16 0 76918029 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607156608064 140607897031384 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15378] ppid=15363 vsize=10624000 CPUtime=0.73 cores=0,2,4,6
/proc/15366/task/15378/stat : 15378 (java) R 15363 15366 1774 0 -1 4202560 1483 0 0 0 73 0 0 0 20 0 16 0 76918029 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607155556048 140607902782824 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15379] ppid=15363 vsize=10624000 CPUtime=0.64 cores=0,2,4,6
/proc/15366/task/15379/stat : 15379 (java) S 15363 15366 1774 0 -1 1077944384 2795 0 0 0 63 1 0 0 20 0 16 0 76918029 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607154514288 140607919295106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15380] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15380/stat : 15380 (java) S 15363 15366 1774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 76918029 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607153461728 140607919294165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15381] ppid=15363 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15381/stat : 15381 (java) S 15363 15366 1774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 76918033 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607152409520 140607919295106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
[pid=15366/tid=15382] ppid=15363 vsize=10624000 CPUtime=0.92 cores=0,2,4,6
/proc/15366/task/15382/stat : 15382 (java) R 15363 15366 1774 0 -1 4202560 3139 0 0 0 89 3 0 0 20 0 16 0 76918050 10878976000 41420 18446744073709551615 4194304 4196468 140731578285216 140607149218560 140607521799837 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16064512 140731578290637 140731578290766 140731578290766 140731578294223 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.36569
CPU time (s): 3.46826
CPU user time (s): 3.38022
CPU system time (s): 0.088047
CPU usage (%): 253.958
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.38022
system time used= 0.088047
maximum resident set size= 172340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1970
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009375 second user time and 0.010657 second system time
The end