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-4254326-1501612654/watcher-4254326-1501612654 -o /tmp/evaluation-result-4254326-1501612654/solver-4254326-1501612654 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1272422713 HOME/instance-4254326-1501612654.xml
pid=4515
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.92 1.89 1.53 3/198 4518
/proc/meminfo: memFree=31907256/32770624 swapFree=0/159608
[pid=4518] ppid=4515 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (runsolver) D 4515 4518 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3175987 24240128 108 18446744073709551615 4194304 4338465 140731282906736 140731282904376 140340857807575 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 19664896 140731282911326 140731282911815 140731282911815 140731282915274 0
/proc/4518/statm: 5918 108 54 36 0 2156 0
[startup+0.102476 s]
/proc/loadavg: 1.92 1.89 1.53 3/198 4518
/proc/meminfo: memFree=31907256/32770624 swapFree=0/159608
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200286 s]
/proc/loadavg: 1.92 1.89 1.53 3/198 4518
/proc/meminfo: memFree=31907256/32770624 swapFree=0/159608
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300485 s]
/proc/loadavg: 1.92 1.89 1.53 3/198 4518
/proc/meminfo: memFree=31907256/32770624 swapFree=0/159608
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701162 s]
/proc/loadavg: 1.92 1.89 1.53 3/198 4518
/proc/meminfo: memFree=31907256/32770624 swapFree=0/159608
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.92 1.89 1.53 5/214 4534
/proc/meminfo: memFree=31842996/32770624 swapFree=0/159612
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=3.5 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 22701 0 0 0 343 7 0 0 20 0 15 0 3175992 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 24878 3179 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 8575 0 0 0 135 4 0 0 20 0 15 0 3175992 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701888632464 140701530090005 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3175994 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 4985 0 0 0 81 0 0 0 20 0 15 0 3175998 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 6019 0 0 0 87 1 0 0 20 0 15 0 3175998 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 1808 0 0 0 38 1 0 0 20 0 15 0 3175998 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 3176002 14316269568 24878 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.93 1.89 1.53 3/214 4534
/proc/meminfo: memFree=31798244/32770624 swapFree=0/159624
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=5.18 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 23501 0 0 0 510 8 0 0 20 0 15 0 3175992 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 38754 3180 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=2.99 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 8687 0 0 0 294 5 0 0 20 0 15 0 3175992 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701888632720 140701530301939 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 3175994 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 5115 0 0 0 84 0 0 0 20 0 15 0 3175998 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 6055 0 0 0 90 1 0 0 20 0 15 0 3175998 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 2279 0 0 0 40 1 0 0 20 0 15 0 3175998 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3176002 14316269568 38754 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.93 1.89 1.53 3/214 4534
/proc/meminfo: memFree=31730764/32770624 swapFree=0/159624
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=8.45 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 27694 0 0 0 836 9 0 0 20 0 15 0 3175992 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 47652 3209 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 9264 0 0 0 613 5 0 0 20 0 15 0 3175992 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701888632800 140701530358173 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 3175994 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 5561 0 0 0 87 0 0 0 20 0 15 0 3175998 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 6250 0 0 0 92 1 0 0 20 0 15 0 3175998 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 3340 0 0 0 41 1 0 0 20 0 15 0 3175998 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 3176002 14316269568 47652 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.94 1.89 1.54 3/214 4534
/proc/meminfo: memFree=31734256/32770624 swapFree=0/159628
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=14.86 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 29937 0 0 0 1477 9 0 0 20 0 15 0 3175992 14316269568 48195 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 48195 3214 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 9971 0 0 0 1252 5 0 0 20 0 15 0 3175992 14316269568 48195 18446744073709551615 4194304 4196468 140721097736064 140701888634544 140701529788052 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 48195 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 665 0 0 0 0 0 0 0 20 0 15 0 3175993 14316269568 48195 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
################
# More data... #
################
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 8537 0 0 0 100 0 0 0 20 0 15 0 3175998 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 8045 0 0 0 102 1 0 0 20 0 15 0 3175998 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 4662 0 0 0 43 1 0 0 20 0 15 0 3175998 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 896 0 0 0 1 2 0 0 20 0 15 0 3176002 14316269568 42888 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 104.93
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.61 1.77 1.54 3/214 4621
/proc/meminfo: memFree=31776860/32770624 swapFree=0/159776
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=165.24 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 42805 0 0 0 16505 19 0 0 20 0 15 0 3175992 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 44564 3216 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=161.76 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 12556 0 0 0 16170 6 0 0 20 0 15 0 3175992 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701888635024 140701530356860 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 1475 0 0 0 16 1 0 0 20 0 15 0 3175993 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 934 0 0 0 17 0 0 0 20 0 15 0 3175993 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 965 0 0 0 15 2 0 0 20 0 15 0 3175993 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 1058 0 0 0 15 2 0 0 20 0 15 0 3175993 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 1453 0 0 0 17 1 0 0 20 0 15 0 3175994 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 8847 0 0 0 100 0 0 0 20 0 15 0 3175998 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 8477 0 0 0 102 1 0 0 20 0 15 0 3175998 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 4750 0 0 0 43 1 0 0 20 0 15 0 3175998 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 914 0 0 0 2 3 0 0 20 0 15 0 3176002 14316269568 44564 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 165.24
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.42 1.69 1.53 3/215 4624
/proc/meminfo: memFree=31761516/32770624 swapFree=0/159804
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=225.62 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 44907 0 0 0 22537 25 0 0 20 0 15 0 3175992 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 46776 3216 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=221.47 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 13320 0 0 0 22141 6 0 0 20 0 15 0 3175992 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701888634640 140701530357736 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 1913 0 0 0 27 2 0 0 20 0 15 0 3175993 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 1029 0 0 0 28 1 0 0 20 0 15 0 3175993 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 1128 0 0 0 27 3 0 0 20 0 15 0 3175993 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 1159 0 0 0 27 2 0 0 20 0 15 0 3175993 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 1691 0 0 0 28 2 0 0 20 0 15 0 3175994 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 8930 0 0 0 101 0 0 0 20 0 15 0 3175998 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 8566 0 0 0 102 1 0 0 20 0 15 0 3175998 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 4863 0 0 0 43 1 0 0 20 0 15 0 3175998 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 932 0 0 0 3 5 0 0 20 0 15 0 3176002 14316269568 46776 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.40 1.67 1.52 3/215 4624
/proc/meminfo: memFree=31757308/32770624 swapFree=0/159808
[pid=4518] ppid=4515 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4518/stat : 4518 (xcsp3-exec) S 4515 4518 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3175987 9740288 345 18446744073709551615 4194304 5098028 140735403475328 140735403473432 139954057839228 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 9326592 140735403479452 140735403479656 140735403479656 140735403483115 0
/proc/4518/statm: 2378 345 289 221 0 87 0
[pid=4520] ppid=4518 vsize=13980732 CPUtime=243.34 cores=0,2,4,6
/proc/4520/stat : 4520 (java) S 4518 4518 3187 0 -1 1077944320 44945 0 0 0 24309 25 0 0 20 0 15 0 3175992 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140721097718608 140701884395255 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
/proc/4520/statm: 3495183 47303 3216 1 0 3483484 0
[pid=4520/tid=4521] ppid=4518 vsize=13980732 CPUtime=239.15 cores=0,2,4,6
/proc/4520/task/4521/stat : 4521 (java) R 4518 4518 3187 0 -1 4202560 13330 0 0 0 23909 6 0 0 20 0 15 0 3175992 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701888634704 140701530698335 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4522] ppid=4518 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/4520/task/4522/stat : 4522 (java) S 4518 4518 3187 0 -1 1077944384 1918 0 0 0 28 3 0 0 20 0 15 0 3175993 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701484477584 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4523] ppid=4518 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/4520/task/4523/stat : 4523 (java) S 4518 4518 3187 0 -1 1077944384 1032 0 0 0 29 1 0 0 20 0 15 0 3175993 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701483424784 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4524] ppid=4518 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/4520/task/4524/stat : 4524 (java) S 4518 4518 3187 0 -1 1077944384 1135 0 0 0 27 3 0 0 20 0 15 0 3175993 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701482371984 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4525] ppid=4518 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/4520/task/4525/stat : 4525 (java) S 4518 4518 3187 0 -1 1077944384 1167 0 0 0 28 2 0 0 20 0 15 0 3175993 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701481319184 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4526] ppid=4518 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/4520/task/4526/stat : 4526 (java) S 4518 4518 3187 0 -1 1077944384 1696 0 0 0 29 2 0 0 20 0 15 0 3175994 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701362760048 140701884406402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4527] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4527/stat : 4527 (java) S 4518 4518 3187 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701361706016 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4528] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4528/stat : 4528 (java) S 4518 4518 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3175995 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701360653168 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4529] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4529/stat : 4529 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701359601488 140701884413851 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4530] ppid=4518 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/4520/task/4530/stat : 4530 (java) S 4518 4518 3187 0 -1 1077944384 8930 0 0 0 101 0 0 0 20 0 15 0 3175998 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701358549872 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4531] ppid=4518 vsize=13980732 CPUtime=1.03 cores=0,2,4,6
/proc/4520/task/4531/stat : 4531 (java) S 4518 4518 3187 0 -1 1077944384 8566 0 0 0 102 1 0 0 20 0 15 0 3175998 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701357497072 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4532] ppid=4518 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/4520/task/4532/stat : 4532 (java) S 4518 4518 3187 0 -1 1077944384 4863 0 0 0 43 1 0 0 20 0 15 0 3175998 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701356444272 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4533] ppid=4518 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4520/task/4533/stat : 4533 (java) S 4518 4518 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3175998 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701355391712 140701884405461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
[pid=4520/tid=4534] ppid=4518 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4520/task/4534/stat : 4534 (java) S 4518 4518 3187 0 -1 1077944384 932 0 0 0 3 5 0 0 20 0 15 0 3176002 14316269568 47303 18446744073709551615 4194304 4196468 140721097736064 140701354338992 140701884406402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25542656 140721097744853 140721097745028 140721097745028 140721097748431 0
Current children cumulated CPU time (s) 243.34
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 4520 sig 9
??? kill 4518 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 4518 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1546
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118
# CPU time returned by wait4() is 0.001664
# while last known CPU time is 243.34
#
# 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): 243.34
CPU user time (s): 243.09
CPU system time (s): 0.25
CPU usage (%): 101.387
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001546
system time used= 0.000118
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.12399 second user time and 1.41585 second system time
The end