runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254947-1501621799/watcher-4254947-1501621799 -o /tmp/evaluation-result-4254947-1501621799/solver-4254947-1501621799 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 60427147 HOME/instance-4254947-1501621799.xml 

pid=15227
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.56 1.64 1.75 4/195 15230
/proc/meminfo: memFree=31468564/32770624 swapFree=0/192536
[pid=15230] ppid=15227 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (runsolver) D 15227 15230 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10803015 24240128 107 18446744073709551615 4194304 4338465 140723236500608 140723236498248 139695048745687 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 35422208 140723236503646 140723236504134 140723236504134 140723236507594 0
/proc/15230/statm: 5918 107 54 36 0 2156 0

[startup+0.10009 s]
/proc/loadavg: 1.56 1.64 1.75 4/195 15230
/proc/meminfo: memFree=31468564/32770624 swapFree=0/192536
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200333 s]
/proc/loadavg: 1.56 1.64 1.75 4/195 15230
/proc/meminfo: memFree=31468564/32770624 swapFree=0/192536
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.302262 s]
/proc/loadavg: 1.56 1.64 1.75 4/195 15230
/proc/meminfo: memFree=31468564/32770624 swapFree=0/192536
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700253 s]
/proc/loadavg: 1.56 1.64 1.75 4/195 15230
/proc/meminfo: memFree=31468564/32770624 swapFree=0/192536
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50073 s]
/proc/loadavg: 1.56 1.64 1.75 5/211 15246
/proc/meminfo: memFree=31359844/32770624 swapFree=0/192556
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 16259 0 0 0 289 5 0 0 20 0 15 0 10803023 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 26880 3180 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 8210 0 0 0 129 3 0 0 20 0 15 0 10803024 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140505588433360 140505178304605 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504498680864 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504497628016 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 2479 0 0 0 57 0 0 0 20 0 15 0 10803029 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 2635 0 0 0 64 0 0 0 20 0 15 0 10803029 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 1627 0 0 0 37 0 0 0 20 0 15 0 10803029 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803037 14316269568 26880 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 13990244

[startup+3.10067 s]
/proc/loadavg: 1.59 1.65 1.75 3/211 15246
/proc/meminfo: memFree=31306772/32770624 swapFree=0/192556
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=5.9 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 21258 0 0 0 583 7 0 0 20 0 15 0 10803023 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 43881 3181 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 9391 0 0 0 288 4 0 0 20 0 15 0 10803024 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140505588436120 140505569905111 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10803024 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504498680864 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504497628016 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=1.18 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) R 15230 15230 5091 0 -1 4202560 3587 0 0 0 118 0 0 0 20 0 15 0 10803029 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504495511568 140505584218714 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) R 15230 15230 5091 0 -1 4202560 3986 0 0 0 125 1 0 0 20 0 15 0 10803029 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504494462960 140505562613669 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 2938 0 0 0 50 0 0 0 20 0 15 0 10803029 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10803037 14316269568 43881 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 13990244

[startup+6.30078 s]
/proc/loadavg: 1.59 1.65 1.75 3/211 15246
/proc/meminfo: memFree=30920504/32770624 swapFree=0/192568
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=10.94 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 23074 0 0 0 1079 15 0 0 20 0 15 0 10803023 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 64386 3217 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=6.04 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 9449 0 0 0 600 4 0 0 20 0 15 0 10803024 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140505588436688 140505179799950 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 238 0 0 0 4 1 0 0 20 0 15 0 10803024 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 288 0 0 0 4 1 0 0 20 0 15 0 10803024 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 107 0 0 0 5 1 0 0 20 0 15 0 10803024 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 91 0 0 0 4 1 0 0 20 0 15 0 10803024 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504498680864 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504497628016 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 3877 0 0 0 193 1 0 0 20 0 15 0 10803029 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 4170 0 0 0 204 1 0 0 20 0 15 0 10803029 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 3278 0 0 0 59 0 0 0 20 0 15 0 10803029 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10803037 14316269568 64386 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 1.65 1.66 1.75 6/211 15246
/proc/meminfo: memFree=30620268/32770624 swapFree=0/192576
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=18.52 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 32982 0 0 0 1823 29 0 0 20 0 15 0 10803023 14316269568 113343 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 113343 3225 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=12.34 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 10938 0 0 0 1229 5 0 0 20 0 15 0 10803024 14316269568 113343 18446744073709551615 4194304 4196468 140729374487712 140505588434048 140505179921918 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 452 0 0 0 10 4 0 0 20 0 15 0 10803024 14316269568 113343 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 547 0 0 0 10 4 0 0 20 0 15 0 10803024 14316269568 113343 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0

