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-4255330-1501619227/watcher-4255330-1501619227 -o /tmp/evaluation-result-4255330-1501619227/solver-4255330-1501619227 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1086510783 HOME/instance-4255330-1501619227.xml
pid=11788
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.93 1.92 1.85 2/196 11791
/proc/meminfo: memFree=31726972/32770624 swapFree=0/189212
[pid=11791] ppid=11788 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (runsolver) D 11788 11791 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10539629 24240128 108 18446744073709551615 4194304 4338465 140733326151488 140733326149128 139806725608151 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15962112 140733326155868 140733326156358 140733326156358 140733326159818 0
/proc/11791/statm: 5918 108 54 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 1.93 1.92 1.85 2/196 11791
/proc/meminfo: memFree=31726972/32770624 swapFree=0/189212
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.209279 s]
/proc/loadavg: 1.93 1.92 1.85 2/196 11791
/proc/meminfo: memFree=31726972/32770624 swapFree=0/189212
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300208 s]
/proc/loadavg: 1.93 1.92 1.85 2/196 11791
/proc/meminfo: memFree=31726972/32770624 swapFree=0/189212
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703092 s]
/proc/loadavg: 1.93 1.92 1.85 2/196 11791
/proc/meminfo: memFree=31726972/32770624 swapFree=0/189212
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 1.93 1.92 1.85 7/212 11807
/proc/meminfo: memFree=31640996/32770624 swapFree=0/189232
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=3.69 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 32694 0 0 0 361 8 0 0 20 0 15 0 10539639 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 29056 3184 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 9859 0 0 0 130 4 0 0 20 0 15 0 10539639 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957528801664 139957164398606 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10539641 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) R 11791 11791 5123 0 -1 4202560 6748 0 0 0 88 1 0 0 20 0 15 0 10539644 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956998557896 139957508028112 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) R 11791 11791 5123 0 -1 4202560 10916 0 0 0 86 1 0 0 20 0 15 0 10539644 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956997508176 139957504254191 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 3853 0 0 0 55 0 0 0 20 0 15 0 10539644 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539649 14316269568 29056 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.93 1.92 1.85 5/212 11807
/proc/meminfo: memFree=31557556/32770624 swapFree=0/189240
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=8.54 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 55136 0 0 0 842 12 0 0 20 0 15 0 10539639 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 57708 3192 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 10633 0 0 0 289 5 0 0 20 0 15 0 10539639 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957528801872 139957169370309 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 10539641 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=2.49 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) R 11791 11791 5123 0 -1 4202560 23527 0 0 0 246 3 0 0 20 0 15 0 10539644 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956998563664 139957503793543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=2.48 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) R 11791 11791 5123 0 -1 4202560 15175 0 0 0 246 2 0 0 20 0 15 0 10539644 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956997511328 139957508462017 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 4441 0 0 0 60 1 0 0 20 0 15 0 10539644 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10539649 14316269568 57708 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 1.86 1.91 1.85 3/212 11807
/proc/meminfo: memFree=31471280/32770624 swapFree=0/189244
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=14.58 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 66729 0 0 0 1442 16 0 0 20 0 15 0 10539639 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 69558 3226 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 11014 0 0 0 604 6 0 0 20 0 15 0 10539639 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957528805184 139957168565789 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 10539640 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 10539640 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10539640 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 656 0 0 0 1 0 0 0 20 0 15 0 10539640 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 10539641 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=3.88 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5123 0 -1 1077944384 27606 0 0 0 385 3 0 0 20 0 15 0 10539644 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956998576880 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=3.76 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5123 0 -1 1077944384 19377 0 0 0 374 2 0 0 20 0 15 0 10539644 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956997524336 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 5300 0 0 0 69 1 0 0 20 0 15 0 10539644 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 1152 0 0 0 0 0 0 0 20 0 15 0 10539649 14316269568 69558 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 14.58
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.87 1.91 1.85 3/212 11807
/proc/meminfo: memFree=31484352/32770624 swapFree=0/189252
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=22.08 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 72888 0 0 0 2191 17 0 0 20 0 15 0 10539639 14316269568 63058 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 63058 3234 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 11709 0 0 0 1241 6 0 0 20 0 15 0 10539639 14316269568 63058 18446744073709551615 4194304 4196468 140721031009296 139957528802824 139957168807886 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 75 0 0 0 4 0 0 0 20 0 15 0 10539640 14316269568 63058 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 194 0 0 0 4 0 0 0 20 0 15 0 10539640 14316269568 63058 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
################
# More data... #
################
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=4.91 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5123 0 -1 1077944384 35923 0 0 0 487 4 0 0 20 0 15 0 10539644 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956998576880 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.39 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5123 0 -1 1077944384 24792 0 0 0 437 2 0 0 20 0 15 0 10539644 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956997524336 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 11015 0 0 0 77 1 0 0 20 0 15 0 10539644 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 1385 0 0 0 2 2 0 0 20 0 15 0 10539649 14316269568 83411 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 114.17
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.46 1.70 1.78 3/211 11812
/proc/meminfo: memFree=31156836/32770624 swapFree=0/189348
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=175.75 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 107554 0 0 0 17514 61 0 0 20 0 15 0 10539639 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 104919 3234 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=160.77 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 17330 0 0 0 16071 6 0 0 20 0 15 0 10539639 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957528805328 139957167331477 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 2544 0 0 0 103 9 0 0 20 0 15 0 10539640 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 1668 0 0 0 103 9 0 0 20 0 15 0 10539640 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=1.11 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 2694 0 0 0 101 10 0 0 20 0 15 0 10539640 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=1.12 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 1944 0 0 0 103 9 0 0 20 0 15 0 10539640 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 1568 0 0 0 9 3 0 0 20 0 15 0 10539641 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5123 0 -1 1077944384 39523 0 0 0 498 4 0 0 20 0 15 0 10539644 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956998576880 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.42 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5123 0 -1 1077944384 26105 0 0 0 440 2 0 0 20 0 15 0 10539644 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956997524336 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 11304 0 0 0 77 1 0 0 20 0 15 0 10539644 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 1533 0 0 0 3 4 0 0 20 0 15 0 10539649 14316269568 104919 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 175.75
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.30 1.61 1.74 3/211 11814
/proc/meminfo: memFree=31117852/32770624 swapFree=0/189380
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=237.26 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 116173 0 0 0 23645 81 0 0 20 0 15 0 10539639 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 91266 3247 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=220.19 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 19915 0 0 0 22012 7 0 0 20 0 15 0 10539639 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957528805424 139957166507185 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=1.62 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 3359 0 0 0 148 14 0 0 20 0 15 0 10539640 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=1.62 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 2154 0 0 0 149 13 0 0 20 0 15 0 10539640 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=1.61 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 3340 0 0 0 147 14 0 0 20 0 15 0 10539640 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 2738 0 0 0 150 13 0 0 20 0 15 0 10539640 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 4582 0 0 0 13 4 0 0 20 0 15 0 10539641 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5123 0 -1 1077944384 39525 0 0 0 498 4 0 0 20 0 15 0 10539644 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956998576880 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.43 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5123 0 -1 1077944384 26374 0 0 0 441 2 0 0 20 0 15 0 10539644 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956997524336 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 11306 0 0 0 77 1 0 0 20 0 15 0 10539644 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 1539 0 0 0 5 6 0 0 20 0 15 0 10539649 14316269568 91266 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 237.26
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.39 1.61 1.74 2/196 12032
/proc/meminfo: memFree=31619832/32770624 swapFree=0/189456
[pid=11791] ppid=11788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11791/stat : 11791 (xcsp3-exec) S 11788 11791 5123 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10539629 9740288 344 18446744073709551615 4194304 5098028 140734124096720 140734124094824 139646299697788 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 21880832 140734124097947 140734124098151 140734124098151 140734124101611 0
/proc/11791/statm: 2378 344 289 221 0 87 0
[pid=11793] ppid=11791 vsize=13980732 CPUtime=255.3 cores=0,2,4,6
/proc/11793/stat : 11793 (java) S 11791 11791 5123 0 -1 1077944320 117273 0 0 0 25448 82 0 0 20 0 15 0 10539639 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 140721030991840 139957524565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
/proc/11793/statm: 3495183 87543 3249 1 0 3483484 0
[pid=11793/tid=11794] ppid=11791 vsize=13980732 CPUtime=237.74 cores=0,2,4,6
/proc/11793/task/11794/stat : 11794 (java) R 11791 11791 5123 0 -1 4202560 20401 0 0 0 23767 7 0 0 20 0 15 0 10539639 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957528805024 139957164399350 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11795] ppid=11791 vsize=13980732 CPUtime=1.73 cores=0,2,4,6
/proc/11793/task/11795/stat : 11795 (java) S 11791 11791 5123 0 -1 1077944384 3548 0 0 0 159 14 0 0 20 0 15 0 10539640 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957485464592 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11796] ppid=11791 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/11793/task/11796/stat : 11796 (java) S 11791 11791 5123 0 -1 1077944384 2240 0 0 0 161 13 0 0 20 0 15 0 10539640 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957484412048 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11797] ppid=11791 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/11793/task/11797/stat : 11797 (java) S 11791 11791 5123 0 -1 1077944384 3403 0 0 0 158 14 0 0 20 0 15 0 10539640 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957483358992 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11798] ppid=11791 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/11793/task/11798/stat : 11798 (java) S 11791 11791 5123 0 -1 1077944384 2779 0 0 0 161 13 0 0 20 0 15 0 10539640 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957121772432 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11799] ppid=11791 vsize=13980732 CPUtime=0.18 cores=0,2,4,6
/proc/11793/task/11799/stat : 11799 (java) S 11791 11791 5123 0 -1 1077944384 4800 0 0 0 14 4 0 0 20 0 15 0 10539641 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957002787056 139957524576898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11800] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11800/stat : 11800 (java) S 11791 11791 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957001733280 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11801] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11801/stat : 11801 (java) S 11791 11791 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10539642 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139957000680176 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11802] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11802/stat : 11802 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956999628752 139957524584347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11803] ppid=11791 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/11793/task/11803/stat : 11803 (java) S 11791 11791 5123 0 -1 1077944384 39526 0 0 0 498 4 0 0 20 0 15 0 10539644 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956998576880 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11804] ppid=11791 vsize=13980732 CPUtime=4.43 cores=0,2,4,6
/proc/11793/task/11804/stat : 11804 (java) S 11791 11791 5123 0 -1 1077944384 26374 0 0 0 441 2 0 0 20 0 15 0 10539644 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956997524336 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11805] ppid=11791 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/11793/task/11805/stat : 11805 (java) S 11791 11791 5123 0 -1 1077944384 11307 0 0 0 77 1 0 0 20 0 15 0 10539644 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956996471280 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11806] ppid=11791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11793/task/11806/stat : 11806 (java) S 11791 11791 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10539644 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956995418976 139957524575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
[pid=11793/tid=11807] ppid=11791 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/11793/task/11807/stat : 11807 (java) S 11791 11791 5123 0 -1 1077944384 1554 0 0 0 5 6 0 0 20 0 15 0 10539649 14316269568 87543 18446744073709551615 4194304 4196468 140721031009296 139956994366000 139957524576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17903616 140721031016916 140721031017091 140721031017091 140721031020495 0
Current children cumulated CPU time (s) 255.3
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 11793 sig 9
??? kill 11791 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 11791 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1770
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118
# CPU time returned by wait4() is 0.001888
# while last known CPU time is 255.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 255.3
CPU user time (s): 254.48
CPU system time (s): 0.82
CPU usage (%): 106.37
Max. virtual memory (cumulated for all children) (KiB): 13994200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00177
system time used= 0.000118
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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.08151 second user time and 1.5644 second system time
The end