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-4264717-1502327551/watcher-4264717-1502327551 -o /tmp/evaluation-result-4264717-1502327551/solver-4264717-1502327551 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502257024-9066 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264717-1502327551.xml
pid=24172
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.82 1.93 2/200 24175
/proc/meminfo: memFree=29963452/32770624 swapFree=0/419500
[pid=24175] ppid=24172 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (runsolver) D 24172 24175 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 132408114 24240128 108 18446744073709551615 4194304 4338465 140733404397728 140733404395368 140206397637335 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17485824 140733404401824 140733404402249 140733404402249 140733404405706 0
/proc/24175/statm: 5918 108 54 36 0 2156 0
[startup+0.104799 s]
/proc/loadavg: 1.88 1.82 1.93 2/200 24175
/proc/meminfo: memFree=29963452/32770624 swapFree=0/419500
[pid=24175] ppid=24172 vsize=9951980 CPUtime=0.01 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 3657 0 0 0 1 0 0 0 20 0 6 0 132408114 10190827520 4318 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2487995 4318 1948 1 0 2477492 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9951980
[startup+0.200238 s]
/proc/loadavg: 1.88 1.82 1.93 2/200 24175
/proc/meminfo: memFree=29963452/32770624 swapFree=0/419500
[pid=24175] ppid=24172 vsize=10551180 CPUtime=0.09 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 5203 0 0 0 8 1 0 0 20 0 15 0 132408114 10804408320 6701 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2637795 6701 2666 1 0 2627261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180
[startup+0.300284 s]
/proc/loadavg: 1.88 1.82 1.93 2/200 24175
/proc/meminfo: memFree=29963452/32770624 swapFree=0/419500
[pid=24175] ppid=24172 vsize=10553264 CPUtime=0.27 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 8947 0 0 0 24 3 0 0 20 0 15 0 132408114 10806542336 9731 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2638316 9731 2905 1 0 2627261 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10553264
[startup+0.702752 s]
/proc/loadavg: 1.88 1.82 1.93 2/200 24175
/proc/meminfo: memFree=29963452/32770624 swapFree=0/419500
[pid=24175] ppid=24172 vsize=10621952 CPUtime=1.31 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 13803 0 0 0 126 5 0 0 20 0 16 0 132408114 10876878848 21091 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2655488 21091 3075 1 0 2644414 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 1.88 1.82 1.93 5/216 24191
/proc/meminfo: memFree=29854784/32770624 swapFree=0/419532
[pid=24175] ppid=24172 vsize=10624000 CPUtime=3.82 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 23101 0 0 0 374 8 0 0 20 0 16 0 132408114 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2656000 31656 3116 1 0 2644926 0
[pid=24175/tid=24177] ppid=24172 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/24175/task/24177/stat : 24177 (java) S 24172 24175 4525 0 -1 1077944384 6205 0 0 0 19 2 0 0 20 0 16 0 132408123 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140600117775536 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24178] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24178/stat : 24178 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140600054569232 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24179] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24179/stat : 24179 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140600053516688 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24180] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24180/stat : 24180 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140600052464144 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24181] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24181/stat : 24181 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140600051411600 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24182] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24182/stat : 24182 (java) S 24172 24175 4525 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599609797104 140600113543810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24183] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24183/stat : 24183 (java) S 24172 24175 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599608743328 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24184] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24184/stat : 24184 (java) S 24172 24175 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599607690736 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24185] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24185/stat : 24185 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599606639312 140600113551259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24186] ppid=24172 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/24175/task/24186/stat : 24186 (java) R 24172 24175 4525 0 -1 4202560 3306 0 0 0 94 0 0 0 20 0 16 0 132408128 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599605572752 140600097018895 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24187] ppid=24172 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/24175/task/24187/stat : 24187 (java) R 24172 24175 4525 0 -1 4202560 3419 0 0 0 93 0 0 0 20 0 16 0 132408128 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599604524000 140600093221078 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24188] ppid=24172 vsize=10624000 CPUtime=0.54 cores=0,2,4,6
/proc/24175/task/24188/stat : 24188 (java) S 24172 24175 4525 0 -1 1077944384 2930 0 0 0 53 1 0 0 20 0 16 0 132408128 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599603480816 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24189] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24189/stat : 24189 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599602428512 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24190] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24190/stat : 24190 (java) S 24172 24175 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 132408132 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599601376048 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24191] ppid=24172 vsize=10624000 CPUtime=1.15 cores=0,2,4,6
/proc/24175/task/24191/stat : 24191 (java) R 24172 24175 4525 0 -1 4202560 5796 0 0 0 112 3 0 0 20 0 16 0 132408149 10878976000 31656 18446744073709551615 4194304 4196468 140735408248192 140599598183840 140599736148741 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 1.88 1.82 1.93 5/216 24191
/proc/meminfo: memFree=29854784/32770624 swapFree=0/419532
[pid=24175] ppid=24172 vsize=10624000 CPUtime=4.09 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 23728 0 0 0 401 8 0 0 20 0 16 0 132408114 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2656000 31678 3116 1 0 2644926 0
[pid=24175/tid=24177] ppid=24172 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/24175/task/24177/stat : 24177 (java) S 24172 24175 4525 0 -1 1077944384 6205 0 0 0 19 2 0 0 20 0 16 0 132408123 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140600117775536 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24178] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24178/stat : 24178 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140600054569232 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24179] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24179/stat : 24179 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140600053516688 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24180] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24180/stat : 24180 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140600052464144 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24181] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24181/stat : 24181 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140600051411600 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24182] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24182/stat : 24182 (java) S 24172 24175 4525 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599609797104 140600113543810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24183] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24183/stat : 24183 (java) S 24172 24175 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599608743328 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24184] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24184/stat : 24184 (java) S 24172 24175 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599607690736 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24185] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24185/stat : 24185 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599606639312 140600113551259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24186] ppid=24172 vsize=10624000 CPUtime=1.03 cores=0,2,4,6
/proc/24175/task/24186/stat : 24186 (java) S 24172 24175 4525 0 -1 1077944384 3773 0 0 0 103 0 0 0 20 0 16 0 132408128 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599605585904 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24187] ppid=24172 vsize=10624000 CPUtime=1.01 cores=0,2,4,6
/proc/24175/task/24187/stat : 24187 (java) S 24172 24175 4525 0 -1 1077944384 3540 0 0 0 101 0 0 0 20 0 16 0 132408128 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599604533360 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24188] ppid=24172 vsize=10624000 CPUtime=0.55 cores=0,2,4,6
/proc/24175/task/24188/stat : 24188 (java) S 24172 24175 4525 0 -1 1077944384 2965 0 0 0 54 1 0 0 20 0 16 0 132408128 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599603480816 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24189] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24189/stat : 24189 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599602428512 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24190] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24190/stat : 24190 (java) S 24172 24175 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 132408132 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599601376048 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24191] ppid=24172 vsize=10624000 CPUtime=1.25 cores=0,2,4,6
/proc/24175/task/24191/stat : 24191 (java) R 24172 24175 4525 0 -1 4202560 5800 0 0 0 122 3 0 0 20 0 16 0 132408149 10878976000 31678 18446744073709551615 4194304 4196468 140735408248192 140599598186136 140599736605101 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 10624000
[startup+2.00071 s]
/proc/loadavg: 1.88 1.82 1.93 5/216 24191
/proc/meminfo: memFree=29854784/32770624 swapFree=0/419532
[pid=24175] ppid=24172 vsize=10624000 CPUtime=4.54 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 23841 0 0 0 446 8 0 0 20 0 16 0 132408114 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2656000 32228 3116 1 0 2644926 0
[pid=24175/tid=24177] ppid=24172 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/24175/task/24177/stat : 24177 (java) S 24172 24175 4525 0 -1 1077944384 6205 0 0 0 19 2 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600117775536 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24178] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24178/stat : 24178 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600054569232 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24179] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24179/stat : 24179 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600053516688 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24180] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24180/stat : 24180 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600052464144 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24181] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24181/stat : 24181 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600051411600 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24182] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24182/stat : 24182 (java) S 24172 24175 4525 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599609797104 140600113543810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24183] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24183/stat : 24183 (java) S 24172 24175 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599608743328 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24184] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24184/stat : 24184 (java) S 24172 24175 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599607690736 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24185] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24185/stat : 24185 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599606639312 140600113551259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24186] ppid=24172 vsize=10624000 CPUtime=1.05 cores=0,2,4,6
/proc/24175/task/24186/stat : 24186 (java) S 24172 24175 4525 0 -1 1077944384 3778 0 0 0 105 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599605585904 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24187] ppid=24172 vsize=10624000 CPUtime=1.03 cores=0,2,4,6
/proc/24175/task/24187/stat : 24187 (java) S 24172 24175 4525 0 -1 1077944384 3551 0 0 0 102 1 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599604533360 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24188] ppid=24172 vsize=10624000 CPUtime=0.56 cores=0,2,4,6
/proc/24175/task/24188/stat : 24188 (java) S 24172 24175 4525 0 -1 1077944384 3044 0 0 0 55 1 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599603480816 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24189] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24189/stat : 24189 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599602428512 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24190] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24190/stat : 24190 (java) S 24172 24175 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 132408132 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599601376048 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24191] ppid=24172 vsize=10624000 CPUtime=1.65 cores=0,2,4,6
/proc/24175/task/24191/stat : 24191 (java) R 24172 24175 4525 0 -1 4202560 5818 0 0 0 162 3 0 0 20 0 16 0 132408149 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599598186136 140599736223044 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10624000
[startup+2.10068 s]
/proc/loadavg: 1.88 1.82 1.93 5/216 24191
/proc/meminfo: memFree=29854784/32770624 swapFree=0/419532
[pid=24175] ppid=24172 vsize=10624000 CPUtime=4.65 cores=0,2,4,6
/proc/24175/stat : 24175 (java) S 24172 24175 4525 0 -1 1077944320 23846 0 0 0 457 8 0 0 20 0 16 0 132408114 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140735408230736 140600113532663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
/proc/24175/statm: 2656000 32228 3116 1 0 2644926 0
[pid=24175/tid=24177] ppid=24172 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/24175/task/24177/stat : 24177 (java) S 24172 24175 4525 0 -1 1077944384 6205 0 0 0 19 2 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600117775536 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24178] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24178/stat : 24178 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600054569232 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24179] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24179/stat : 24179 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600053516688 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24180] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24180/stat : 24180 (java) S 24172 24175 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600052464144 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24181] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24181/stat : 24181 (java) S 24172 24175 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 132408123 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140600051411600 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24182] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24182/stat : 24182 (java) S 24172 24175 4525 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599609797104 140600113543810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24183] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24183/stat : 24183 (java) S 24172 24175 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599608743328 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24184] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24184/stat : 24184 (java) S 24172 24175 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 132408125 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599607690736 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24185] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24185/stat : 24185 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599606639312 140600113551259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24186] ppid=24172 vsize=10624000 CPUtime=1.06 cores=0,2,4,6
/proc/24175/task/24186/stat : 24186 (java) S 24172 24175 4525 0 -1 1077944384 3780 0 0 0 106 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599605585904 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24187] ppid=24172 vsize=10624000 CPUtime=1.04 cores=0,2,4,6
/proc/24175/task/24187/stat : 24187 (java) S 24172 24175 4525 0 -1 1077944384 3551 0 0 0 103 1 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599604533360 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24188] ppid=24172 vsize=10624000 CPUtime=0.56 cores=0,2,4,6
/proc/24175/task/24188/stat : 24188 (java) S 24172 24175 4525 0 -1 1077944384 3045 0 0 0 55 1 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599603480816 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24189] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24189/stat : 24189 (java) S 24172 24175 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 132408128 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599602428512 140600113542869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24190] ppid=24172 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/24175/task/24190/stat : 24190 (java) S 24172 24175 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 132408132 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599601376048 140600113543810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
[pid=24175/tid=24191] ppid=24172 vsize=10624000 CPUtime=1.75 cores=0,2,4,6
/proc/24175/task/24191/stat : 24191 (java) R 24172 24175 4525 0 -1 4202560 5820 0 0 0 172 3 0 0 20 0 16 0 132408149 10878976000 32228 18446744073709551615 4194304 4196468 140735408248192 140599598183416 140599736502896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10993664 140735408255437 140735408255566 140735408255566 140735408259023 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.16837
CPU time (s): 4.73685
CPU user time (s): 4.6435
CPU system time (s): 0.093357
CPU usage (%): 218.452
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.6435
system time used= 0.093357
maximum resident set size= 131204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24221
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= 2183
involuntary context switches= 19
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014993 second user time and 0.016 second system time
The end