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-4257472-1501660538/watcher-4257472-1501660538 -o /tmp/evaluation-result-4257472-1501660538/solver-4257472-1501660538 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6627 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257472-1501660538.xml
pid=23741
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23744/stat : 23744 (runsolver) D 23741 23744 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13559570 24240128 108 18446744073709551615 4194304 4338465 140736536063440 140736536061080 139944087982807 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12316672 140736536072352 140736536072774 140736536072774 140736536076234 0
/proc/23744/statm: 5918 108 54 36 0 2156 0
[startup+0.107895 s]
/proc/loadavg: 1.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=9936560 CPUtime=0.01 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 3557 0 0 0 1 0 0 0 20 0 6 0 13559570 10175037440 4756 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2484140 4756 1915 1 0 2473645 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9936560
[startup+0.200232 s]
/proc/loadavg: 1.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=10551180 CPUtime=0.07 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 4923 0 0 0 6 1 0 0 20 0 15 0 13559570 10804408320 6429 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2637795 6429 2665 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551180
[startup+0.300328 s]
/proc/loadavg: 1.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=10551180 CPUtime=0.24 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 8879 0 0 0 22 2 0 0 20 0 15 0 13559570 10804408320 9728 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2637795 9728 2886 1 0 2627269 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.700158 s]
/proc/loadavg: 1.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=10622976 CPUtime=1.29 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 14450 0 0 0 124 5 0 0 20 0 16 0 13559570 10877927424 21811 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2655488 21811 3067 1 0 2644422 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 10622976
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800892 s]
/proc/loadavg: 1.98 2.01 1.97 3/198 23744
/proc/meminfo: memFree=26041544/32770624 swapFree=0/336432
[pid=23744] ppid=23741 vsize=10621952 CPUtime=1.66 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 15096 0 0 0 160 6 0 0 20 0 16 0 13559570 10876878848 25464 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2655488 25464 3086 1 0 2644422 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10621952
[startup+1.20989 s]
/proc/loadavg: 1.98 2.01 1.97 6/214 23760
/proc/meminfo: memFree=25919532/32770624 swapFree=0/336648
[pid=23744] ppid=23741 vsize=10624000 CPUtime=2.97 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 18304 0 0 0 289 8 0 0 20 0 16 0 13559570 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2656000 34246 3101 1 0 2644934 0
[pid=23744/tid=23746] ppid=23741 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) S 23741 23744 5234 0 -1 1077944384 6184 0 0 0 19 2 0 0 20 0 16 0 13559579 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131816823984 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23747] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131769547920 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23748] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23741 23744 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131768495120 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23749] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131767442320 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23750] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23741 23744 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131766389520 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23751] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23741 23744 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13559581 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131376388464 140131812592258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23752] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23741 23744 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13559581 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131375334432 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23753] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23741 23744 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13559582 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131374281584 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23754] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23741 23744 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13559584 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131373229904 140131812599707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23755] ppid=23741 vsize=10624000 CPUtime=0.6 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) R 23741 23744 5234 0 -1 4202560 1647 0 0 0 60 0 0 0 20 0 16 0 13559584 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131372164168 140131792274174 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23756] ppid=23741 vsize=10624000 CPUtime=0.68 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) R 23741 23744 5234 0 -1 4202560 1753 0 0 0 68 0 0 0 20 0 16 0 13559584 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131371115280 140131793760828 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23757] ppid=23741 vsize=10624000 CPUtime=0.59 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23741 23744 5234 0 -1 1077944384 2577 0 0 0 59 0 0 0 20 0 16 0 13559584 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131370072688 140131812592258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23758] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23741 23744 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13559584 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131369020128 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23759] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559589 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131367967408 140131812592258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23760] ppid=23741 vsize=10624000 CPUtime=0.84 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) R 23741 23744 5234 0 -1 4202560 4775 0 0 0 81 3 0 0 20 0 16 0 13559606 10878976000 34246 18446744073709551615 4194304 4196468 140728255963856 140131364775216 140131446013314 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10624000
[startup+1.30094 s]
/proc/loadavg: 1.98 2.01 1.97 6/214 23760
/proc/meminfo: memFree=25919532/32770624 swapFree=0/336648
[pid=23744] ppid=23741 vsize=10624000 CPUtime=3.25 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23741 23744 5234 0 -1 1077944320 18731 0 0 0 317 8 0 0 20 0 16 0 13559570 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140728255946400 140131812581111 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
/proc/23744/statm: 2656000 35186 3101 1 0 2644934 0
[pid=23744/tid=23746] ppid=23741 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) S 23741 23744 5234 0 -1 1077944384 6184 0 0 0 19 2 0 0 20 0 16 0 13559579 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131816823984 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23747] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131769547920 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23748] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23741 23744 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131768495120 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23749] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131767442320 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23750] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23741 23744 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13559580 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131766389520 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23751] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23741 23744 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13559581 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131376388464 140131812592258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23752] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23741 23744 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13559581 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131375334432 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23753] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23741 23744 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13559582 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131374281584 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23754] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23741 23744 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13559584 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131373229904 140131812599707 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23755] ppid=23741 vsize=10624000 CPUtime=0.69 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) R 23741 23744 5234 0 -1 4202560 2003 0 0 0 69 0 0 0 20 0 16 0 13559584 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131372164704 140131796067125 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23756] ppid=23741 vsize=10624000 CPUtime=0.77 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) R 23741 23744 5234 0 -1 4202560 1773 0 0 0 77 0 0 0 20 0 16 0 13559584 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131371115280 140131791827893 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23757] ppid=23741 vsize=10624000 CPUtime=0.6 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) R 23741 23744 5234 0 -1 1077944384 2627 0 0 0 60 0 0 0 20 0 16 0 13559584 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131370072688 140131812592258 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23758] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23741 23744 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13559584 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131369020128 140131812591317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23759] ppid=23741 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23741 23744 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13559589 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131367967408 140131812592258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
[pid=23744/tid=23760] ppid=23741 vsize=10624000 CPUtime=0.93 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) R 23741 23744 5234 0 -1 4202560 4776 0 0 0 90 3 0 0 20 0 16 0 13559606 10878976000 35186 18446744073709551615 4194304 4196468 140728255963856 140131364775216 140131812593046 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13090816 140728255967690 140728255967819 140728255967819 140728255971279 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.32337
CPU time (s): 3.29167
CPU user time (s): 3.20114
CPU system time (s): 0.090531
CPU usage (%): 248.735
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20114
system time used= 0.090531
maximum resident set size= 143352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1962
involuntary context switches= 18
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007513 second user time and 0.01288 second system time
The end