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-4257588-1501647132/watcher-4257588-1501647132 -o /tmp/evaluation-result-4257588-1501647132/solver-4257588-1501647132 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27504 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257588-1501647132.xml
pid=1057
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: 2.00 2.01 1.97 2/195 1060
/proc/meminfo: memFree=31737300/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1060/stat : 1060 (runsolver) D 1057 1060 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13333476 24240128 107 18446744073709551615 4194304 4338465 140729814652224 140729814649864 140609332769495 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16113664 140729814655135 140729814655558 140729814655558 140729814659018 0
/proc/1060/statm: 5918 107 54 36 0 2156 0
[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 1.97 2/195 1060
/proc/meminfo: memFree=31737300/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1060/stat : 1060 (runsolver) D 1057 1060 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13333476 24240128 107 18446744073709551615 4194304 4338465 140729814652224 140729814649864 140609332769495 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16113664 140729814655135 140729814655558 140729814655558 140729814659018 0
/proc/1060/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200311 s]
/proc/loadavg: 2.00 2.01 1.97 2/195 1060
/proc/meminfo: memFree=31737300/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=10484492 CPUtime=0.06 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 4740 0 0 0 5 1 0 0 20 0 14 0 13333476 10736119808 6296 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2621123 6296 2562 1 0 2610628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10484492
[startup+0.300307 s]
/proc/loadavg: 2.00 2.01 1.97 2/195 1060
/proc/meminfo: memFree=31737300/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=10551180 CPUtime=0.21 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 8667 0 0 0 19 2 0 0 20 0 15 0 13333476 10804408320 9469 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2637795 9469 2845 1 0 2627269 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10551180
[startup+0.700198 s]
/proc/loadavg: 2.00 2.01 1.97 2/195 1060
/proc/meminfo: memFree=31737300/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=10621952 CPUtime=1.08 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 12942 0 0 0 104 4 0 0 20 0 16 0 13333476 10876878848 18627 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2655488 18627 3068 1 0 2644422 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10621952
[startup+1.50072 s]
/proc/loadavg: 2.00 2.01 1.97 5/211 1076
/proc/meminfo: memFree=31645860/32770624 swapFree=0/222328
[pid=1060] ppid=1057 vsize=10624000 CPUtime=2.88 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 17731 0 0 0 282 6 0 0 20 0 16 0 13333476 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2656000 26435 3094 1 0 2644934 0
[pid=1060/tid=1062] ppid=1057 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/1060/task/1062/stat : 1062 (java) S 1057 1060 5131 0 -1 1077944384 6228 0 0 0 19 2 0 0 20 0 16 0 13333487 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139967049153712 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1063] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1063/stat : 1063 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966655576720 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1064] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1064/stat : 1064 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966654523920 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1065] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1065/stat : 1065 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966653471120 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1066] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1066/stat : 1066 (java) S 1057 1060 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966652418320 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1067] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1067/stat : 1067 (java) S 1057 1060 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966152698736 139967044921986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1068] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1068/stat : 1068 (java) S 1057 1060 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966151644704 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1069] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1069/stat : 1069 (java) S 1057 1060 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966150591856 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1070] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1070/stat : 1070 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966149540176 139967044929435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1071] ppid=1057 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/1060/task/1071/stat : 1071 (java) S 1057 1060 5131 0 -1 1077944384 1598 0 0 0 57 0 0 0 20 0 16 0 13333492 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966148487536 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1072] ppid=1057 vsize=10624000 CPUtime=0.55 cores=0,2,4,6
/proc/1060/task/1072/stat : 1072 (java) S 1057 1060 5131 0 -1 1077944384 1234 0 0 0 55 0 0 0 20 0 16 0 13333492 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966147434736 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1073] ppid=1057 vsize=10624000 CPUtime=0.39 cores=0,2,4,6
/proc/1060/task/1073/stat : 1073 (java) S 1057 1060 5131 0 -1 1077944384 1862 0 0 0 39 0 0 0 20 0 16 0 13333492 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966146381936 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1074] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1074/stat : 1074 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966145329376 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1075] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1075/stat : 1075 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333496 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966144277680 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1076] ppid=1057 vsize=10624000 CPUtime=1.12 cores=0,2,4,6
/proc/1060/task/1076/stat : 1076 (java) R 1057 1060 5131 0 -1 4202560 5439 0 0 0 110 2 0 0 20 0 16 0 13333513 10878976000 26435 18446744073709551615 4194304 4196468 140724086831456 139966141085752 139966690464727 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1060 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60089 s]
/proc/loadavg: 2.00 2.01 1.97 5/211 1076
/proc/meminfo: memFree=31645860/32770624 swapFree=0/222328
[pid=1060] ppid=1057 vsize=10624000 CPUtime=2.98 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 17750 0 0 0 292 6 0 0 20 0 16 0 13333476 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2656000 26958 3095 1 0 2644934 0
[pid=1060/tid=1062] ppid=1057 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/1060/task/1062/stat : 1062 (java) S 1057 1060 5131 0 -1 1077944384 6228 0 0 0 19 2 0 0 20 0 16 0 13333487 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139967049153712 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1063] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1063/stat : 1063 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966655576720 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1064] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1064/stat : 1064 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966654523920 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1065] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1065/stat : 1065 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966653471120 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1066] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1066/stat : 1066 (java) S 1057 1060 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966652418320 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1067] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1067/stat : 1067 (java) S 1057 1060 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966152698736 139967044921986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1068] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1068/stat : 1068 (java) S 1057 1060 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966151644704 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1069] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1069/stat : 1069 (java) S 1057 1060 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966150591856 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1070] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1070/stat : 1070 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966149540176 139967044929435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1071] ppid=1057 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/1060/task/1071/stat : 1071 (java) S 1057 1060 5131 0 -1 1077944384 1614 0 0 0 57 0 0 0 20 0 16 0 13333492 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966148487536 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1072] ppid=1057 vsize=10624000 CPUtime=0.55 cores=0,2,4,6
/proc/1060/task/1072/stat : 1072 (java) S 1057 1060 5131 0 -1 1077944384 1234 0 0 0 55 0 0 0 20 0 16 0 13333492 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966147434736 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1073] ppid=1057 vsize=10624000 CPUtime=0.39 cores=0,2,4,6
/proc/1060/task/1073/stat : 1073 (java) S 1057 1060 5131 0 -1 1077944384 1864 0 0 0 39 0 0 0 20 0 16 0 13333492 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966146381936 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1074] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1074/stat : 1074 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966145329376 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1075] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1075/stat : 1075 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333496 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966144277680 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1076] ppid=1057 vsize=10624000 CPUtime=1.22 cores=0,2,4,6
/proc/1060/task/1076/stat : 1076 (java) R 1057 1060 5131 0 -1 4202560 5440 0 0 0 120 2 0 0 20 0 16 0 13333513 10878976000 26958 18446744073709551615 4194304 4196468 140724086831456 139966141085752 139966690464107 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10624000
[startup+2.40069 s]
/proc/loadavg: 2.00 2.01 1.97 3/211 1076
/proc/meminfo: memFree=31638004/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=10624000 CPUtime=3.86 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 19060 0 0 0 380 6 0 0 20 0 16 0 13333476 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2656000 28007 3096 1 0 2644934 0
[pid=1060/tid=1062] ppid=1057 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/1060/task/1062/stat : 1062 (java) S 1057 1060 5131 0 -1 1077944384 6228 0 0 0 19 2 0 0 20 0 16 0 13333487 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139967049153712 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1063] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1063/stat : 1063 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966655576720 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1064] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1064/stat : 1064 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966654523920 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1065] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1065/stat : 1065 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966653471120 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1066] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1066/stat : 1066 (java) S 1057 1060 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966652418320 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1067] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1067/stat : 1067 (java) S 1057 1060 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966152698736 139967044921986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1068] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1068/stat : 1068 (java) S 1057 1060 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966151644704 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1069] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1069/stat : 1069 (java) S 1057 1060 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966150591856 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1070] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1070/stat : 1070 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966149540176 139967044929435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1071] ppid=1057 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/1060/task/1071/stat : 1071 (java) S 1057 1060 5131 0 -1 1077944384 2202 0 0 0 60 0 0 0 20 0 16 0 13333492 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966148487536 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1072] ppid=1057 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/1060/task/1072/stat : 1072 (java) S 1057 1060 5131 0 -1 1077944384 1828 0 0 0 60 0 0 0 20 0 16 0 13333492 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966147434736 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1073] ppid=1057 vsize=10624000 CPUtime=0.4 cores=0,2,4,6
/proc/1060/task/1073/stat : 1073 (java) S 1057 1060 5131 0 -1 1077944384 1900 0 0 0 40 0 0 0 20 0 16 0 13333492 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966146381936 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1074] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1074/stat : 1074 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966145329376 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1075] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1075/stat : 1075 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333496 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966144277680 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1076] ppid=1057 vsize=10624000 CPUtime=2.02 cores=0,2,4,6
/proc/1060/task/1076/stat : 1076 (java) R 1057 1060 5131 0 -1 4202560 5520 0 0 0 200 2 0 0 20 0 16 0 13333513 10878976000 28007 18446744073709551615 4194304 4196468 140724086831456 139966141084480 139966690464141 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10624000
[startup+2.60066 s]
/proc/loadavg: 2.00 2.01 1.97 3/211 1076
/proc/meminfo: memFree=31638004/32770624 swapFree=0/222336
[pid=1060] ppid=1057 vsize=10624000 CPUtime=4.06 cores=0,2,4,6
/proc/1060/stat : 1060 (java) S 1057 1060 5131 0 -1 1077944320 19499 0 0 0 400 6 0 0 20 0 16 0 13333476 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 140724086814000 139967044910839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
/proc/1060/statm: 2656000 28010 3096 1 0 2644934 0
[pid=1060/tid=1062] ppid=1057 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/1060/task/1062/stat : 1062 (java) S 1057 1060 5131 0 -1 1077944384 6228 0 0 0 19 2 0 0 20 0 16 0 13333487 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139967049153712 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1063] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1063/stat : 1063 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966655576720 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1064] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1064/stat : 1064 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966654523920 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1065] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1065/stat : 1065 (java) S 1057 1060 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966653471120 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1066] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1066/stat : 1066 (java) S 1057 1060 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13333487 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966652418320 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1067] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1067/stat : 1067 (java) S 1057 1060 5131 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966152698736 139967044921986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1068] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1068/stat : 1068 (java) S 1057 1060 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966151644704 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1069] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1069/stat : 1069 (java) S 1057 1060 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13333489 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966150591856 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1070] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1070/stat : 1070 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966149540176 139967044929435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1071] ppid=1057 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/1060/task/1071/stat : 1071 (java) S 1057 1060 5131 0 -1 1077944384 2204 0 0 0 60 0 0 0 20 0 16 0 13333492 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966148487536 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1072] ppid=1057 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/1060/task/1072/stat : 1072 (java) S 1057 1060 5131 0 -1 1077944384 1829 0 0 0 60 0 0 0 20 0 16 0 13333492 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966147434736 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1073] ppid=1057 vsize=10624000 CPUtime=0.4 cores=0,2,4,6
/proc/1060/task/1073/stat : 1073 (java) S 1057 1060 5131 0 -1 1077944384 1971 0 0 0 40 0 0 0 20 0 16 0 13333492 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966146381936 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1074] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1074/stat : 1074 (java) S 1057 1060 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13333492 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966145329376 139967044921045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1075] ppid=1057 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/1060/task/1075/stat : 1075 (java) S 1057 1060 5131 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 13333496 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966144277680 139967044921986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
[pid=1060/tid=1076] ppid=1057 vsize=10624000 CPUtime=2.22 cores=0,2,4,6
/proc/1060/task/1076/stat : 1076 (java) R 1057 1060 5131 0 -1 4202560 5856 0 0 0 220 2 0 0 20 0 16 0 13333513 10878976000 28010 18446744073709551615 4194304 4196468 140724086831456 139966141084480 139966690463919 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21295104 140724086833610 140724086833739 140724086833739 140724086837199 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.61774
CPU time (s): 4.09651
CPU user time (s): 4.02728
CPU system time (s): 0.069225
CPU usage (%): 156.49
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.02728
system time used= 0.069225
maximum resident set size= 114064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20270
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= 2182
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01478 second user time and 0.017388 second system time
The end