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-4253962-1501981166/watcher-4253962-1501981166 -o /tmp/evaluation-result-4253962-1501981166/solver-4253962-1501981166 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1401730551 HOME/instance-4253962-1501981166.xml
pid=14605
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.96 1.94 1.89 3/199 14608
/proc/meminfo: memFree=29153408/32770624 swapFree=0/316956
[pid=14608] ppid=14605 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (runsolver) D 14605 14608 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 97769783 24240128 106 18446744073709551615 4194304 4338465 140729831934384 140729831932024 140353932661463 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 10153984 140729831936098 140729831936588 140729831936588 140729831940042 0
/proc/14608/statm: 5918 106 53 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 1.96 1.94 1.89 3/199 14608
/proc/meminfo: memFree=29153408/32770624 swapFree=0/316956
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200231 s]
/proc/loadavg: 1.96 1.94 1.89 3/199 14608
/proc/meminfo: memFree=29153408/32770624 swapFree=0/316956
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300207 s]
/proc/loadavg: 1.96 1.94 1.89 3/199 14608
/proc/meminfo: memFree=29153408/32770624 swapFree=0/316956
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701106 s]
/proc/loadavg: 1.96 1.94 1.89 3/199 14608
/proc/meminfo: memFree=29153408/32770624 swapFree=0/316956
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50075 s]
/proc/loadavg: 1.96 1.94 1.89 5/215 14624
/proc/meminfo: memFree=28967748/32770624 swapFree=0/317452
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=3.87 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 16920 0 0 0 379 8 0 0 20 0 15 0 97769791 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 51328 3215 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 8618 0 0 0 129 4 0 0 20 0 15 0 97769792 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140127066721720 140126686561496 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 97769792 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 97769792 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 97769792 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 97769793 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126179480352 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126178428016 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 2273 0 0 0 94 0 0 0 20 0 15 0 97769797 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 1825 0 0 0 95 0 0 0 20 0 15 0 97769797 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 2748 0 0 0 55 0 0 0 20 0 15 0 97769797 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97769801 14316269568 51328 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13990244
[startup+3.1008 s]
/proc/loadavg: 1.96 1.94 1.89 3/215 14624
/proc/meminfo: memFree=28929216/32770624 swapFree=0/317452
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=5.6 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 17196 0 0 0 547 13 0 0 20 0 15 0 97769791 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 59326 3226 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 8653 0 0 0 285 5 0 0 20 0 15 0 97769792 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140127066721512 140126686522774 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 15 0 97769792 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 15 0 97769792 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 15 0 97769792 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 15 0 97769793 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 2275 0 0 0 94 0 0 0 20 0 15 0 97769797 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 1830 0 0 0 96 0 0 0 20 0 15 0 97769797 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 2792 0 0 0 58 0 0 0 20 0 15 0 97769797 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97769801 14316269568 59326 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13990244
[startup+6.30082 s]
/proc/loadavg: 1.96 1.94 1.89 3/215 14624
/proc/meminfo: memFree=28836064/32770624 swapFree=0/317456
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=8.9 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 21250 0 0 0 874 16 0 0 20 0 15 0 97769791 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 92784 3226 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=6.07 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 9430 0 0 0 601 6 0 0 20 0 15 0 97769792 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140127066720184 140126686522408 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 78 0 0 0 4 1 0 0 20 0 15 0 97769792 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 667 0 0 0 4 2 0 0 20 0 15 0 97769792 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 93 0 0 0 4 2 0 0 20 0 15 0 97769792 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 234 0 0 0 4 2 0 0 20 0 15 0 97769793 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 613 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 2326 0 0 0 95 0 0 0 20 0 15 0 97769797 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 2508 0 0 0 98 0 0 0 20 0 15 0 97769797 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 3536 0 0 0 59 0 0 0 20 0 15 0 97769797 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 15 0 97769801 14316269568 92784 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.97 1.94 1.90 3/215 14624
/proc/meminfo: memFree=28773116/32770624 swapFree=0/317468
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=15.43 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 21927 0 0 0 1522 21 0 0 20 0 15 0 97769791 14316269568 98017 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 98017 3228 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=12.45 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 9558 0 0 0 1239 6 0 0 20 0 15 0 97769792 14316269568 98017 18446744073709551615 4194304 4196468 140721787988288 140127066719104 140126686522408 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 15 0 97769792 14316269568 98017 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 681 0 0 0 6 2 0 0 20 0 15 0 97769792 14316269568 98017 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
################
# More data... #
################
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 4103 0 0 0 101 1 0 0 20 0 15 0 97769797 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=1.24 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 6513 0 0 0 123 1 0 0 20 0 15 0 97769797 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 3741 0 0 0 60 0 0 0 20 0 15 0 97769797 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 627 0 0 0 3 3 0 0 20 0 15 0 97769801 14316269568 290631 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 105.6
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.92 1.95 1.90 3/215 14707
/proc/meminfo: memFree=26356140/32770624 swapFree=0/317616
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=168.21 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 58995 0 0 0 16739 82 0 0 20 0 15 0 97769791 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 822721 3239 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=161.89 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 19795 0 0 0 16144 45 0 0 20 0 15 0 97769792 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140127066720296 140126686522774 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 596 0 0 0 13 7 0 0 20 0 15 0 97769792 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 1830 0 0 0 14 6 0 0 20 0 15 0 97769792 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 1470 0 0 0 14 6 0 0 20 0 15 0 97769792 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 795 0 0 0 13 7 0 0 20 0 15 0 97769793 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 3001 0 0 0 2 0 0 0 20 0 15 0 97769794 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 11626 0 0 0 229 2 0 0 20 0 15 0 97769797 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 11625 0 0 0 226 1 0 0 20 0 15 0 97769797 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 6268 0 0 0 71 1 0 0 20 0 15 0 97769797 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 665 0 0 0 6 4 0 0 20 0 15 0 97769801 14316269568 822721 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 168.21
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.05 1.99 1.92 3/214 14709
/proc/meminfo: memFree=25589104/32770624 swapFree=0/317664
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=228.38 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 61127 0 0 0 22744 94 0 0 20 0 15 0 97769791 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 964564 3239 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=221.88 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 21590 0 0 0 22136 52 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127066719416 140126686522408 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 652 0 0 0 14 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 2068 0 0 0 15 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 1482 0 0 0 14 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 806 0 0 0 14 8 0 0 20 0 15 0 97769793 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 3004 0 0 0 2 0 0 0 20 0 15 0 97769794 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=2.34 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 11627 0 0 0 232 2 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=2.32 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 11634 0 0 0 231 1 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 6271 0 0 0 72 1 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 669 0 0 0 7 6 0 0 20 0 15 0 97769801 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 228.38
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.84 1.94 1.91 3/214 14709
/proc/meminfo: memFree=25589056/32770624 swapFree=0/317660
[pid=14608] ppid=14605 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14608/stat : 14608 (xcsp3-exec) S 14605 14608 12039 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 97769783 9740288 345 18446744073709551615 4194304 5098028 140733383064080 140733383062184 139800641983100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 8749056 140733383070113 140733383070317 140733383070317 140733383073771 0
/proc/14608/statm: 2378 345 289 221 0 87 0
[pid=14610] ppid=14608 vsize=13980732 CPUtime=246.17 cores=0,2,4,6
/proc/14610/stat : 14610 (java) S 14608 14608 12039 0 -1 1077944320 61221 0 0 0 24523 94 0 0 20 0 15 0 97769791 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140721787970832 140127062482679 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
/proc/14610/statm: 3495183 964564 3239 1 0 3483476 0
[pid=14610/tid=14611] ppid=14608 vsize=13980732 CPUtime=239.57 cores=0,2,4,6
/proc/14610/task/14611/stat : 14611 (java) R 14608 14608 12039 0 -1 4202560 21673 0 0 0 23905 52 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127066719224 140126686522479 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14612] ppid=14608 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/14610/task/14612/stat : 14612 (java) S 14608 14608 12039 0 -1 1077944384 652 0 0 0 14 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127004429200 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14613] ppid=14608 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/14610/task/14613/stat : 14613 (java) S 14608 14608 12039 0 -1 1077944384 2068 0 0 0 15 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127003376400 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14614] ppid=14608 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/14610/task/14614/stat : 14614 (java) S 14608 14608 12039 0 -1 1077944384 1482 0 0 0 14 7 0 0 20 0 15 0 97769792 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127002324112 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14615] ppid=14608 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/14610/task/14615/stat : 14615 (java) S 14608 14608 12039 0 -1 1077944384 806 0 0 0 14 8 0 0 20 0 15 0 97769793 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140127001271312 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14616] ppid=14608 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14610/task/14616/stat : 14616 (java) S 14608 14608 12039 0 -1 1077944384 3004 0 0 0 2 0 0 0 20 0 15 0 97769794 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126180534384 140127062493826 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14617] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14617/stat : 14617 (java) S 14608 14608 12039 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 97769794 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126179480416 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14618] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14618/stat : 14618 (java) S 14608 14608 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97769795 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126178428032 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14619] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14619/stat : 14619 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126177376336 140127062501275 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14620] ppid=14608 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/14610/task/14620/stat : 14620 (java) S 14608 14608 12039 0 -1 1077944384 11628 0 0 0 236 2 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126176324208 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14621] ppid=14608 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/14610/task/14621/stat : 14621 (java) S 14608 14608 12039 0 -1 1077944384 11637 0 0 0 234 1 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126175271408 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14622] ppid=14608 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/14610/task/14622/stat : 14622 (java) S 14608 14608 12039 0 -1 1077944384 6278 0 0 0 72 1 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126174219120 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14623] ppid=14608 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14610/task/14623/stat : 14623 (java) S 14608 14608 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97769797 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126173166560 140127062492885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
[pid=14610/tid=14624] ppid=14608 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/14610/task/14624/stat : 14624 (java) S 14608 14608 12039 0 -1 1077944384 669 0 0 0 8 7 0 0 20 0 15 0 97769801 14316269568 964564 18446744073709551615 4194304 4196468 140721787988288 140126172113328 140127062493826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 37490688 140721787994586 140721787994761 140721787994761 140721787998159 0
Current children cumulated CPU time (s) 246.17
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 14610 sig 9
??? kill 14608 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 14608 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.002103
# while last known CPU time is 246.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 246.17
CPU user time (s): 245.23
CPU system time (s): 0.94
CPU usage (%): 102.566
Max. virtual memory (cumulated for all children) (KiB): 13992008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001984
system time used= 0.000119
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 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.10564 second user time and 1.66296 second system time
The end