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-4256166-1501641158/watcher-4256166-1501641158 -o /tmp/evaluation-result-4256166-1501641158/solver-4256166-1501641158 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15685 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 37515650 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256166-1501641158.xml
pid=32306
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.33 1.39 1.50 1/197 32309
/proc/meminfo: memFree=31786992/32770624 swapFree=0/215776
[pid=32309] ppid=32306 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32309/stat : 32309 (runsolver) D 32306 32309 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11931118 24240128 106 18446744073709551615 4194304 4338465 140724858678080 140724858675720 140391099708119 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26312704 140724858679400 140724858679878 140724858679878 140724858683338 0
/proc/32309/statm: 5918 106 53 36 0 2156 0
[startup+0.106918 s]
/proc/loadavg: 1.33 1.39 1.50 1/197 32309
/proc/meminfo: memFree=31786992/32770624 swapFree=0/215776
[pid=32309] ppid=32306 vsize=13375000 CPUtime=0.01 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 3668 0 0 0 1 0 0 0 20 0 7 0 11931118 13696000000 3857 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3343750 3857 1960 1 0 3333255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13375000
[startup+0.200366 s]
/proc/loadavg: 1.33 1.39 1.50 1/197 32309
/proc/meminfo: memFree=31786992/32770624 swapFree=0/215776
[pid=32309] ppid=32306 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 4873 0 0 0 5 0 0 0 20 0 14 0 11931118 14240239616 5416 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3476621 5416 2570 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.305707 s]
/proc/loadavg: 1.33 1.39 1.50 1/197 32309
/proc/meminfo: memFree=31786992/32770624 swapFree=0/215776
[pid=32309] ppid=32306 vsize=13975920 CPUtime=0.17 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 9753 0 0 0 15 2 0 0 20 0 15 0 11931118 14311342080 9136 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3493980 9136 3475 1 0 3482767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13975920
[startup+0.700302 s]
/proc/loadavg: 1.33 1.39 1.50 1/197 32309
/proc/meminfo: memFree=31786992/32770624 swapFree=0/215776
[pid=32309] ppid=32306 vsize=13975940 CPUtime=0.69 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 13115 0 0 0 65 4 0 0 20 0 15 0 11931118 14311362560 14244 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3493985 14244 3696 1 0 3482767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13975940
[startup+1.50063 s]
/proc/loadavg: 1.33 1.39 1.50 3/195 32343
/proc/meminfo: memFree=31772936/32770624 swapFree=0/215552
[pid=32309] ppid=32306 vsize=13980036 CPUtime=2.69 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 28970 0 0 0 259 10 0 0 20 0 15 0 11931118 14315556864 33734 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3495009 33734 3748 1 0 3483791 0
[pid=32309/tid=32312] ppid=32306 vsize=13980036 CPUtime=1.2 cores=0,2,4,6
/proc/32309/task/32312/stat : 32312 (java) R 32306 32309 5228 0 -1 4202560 13528 0 0 0 113 7 0 0 20 0 15 0 11931127 14315556864 33734 18446744073709551615 4194304 4196468 140726897540016 140354965953240 140354583082532 0 4 1 16800974 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32313] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32313/stat : 32313 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 33734 18446744073709551615 4194304 4196468 140726897540016 140354903661072 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32314] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32314/stat : 32314 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 33734 18446744073709551615 4194304 4196468 140726897540016 140354902608528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32315] ppid=32306 vsize=13979972 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32315/stat : 32315 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315491328 33769 18446744073709551615 4194304 4196468 140726897540016 140354559416592 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32316] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32316/stat : 32316 (java) S 32306 32309 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354558364048 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32317] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32317/stat : 32317 (java) S 32306 32309 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354508184304 140354961726082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32318] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32318/stat : 32318 (java) S 32306 32309 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354507130528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32319] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32319/stat : 32319 (java) S 32306 32309 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354506077424 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32323] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32323/stat : 32323 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354505026000 140354961733531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32324] ppid=32306 vsize=13980036 CPUtime=0.52 cores=0,2,4,6
/proc/32309/task/32324/stat : 32324 (java) R 32306 32309 5228 0 -1 4202560 5709 0 0 0 52 0 0 0 20 0 15 0 11931132 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354503958048 140354954814782 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32325] ppid=32306 vsize=13980036 CPUtime=0.52 cores=0,2,4,6
/proc/32309/task/32325/stat : 32325 (java) R 32306 32309 5228 0 -1 4202560 5990 0 0 0 51 1 0 0 20 0 15 0 11931132 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354502901336 140354940959014 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32326] ppid=32306 vsize=13980036 CPUtime=0.43 cores=0,2,4,6
/proc/32309/task/32326/stat : 32326 (java) S 32306 32309 5228 0 -1 1077944384 2381 0 0 0 42 1 0 0 20 0 15 0 11931132 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354501867504 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32327] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32327/stat : 32327 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354500815200 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32328] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32328/stat : 32328 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931140 14315556864 33769 18446744073709551615 4194304 4196468 140726897540016 140354499763248 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32309 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60078 s]
/proc/loadavg: 1.33 1.39 1.50 3/195 32343
/proc/meminfo: memFree=31772936/32770624 swapFree=0/215552
[pid=32309] ppid=32306 vsize=13980036 CPUtime=2.99 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 29180 0 0 0 289 10 0 0 20 0 15 0 11931118 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3495009 35339 3748 1 0 3483791 0
[pid=32309/tid=32312] ppid=32306 vsize=13980036 CPUtime=1.3 cores=0,2,4,6
/proc/32309/task/32312/stat : 32312 (java) R 32306 32309 5228 0 -1 4202560 13545 0 0 0 123 7 0 0 20 0 15 0 11931127 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354965951000 140354961726870 0 4 1 16800974 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32313] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32313/stat : 32313 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354903661072 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32314] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32314/stat : 32314 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354902608528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32315] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32315/stat : 32315 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354559416592 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32316] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32316/stat : 32316 (java) S 32306 32309 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354558364048 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32317] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32317/stat : 32317 (java) S 32306 32309 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354508184304 140354961726082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32318] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32318/stat : 32318 (java) S 32306 32309 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354507130528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32319] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32319/stat : 32319 (java) S 32306 32309 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354506077424 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32323] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32323/stat : 32323 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354505026000 140354961733531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32324] ppid=32306 vsize=13980036 CPUtime=0.62 cores=0,2,4,6
/proc/32309/task/32324/stat : 32324 (java) R 32306 32309 5228 0 -1 4202560 5759 0 0 0 62 0 0 0 20 0 15 0 11931132 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354503965592 140354940961551 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32325] ppid=32306 vsize=13980036 CPUtime=0.62 cores=0,2,4,6
/proc/32309/task/32325/stat : 32325 (java) R 32306 32309 5228 0 -1 4202560 6108 0 0 0 61 1 0 0 20 0 15 0 11931132 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354502911888 140354943300503 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32326] ppid=32306 vsize=13980036 CPUtime=0.43 cores=0,2,4,6
/proc/32309/task/32326/stat : 32326 (java) S 32306 32309 5228 0 -1 1077944384 2388 0 0 0 42 1 0 0 20 0 15 0 11931132 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354501867504 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32327] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32327/stat : 32327 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354500815200 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32328] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32328/stat : 32328 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931140 14315556864 35339 18446744073709551615 4194304 4196468 140726897540016 140354499763248 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 13980036
[startup+1.80071 s]
/proc/loadavg: 1.33 1.39 1.50 3/195 32343
/proc/meminfo: memFree=31772936/32770624 swapFree=0/215552
[pid=32309] ppid=32306 vsize=13980036 CPUtime=3.41 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 29816 0 0 0 331 10 0 0 20 0 15 0 11931118 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3495009 39492 3748 1 0 3483791 0
[pid=32309/tid=32312] ppid=32306 vsize=13980036 CPUtime=1.49 cores=0,2,4,6
/proc/32309/task/32312/stat : 32312 (java) R 32306 32309 5228 0 -1 4202560 13960 0 0 0 142 7 0 0 20 0 15 0 11931127 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354965949696 140354586947898 0 4 1 16800974 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32313] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32313/stat : 32313 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354903661072 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32314] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32314/stat : 32314 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354902608528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32315] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32315/stat : 32315 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354559416592 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32316] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32316/stat : 32316 (java) S 32306 32309 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354558364048 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32317] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32317/stat : 32317 (java) S 32306 32309 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354508184304 140354961726082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32318] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32318/stat : 32318 (java) S 32306 32309 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354507130528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32319] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32319/stat : 32319 (java) S 32306 32309 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354506077424 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32323] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32323/stat : 32323 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354505026000 140354961733531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32324] ppid=32306 vsize=13980036 CPUtime=0.74 cores=0,2,4,6
/proc/32309/task/32324/stat : 32324 (java) S 32306 32309 5228 0 -1 1077944384 5860 0 0 0 74 0 0 0 20 0 15 0 11931132 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354503973104 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32325] ppid=32306 vsize=13980036 CPUtime=0.71 cores=0,2,4,6
/proc/32309/task/32325/stat : 32325 (java) S 32306 32309 5228 0 -1 1077944384 6154 0 0 0 70 1 0 0 20 0 15 0 11931132 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354502920560 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32326] ppid=32306 vsize=13980036 CPUtime=0.45 cores=0,2,4,6
/proc/32309/task/32326/stat : 32326 (java) S 32306 32309 5228 0 -1 1077944384 2452 0 0 0 44 1 0 0 20 0 15 0 11931132 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354501867504 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32327] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32327/stat : 32327 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354500815200 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32328] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32328/stat : 32328 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931140 14315556864 39492 18446744073709551615 4194304 4196468 140726897540016 140354499763248 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 13980036
[startup+1.90068 s]
/proc/loadavg: 1.33 1.39 1.50 3/195 32343
/proc/meminfo: memFree=31772936/32770624 swapFree=0/215552
[pid=32309] ppid=32306 vsize=13980036 CPUtime=3.54 cores=0,2,4,6
/proc/32309/stat : 32309 (java) S 32306 32309 5228 0 -1 1077944320 29858 0 0 0 344 10 0 0 20 0 15 0 11931118 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140726897522560 140354961714935 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
/proc/32309/statm: 3495009 42052 3748 1 0 3483791 0
[pid=32309/tid=32312] ppid=32306 vsize=13980036 CPUtime=1.59 cores=0,2,4,6
/proc/32309/task/32312/stat : 32312 (java) R 32306 32309 5228 0 -1 4202560 13975 0 0 0 152 7 0 0 20 0 15 0 11931127 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354965949696 140354961726870 0 4 1 16800974 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32313] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32313/stat : 32313 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354903661072 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32314] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32314/stat : 32314 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354902608528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32315] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32315/stat : 32315 (java) S 32306 32309 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354559416592 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32316] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32316/stat : 32316 (java) S 32306 32309 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11931127 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354558364048 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32317] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32317/stat : 32317 (java) S 32306 32309 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354508184304 140354961726082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32318] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32318/stat : 32318 (java) S 32306 32309 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354507130528 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32319] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32319/stat : 32319 (java) S 32306 32309 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11931129 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354506077424 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32323] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32323/stat : 32323 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354505026000 140354961733531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32324] ppid=32306 vsize=13980036 CPUtime=0.75 cores=0,2,4,6
/proc/32309/task/32324/stat : 32324 (java) S 32306 32309 5228 0 -1 1077944384 5876 0 0 0 75 0 0 0 20 0 15 0 11931132 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354503973104 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32325] ppid=32306 vsize=13980036 CPUtime=0.73 cores=0,2,4,6
/proc/32309/task/32325/stat : 32325 (java) S 32306 32309 5228 0 -1 1077944384 6165 0 0 0 72 1 0 0 20 0 15 0 11931132 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354502920560 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32326] ppid=32306 vsize=13980036 CPUtime=0.45 cores=0,2,4,6
/proc/32309/task/32326/stat : 32326 (java) S 32306 32309 5228 0 -1 1077944384 2452 0 0 0 44 1 0 0 20 0 15 0 11931132 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354501867504 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32327] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32327/stat : 32327 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931132 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354500815200 140354961725141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
[pid=32309/tid=32328] ppid=32306 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/32309/task/32328/stat : 32328 (java) S 32306 32309 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11931140 14315556864 42052 18446744073709551615 4194304 4196468 140726897540016 140354499763248 140354961726082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140726897541523 140726897541707 140726897541707 140726897545167 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.95445
CPU time (s): 3.60645
CPU user time (s): 3.49149
CPU system time (s): 0.114958
CPU usage (%): 184.525
Max. virtual memory (cumulated for all children) (KiB): 13981060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.49149
system time used= 0.114958
maximum resident set size= 172760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30055
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= 2435
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009658 second user time and 0.013521 second system time
The end