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-4264570-1502321332/watcher-4264570-1502321332 -o /tmp/evaluation-result-4264570-1502321332/solver-4264570-1502321332 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23062 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264570-1502321332.xml
pid=5866
running on 4 cores: 1,3,5,7
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: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5869/stat : 5869 (runsolver) D 5866 5869 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 34326730 24240128 106 18446744073709551615 4194304 4338465 140736854816704 140736854814344 140523464172247 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36126720 140736854818976 140736854819402 140736854819402 140736854822858 0
/proc/5869/statm: 5918 106 53 36 0 2156 0
[startup+0.104045 s]
/proc/loadavg: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10151672 CPUtime=0.03 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 3858 0 0 0 3 0 0 0 20 0 9 0 34326730 10395312128 4997 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2538174 4997 2109 1 0 2527671 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10151672
[startup+0.200312 s]
/proc/loadavg: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10551180 CPUtime=0.1 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 5270 0 0 0 10 0 0 0 20 0 15 0 34326730 10804408320 6752 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2637795 6752 2765 1 0 2627261 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10551180
[startup+0.300324 s]
/proc/loadavg: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10553264 CPUtime=0.29 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 8988 0 0 0 27 2 0 0 20 0 15 0 34326730 10806542336 9849 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2638316 9849 2916 1 0 2627261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10553264
[startup+0.700254 s]
/proc/loadavg: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10621952 CPUtime=1.26 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 13601 0 0 0 121 5 0 0 20 0 16 0 34326730 10876878848 26978 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2655488 26978 3070 1 0 2644414 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5869 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80036 s]
/proc/loadavg: 2.01 2.02 2.04 3/195 5869
/proc/meminfo: memFree=31105448/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10621952 CPUtime=1.57 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 13986 0 0 0 151 6 0 0 20 0 16 0 34326730 10876878848 40660 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2655488 40660 3078 1 0 2644414 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10621952
[startup+1.21109 s]
/proc/loadavg: 2.01 2.02 2.04 6/211 5885
/proc/meminfo: memFree=30897156/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10621952 CPUtime=2.68 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 15671 0 0 0 258 10 0 0 20 0 16 0 34326730 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2655488 55370 3114 1 0 2644414 0
[pid=5869/tid=5871] ppid=5866 vsize=10621952 CPUtime=0.21 cores=1,3,5,7
/proc/5869/task/5871/stat : 5871 (java) S 5866 5869 16590 0 -1 1077944384 6171 0 0 0 19 2 0 0 20 0 16 0 34326737 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140466096733360 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5872] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5872/stat : 5872 (java) S 5866 5869 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 34326738 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465703610896 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5873] ppid=5866 vsize=10621952 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5873/stat : 5873 (java) S 5866 5869 16590 0 -1 1077944384 34 0 0 0 0 1 0 0 20 0 16 0 34326738 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465702558352 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5874] ppid=5866 vsize=10621952 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5874/stat : 5874 (java) S 5866 5869 16590 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 34326738 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465701505296 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5875] ppid=5866 vsize=10621952 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5875/stat : 5875 (java) S 5866 5869 16590 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 34326738 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465700452752 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5876] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5876/stat : 5876 (java) S 5866 5869 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 34326739 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465133222640 140466092501634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5877] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5877/stat : 5877 (java) S 5866 5869 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 34326739 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465132168864 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5878] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5878/stat : 5878 (java) S 5866 5869 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 34326740 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465131115760 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5879] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5879/stat : 5879 (java) S 5866 5869 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 34326742 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465130064336 140466092509083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5880] ppid=5866 vsize=10621952 CPUtime=0.51 cores=1,3,5,7
/proc/5869/task/5880/stat : 5880 (java) R 5866 5869 16590 0 -1 4202560 1648 0 0 0 51 0 0 0 20 0 16 0 34326742 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465129010512 140466075901302 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5881] ppid=5866 vsize=10621952 CPUtime=0.56 cores=1,3,5,7
/proc/5869/task/5881/stat : 5881 (java) R 5866 5869 16590 0 -1 4202560 1274 0 0 0 56 0 0 0 20 0 16 0 34326742 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465127942608 140466073668481 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5882] ppid=5866 vsize=10621952 CPUtime=0.43 cores=1,3,5,7
/proc/5869/task/5882/stat : 5882 (java) R 5866 5869 16590 0 -1 4202560 2026 0 0 0 43 0 0 0 20 0 16 0 34326742 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465126901344 140466071617148 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5883] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5883/stat : 5883 (java) S 5866 5869 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 34326742 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465125853536 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5884] ppid=5866 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5884/stat : 5884 (java) S 5866 5869 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 34326747 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465124801584 140466092501634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5885] ppid=5866 vsize=10621952 CPUtime=0.85 cores=1,3,5,7
/proc/5869/task/5885/stat : 5885 (java) R 5866 5869 16590 0 -1 4202560 2979 0 0 0 82 3 0 0 20 0 16 0 34326763 10876878848 55370 18446744073709551615 4194304 4196468 140731593592400 140465121608736 140465716809024 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10621952
[startup+1.40061 s]
/proc/loadavg: 2.01 2.02 2.04 6/211 5885
/proc/meminfo: memFree=30897156/32770624 swapFree=0/512704
[pid=5869] ppid=5866 vsize=10624000 CPUtime=3.19 cores=1,3,5,7
/proc/5869/stat : 5869 (java) S 5866 5869 16590 0 -1 1077944320 16239 0 0 0 308 11 0 0 20 0 16 0 34326730 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140731593574944 140466092490487 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
/proc/5869/statm: 2656000 62996 3126 1 0 2644926 0
[pid=5869/tid=5871] ppid=5866 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/5869/task/5871/stat : 5871 (java) S 5866 5869 16590 0 -1 1077944384 6171 0 0 0 19 2 0 0 20 0 16 0 34326737 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140466096733360 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5872] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5872/stat : 5872 (java) S 5866 5869 16590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 34326738 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465703610896 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5873] ppid=5866 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5873/stat : 5873 (java) S 5866 5869 16590 0 -1 1077944384 34 0 0 0 0 1 0 0 20 0 16 0 34326738 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465702558352 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5874] ppid=5866 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5874/stat : 5874 (java) S 5866 5869 16590 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 34326738 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465701505296 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5875] ppid=5866 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/5869/task/5875/stat : 5875 (java) S 5866 5869 16590 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 34326738 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465700452752 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5876] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5876/stat : 5876 (java) S 5866 5869 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 34326739 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465133222640 140466092501634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5877] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5877/stat : 5877 (java) S 5866 5869 16590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 34326739 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465132168864 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5878] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5878/stat : 5878 (java) S 5866 5869 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 34326740 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465131115760 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5879] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5879/stat : 5879 (java) S 5866 5869 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 34326742 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465130064336 140466092509083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5880] ppid=5866 vsize=10624000 CPUtime=0.61 cores=1,3,5,7
/proc/5869/task/5880/stat : 5880 (java) R 5866 5869 16590 0 -1 4202560 1692 0 0 0 61 0 0 0 20 0 16 0 34326742 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465129001360 140466070937787 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5881] ppid=5866 vsize=10624000 CPUtime=0.7 cores=1,3,5,7
/proc/5869/task/5881/stat : 5881 (java) R 5866 5869 16590 0 -1 4202560 1323 0 0 0 70 0 0 0 20 0 16 0 34326742 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465127950352 140466072338716 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5882] ppid=5866 vsize=10624000 CPUtime=0.51 cores=1,3,5,7
/proc/5869/task/5882/stat : 5882 (java) S 5866 5869 16590 0 -1 1077944384 2182 0 0 0 51 0 0 0 20 0 16 0 34326742 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465126905840 140466092501634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5883] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5883/stat : 5883 (java) S 5866 5869 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 34326742 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465125853536 140466092500693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5884] ppid=5866 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/5869/task/5884/stat : 5884 (java) S 5866 5869 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 34326747 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465124801584 140466092501634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
[pid=5869/tid=5885] ppid=5866 vsize=10624000 CPUtime=1.03 cores=1,3,5,7
/proc/5869/task/5885/stat : 5885 (java) R 5866 5869 16590 0 -1 4202560 3298 0 0 0 100 3 0 0 20 0 16 0 34326763 10878976000 62996 18446744073709551615 4194304 4196468 140731593592400 140465121608704 140465719820366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32448512 140731593597390 140731593597519 140731593597519 140731593600975 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.44487
CPU time (s): 3.30404
CPU user time (s): 3.18509
CPU system time (s): 0.118945
CPU usage (%): 228.674
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.18509
system time used= 0.118945
maximum resident set size= 255028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16554
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= 2143
involuntary context switches= 9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00928 second user time and 0.010533 second system time
The end