runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3548 MiB free)
memory of node 1: 16384 MiB (7130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296198-1532613169/watcher-4296198-1532613169 -o /tmp/evaluation-result-4296198-1532613169/solver-4296198-1532613169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28433 --watchdog 2580 xcsp_picat HOME/instance-4296198-1532613169.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30384, runsolver pid=30381
[startup+0.100852 s]*
/proc/loadavg: 2.67 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10917216/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=115620 memory=20252 CPUtime=0.1 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 3030 0 0 0 10 0 0 0 20 0 1 0 78880024 118394880 5063 33554432000 4194304 5849740 140736379498624 140736379496872 5392283 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 28905 5063 647 405 0 25849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115620 KiB
Current children cumulated memory: 20252 KiB
[startup+0.209693 s]*
/proc/loadavg: 2.67 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10916936/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=115704 memory=20336 CPUtime=0.21 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 3106 0 0 0 21 0 0 0 20 0 1 0 78880024 118480896 5084 33554432000 4194304 5849740 140736379498624 140736379496872 5302823 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 28926 5084 653 405 0 25870 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 115704 KiB
Current children cumulated memory: 20336 KiB
[startup+0.308975 s]*
/proc/loadavg: 2.67 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10916936/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=115784 memory=20244 CPUtime=0.31 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 3154 0 0 0 31 0 0 0 20 0 1 0 78880024 118562816 5061 33554432000 4194304 5849740 140736379498624 140736379496872 5303753 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 28946 5061 653 405 0 25890 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115784 KiB
Current children cumulated memory: 20244 KiB
[startup+0.700329 s]
/proc/loadavg: 2.67 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10916936/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=117604 memory=22092 CPUtime=0.69 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 3837 0 0 0 69 0 0 0 20 0 1 0 78880024 120426496 5523 33554432000 4194304 5849740 140736379498624 140736379496872 5360933 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 29401 5523 655 405 0 26345 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117604 KiB
Current children cumulated memory: 22092 KiB
[startup+1.50029 s]
/proc/loadavg: 2.67 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10914592/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=119948 memory=23928 CPUtime=1.49 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 4593 0 0 0 149 0 0 0 20 0 1 0 78880024 122826752 5982 33554432000 4194304 5849740 140736379498624 140736379496872 4212046 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 29987 5982 665 405 0 26931 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 119948 KiB
Current children cumulated memory: 23928 KiB
[startup+3.10903 s]
/proc/loadavg: 2.61 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10913588/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=119948 memory=24060 CPUtime=3.09 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 5554 0 0 0 309 0 0 0 20 0 1 0 78880024 122826752 6015 33554432000 4194304 5849740 140736379498624 140736379496872 4211600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 29987 6015 665 405 0 26931 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 119948 KiB
Current children cumulated memory: 24060 KiB
[startup+6.30027 s]
/proc/loadavg: 2.61 2.22 2.11 3/188 30385
/proc/meminfo: memFree=10914260/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=119948 memory=24060 CPUtime=6.29 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 6585 0 0 0 629 0 0 0 20 0 1 0 78880024 122826752 6015 33554432000 4194304 5849740 140736379498624 140736379497032 4211681 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 29987 6015 665 405 0 26931 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 119948 KiB
Current children cumulated memory: 24060 KiB
[startup+12.7003 s]
/proc/loadavg: 2.56 2.21 2.10 3/188 30385
/proc/meminfo: memFree=10912028/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=122140 memory=26252 CPUtime=12.68 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 8387 0 0 0 1268 0 0 0 20 0 1 0 78880024 125071360 6563 33554432000 4194304 5849740 140736379498624 140736379497032 4211581 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 30535 6563 665 405 0 27479 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 122140 KiB
Current children cumulated memory: 26252 KiB
[startup+25.5003 s]
/proc/loadavg: 2.44 2.20 2.10 3/188 30385
/proc/meminfo: memFree=10911496/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=121732 memory=26368 CPUtime=25.49 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 13176 0 0 0 2538 11 0 0 20 0 1 0 78880024 124653568 6592 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 30433 6592 669 405 0 27377 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 121732 KiB
Current children cumulated memory: 26368 KiB
[startup+51.1095 s]
/proc/loadavg: 2.35 2.20 2.11 3/188 30385
/proc/meminfo: memFree=10912052/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=121816 memory=26444 CPUtime=51.1 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 24241 0 0 0 5077 33 0 0 20 0 1 0 78880024 124739584 6611 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 30454 6611 669 405 0 27398 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 121816 KiB
Current children cumulated memory: 26444 KiB
[startup+102.3 s]
/proc/loadavg: 2.22 2.19 2.11 3/188 30386
/proc/meminfo: memFree=10902332/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=131148 memory=35580 CPUtime=102.3 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 65530 0 0 0 10155 75 0 0 20 0 1 0 78880024 134295552 8895 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 32787 8895 669 405 0 29731 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 131148 KiB
Current children cumulated memory: 35580 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.17 2.11 3/187 30388
/proc/meminfo: memFree=10882608/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=143356 memory=47992 CPUtime=162.3 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 98934 0 0 0 16122 108 0 0 20 0 1 0 78880024 146796544 11998 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 35839 11998 669 405 0 32783 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 143356 KiB
Current children cumulated memory: 47992 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.14 2.10 3/187 30389
/proc/meminfo: memFree=10866084/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=163616 memory=71836 CPUtime=222.3 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 123916 0 0 0 22101 129 0 0 20 0 1 0 78880024 167542784 17959 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 40904 17959 669 405 0 37848 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 163616 KiB
Current children cumulated memory: 71836 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/187 30390
/proc/meminfo: memFree=10841452/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=188444 memory=96628 CPUtime=282.3 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 134802 0 0 0 28086 144 0 0 20 0 1 0 78880024 192966656 24157 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 47111 24157 669 405 0 44055 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 188444 KiB
Current children cumulated memory: 96628 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/187 30392
/proc/meminfo: memFree=10850744/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=179288 memory=87392 CPUtime=342.31 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 143737 0 0 0 34068 163 0 0 20 0 1 0 78880024 183590912 21848 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 44822 21848 669 405 0 41766 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 179288 KiB
Current children cumulated memory: 87392 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/187 30393
/proc/meminfo: memFree=10811156/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=219216 memory=127292 CPUtime=402.32 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 170817 0 0 0 40049 183 0 0 20 0 1 0 78880024 224477184 31823 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 54804 31823 669 405 0 51748 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 219216 KiB
Current children cumulated memory: 127292 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/188 30402
/proc/meminfo: memFree=10781932/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=246940 memory=155184 CPUtime=462.32 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 178267 0 0 0 46039 193 0 0 20 0 1 0 78880024 252866560 38796 33554432000 4194304 5849740 140736379498624 140736379497624 5335568 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 61735 38796 669 405 0 58679 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 246940 KiB
Current children cumulated memory: 155184 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/189 30426
/proc/meminfo: memFree=10779972/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=246940 memory=155248 CPUtime=522.32 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 193052 0 0 0 52030 202 0 0 20 0 1 0 78880024 252866560 38812 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 61735 38812 669 405 0 58679 0
Current children cumulated CPU time: 522.32 s
Current children cumulated vsize: 246940 KiB
Current children cumulated memory: 155248 KiB
[startup+577.24 s]
# the end of solver process 30384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=575.108 s, system=2.1542 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 2.05 2.07 3/189 30426
/proc/meminfo: memFree=10857040/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=171020 memory=79328 CPUtime=537.61 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 200139 0 0 0 53555 206 0 0 20 0 1 0 78880024 175124480 19832 33554432000 4194304 5849740 140736379498624 140736379497624 5437709 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 42755 19832 669 405 0 39699 0
Current children cumulated CPU time: 537.61 s
Current children cumulated vsize: 171020 KiB
Current children cumulated memory: 79328 KiB
[startup+563.2 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10853008/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=175604 memory=83796 CPUtime=563.21 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 201933 0 0 0 56110 211 0 0 20 0 1 0 78880024 179818496 20949 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 43901 20949 669 405 0 40845 0
Current children cumulated CPU time: 563.21 s
Current children cumulated vsize: 175604 KiB
Current children cumulated memory: 83796 KiB
[startup+569.6 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10853008/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=175604 memory=83796 CPUtime=569.61 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 201933 0 0 0 56748 213 0 0 20 0 1 0 78880024 179818496 20949 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 43901 20949 669 405 0 40845 0
Current children cumulated CPU time: 569.61 s
Current children cumulated vsize: 175604 KiB
Current children cumulated memory: 83796 KiB
[startup+572.8 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10853008/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=175604 memory=83796 CPUtime=572.81 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 201939 0 0 0 57067 214 0 0 20 0 1 0 78880024 179818496 20949 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 43901 20949 669 405 0 40845 0
Current children cumulated CPU time: 572.81 s
Current children cumulated vsize: 175604 KiB
Current children cumulated memory: 83796 KiB
[startup+574.4 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10851148/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=177728 memory=85788 CPUtime=574.41 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 202488 0 0 0 57227 214 0 0 20 0 1 0 78880024 181993472 21447 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 44432 21447 669 405 0 41376 0
Current children cumulated CPU time: 574.41 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 85788 KiB
[startup+576 s]*
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10851148/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=177728 memory=85788 CPUtime=576.02 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 202488 0 0 0 57388 214 0 0 20 0 1 0 78880024 181993472 21447 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 44432 21447 669 405 0 41376 0
Current children cumulated CPU time: 576.02 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 85788 KiB
[startup+576.8 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10851148/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=177728 memory=85788 CPUtime=576.82 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 202488 0 0 0 57467 215 0 0 20 0 1 0 78880024 181993472 21447 33554432000 4194304 5849740 140736379498624 140736379497624 139630181846919 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 44432 21447 669 405 0 41376 0
Current children cumulated CPU time: 576.82 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 85788 KiB
[startup+577.2 s]
/proc/loadavg: 2.00 2.04 2.07 3/189 30427
/proc/meminfo: memFree=10851148/32770624 swapFree=67108860/67108860
[pid=30384] ppid=30381 vsize=177728 memory=85788 CPUtime=577.21 cores=1,3,5,7
/proc/30384/stat : 30384 (xcsp_picat) R 30381 30384 26989 0 -1 4202496 202488 0 0 0 57506 215 0 0 20 0 1 0 78880024 181993472 21447 33554432000 4194304 5849740 140736379498624 140736379497624 5335518 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26079232 140736379503798 140736379503876 140736379503876 140736379506634 0
/proc/30384/statm: 44432 21447 669 405 0 41376 0
Current children cumulated CPU time: 577.21 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 85788 KiB
Child status: 0
Real time (s): 577.24
CPU time (s): 577.262
CPU user time (s): 575.108
CPU system time (s): 2.1542
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 246940
Max. memory (cumulated for all children) (KiB): 155248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 575.108
system time used= 2.1542
maximum resident set size= 155248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202564
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= 42
involuntary context switches= 324
# summary of solver processes directly reported to runsolver:
# pid: 30384
# total CPU time (s): 577.262
# total CPU user time (s): 575.108
# total CPU system time (s): 2.1542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46932 second user time and 4.046 second system time
The end