runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14953 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273443-1502805249/watcher-4273443-1502805249 -o /tmp/evaluation-result-4273443-1502805249/solver-4273443-1502805249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2121887876 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273443-1502805249.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32108, runsolver pid=32105
[startup+0.100374 s]*
/proc/loadavg: 2.22 1.90 1.77 3/215 32122
/proc/meminfo: memFree=31014272/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13906484 memory=20656 CPUtime=0.05 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 5128 0 0 0 5 0 0 0 20 0 14 0 128340092 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3476621 5164 2591 1 0 3466118 0
[pid=32108/tid=32110] ppid=32105 vsize=13906484 memory=7077796292425249400 CPUtime=0.04 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) D 32105 32108 8289 0 -1 4202560 3224 0 0 0 4 0 0 0 20 0 14 0 128340097 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681999181728 139681994966269 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 128340098 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13906484 memory=139852508481152 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 128340098 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 128340098 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 128340098 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 128340099 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 128340099 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 128340100 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 128340102 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 128340102 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 128340102 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) S 32105 32108 8289 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 128340102 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 128340102 14240239616 5164 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20656 KiB
[startup+0.211909 s]*
/proc/loadavg: 2.22 1.90 1.77 5/216 32123
/proc/meminfo: memFree=30998900/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13975920 memory=37872 CPUtime=0.19 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 10044 0 0 0 17 2 0 0 20 0 15 0 128340092 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3493980 9468 3541 1 0 3482759 0
[pid=32108/tid=32110] ppid=32105 vsize=13975920 memory=8316850467074736180 CPUtime=0.13 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) R 32105 32108 8289 0 -1 4202560 7805 0 0 0 11 2 0 0 20 0 15 0 128340097 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681999166608 139681979024734 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13975920 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13975920 memory=3833600569656395424 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13975920 memory=139852508481152 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340099 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 128340102 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 128340102 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13975920 memory=139852508481152 CPUtime=0.03 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) S 32105 32108 8289 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 128340102 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13975920 memory=139852508481152 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340106 14311342080 9468 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37872 KiB
[startup+0.311501 s]*
/proc/loadavg: 2.22 1.90 1.77 5/216 32123
/proc/meminfo: memFree=30993924/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13975920 memory=46036 CPUtime=0.35 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 11803 0 0 0 32 3 0 0 20 0 15 0 128340092 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3493980 11509 3581 1 0 3482759 0
[pid=32108/tid=32110] ppid=32105 vsize=13975920 memory=8316850467074736180 CPUtime=0.22 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) R 32105 32108 8289 0 -1 4202560 9337 0 0 0 20 2 0 0 20 0 15 0 128340097 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681999166832 139681994966173 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13975920 memory=8293 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13975920 memory=3833600569656395424 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13975920 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13975920 memory=3472468148735899312 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128340099 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13975920 memory=8607328266676888414 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 128340102 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13975920 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 128340102 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13975920 memory=139852508481152 CPUtime=0.07 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) R 32105 32108 8289 0 -1 4202560 444 0 0 0 7 0 0 0 20 0 15 0 128340102 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994956182 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13975920 memory=139852508481152 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340106 14311342080 11509 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 46036 KiB
[startup+0.700688 s]
/proc/loadavg: 2.22 1.90 1.77 2/216 32123
/proc/meminfo: memFree=30967340/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13975940 memory=57424 CPUtime=0.67 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 13107 0 0 0 63 4 0 0 20 0 15 0 128340092 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3493985 14356 3706 1 0 3482759 0
[pid=32108/tid=32110] ppid=32105 vsize=13975940 memory=1296 CPUtime=0.39 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) D 32105 32108 8289 0 -1 4202560 10032 0 0 0 36 3 0 0 20 0 15 0 128340097 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681999182736 139681994966173 0 4 1 16800974 18446744072101043333 0 0 -1 5 0 0 3 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13975940 memory=2440 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13975940 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13975940 memory=38148 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13975940 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13975940 memory=640 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128340099 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13975940 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13975940 memory=956 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13975940 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13975940 memory=4288 CPUtime=0.05 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13975940 memory=2164 CPUtime=0.07 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13975940 memory=928 CPUtime=0.12 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) S 32105 32108 8289 0 -1 1077944384 528 0 0 0 12 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13975940 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13975940 memory=844 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340106 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 57424 KiB
[startup+1.19103 s]
# the end of solver process 32108 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.24591 s, system=0.069447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800919 s]
/proc/loadavg: 2.22 1.90 1.77 2/216 32123
/proc/meminfo: memFree=30967340/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13975940 memory=57424 CPUtime=0.67 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 13107 0 0 0 63 4 0 0 20 0 15 0 128340092 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3493985 14356 3706 1 0 3482759 0
[pid=32108/tid=32110] ppid=32105 vsize=13975940 memory=3564 CPUtime=0.39 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) D 32105 32108 8289 0 -1 4202560 10032 0 0 0 36 3 0 0 20 0 15 0 128340097 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681999182736 139681994966173 0 4 1 16800974 18446744072101043333 0 0 -1 5 0 0 3 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13975940 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13975940 memory=3912 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13975940 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13975940 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13975940 memory=154004 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128340099 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13975940 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13975940 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13975940 memory=4076 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13975940 memory=4584 CPUtime=0.05 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13975940 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13975940 memory=2392 CPUtime=0.12 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) S 32105 32108 8289 0 -1 1077944384 528 0 0 0 12 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13975940 memory=57424 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13975940 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340106 14311362560 14356 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 57424 KiB
[startup+1.0006 s]*
/proc/loadavg: 2.36 1.94 1.79 5/216 32123
/proc/meminfo: memFree=30968164/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13977988 memory=71440 CPUtime=0.96 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 14086 0 0 0 92 4 0 0 20 0 15 0 128340092 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3494497 17860 3726 1 0 3483271 0
[pid=32108/tid=32110] ppid=32105 vsize=13977988 memory=-8774313645642428999 CPUtime=0.56 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) R 32105 32108 8289 0 -1 4202560 10709 0 0 0 53 3 0 0 20 0 15 0 128340097 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681999179776 139681994956182 0 4 1 16800974 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13977988 memory=279704898064288 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13977988 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13977988 memory=3055219902687559785 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128340099 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13977988 memory=8764164798296201423 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13977988 memory=6933690287860520088 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13977988 memory=-8412658744833442419 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13977988 memory=8622098092493678723 CPUtime=0.08 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 128340102 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13977988 memory=-8689539942354613440 CPUtime=0.12 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 532 0 0 0 12 0 0 0 20 0 15 0 128340102 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13977988 memory=8251524111800102297 CPUtime=0.18 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) R 32105 32108 8289 0 -1 4202560 691 0 0 0 18 0 0 0 20 0 15 0 128340102 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681988041083 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340106 14313459712 17860 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71440 KiB
[startup+1.11032 s]
/proc/loadavg: 2.36 1.94 1.79 5/216 32123
/proc/meminfo: memFree=30968164/32770624 swapFree=67108860/67108860
[pid=32108] ppid=32105 vsize=13980036 memory=82664 CPUtime=1.1 cores=1,3,5,7
/proc/32108/stat : 32108 (java) S 32105 32108 8289 0 -1 1077944320 16347 0 0 0 105 5 0 0 20 0 15 0 128340092 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 140736887943904 139681994944247 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 4 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
/proc/32108/statm: 3495009 20666 3729 1 0 3483783 0
[pid=32108/tid=32110] ppid=32105 vsize=13980036 memory=67 CPUtime=0.66 cores=1,3,5,7
/proc/32108/task/32110/stat : 32110 (java) R 32105 32108 8289 0 -1 4202560 12880 0 0 0 62 4 0 0 20 0 15 0 128340097 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681999165648 139681987661351 0 4 1 16800974 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32111] ppid=32105 vsize=13980036 memory=39 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32111/stat : 32111 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681936890512 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32112] ppid=32105 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32112/stat : 32112 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681935837712 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32113] ppid=32105 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32113/stat : 32113 (java) S 32105 32108 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128340098 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681934784912 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32114] ppid=32105 vsize=13980036 memory=7373061571652577636 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32114/stat : 32114 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340098 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681591728400 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32115] ppid=32105 vsize=13980036 memory=7446237308415721570 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32115/stat : 32115 (java) S 32105 32108 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128340099 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681541548912 139681994955394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32116] ppid=32105 vsize=13980036 memory=7649399375692116275 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32116/stat : 32116 (java) S 32105 32108 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128340099 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681540494880 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32117] ppid=32105 vsize=13980036 memory=4294969536 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32117/stat : 32117 (java) S 32105 32108 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128340100 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681539442032 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32118] ppid=32105 vsize=13980036 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32118/stat : 32118 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681538390352 139681994962843 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32119] ppid=32105 vsize=13980036 memory=6872598998417432672 CPUtime=0.09 cores=1,3,5,7
/proc/32108/task/32119/stat : 32119 (java) S 32105 32108 8289 0 -1 1077944384 774 0 0 0 9 0 0 0 20 0 15 0 128340102 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681537337712 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32120] ppid=32105 vsize=13980036 memory=6944656592387989600 CPUtime=0.12 cores=1,3,5,7
/proc/32108/task/32120/stat : 32120 (java) S 32105 32108 8289 0 -1 1077944384 545 0 0 0 12 0 0 0 20 0 15 0 128340102 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681536284912 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32121] ppid=32105 vsize=13980036 memory=6944656575208382560 CPUtime=0.2 cores=1,3,5,7
/proc/32108/task/32121/stat : 32121 (java) R 32105 32108 8289 0 -1 4202560 765 0 0 0 20 0 0 0 20 0 15 0 128340102 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681535232112 139681994965594 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32122] ppid=32105 vsize=13980036 memory=5857 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32122/stat : 32122 (java) S 32105 32108 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128340102 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681534179552 139681994954453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
[pid=32108/tid=32123] ppid=32105 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32108/task/32123/stat : 32123 (java) S 32105 32108 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128340106 14315556864 20666 18446744073709551615 4194304 4196468 140736887961360 139681533127856 139681994955394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35373056 140736887968110 140736887968297 140736887968297 140736887971791 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 82664 KiB
Child status: 0
Real time (s): 1.19107
CPU time (s): 1.31536
CPU user time (s): 1.24591
CPU system time (s): 0.069447
CPU usage (%): 110.435
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 82664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.24591
system time used= 0.069447
maximum resident set size= 89272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1809
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 32108
# total CPU time (s): 1.31536
# total CPU user time (s): 1.24591
# total CPU system time (s): 0.069447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034031 second user time and 0.053341 second system time
The end