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 (15291 MiB free)
memory of node 1: 16384 MiB (14996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391982-1568319747/watcher-4391982-1568319747 -o /tmp/evaluation-result-4391982-1568319747/solver-4391982-1568319747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=6123762 HOME/instance-4391982-1568319747.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=27088, runsolver pid=27085
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 1.43 1.40 1.42 4/224 27145
/proc/meminfo: memFree=30989604/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=9972712 memory=19124 CPUtime=0.1 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 4493 13259 0 0 1 1 5 3 20 0 6 0 408214393 10212057088 4781 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2493178 4781 1935 1 0 2481616 0
[pid=27088/tid=27141] ppid=27085 vsize=9972712 memory=4279135703980080784 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 2303 13259 0 0 1 0 5 3 20 0 6 0 408214402 10212057088 4781 33554432000 4194304 4196468 140728121126048 140284021051984 140284033343568 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 408214403 10212057088 4781 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=9972712 memory=140396297275008 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 408214403 10212057088 4781 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 6 0 408214403 10212057088 4781 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 408214403 10212057088 4781 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.413724 s]*
/proc/loadavg: 1.43 1.40 1.42 3/233 27154
/proc/meminfo: memFree=30959380/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10820244 memory=57120 CPUtime=0.59 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 11779 13259 0 0 46 5 5 3 20 0 15 0 408214393 11079929856 14280 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2705061 14280 3421 1 0 2667149 0
[pid=27088/tid=27141] ppid=27085 vsize=10820244 memory=-6517102902069810590 CPUtime=0.4 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 8114 13259 0 0 29 3 5 3 20 0 15 0 408214402 11079929856 14280 33554432000 4194304 4196468 140728121126048 140284021009680 140284033295710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10820244 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 14280 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10820244 memory=140396297275008 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10820244 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10820244 memory=140396297275008 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214404 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10820244 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283496883232 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214405 11079929856 14280 33554432000 4194304 4196468 140728121126048 140282892903280 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10820244 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) S 27085 27088 20959 0 -1 1077944384 595 13259 0 0 3 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283574786928 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10820244 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) S 27085 27088 20959 0 -1 1077944384 134 13259 0 0 3 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283573734128 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10820244 memory=140396297275008 CPUtime=0.17 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) S 27085 27088 20959 0 -1 1077944384 712 13259 0 0 9 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10820244 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10820244 memory=140396297275008 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 14280 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 57120 KiB
[startup+0.517364 s]*
/proc/loadavg: 1.43 1.40 1.42 5/233 27154
/proc/meminfo: memFree=30952572/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10820244 memory=66488 CPUtime=0.75 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 13247 13259 0 0 62 5 5 3 20 0 15 0 408214393 11079929856 16622 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2705061 16622 3449 1 0 2667149 0
[pid=27088/tid=27141] ppid=27085 vsize=10820244 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 9228 13259 0 0 39 3 5 3 20 0 15 0 408214402 11079929856 16622 33554432000 4194304 4196468 140728121126048 140284021017424 140284035419152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10820244 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 16622 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10820244 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10820244 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214404 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283496883232 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214405 11079929856 16622 33554432000 4194304 4196468 140728121126048 140282892903280 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10820244 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) R 27085 27088 20959 0 -1 4202560 764 13259 0 0 6 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283574772896 140284030758946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10820244 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) R 27085 27088 20959 0 -1 4202560 303 13259 0 0 5 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283573722736 140284034144693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10820244 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) S 27085 27088 20959 0 -1 1077944384 728 13259 0 0 10 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214408 11079929856 16622 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 66488 KiB
[startup+0.713497 s]*
/proc/loadavg: 1.43 1.40 1.42 3/233 27154
/proc/meminfo: memFree=30941924/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10824340 memory=83624 CPUtime=1.19 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 15229 13259 0 0 105 6 5 3 20 0 15 0 408214393 11084124160 20906 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2706085 20906 3499 1 0 2668173 0
[pid=27088/tid=27141] ppid=27085 vsize=10824340 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 10852 13259 0 0 58 4 5 3 20 0 15 0 408214402 11084124160 20906 33554432000 4194304 4196468 140728121126048 140284021041696 140283647918312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10824340 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11084124160 20906 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10824340 memory=2944 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10824340 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214403 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10824340 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214403 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10824340 memory=3220 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 5 13259 0 0 0 0 5 3 20 0 15 0 408214404 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10824340 memory=648628 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283496883232 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10824340 memory=1412 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214405 11084124160 20906 33554432000 4194304 4196468 140728121126048 140282892903280 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10824340 memory=2268 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) S 27085 27088 20959 0 -1 1077944384 903 13259 0 0 15 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283574786928 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) S 27085 27088 20959 0 -1 1077944384 366 13259 0 0 13 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283573734128 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) S 27085 27088 20959 0 -1 1077944384 881 13259 0 0 17 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10824340 memory=3472592183261933599 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214408 11084124160 20906 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83624 KiB
[startup+1.50137 s]
/proc/loadavg: 1.43 1.40 1.42 3/233 27154
/proc/meminfo: memFree=30867176/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10834656 memory=166472 CPUtime=2.5 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 22500 13259 0 0 233 9 5 3 20 0 15 0 408214393 11094687744 41618 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2708664 41618 3570 1 0 2670733 0
[pid=27088/tid=27141] ppid=27085 vsize=10834656 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 15611 13259 0 0 131 6 5 3 20 0 15 0 408214402 11094687744 41618 33554432000 4194304 4196468 140728121126048 140284021009936 140283647916700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 77 13259 0 0 1 0 5 3 20 0 15 0 408214403 11094687744 41618 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10834656 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 382 13259 0 0 1 0 5 3 20 0 15 0 408214403 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10834656 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 65 13259 0 0 1 0 5 3 20 0 15 0 408214403 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10834656 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 19 13259 0 0 1 0 5 3 20 0 15 0 408214403 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10834656 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 864 13259 0 0 1 0 5 3 20 0 15 0 408214404 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10834656 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283496883296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214405 11094687744 41618 33554432000 4194304 4196468 140728121126048 140282892903296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10834656 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) R 27085 27088 20959 0 -1 1077944384 995 13259 0 0 25 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283574786928 140284049226370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10834656 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) R 27085 27088 20959 0 -1 4202560 537 13259 0 0 27 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283573734128 140284042200265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10834656 memory=-7965959130280075168 CPUtime=0.49 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) R 27085 27088 20959 0 -1 1077944384 1730 13259 0 0 41 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10834656 memory=280792345422080 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214408 11094687744 41618 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 166472 KiB
[startup+3.03234 s]
# the end of solver process 27088 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.35331 s, system=0.204391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.80145 s]
/proc/loadavg: 1.43 1.40 1.42 3/233 27154
/proc/meminfo: memFree=30867176/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10836724 memory=171728 CPUtime=3.06 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 24169 13259 0 0 288 10 5 3 20 0 15 0 408214393 11096805376 42932 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2709181 42932 3579 1 0 2671245 0
[pid=27088/tid=27141] ppid=27085 vsize=10836724 memory=1212 CPUtime=1.74 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 16531 13259 0 0 160 6 5 3 20 0 15 0 408214402 11096805376 42932 33554432000 4194304 4196468 140728121126048 140284021045024 140284049227158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10836724 memory=1036 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 77 13259 0 0 1 0 5 3 20 0 15 0 408214403 11096805376 42932 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10836724 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 382 13259 0 0 1 0 5 3 20 0 15 0 408214403 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10836724 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 65 13259 0 0 1 0 5 3 20 0 15 0 408214403 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10836724 memory=140396172868112 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 19 13259 0 0 1 0 5 3 20 0 15 0 408214403 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10836724 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 864 13259 0 0 1 0 5 3 20 0 15 0 408214404 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10836724 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283496883296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10836724 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214405 11096805376 42932 33554432000 4194304 4196468 140728121126048 140282892903296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10836724 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10836724 memory=6944652177228980320 CPUtime=0.41 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) R 27085 27088 20959 0 -1 4202560 1330 13259 0 0 33 0 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283574773456 140284034338796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10836724 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) S 27085 27088 20959 0 -1 1077944384 586 13259 0 0 32 0 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283573734128 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10836724 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) R 27085 27088 20959 0 -1 1077944384 2095 13259 0 0 55 1 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10836724 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10836724 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 408214408 11096805376 42932 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10836724 KiB
Current children cumulated memory: 171728 KiB
[startup+2.60096 s]
/proc/loadavg: 1.43 1.40 1.42 6/233 27154
/proc/meminfo: memFree=30835512/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10842868 memory=206472 CPUtime=5.39 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 36852 13259 0 0 518 13 5 3 20 0 15 0 408214393 11103096832 51618 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2710717 51618 3588 1 0 2672781 0
[pid=27088/tid=27141] ppid=27085 vsize=10842868 memory=-3252517613199061085 CPUtime=2.53 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 4202560 21574 13259 0 0 238 7 5 3 20 0 15 0 408214402 11103096832 51618 33554432000 4194304 4196468 140728121126048 140284021044528 140284032556524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10842868 memory=-1807685287717842718 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 77 13259 0 0 1 0 5 3 20 0 15 0 408214403 11103096832 51618 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10842868 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 382 13259 0 0 1 0 5 3 20 0 15 0 408214403 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10842868 memory=4 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 65 13259 0 0 1 0 5 3 20 0 15 0 408214403 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10842868 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 19 13259 0 0 1 0 5 3 20 0 15 0 408214403 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10842868 memory=140396172900368 CPUtime=0.09 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 891 13259 0 0 1 0 5 3 20 0 15 0 408214404 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10842868 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 408214405 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283496883296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10842868 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214405 11103096832 51618 33554432000 4194304 4196468 140728121126048 140282892903296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10842868 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10842868 memory=662363397872623670 CPUtime=0.83 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) S 27085 27088 20959 0 -1 1077944384 2818 13259 0 0 75 0 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283574786928 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10842868 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) S 27085 27088 20959 0 -1 1077944384 4001 13259 0 0 95 1 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283573734128 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10842868 memory=8976414709404591081 CPUtime=1.1 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) S 27085 27088 20959 0 -1 1077944384 4803 13259 0 0 101 1 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10842868 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10842868 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 5 13259 0 0 0 0 5 3 20 0 15 0 408214408 11103096832 51618 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 206472 KiB
[startup+3.00467 s]
/proc/loadavg: 1.43 1.40 1.42 6/233 27154
/proc/meminfo: memFree=30835512/32770624 swapFree=67003364/67108860
[pid=27088] ppid=27085 vsize=10844916 memory=245612 CPUtime=6.5 cores=0,2,4,6
/proc/27088/stat : 27088 (java) S 27085 27088 20959 0 -1 1077944320 43163 13259 0 0 626 16 5 3 20 0 15 0 408214393 11105193984 61403 33554432000 4194304 4196468 140728121126048 140728121108592 140284049215223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
/proc/27088/statm: 2711229 61403 3603 1 0 2673293 0
[pid=27088/tid=27141] ppid=27085 vsize=10844916 memory=13841 CPUtime=2.9 cores=0,2,4,6
/proc/27088/task/27141/stat : 27141 (java) R 27085 27088 20959 0 -1 1077944384 23258 13259 0 0 274 8 5 3 20 0 15 0 408214402 11105193984 61403 33554432000 4194304 4196468 140728121126048 140284021050848 140284049225429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27142] ppid=27085 vsize=10844916 memory=27322 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27142/stat : 27142 (java) S 27085 27088 20959 0 -1 1077944384 101 13259 0 0 3 0 5 3 20 0 15 0 408214403 11105193984 61403 33554432000 4194304 4196468 140728121126048 140284053458064 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27143] ppid=27085 vsize=10844916 memory=-7518891959079781826 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27143/stat : 27143 (java) S 27085 27088 20959 0 -1 1077944384 406 13259 0 0 3 0 5 3 20 0 15 0 408214403 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283968277520 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27144] ppid=27085 vsize=10844916 memory=-7025448733113094249 CPUtime=0.1 cores=0,2,4,6
/proc/27088/task/27144/stat : 27144 (java) S 27085 27088 20959 0 -1 1077944384 240 13259 0 0 2 0 5 3 20 0 15 0 408214403 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283621333904 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27145] ppid=27085 vsize=10844916 memory=-7522837583045875833 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27145/stat : 27145 (java) S 27085 27088 20959 0 -1 1077944384 168 13259 0 0 3 0 5 3 20 0 15 0 408214403 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283620281104 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27146] ppid=27085 vsize=10844916 memory=4137282616176384387 CPUtime=0.11 cores=0,2,4,6
/proc/27088/task/27146/stat : 27146 (java) S 27085 27088 20959 0 -1 1077944384 3429 13259 0 0 3 0 5 3 20 0 15 0 408214404 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283575839088 140284049226370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27147] ppid=27085 vsize=10844916 memory=6933690287860520857 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27147/stat : 27147 (java) S 27085 27088 20959 0 -1 1077944384 14 13259 0 0 0 0 5 3 20 0 15 0 408214405 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283496883296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27148] ppid=27085 vsize=10844916 memory=-7025448733113094249 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27148/stat : 27148 (java) S 27085 27088 20959 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 408214405 11105193984 61403 33554432000 4194304 4196468 140728121126048 140282892903296 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27149] ppid=27085 vsize=10844916 memory=-9001728533042062950 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27149/stat : 27149 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140282585503568 140284049233819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27150] ppid=27085 vsize=10844916 memory=-7313218805096079717 CPUtime=1.09 cores=0,2,4,6
/proc/27088/task/27150/stat : 27150 (java) R 27085 27088 20959 0 -1 4202560 4016 13259 0 0 100 1 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283574766952 140284032712007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27151] ppid=27085 vsize=10844916 memory=-9001728533042062950 CPUtime=1.29 cores=0,2,4,6
/proc/27088/task/27151/stat : 27151 (java) R 27085 27088 20959 0 -1 4202560 4075 13259 0 0 120 1 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283573734128 140284032626117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27152] ppid=27085 vsize=10844916 memory=-7025448733113094249 CPUtime=1.24 cores=0,2,4,6
/proc/27088/task/27152/stat : 27152 (java) S 27085 27088 20959 0 -1 1077944384 5246 13259 0 0 114 2 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283572681328 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27153] ppid=27085 vsize=10844916 memory=4137282616176384387 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27153/stat : 27153 (java) S 27085 27088 20959 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140282551945952 140284049225429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
[pid=27088/tid=27154] ppid=27085 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27088/task/27154/stat : 27154 (java) S 27085 27088 20959 0 -1 1077944384 5 13259 0 0 0 0 5 3 20 0 15 0 408214408 11105193984 61403 33554432000 4194304 4196468 140728121126048 140283571628720 140284049226370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140728121129720 140728121132229 140728121132229 140728121135055 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 245612 KiB
Child status: 0
Real time (s): 3.03239
CPU time (s): 6.5577
CPU user time (s): 6.35331
CPU system time (s): 0.204391
CPU usage (%): 216.255
Max. virtual memory (cumulated for all children) (KiB): 10844916
Max. memory (cumulated for all children) (KiB): 245612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.35331
system time used= 0.204391
maximum resident set size= 247740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5605
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 27088
# total CPU time (s): 6.5577
# total CPU user time (s): 6.35331
# total CPU system time (s): 0.204391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050548 second user time and 0.05819 second system time
The end