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-4257533-1501646160/watcher-4257533-1501646160 -o /tmp/evaluation-result-4257533-1501646160/solver-4257533-1501646160 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27504 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257533-1501646160.xml
pid=32623
running on 4 cores: 0,2,4,6
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.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32626/stat : 32626 (runsolver) D 32623 32626 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13236239 24240128 106 18446744073709551615 4194304 4338465 140722998065344 140722998062984 139979372655319 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 34803712 140722998071455 140722998071878 140722998071878 140722998075338 0
/proc/32626/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=9936560 CPUtime=0 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 3348 0 0 0 0 0 0 0 20 0 6 0 13236239 10175037440 4558 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2484140 4558 1908 1 0 2473645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560
[startup+0.20484 s]
/proc/loadavg: 1.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=10551180 CPUtime=0.09 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 4907 0 0 0 8 1 0 0 20 0 15 0 13236239 10804408320 6910 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2637795 6910 2661 1 0 2627269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180
[startup+0.30025 s]
/proc/loadavg: 1.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=10553264 CPUtime=0.27 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 8530 0 0 0 25 2 0 0 20 0 15 0 13236239 10806542336 9825 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2638316 9825 2904 1 0 2627269 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10553264
[startup+0.701065 s]
/proc/loadavg: 1.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=10621952 CPUtime=1.13 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 12387 0 0 0 108 5 0 0 20 0 16 0 13236239 10876878848 18593 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2655488 18593 3069 1 0 2644422 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32626 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.802063 s]
/proc/loadavg: 1.81 1.82 1.92 2/195 32626
/proc/meminfo: memFree=31637768/32770624 swapFree=0/221332
[pid=32626] ppid=32623 vsize=10621952 CPUtime=1.46 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 13786 0 0 0 140 6 0 0 20 0 16 0 13236239 10876878848 23966 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2655488 23966 3073 1 0 2644422 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10621952
[startup+1.20682 s]
/proc/loadavg: 1.81 1.82 1.92 4/211 32642
/proc/meminfo: memFree=31542524/32770624 swapFree=0/221344
[pid=32626] ppid=32623 vsize=10624000 CPUtime=2.48 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 16407 0 0 0 241 7 0 0 20 0 16 0 13236239 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2656000 26460 3095 1 0 2644934 0
[pid=32626/tid=32628] ppid=32623 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/32626/task/32628/stat : 32628 (java) S 32623 32626 5131 0 -1 1077944384 5753 0 0 0 19 2 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118370639024 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32629] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32629/stat : 32629 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118296816528 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32630] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32630/stat : 32630 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118295763728 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32631] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32631/stat : 32631 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118294711440 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32632] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32632/stat : 32632 (java) S 32623 32626 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118293658640 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32633] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32633/stat : 32633 (java) S 32623 32626 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117862733936 140118366407298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32634] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32634/stat : 32634 (java) S 32623 32626 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117861679904 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32635] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32635/stat : 32635 (java) S 32623 32626 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117860627568 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32636] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32636/stat : 32636 (java) S 32623 32626 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117859575888 140118366414747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32637] ppid=32623 vsize=10624000 CPUtime=0.47 cores=0,2,4,6
/proc/32626/task/32637/stat : 32637 (java) S 32623 32626 5131 0 -1 1077944384 1440 0 0 0 47 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117858523760 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32638] ppid=32623 vsize=10624000 CPUtime=0.47 cores=0,2,4,6
/proc/32626/task/32638/stat : 32638 (java) S 32623 32626 5131 0 -1 1077944384 990 0 0 0 47 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117857470960 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32639] ppid=32623 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/32626/task/32639/stat : 32639 (java) S 32623 32626 5131 0 -1 1077944384 1903 0 0 0 43 1 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117856418672 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32640] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32640/stat : 32640 (java) S 32623 32626 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117855366112 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32641] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32641/stat : 32641 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236257 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117854312880 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32642] ppid=32623 vsize=10624000 CPUtime=0.86 cores=0,2,4,6
/proc/32626/task/32642/stat : 32642 (java) R 32623 32626 5131 0 -1 4202560 4953 0 0 0 83 3 0 0 20 0 16 0 13236274 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117851109184 140117960858169 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 10624000
[startup+1.30075 s]
/proc/loadavg: 1.81 1.82 1.92 4/211 32642
/proc/meminfo: memFree=31542524/32770624 swapFree=0/221344
[pid=32626] ppid=32623 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/32626/stat : 32626 (java) S 32623 32626 5131 0 -1 1077944320 16640 0 0 0 251 8 0 0 20 0 16 0 13236239 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140736813638080 140118366396151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
/proc/32626/statm: 2656000 26460 3095 1 0 2644934 0
[pid=32626/tid=32628] ppid=32623 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/32626/task/32628/stat : 32628 (java) S 32623 32626 5131 0 -1 1077944384 5753 0 0 0 19 2 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118370639024 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32629] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32629/stat : 32629 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118296816528 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32630] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32630/stat : 32630 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118295763728 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32631] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32631/stat : 32631 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118294711440 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32632] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32632/stat : 32632 (java) S 32623 32626 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13236248 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140118293658640 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32633] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32633/stat : 32633 (java) S 32623 32626 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117862733936 140118366407298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32634] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32634/stat : 32634 (java) S 32623 32626 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117861679904 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32635] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32635/stat : 32635 (java) S 32623 32626 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13236250 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117860627568 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32636] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32636/stat : 32636 (java) S 32623 32626 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117859575888 140118366414747 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32637] ppid=32623 vsize=10624000 CPUtime=0.47 cores=0,2,4,6
/proc/32626/task/32637/stat : 32637 (java) S 32623 32626 5131 0 -1 1077944384 1440 0 0 0 47 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117858523760 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32638] ppid=32623 vsize=10624000 CPUtime=0.47 cores=0,2,4,6
/proc/32626/task/32638/stat : 32638 (java) S 32623 32626 5131 0 -1 1077944384 990 0 0 0 47 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117857470960 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32639] ppid=32623 vsize=10624000 CPUtime=0.45 cores=0,2,4,6
/proc/32626/task/32639/stat : 32639 (java) S 32623 32626 5131 0 -1 1077944384 1912 0 0 0 44 1 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117856418672 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32640] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32640/stat : 32640 (java) S 32623 32626 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13236253 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117855366112 140118366406357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32641] ppid=32623 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/32626/task/32641/stat : 32641 (java) S 32623 32626 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13236257 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117854312880 140118366407298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
[pid=32626/tid=32642] ppid=32623 vsize=10624000 CPUtime=0.95 cores=0,2,4,6
/proc/32626/task/32642/stat : 32642 (java) R 32623 32626 5131 0 -1 4202560 5177 0 0 0 92 3 0 0 20 0 16 0 13236274 10878976000 26460 18446744073709551615 4194304 4196468 140736813655536 140117851108160 140117960858088 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29315072 140736813662666 140736813662795 140736813662795 140736813666255 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.32203
CPU time (s): 2.61955
CPU user time (s): 2.53558
CPU system time (s): 0.083973
CPU usage (%): 198.146
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.53558
system time used= 0.083973
maximum resident set size= 106148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16707
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= 2047
involuntary context switches= 9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005283 second user time and 0.013736 second system time
The end