################
# More data... #
################

[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504498680928 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504497628032 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=3.51 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 15733 0 0 0 349 2 0 0 20 0 15 0 10803029 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=3.64 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 15644 0 0 0 363 1 0 0 20 0 15 0 10803029 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 5755 0 0 0 74 1 0 0 20 0 15 0 10803029 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 124 0 0 0 3 2 0 0 20 0 15 0 10803037 14316269568 539778 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 112.51
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.09 1.81 1.80 3/211 15252
/proc/meminfo: memFree=27285920/32770624 swapFree=0/192680
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=175.92 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 72050 0 0 0 17435 157 0 0 20 0 15 0 10803023 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 582459 3243 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=160.19 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 19984 0 0 0 15996 23 0 0 20 0 15 0 10803024 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140505588436920 140505179799689 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 1462 0 0 0 139 31 0 0 20 0 15 0 10803024 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 2112 0 0 0 140 30 0 0 20 0 15 0 10803024 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 1600 0 0 0 141 30 0 0 20 0 15 0 10803024 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 1557 0 0 0 140 30 0 0 20 0 15 0 10803024 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 4043 0 0 0 19 1 0 0 20 0 15 0 10803026 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504498680928 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504497628032 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 15769 0 0 0 359 2 0 0 20 0 15 0 10803029 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 18271 0 0 0 414 1 0 0 20 0 15 0 10803029 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 5762 0 0 0 75 1 0 0 20 0 15 0 10803029 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 125 0 0 0 5 4 0 0 20 0 15 0 10803037 14316269568 582459 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 175.92
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.99 1.83 1.80 3/211 15254
/proc/meminfo: memFree=26095656/32770624 swapFree=0/192716
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=236.42 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 76706 0 0 0 23465 177 0 0 20 0 15 0 10803023 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 696251 3244 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=220.04 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 22795 0 0 0 21974 30 0 0 20 0 15 0 10803024 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140505588435944 140505182442768 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 1692 0 0 0 152 34 0 0 20 0 15 0 10803024 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 2180 0 0 0 152 33 0 0 20 0 15 0 10803024 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 1868 0 0 0 154 33 0 0 20 0 15 0 10803024 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 1629 0 0 0 153 33 0 0 20 0 15 0 10803024 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 4195 0 0 0 19 1 0 0 20 0 15 0 10803026 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504498680928 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504497628032 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 15952 0 0 0 359 2 0 0 20 0 15 0 10803029 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 18677 0 0 0 414 1 0 0 20 0 15 0 10803029 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 6193 0 0 0 75 1 0 0 20 0 15 0 10803029 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 160 0 0 0 6 6 0 0 20 0 15 0 10803037 14316269568 696251 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 236.42
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.06 1.86 1.81 4/211 15332
/proc/meminfo: memFree=28478348/32770624 swapFree=0/192772
[pid=15230] ppid=15227 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (xcsp3-exec) S 15227 15230 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10803015 9740288 345 18446744073709551615 4194304 5098028 140726772598000 140726772596104 140247158002300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 38240256 140726772605341 140726772605543 140726772605543 140726772609003 0
/proc/15230/statm: 2378 345 289 221 0 87 0
[pid=15232] ppid=15230 vsize=13980732 CPUtime=254.65 cores=0,2,4,6
/proc/15232/stat : 15232 (java) S 15230 15230 5091 0 -1 1077944320 79552 0 0 0 25273 192 0 0 20 0 15 0 10803023 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140729374470256 140505584197367 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
/proc/15232/statm: 3495183 795264 3244 1 0 3483484 0
[pid=15232/tid=15233] ppid=15230 vsize=13980732 CPUtime=237.56 cores=0,2,4,6
/proc/15232/task/15233/stat : 15233 (java) R 15230 15230 5091 0 -1 4202560 24348 0 0 0 23721 35 0 0 20 0 15 0 10803024 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140505588435848 140505179799950 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15234] ppid=15230 vsize=13980732 CPUtime=2.03 cores=0,2,4,6
/proc/15232/task/15234/stat : 15234 (java) S 15230 15230 5091 0 -1 1077944384 1870 0 0 0 167 36 0 0 20 0 15 0 10803024 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140505503612048 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15235] ppid=15230 vsize=13980732 CPUtime=2.02 cores=0,2,4,6
/proc/15232/task/15235/stat : 15235 (java) S 15230 15230 5091 0 -1 1077944384 2507 0 0 0 167 35 0 0 20 0 15 0 10803024 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140505502559248 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15236] ppid=15230 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/15232/task/15236/stat : 15236 (java) S 15230 15230 5091 0 -1 1077944384 2027 0 0 0 169 36 0 0 20 0 15 0 10803024 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140505501506448 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15237] ppid=15230 vsize=13980732 CPUtime=2.03 cores=0,2,4,6
/proc/15232/task/15237/stat : 15237 (java) S 15230 15230 5091 0 -1 1077944384 1806 0 0 0 168 35 0 0 20 0 15 0 10803024 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140505500453648 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15238] ppid=15230 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/15232/task/15238/stat : 15238 (java) S 15230 15230 5091 0 -1 1077944384 4608 0 0 0 19 1 0 0 20 0 15 0 10803026 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504499734896 140505584208514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15239] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15239/stat : 15239 (java) S 15230 15230 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504498680928 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15240] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15240/stat : 15240 (java) S 15230 15230 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10803026 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504497628032 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15241] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15241/stat : 15241 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504496576336 140505584215963 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15242] ppid=15230 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/15232/task/15242/stat : 15242 (java) S 15230 15230 5091 0 -1 1077944384 15952 0 0 0 359 2 0 0 20 0 15 0 10803029 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504495524720 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15243] ppid=15230 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/15232/task/15243/stat : 15243 (java) S 15230 15230 5091 0 -1 1077944384 18677 0 0 0 414 1 0 0 20 0 15 0 10803029 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504494471920 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15244] ppid=15230 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/15232/task/15244/stat : 15244 (java) S 15230 15230 5091 0 -1 1077944384 6232 0 0 0 75 1 0 0 20 0 15 0 10803029 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504493419120 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15245] ppid=15230 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15232/task/15245/stat : 15245 (java) S 15230 15230 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10803029 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504492366560 140505584207573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
[pid=15232/tid=15246] ppid=15230 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/15232/task/15246/stat : 15246 (java) S 15230 15230 5091 0 -1 1077944384 160 0 0 0 6 6 0 0 20 0 15 0 10803037 14316269568 795264 18446744073709551615 4194304 4196468 140729374487712 140504491313840 140505584208514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140729374491092 140729374491267 140729374491267 140729374494671 0
Current children cumulated CPU time (s) 254.65
Current children cumulated vsize (KiB) 13990244

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15232 sig 9
??? kill 15230 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15230 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1916
# CPU time returned by wait4() is 0.001916
# while last known CPU time is 254.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 254.65
CPU user time (s): 252.73
CPU system time (s): 1.92
CPU usage (%): 106.1
Max. virtual memory (cumulated for all children) (KiB): 13993748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001916
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18586 second user time and 1.42048 second system time

The end