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-4254032-1501614242/watcher-4254032-1501614242 -o /tmp/evaluation-result-4254032-1501614242/solver-4254032-1501614242 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1466975246 HOME/instance-4254032-1501614242.xml
pid=7425
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: 2.05 1.95 1.74 4/196 7428
/proc/meminfo: memFree=31291064/32770624 swapFree=0/183172
[pid=7428] ppid=7425 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (runsolver) D 7425 7428 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10047275 24240128 108 18446744073709551615 4194304 4338465 140728360099376 140728360097016 140205673517783 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 9244672 140728360108125 140728360108614 140728360108614 140728360112074 0
/proc/7428/statm: 5918 108 54 36 0 2156 0
[startup+0.100087 s]
/proc/loadavg: 2.05 1.95 1.74 4/196 7428
/proc/meminfo: memFree=31291064/32770624 swapFree=0/183172
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200336 s]
/proc/loadavg: 2.05 1.95 1.74 4/196 7428
/proc/meminfo: memFree=31291064/32770624 swapFree=0/183172
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300253 s]
/proc/loadavg: 2.05 1.95 1.74 4/196 7428
/proc/meminfo: memFree=31291064/32770624 swapFree=0/183172
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700245 s]
/proc/loadavg: 2.05 1.95 1.74 4/196 7428
/proc/meminfo: memFree=31291064/32770624 swapFree=0/183172
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 2.05 1.95 1.74 5/212 7444
/proc/meminfo: memFree=31153524/32770624 swapFree=0/183060
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=3.93 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 24128 0 0 0 385 8 0 0 20 0 15 0 10047283 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 40884 3181 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 8948 0 0 0 128 4 0 0 20 0 15 0 10047283 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954688977232 139954283704374 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10047285 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) R 7428 7428 5091 0 -1 4202560 4166 0 0 0 97 0 0 0 20 0 15 0 10047288 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954158515744 139954663910340 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) R 7428 7428 5091 0 -1 4202560 6843 0 0 0 103 1 0 0 20 0 15 0 10047288 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954157465424 139954669028177 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 2793 0 0 0 55 1 0 0 20 0 15 0 10047288 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10047296 14316269568 40884 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 2.05 1.95 1.74 3/212 7444
/proc/meminfo: memFree=31130664/32770624 swapFree=0/183060
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=6.25 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 25139 0 0 0 616 9 0 0 20 0 15 0 10047283 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 45209 3182 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 9061 0 0 0 288 4 0 0 20 0 15 0 10047283 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954688975704 139954283558015 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10047284 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 10047285 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 4765 0 0 0 132 1 0 0 20 0 15 0 10047288 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 7043 0 0 0 136 1 0 0 20 0 15 0 10047288 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 2869 0 0 0 58 1 0 0 20 0 15 0 10047288 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10047296 14316269568 45209 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13990244
[startup+6.30079 s]
/proc/loadavg: 2.05 1.95 1.74 3/212 7444
/proc/meminfo: memFree=31077840/32770624 swapFree=0/183076
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=9.76 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 29841 0 0 0 963 13 0 0 20 0 15 0 10047283 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 56251 3195 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 9560 0 0 0 605 5 0 0 20 0 15 0 10047283 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954688977528 139954283763133 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 788 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 15 0 10047285 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 5602 0 0 0 144 1 0 0 20 0 15 0 10047288 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 7428 0 0 0 142 1 0 0 20 0 15 0 10047288 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 3869 0 0 0 61 1 0 0 20 0 15 0 10047288 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 10047296 14316269568 56251 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.96 1.93 1.74 3/212 7444
/proc/meminfo: memFree=31077396/32770624 swapFree=0/183084
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=16.2 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 30211 0 0 0 1607 13 0 0 20 0 15 0 10047283 14316269568 56282 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 56282 3197 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 9655 0 0 0 1245 5 0 0 20 0 15 0 10047283 14316269568 56282 18446744073709551615 4194304 4196468 140731481066000 139954688978536 139954283381242 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 56282 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 788 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 56282 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
################
# More data... #
################
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 7630 0 0 0 154 1 0 0 20 0 15 0 10047288 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 11615 0 0 0 171 1 0 0 20 0 15 0 10047288 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 6627 0 0 0 68 2 0 0 20 0 15 0 10047288 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 566 0 0 0 3 3 0 0 20 0 15 0 10047296 14316269568 57184 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 106.29
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.97 1.78 3/212 7448
/proc/meminfo: memFree=30690656/32770624 swapFree=0/183236
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=166.38 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 43486 0 0 0 16620 18 0 0 20 0 15 0 10047283 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 57194 3204 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 12705 0 0 0 16204 5 0 0 20 0 15 0 10047283 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954688975120 139954283557672 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 788 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 689 0 0 0 1 0 0 0 20 0 15 0 10047285 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.59 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 8211 0 0 0 158 1 0 0 20 0 15 0 10047288 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.73 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 11769 0 0 0 172 1 0 0 20 0 15 0 10047288 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 7060 0 0 0 69 2 0 0 20 0 15 0 10047288 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 583 0 0 0 5 5 0 0 20 0 15 0 10047296 14316269568 57194 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 166.38
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.07 1.99 1.80 3/212 7604
/proc/meminfo: memFree=31280124/32770624 swapFree=0/183284
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=226.44 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 45174 0 0 0 22625 19 0 0 20 0 15 0 10047283 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 57209 3205 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=222.09 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 13021 0 0 0 22204 5 0 0 20 0 15 0 10047283 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954688976696 139954284246765 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 788 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 726 0 0 0 1 0 0 0 20 0 15 0 10047285 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 8692 0 0 0 159 1 0 0 20 0 15 0 10047288 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.73 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 12262 0 0 0 172 1 0 0 20 0 15 0 10047288 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 7399 0 0 0 69 2 0 0 20 0 15 0 10047288 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 605 0 0 0 7 6 0 0 20 0 15 0 10047296 14316269568 57209 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 226.44
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.05 1.99 1.80 3/212 7605
/proc/meminfo: memFree=31280228/32770624 swapFree=0/183288
[pid=7428] ppid=7425 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7428/stat : 7428 (xcsp3-exec) S 7425 7428 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10047275 9740288 345 18446744073709551615 4194304 5098028 140726706909248 140726706907352 140426269307516 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12460032 140726706913691 140726706913895 140726706913895 140726706917355 0
/proc/7428/statm: 2378 345 289 221 0 87 0
[pid=7430] ppid=7428 vsize=13980732 CPUtime=244.25 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7428 7428 5091 0 -1 1077944320 47415 0 0 0 24406 19 0 0 20 0 15 0 10047283 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 140731481048544 139954684739319 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
/proc/7430/statm: 3495183 57234 3206 1 0 3483484 0
[pid=7430/tid=7431] ppid=7428 vsize=13980732 CPUtime=239.78 cores=0,2,4,6
/proc/7430/task/7431/stat : 7431 (java) R 7428 7428 5091 0 -1 4202560 13073 0 0 0 23973 5 0 0 20 0 15 0 10047283 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954688974976 139954283381399 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7432] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7428 7428 5091 0 -1 1077944384 237 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954604153232 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7433] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7428 7428 5091 0 -1 1077944384 788 0 0 0 1 1 0 0 20 0 15 0 10047284 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954603100432 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7434] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7428 7428 5091 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954602048144 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7435] ppid=7428 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7428 7428 5091 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 15 0 10047284 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954600995344 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7436] ppid=7428 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7428 7428 5091 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 15 0 10047285 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954162739824 139954684750466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7437] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7428 7428 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954161685792 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7438] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7428 7428 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10047286 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954160633456 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7439] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047288 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954159581776 139954684757915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7440] ppid=7428 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7428 7428 5091 0 -1 1077944384 9325 0 0 0 162 1 0 0 20 0 15 0 10047288 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954158528624 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7441] ppid=7428 vsize=13980732 CPUtime=1.81 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7428 7428 5091 0 -1 1077944384 13455 0 0 0 179 2 0 0 20 0 15 0 10047288 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954157475824 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7442] ppid=7428 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7428 7428 5091 0 -1 1077944384 7757 0 0 0 70 2 0 0 20 0 15 0 10047288 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954156423536 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7443] ppid=7428 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7428 7428 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10047289 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954155370976 139954684749525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
[pid=7430/tid=7444] ppid=7428 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7428 7428 5091 0 -1 1077944384 607 0 0 0 8 7 0 0 20 0 15 0 10047296 14316269568 57234 18446744073709551615 4194304 4196468 140731481066000 139954154318768 139954684750466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11530240 140731481072084 140731481072259 140731481072259 140731481075663 0
Current children cumulated CPU time (s) 244.25
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 7430 sig 9
??? kill 7428 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 7428 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1742
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001861
# while last known CPU time is 244.25
#
# 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): 244.25
CPU user time (s): 244.06
CPU system time (s): 0.19
CPU usage (%): 101.766
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001742
system time used= 0.000119
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.17537 second user time and 1.50123 second system time
The end