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-4257643-1501656905/watcher-4257643-1501656905 -o /tmp/evaluation-result-4257643-1501656905/solver-4257643-1501656905 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257643-1501656905.xml
pid=20924
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.91 1.86 1.96 6/199 20927
/proc/meminfo: memFree=31644372/32770624 swapFree=0/333392
[pid=20927] ppid=20924 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20927/stat : 20927 (runsolver) D 20924 20927 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13196325 24240128 106 18446744073709551615 4194304 4338465 140731624998512 140731624996152 139965607076567 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 34820096 140731625005216 140731625005638 140731625005638 140731625009098 0
/proc/20927/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 1.91 1.86 1.96 6/199 20927
/proc/meminfo: memFree=31644372/32770624 swapFree=0/333392
[pid=20927] ppid=20924 vsize=10085108 CPUtime=0.02 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 3790 0 0 0 2 0 0 0 20 0 8 0 13196325 10327150592 4954 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2521277 4954 2043 1 0 2510782 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10085108
[startup+0.201184 s]
/proc/loadavg: 1.91 1.86 1.96 6/199 20927
/proc/meminfo: memFree=31644372/32770624 swapFree=0/333392
[pid=20927] ppid=20924 vsize=10551180 CPUtime=0.08 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 5027 0 0 0 8 0 0 0 20 0 15 0 13196325 10804408320 6519 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2637795 6519 2664 1 0 2627269 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180
[startup+0.30032 s]
/proc/loadavg: 1.91 1.86 1.96 6/199 20927
/proc/meminfo: memFree=31644372/32770624 swapFree=0/333392
[pid=20927] ppid=20924 vsize=10553264 CPUtime=0.26 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 8928 0 0 0 24 2 0 0 20 0 15 0 13196325 10806542336 9699 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2638316 9699 2907 1 0 2627269 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10553264
[startup+0.701197 s]
/proc/loadavg: 1.91 1.86 1.96 6/199 20927
/proc/meminfo: memFree=31644372/32770624 swapFree=0/333392
[pid=20927] ppid=20924 vsize=10621952 CPUtime=1.1 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 12912 0 0 0 104 6 0 0 20 0 16 0 13196325 10876878848 18227 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2655488 18227 3063 1 0 2644422 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
[startup+1.50118 s]
/proc/loadavg: 1.91 1.86 1.96 3/215 20943
/proc/meminfo: memFree=31518260/32770624 swapFree=0/333408
[pid=20927] ppid=20924 vsize=10624000 CPUtime=2.69 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 18780 0 0 0 261 8 0 0 20 0 16 0 13196325 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2656000 29360 3082 1 0 2644934 0
[pid=20927/tid=20929] ppid=20924 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/20927/task/20929/stat : 20929 (java) S 20924 20927 5234 0 -1 1077944384 6178 0 0 0 19 2 0 0 20 0 16 0 13196332 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645999508656 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20930] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20930/stat : 20930 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645606545680 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20931] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20931/stat : 20931 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645605493136 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20932] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20932/stat : 20932 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645604440592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20933] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20933/stat : 20933 (java) S 20924 20927 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645603388048 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20934] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20934/stat : 20934 (java) S 20924 20927 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13196334 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645559486960 140645995276930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20935] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20935/stat : 20935 (java) S 20924 20927 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645558433184 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20936] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20936/stat : 20936 (java) S 20924 20927 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645557380592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20937] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20937/stat : 20937 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196337 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645556329168 140645995284379 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20938] ppid=20924 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/20927/task/20938/stat : 20938 (java) S 20924 20927 5234 0 -1 1077944384 1985 0 0 0 44 0 0 0 20 0 16 0 13196337 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645555275760 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20939] ppid=20924 vsize=10624000 CPUtime=0.46 cores=0,2,4,6
/proc/20927/task/20939/stat : 20939 (java) S 20924 20927 5234 0 -1 1077944384 1310 0 0 0 46 0 0 0 20 0 16 0 13196337 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645554223216 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20940] ppid=20924 vsize=10624000 CPUtime=0.38 cores=0,2,4,6
/proc/20927/task/20940/stat : 20940 (java) S 20924 20927 5234 0 -1 1077944384 2219 0 0 0 38 0 0 0 20 0 16 0 13196337 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645553170672 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20941] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20941/stat : 20941 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196338 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645552118368 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20942] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20942/stat : 20942 (java) S 20924 20927 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13196343 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645551065904 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20943] ppid=20924 vsize=10624000 CPUtime=1.14 cores=0,2,4,6
/proc/20927/task/20943/stat : 20943 (java) R 20924 20927 5234 0 -1 4202560 5712 0 0 0 111 3 0 0 20 0 16 0 13196360 10878976000 29360 18446744073709551615 4194304 4196468 140735594989952 140645479945576 140645637547460 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20927 sig 9
??? kill -20927 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60075 s]
/proc/loadavg: 1.91 1.86 1.96 3/215 20943
/proc/meminfo: memFree=31518260/32770624 swapFree=0/333408
[pid=20927] ppid=20924 vsize=10624000 CPUtime=2.79 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 18792 0 0 0 271 8 0 0 20 0 16 0 13196325 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2656000 30384 3082 1 0 2644934 0
[pid=20927/tid=20929] ppid=20924 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/20927/task/20929/stat : 20929 (java) S 20924 20927 5234 0 -1 1077944384 6178 0 0 0 19 2 0 0 20 0 16 0 13196332 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645999508656 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20930] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20930/stat : 20930 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645606545680 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20931] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20931/stat : 20931 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645605493136 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20932] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20932/stat : 20932 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645604440592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20933] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20933/stat : 20933 (java) S 20924 20927 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645603388048 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20934] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20934/stat : 20934 (java) S 20924 20927 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13196334 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645559486960 140645995276930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20935] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20935/stat : 20935 (java) S 20924 20927 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645558433184 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20936] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20936/stat : 20936 (java) S 20924 20927 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645557380592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20937] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20937/stat : 20937 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196337 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645556329168 140645995284379 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20938] ppid=20924 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/20927/task/20938/stat : 20938 (java) S 20924 20927 5234 0 -1 1077944384 1985 0 0 0 44 0 0 0 20 0 16 0 13196337 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645555275760 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20939] ppid=20924 vsize=10624000 CPUtime=0.46 cores=0,2,4,6
/proc/20927/task/20939/stat : 20939 (java) S 20924 20927 5234 0 -1 1077944384 1310 0 0 0 46 0 0 0 20 0 16 0 13196337 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645554223216 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20940] ppid=20924 vsize=10624000 CPUtime=0.38 cores=0,2,4,6
/proc/20927/task/20940/stat : 20940 (java) S 20924 20927 5234 0 -1 1077944384 2226 0 0 0 38 0 0 0 20 0 16 0 13196337 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645553170672 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20941] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20941/stat : 20941 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196338 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645552118368 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20942] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20942/stat : 20942 (java) S 20924 20927 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13196343 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645551065904 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20943] ppid=20924 vsize=10624000 CPUtime=1.24 cores=0,2,4,6
/proc/20927/task/20943/stat : 20943 (java) R 20924 20927 5234 0 -1 4202560 5719 0 0 0 121 3 0 0 20 0 16 0 13196360 10878976000 30384 18446744073709551615 4194304 4196468 140735594989952 140645479945576 140645637474606 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10624000
[startup+2.00055 s]
/proc/loadavg: 1.91 1.86 1.96 3/215 20943
/proc/meminfo: memFree=31518260/32770624 swapFree=0/333408
[pid=20927] ppid=20924 vsize=10624000 CPUtime=3.19 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 18964 0 0 0 311 8 0 0 20 0 16 0 13196325 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2656000 33461 3083 1 0 2644934 0
[pid=20927/tid=20929] ppid=20924 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/20927/task/20929/stat : 20929 (java) S 20924 20927 5234 0 -1 1077944384 6178 0 0 0 19 2 0 0 20 0 16 0 13196332 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645999508656 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20930] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20930/stat : 20930 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645606545680 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20931] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20931/stat : 20931 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645605493136 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20932] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20932/stat : 20932 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645604440592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20933] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20933/stat : 20933 (java) S 20924 20927 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645603388048 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20934] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20934/stat : 20934 (java) S 20924 20927 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 13196334 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645559486960 140645995276930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20935] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20935/stat : 20935 (java) S 20924 20927 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645558433184 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20936] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20936/stat : 20936 (java) S 20924 20927 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645557380592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20937] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20937/stat : 20937 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196337 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645556329168 140645995284379 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20938] ppid=20924 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/20927/task/20938/stat : 20938 (java) S 20924 20927 5234 0 -1 1077944384 1985 0 0 0 44 0 0 0 20 0 16 0 13196337 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645555275760 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20939] ppid=20924 vsize=10624000 CPUtime=0.46 cores=0,2,4,6
/proc/20927/task/20939/stat : 20939 (java) S 20924 20927 5234 0 -1 1077944384 1310 0 0 0 46 0 0 0 20 0 16 0 13196337 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645554223216 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20940] ppid=20924 vsize=10624000 CPUtime=0.39 cores=0,2,4,6
/proc/20927/task/20940/stat : 20940 (java) S 20924 20927 5234 0 -1 1077944384 2320 0 0 0 39 0 0 0 20 0 16 0 13196337 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645553170672 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20941] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20941/stat : 20941 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196338 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645552118368 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20942] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20942/stat : 20942 (java) S 20924 20927 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13196343 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645551065904 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20943] ppid=20924 vsize=10624000 CPUtime=1.64 cores=0,2,4,6
/proc/20927/task/20943/stat : 20943 (java) R 20924 20927 5234 0 -1 4202560 5745 0 0 0 161 3 0 0 20 0 16 0 13196360 10878976000 33461 18446744073709551615 4194304 4196468 140735594989952 140645479957392 140645637474769 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 10624000
[startup+2.20053 s]
/proc/loadavg: 1.91 1.86 1.96 3/215 20943
/proc/meminfo: memFree=31487496/32770624 swapFree=0/333416
[pid=20927] ppid=20924 vsize=10624000 CPUtime=3.4 cores=0,2,4,6
/proc/20927/stat : 20927 (java) S 20924 20927 5234 0 -1 1077944320 18970 0 0 0 332 8 0 0 20 0 16 0 13196325 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140735594972496 140645995265783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
/proc/20927/statm: 2656000 34997 3083 1 0 2644934 0
[pid=20927/tid=20929] ppid=20924 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/20927/task/20929/stat : 20929 (java) S 20924 20927 5234 0 -1 1077944384 6178 0 0 0 19 2 0 0 20 0 16 0 13196332 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645999508656 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20930] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20930/stat : 20930 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645606545680 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20931] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20931/stat : 20931 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645605493136 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20932] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20932/stat : 20932 (java) S 20924 20927 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645604440592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20933] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20933/stat : 20933 (java) S 20924 20927 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13196333 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645603388048 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20934] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20934/stat : 20934 (java) S 20924 20927 5234 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 13196334 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645559486960 140645995276930 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20935] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20935/stat : 20935 (java) S 20924 20927 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645558433184 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20936] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20936/stat : 20936 (java) S 20924 20927 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13196335 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645557380592 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20937] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20937/stat : 20937 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196337 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645556329168 140645995284379 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20938] ppid=20924 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/20927/task/20938/stat : 20938 (java) S 20924 20927 5234 0 -1 1077944384 1985 0 0 0 44 0 0 0 20 0 16 0 13196337 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645555275760 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20939] ppid=20924 vsize=10624000 CPUtime=0.46 cores=0,2,4,6
/proc/20927/task/20939/stat : 20939 (java) S 20924 20927 5234 0 -1 1077944384 1310 0 0 0 46 0 0 0 20 0 16 0 13196337 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645554223216 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20940] ppid=20924 vsize=10624000 CPUtime=0.39 cores=0,2,4,6
/proc/20927/task/20940/stat : 20940 (java) S 20924 20927 5234 0 -1 1077944384 2320 0 0 0 39 0 0 0 20 0 16 0 13196337 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645553170672 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20941] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20941/stat : 20941 (java) S 20924 20927 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13196338 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645552118368 140645995275989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20942] ppid=20924 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/20927/task/20942/stat : 20942 (java) S 20924 20927 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13196343 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645551065904 140645995276930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
[pid=20927/tid=20943] ppid=20924 vsize=10624000 CPUtime=1.85 cores=0,2,4,6
/proc/20927/task/20943/stat : 20943 (java) R 20924 20927 5234 0 -1 4202560 5751 0 0 0 182 3 0 0 20 0 16 0 13196360 10878976000 34997 18446744073709551615 4194304 4196468 140735594989952 140645479957392 140645637629100 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14589952 140735594996170 140735594996299 140735594996299 140735594999759 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.22086
CPU time (s): 3.42116
CPU user time (s): 3.33548
CPU system time (s): 0.085682
CPU usage (%): 154.047
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.33548
system time used= 0.085682
maximum resident set size= 140180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19417
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= 2040
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012035 second user time and 0.018052 second system time
The end