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-4255183-1501619669/watcher-4255183-1501619669 -o /tmp/evaluation-result-4255183-1501619669/solver-4255183-1501619669 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10652 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 185794957 HOME/instance-4255183-1501619669.xml
pid=11991
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.89 1.75 1.78 4/201 11994
/proc/meminfo: memFree=31723840/32770624 swapFree=0/187280
[pid=11994] ppid=11991 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (runsolver) D 11991 11994 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9782247 24240128 107 18446744073709551615 4194304 4338465 140733392278528 140733392276168 140660036244183 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25034752 140733392285789 140733392286278 140733392286278 140733392289738 0
/proc/11994/statm: 5918 107 54 36 0 2156 0
[startup+0.101681 s]
/proc/loadavg: 1.89 1.75 1.78 4/201 11994
/proc/meminfo: memFree=31723840/32770624 swapFree=0/187280
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.208041 s]
/proc/loadavg: 1.89 1.75 1.78 4/201 11994
/proc/meminfo: memFree=31723840/32770624 swapFree=0/187280
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300226 s]
/proc/loadavg: 1.89 1.75 1.78 4/201 11994
/proc/meminfo: memFree=31723840/32770624 swapFree=0/187280
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701041 s]
/proc/loadavg: 1.89 1.75 1.78 4/201 11994
/proc/meminfo: memFree=31723840/32770624 swapFree=0/187280
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50063 s]
/proc/loadavg: 1.89 1.75 1.78 5/217 12010
/proc/meminfo: memFree=31650680/32770624 swapFree=0/187568
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=3.4 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 22877 0 0 0 332 8 0 0 20 0 15 0 9782254 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 25513 3176 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 9333 0 0 0 130 4 0 0 20 0 15 0 9782254 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140609067700128 140608661462273 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9782256 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) R 11994 11994 5228 0 -1 4202560 5976 0 0 0 79 1 0 0 20 0 15 0 9782259 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608537047056 140609043157791 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) R 11994 11994 5228 0 -1 4202560 3759 0 0 0 74 1 0 0 20 0 15 0 9782259 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608535999056 140609047851985 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 2495 0 0 0 48 0 0 0 20 0 15 0 9782259 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9782266 14316269568 25513 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 2.06 1.79 1.79 6/217 12010
/proc/meminfo: memFree=31627000/32770624 swapFree=0/187580
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=7.31 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 25325 0 0 0 721 10 0 0 20 0 15 0 9782254 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 28084 3189 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 9448 0 0 0 289 4 0 0 20 0 15 0 9782254 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140609067703776 140608660643322 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9782256 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 6353 0 0 0 177 2 0 0 20 0 15 0 9782259 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=1.9 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 5426 0 0 0 189 1 0 0 20 0 15 0 9782259 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 2751 0 0 0 63 1 0 0 20 0 15 0 9782259 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 9782266 14316269568 28084 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.06 1.79 1.79 6/217 12088
/proc/meminfo: memFree=31776564/32770624 swapFree=0/187608
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=11.67 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 30937 0 0 0 1156 11 0 0 20 0 15 0 9782254 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 32954 3204 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 10408 0 0 0 609 5 0 0 20 0 15 0 9782254 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140609067702792 140608662589287 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 9782256 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=2.28 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 8293 0 0 0 226 2 0 0 20 0 15 0 9782259 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 7255 0 0 0 251 2 0 0 20 0 15 0 9782259 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 3179 0 0 0 68 1 0 0 20 0 15 0 9782259 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 9782266 14316269568 32954 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.14 1.81 1.80 5/217 12088
/proc/meminfo: memFree=31568992/32770624 swapFree=0/187628
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=21.25 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 43785 0 0 0 2110 15 0 0 20 0 15 0 9782254 14316269568 57535 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 57535 3223 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 11793 0 0 0 1245 7 0 0 20 0 15 0 9782254 14316269568 57535 18446744073709551615 4194304 4196468 140723488942640 140609067701424 140608662590303 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 57535 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9782255 14316269568 57535 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
################
# More data... #
################
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=5.04 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 20066 0 0 0 501 3 0 0 20 0 15 0 9782259 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=5.1 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 18561 0 0 0 507 3 0 0 20 0 15 0 9782259 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 7500 0 0 0 87 1 0 0 20 0 15 0 9782259 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 416 0 0 0 2 2 0 0 20 0 15 0 9782266 14316269568 132590 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 115.32
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.60 1.77 1.78 3/217 12094
/proc/meminfo: memFree=31104680/32770624 swapFree=0/187712
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=177.47 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 76255 0 0 0 17670 77 0 0 20 0 15 0 9782254 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 156336 3248 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=160.62 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 15788 0 0 0 16055 7 0 0 20 0 15 0 9782254 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140609067703944 140608664836094 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 1982 0 0 0 122 14 0 0 20 0 15 0 9782255 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1773 0 0 0 123 13 0 0 20 0 15 0 9782255 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 1921 0 0 0 122 13 0 0 20 0 15 0 9782255 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2027 0 0 0 123 14 0 0 20 0 15 0 9782255 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 3289 0 0 0 9 0 0 0 20 0 15 0 9782256 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=5.08 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 20512 0 0 0 505 3 0 0 20 0 15 0 9782259 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=5.16 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 19679 0 0 0 513 3 0 0 20 0 15 0 9782259 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 7525 0 0 0 87 1 0 0 20 0 15 0 9782259 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 418 0 0 0 3 4 0 0 20 0 15 0 9782266 14316269568 156336 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 177.47
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.30 1.66 1.75 3/217 12096
/proc/meminfo: memFree=31141224/32770624 swapFree=0/187732
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=239.39 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 81350 0 0 0 23860 79 0 0 20 0 15 0 9782254 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 138221 3248 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=220.01 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 16313 0 0 0 21993 8 0 0 20 0 15 0 9782254 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140609067704272 140608664836094 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=1.96 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 2457 0 0 0 182 14 0 0 20 0 15 0 9782255 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1962 0 0 0 182 13 0 0 20 0 15 0 9782255 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 2175 0 0 0 181 13 0 0 20 0 15 0 9782255 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=1.96 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2252 0 0 0 182 14 0 0 20 0 15 0 9782255 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 6557 0 0 0 11 1 0 0 20 0 15 0 9782256 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=5.17 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 20570 0 0 0 514 3 0 0 20 0 15 0 9782259 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=5.2 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 19703 0 0 0 517 3 0 0 20 0 15 0 9782259 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 7581 0 0 0 88 1 0 0 20 0 15 0 9782259 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 439 0 0 0 5 5 0 0 20 0 15 0 9782266 14316269568 138221 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 239.39
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.32 1.64 1.74 3/217 12097
/proc/meminfo: memFree=31125908/32770624 swapFree=0/187740
[pid=11994] ppid=11991 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11994/stat : 11994 (xcsp3-exec) S 11991 11994 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9782247 9740288 345 18446744073709551615 4194304 5098028 140724603147696 140724603145800 140386774049404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33038336 140724603150748 140724603150951 140724603150951 140724603154411 0
/proc/11994/statm: 2378 345 289 221 0 87 0
[pid=11996] ppid=11994 vsize=13980732 CPUtime=257.38 cores=0,2,4,6
/proc/11996/stat : 11996 (java) S 11994 11994 5228 0 -1 1077944320 81705 0 0 0 25658 80 0 0 20 0 15 0 9782254 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140723488925184 140609063464695 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
/proc/11996/statm: 3495183 134789 3248 1 0 3483484 0
[pid=11996/tid=11997] ppid=11994 vsize=13980732 CPUtime=237.6 cores=0,2,4,6
/proc/11996/task/11997/stat : 11997 (java) R 11994 11994 5228 0 -1 4202560 16534 0 0 0 23752 8 0 0 20 0 15 0 9782254 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140609067704160 140608662590328 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11998] ppid=11994 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/11996/task/11998/stat : 11998 (java) S 11994 11994 5228 0 -1 1077944384 2515 0 0 0 191 14 0 0 20 0 15 0 9782255 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608982878864 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=11999] ppid=11994 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/11996/task/11999/stat : 11999 (java) S 11994 11994 5228 0 -1 1077944384 1971 0 0 0 192 13 0 0 20 0 15 0 9782255 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608981826064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12000] ppid=11994 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/11996/task/12000/stat : 12000 (java) S 11994 11994 5228 0 -1 1077944384 2178 0 0 0 191 13 0 0 20 0 15 0 9782255 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608980773264 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12001] ppid=11994 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/11996/task/12001/stat : 12001 (java) S 11994 11994 5228 0 -1 1077944384 2262 0 0 0 191 14 0 0 20 0 15 0 9782255 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608979720464 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12002] ppid=11994 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11996/task/12002/stat : 12002 (java) S 11994 11994 5228 0 -1 1077944384 6557 0 0 0 11 1 0 0 20 0 15 0 9782256 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608541272944 140609063475842 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12003] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12003/stat : 12003 (java) S 11994 11994 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608540218912 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12004] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12004/stat : 12004 (java) S 11994 11994 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9782257 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608539166064 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12005] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12005/stat : 12005 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782259 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608538114384 140609063483291 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12006] ppid=11994 vsize=13980732 CPUtime=5.17 cores=0,2,4,6
/proc/11996/task/12006/stat : 12006 (java) S 11994 11994 5228 0 -1 1077944384 20570 0 0 0 514 3 0 0 20 0 15 0 9782259 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608537061744 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12007] ppid=11994 vsize=13980732 CPUtime=5.2 cores=0,2,4,6
/proc/11996/task/12007/stat : 12007 (java) S 11994 11994 5228 0 -1 1077944384 19757 0 0 0 517 3 0 0 20 0 15 0 9782259 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608536008944 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12008] ppid=11994 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/11996/task/12008/stat : 12008 (java) S 11994 11994 5228 0 -1 1077944384 7581 0 0 0 88 1 0 0 20 0 15 0 9782259 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608534956144 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12009] ppid=11994 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11996/task/12009/stat : 12009 (java) S 11994 11994 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9782260 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608533903584 140609063474901 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
[pid=11996/tid=12010] ppid=11994 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/11996/task/12010/stat : 12010 (java) S 11994 11994 5228 0 -1 1077944384 439 0 0 0 5 6 0 0 20 0 15 0 9782266 14316269568 134789 18446744073709551615 4194304 4196468 140723488942640 140608532851888 140609063475842 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28119040 140723488948692 140723488948867 140723488948867 140723488952271 0
Current children cumulated CPU time (s) 257.38
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 11996 sig 9
??? kill 11994 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 11994 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1943
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.001943
# while last known CPU time is 257.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.029
CPU time (s): 257.38
CPU user time (s): 256.58
CPU system time (s): 0.8
CPU usage (%): 107.229
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001943
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.12675 second user time and 1.53455 second system time
The end