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-4262623-1502432578/watcher-4262623-1502432578 -o /tmp/evaluation-result-4262623-1502432578/solver-4262623-1502432578 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262623-1502432578.xml
pid=14104
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.79 1.71 1.59 3/195 14107
/proc/meminfo: memFree=28375720/32770624 swapFree=0/381508
[pid=14107] ppid=14104 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14107/stat : 14107 (runsolver) D 14104 14107 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31598515 24240128 108 18446744073709551615 4194304 4338465 140729992606016 140729992603656 139645590692567 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 6610944 140729992614097 140729992614473 140729992614473 140729992617930 0
/proc/14107/statm: 5918 108 54 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 1.79 1.71 1.59 3/195 14107
/proc/meminfo: memFree=28375720/32770624 swapFree=0/381508
[pid=14107] ppid=14104 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/14107/stat : 14107 (bash) S 14104 14107 7434 0 -1 4202496 682 1543 0 0 0 0 0 0 20 0 1 0 31598515 9736192 351 18446744073709551615 4194304 5098028 140734867607440 140734867605080 140607920286720 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 10153984 140734867616276 140734867616361 140734867616361 140734867619818 0
/proc/14107/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.20022 s]
/proc/loadavg: 1.79 1.71 1.59 3/195 14107
/proc/meminfo: memFree=28375720/32770624 swapFree=0/381508
[pid=14107] ppid=14104 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/14107/stat : 14107 (bash) S 14104 14107 7434 0 -1 4202496 891 6485 0 0 0 0 0 1 20 0 1 0 31598515 9867264 377 18446744073709551615 4194304 5098028 140734867607440 140734867601448 140607920286720 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 10153984 140734867616276 140734867616361 140734867616361 140734867619818 0
/proc/14107/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300303 s]
/proc/loadavg: 1.79 1.71 1.59 3/195 14107
/proc/meminfo: memFree=28375720/32770624 swapFree=0/381508
[pid=14107] ppid=14104 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 5861 12678 0 0 5 1 5 3 20 0 14 0 31598515 14241083392 5539 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3476827 5539 2556 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.703676 s]
/proc/loadavg: 1.79 1.71 1.59 3/195 14107
/proc/meminfo: memFree=28375720/32770624 swapFree=0/381508
[pid=14107] ppid=14104 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 13948 12678 0 0 55 5 5 3 20 0 15 0 31598515 14310178816 14406 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3493696 14406 3132 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50355 s]
/proc/loadavg: 1.79 1.71 1.59 3/210 14170
/proc/meminfo: memFree=28308648/32770624 swapFree=0/381816
[pid=14107] ppid=14104 vsize=13985408 CPUtime=1.87 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 28251 12678 0 0 169 10 5 3 20 0 15 0 31598515 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3496352 36066 3340 1 0 3485525 0
[pid=14107/tid=14157] ppid=14104 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) S 14104 14107 7434 0 -1 1077944384 22708 12678 0 0 115 6 5 3 20 0 15 0 31598537 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140354039827744 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) S 14104 14107 7434 0 -1 1077944384 45 12678 0 0 0 0 5 3 20 0 15 0 31598538 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353970043664 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) S 14104 14107 7434 0 -1 1077944384 24 12678 0 0 0 0 5 3 20 0 15 0 31598538 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353968991120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) S 14104 14107 7434 0 -1 1077944384 195 12678 0 0 0 0 5 3 20 0 15 0 31598538 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) S 14104 14107 7434 0 -1 1077944384 42 12678 0 0 0 0 5 3 20 0 15 0 31598538 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353966886032 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) R 14104 14107 7434 0 -1 4202560 39 12678 0 0 0 0 5 3 20 0 15 0 31598539 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353513935360 140354020667375 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 33 12678 0 0 0 0 5 3 20 0 15 0 31598540 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353512883104 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 21 12678 0 0 0 0 5 3 20 0 15 0 31598540 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353511830512 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) S 14104 14107 7434 0 -1 1077944384 909 12678 0 0 13 0 5 3 20 0 15 0 31598543 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353509726704 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) S 14104 14107 7434 0 -1 1077944384 750 12678 0 0 15 0 5 3 20 0 15 0 31598543 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353508674160 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 1323 12678 0 0 23 0 5 3 20 0 15 0 31598543 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 6 12678 0 0 0 0 5 3 20 0 15 0 31598547 14321057792 36066 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408
[startup+3.10069 s]
/proc/loadavg: 1.79 1.71 1.59 4/210 14170
/proc/meminfo: memFree=28252672/32770624 swapFree=0/381812
[pid=14107] ppid=14104 vsize=13995836 CPUtime=6.15 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 40077 12678 0 0 588 19 5 3 20 0 15 0 31598515 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3498959 73035 3463 1 0 3487573 0
[pid=14107/tid=14157] ppid=14104 vsize=13995836 CPUtime=2.83 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) R 14104 14107 7434 0 -1 4202560 27829 12678 0 0 266 9 5 3 20 0 15 0 31598537 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140354039826656 140354021825179 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) S 14104 14107 7434 0 -1 1077944384 109 12678 0 0 2 1 5 3 20 0 15 0 31598538 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353970043664 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) S 14104 14107 7434 0 -1 1077944384 86 12678 0 0 1 1 5 3 20 0 15 0 31598538 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353968991120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) S 14104 14107 7434 0 -1 1077944384 377 12678 0 0 2 1 5 3 20 0 15 0 31598538 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) S 14104 14107 7434 0 -1 1077944384 130 12678 0 0 2 1 5 3 20 0 15 0 31598538 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353966886032 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) S 14104 14107 7434 0 -1 1077944384 1587 12678 0 0 1 0 5 3 20 0 15 0 31598539 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353513936880 140354035620482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 55 12678 0 0 0 0 5 3 20 0 15 0 31598540 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353512883168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 43 12678 0 0 0 0 5 3 20 0 15 0 31598540 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353511830528 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13995836 CPUtime=1.18 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) R 14104 14107 7434 0 -1 4202560 2103 12678 0 0 109 1 5 3 20 0 15 0 31598543 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353509725888 140354013204081 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13995836 CPUtime=1.15 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) R 14104 14107 7434 0 -1 4202560 1943 12678 0 0 106 1 5 3 20 0 15 0 31598543 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353508661840 140354019105861 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13995836 CPUtime=1.03 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 3649 12678 0 0 94 1 5 3 20 0 15 0 31598543 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 9 12678 0 0 0 0 5 3 20 0 15 0 31598547 14331736064 73035 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13995836
[startup+6.30071 s]
/proc/loadavg: 1.88 1.73 1.60 6/210 14171
/proc/meminfo: memFree=28065312/32770624 swapFree=0/381812
[pid=14107] ppid=14104 vsize=13999932 CPUtime=15.25 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 60656 12678 0 0 1482 35 5 3 20 0 15 0 31598515 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3499983 110142 3474 1 0 3488597 0
[pid=14107/tid=14157] ppid=14104 vsize=13999932 CPUtime=5.89 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) R 14104 14107 7434 0 -1 4202560 31529 12678 0 0 570 11 5 3 20 0 15 0 31598537 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140354039844288 140353649174741 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) S 14104 14107 7434 0 -1 1077944384 544 12678 0 0 9 4 5 3 20 0 15 0 31598538 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353970043664 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) S 14104 14107 7434 0 -1 1077944384 291 12678 0 0 8 3 5 3 20 0 15 0 31598538 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353968991120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) S 14104 14107 7434 0 -1 1077944384 1075 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) S 14104 14107 7434 0 -1 1077944384 1090 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353966886032 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) S 14104 14107 7434 0 -1 1077944384 1752 12678 0 0 2 0 5 3 20 0 15 0 31598539 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353513936880 140354035620482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 61 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353512883168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 50 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353511830528 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13999932 CPUtime=3.59 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) S 14104 14107 7434 0 -1 1077944384 7015 12678 0 0 350 1 5 3 20 0 15 0 31598543 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353509726704 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13999932 CPUtime=3.53 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) S 14104 14107 7434 0 -1 1077944384 7534 12678 0 0 344 1 5 3 20 0 15 0 31598543 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353508674160 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13999932 CPUtime=1.83 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 7450 12678 0 0 173 2 5 3 20 0 15 0 31598543 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 108 12678 0 0 0 0 5 3 20 0 15 0 31598547 14335930368 110142 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14107 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40086 s]
/proc/loadavg: 1.88 1.73 1.60 6/210 14171
/proc/meminfo: memFree=28065312/32770624 swapFree=0/381812
[pid=14107] ppid=14104 vsize=13999932 CPUtime=15.37 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 60672 12678 0 0 1494 35 5 3 20 0 15 0 31598515 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3499983 110144 3474 1 0 3488597 0
[pid=14107/tid=14157] ppid=14104 vsize=13999932 CPUtime=5.99 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) R 14104 14107 7434 0 -1 4202560 31540 12678 0 0 580 11 5 3 20 0 15 0 31598537 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140354039844288 140353645636374 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) S 14104 14107 7434 0 -1 1077944384 544 12678 0 0 9 4 5 3 20 0 15 0 31598538 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353970043664 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) S 14104 14107 7434 0 -1 1077944384 291 12678 0 0 8 3 5 3 20 0 15 0 31598538 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353968991120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) S 14104 14107 7434 0 -1 1077944384 1075 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) S 14104 14107 7434 0 -1 1077944384 1090 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353966886032 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) S 14104 14107 7434 0 -1 1077944384 1752 12678 0 0 2 0 5 3 20 0 15 0 31598539 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353513936880 140354035620482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 61 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353512883168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 50 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353511830528 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13999932 CPUtime=3.59 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) S 14104 14107 7434 0 -1 1077944384 7019 12678 0 0 350 1 5 3 20 0 15 0 31598543 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353509726704 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13999932 CPUtime=3.54 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) S 14104 14107 7434 0 -1 1077944384 7535 12678 0 0 345 1 5 3 20 0 15 0 31598543 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353508674160 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13999932 CPUtime=1.83 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 7450 12678 0 0 173 2 5 3 20 0 15 0 31598543 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 108 12678 0 0 0 0 5 3 20 0 15 0 31598547 14335930368 110144 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 15.37
Current children cumulated vsize (KiB) 13999932
[startup+7.20073 s]
/proc/loadavg: 1.88 1.73 1.60 5/210 14171
/proc/meminfo: memFree=28049516/32770624 swapFree=0/381820
[pid=14107] ppid=14104 vsize=13999932 CPUtime=17.66 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 67312 12678 0 0 1722 36 5 3 20 0 15 0 31598515 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3499983 117097 3474 1 0 3488597 0
[pid=14107/tid=14157] ppid=14104 vsize=13999932 CPUtime=6.78 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) R 14104 14107 7434 0 -1 4202560 34512 12678 0 0 659 11 5 3 20 0 15 0 31598537 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140354039841184 140353659459562 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) S 14104 14107 7434 0 -1 1077944384 544 12678 0 0 9 4 5 3 20 0 15 0 31598538 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353970043664 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) S 14104 14107 7434 0 -1 1077944384 291 12678 0 0 8 3 5 3 20 0 15 0 31598538 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353968991120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) S 14104 14107 7434 0 -1 1077944384 1075 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) S 14104 14107 7434 0 -1 1077944384 1090 12678 0 0 10 4 5 3 20 0 15 0 31598538 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353966886032 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) S 14104 14107 7434 0 -1 1077944384 1753 12678 0 0 2 0 5 3 20 0 15 0 31598539 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353513936880 140354035620482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 61 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353512883168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 50 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353511830528 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13999932 CPUtime=4.29 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) R 14104 14107 7434 0 -1 4202560 7427 12678 0 0 420 1 5 3 20 0 15 0 31598543 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353509716624 140354019020128 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13999932 CPUtime=4.23 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) R 14104 14107 7434 0 -1 4202560 8561 12678 0 0 414 1 5 3 20 0 15 0 31598543 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353508674160 140354019998929 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13999932 CPUtime=1.96 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 9683 12678 0 0 185 3 5 3 20 0 15 0 31598543 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 108 12678 0 0 0 0 5 3 20 0 15 0 31598547 14335930368 117097 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 17.66
Current children cumulated vsize (KiB) 13999932
[startup+7.60085 s]
/proc/loadavg: 1.88 1.73 1.60 5/210 14171
/proc/meminfo: memFree=28049516/32770624 swapFree=0/381820
[pid=14107] ppid=14104 vsize=13999932 CPUtime=18.96 cores=1,3,5,7
/proc/14107/stat : 14107 (java) S 14104 14107 7434 0 -1 1077944320 72015 12678 0 0 1848 40 5 3 20 0 15 0 31598515 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140722077049072 140354035609335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
/proc/14107/statm: 3499983 136782 3474 1 0 3488597 0
[pid=14107/tid=14157] ppid=14104 vsize=13999932 CPUtime=7.06 cores=1,3,5,7
/proc/14107/task/14157/stat : 14157 (java) S 14104 14107 7434 0 -1 1077944384 35106 12678 0 0 686 12 5 3 20 0 15 0 31598537 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140354039835168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14158] ppid=14104 vsize=13999932 CPUtime=0.3 cores=1,3,5,7
/proc/14107/task/14158/stat : 14158 (java) R 14104 14107 7434 0 -1 4202560 732 12678 0 0 17 5 5 3 20 0 15 0 31598538 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353970043552 140354020310002 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14159] ppid=14104 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/14107/task/14159/stat : 14159 (java) R 14104 14107 7434 0 -1 4202560 487 12678 0 0 16 4 5 3 20 0 15 0 31598538 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353968991320 140354020309920 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14160] ppid=14104 vsize=13999932 CPUtime=0.3 cores=1,3,5,7
/proc/14107/task/14160/stat : 14160 (java) R 14104 14107 7434 0 -1 4202560 1286 12678 0 0 18 4 5 3 20 0 15 0 31598538 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353967938576 140354020310051 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14161] ppid=14104 vsize=13999932 CPUtime=0.3 cores=1,3,5,7
/proc/14107/task/14161/stat : 14161 (java) R 14104 14107 7434 0 -1 4202560 1232 12678 0 0 18 4 5 3 20 0 15 0 31598538 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353966886232 140354020309985 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14162] ppid=14104 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/14107/task/14162/stat : 14162 (java) S 14104 14107 7434 0 -1 1077944384 4763 12678 0 0 4 0 5 3 20 0 15 0 31598539 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353513935392 140354035619541 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14163] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14163/stat : 14163 (java) S 14104 14107 7434 0 -1 1077944384 61 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353512883168 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14164] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14164/stat : 14164 (java) S 14104 14107 7434 0 -1 1077944384 50 12678 0 0 0 0 5 3 20 0 15 0 31598540 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353511830528 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14165] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14165/stat : 14165 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353510779088 140354035627931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14166] ppid=14104 vsize=13999932 CPUtime=4.57 cores=1,3,5,7
/proc/14107/task/14166/stat : 14166 (java) S 14104 14107 7434 0 -1 1077944384 7528 12678 0 0 448 1 5 3 20 0 15 0 31598543 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353509706544 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14167] ppid=14104 vsize=13999932 CPUtime=4.51 cores=1,3,5,7
/proc/14107/task/14167/stat : 14167 (java) S 14104 14107 7434 0 -1 1077944384 8668 12678 0 0 441 2 5 3 20 0 15 0 31598543 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353508661120 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14168] ppid=14104 vsize=13999932 CPUtime=2.04 cores=1,3,5,7
/proc/14107/task/14168/stat : 14168 (java) S 14104 14107 7434 0 -1 1077944384 9837 12678 0 0 193 3 5 3 20 0 15 0 31598543 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353507621616 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14169] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14169/stat : 14169 (java) S 14104 14107 7434 0 -1 1077944384 3 12678 0 0 0 0 5 3 20 0 15 0 31598543 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353506569312 140354035619541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
[pid=14107/tid=14170] ppid=14104 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/14107/task/14170/stat : 14170 (java) S 14104 14107 7434 0 -1 1077944384 108 12678 0 0 0 0 5 3 20 0 15 0 31598547 14335930368 136782 18446744073709551615 4194304 4196468 140722077066528 140353505515824 140354035620482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140722077071312 140722077074097 140722077074097 140722077077455 0
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (KiB) 13999932
Child status: 0
Real time (s): 7.65311
CPU time (s): 19.0946
CPU user time (s): 18.6487
CPU system time (s): 0.445917
CPU usage (%): 249.501
Max. virtual memory (cumulated for all children) (KiB): 13999932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6487
system time used= 0.445917
maximum resident set size= 548704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7584
involuntary context switches= 79
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02987 second user time and 0.059802 second system time
The end