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 (10606 MiB free)
memory of node 1: 16384 MiB (3139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303059-1534013526/watcher-4303059-1534013526 -o /tmp/evaluation-result-4303059-1534013526/solver-4303059-1534013526 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303059-1534013526.xml
running on 4 cores: 0,2,4,6
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=23935, runsolver pid=23932
[startup+0.100538 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14058252/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2028584 memory=19144 CPUtime=0.1 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 2583 0 0 0 10 0 0 0 20 0 1 0 218915768 2077270016 4786 33554432000 4194304 5849708 140729129157472 140729129155720 5303721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 507146 4786 692 405 0 504091 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028584 KiB
Current children cumulated memory: 19144 KiB
[startup+0.209571 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14058260/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2028584 memory=19144 CPUtime=0.21 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 2763 0 0 0 21 0 0 0 20 0 1 0 218915768 2077270016 4786 33554432000 4194304 5849708 140729129157472 140729129155720 5394332 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 507146 4786 692 405 0 504091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028584 KiB
Current children cumulated memory: 19144 KiB
[startup+0.308768 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14058260/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2028384 memory=19144 CPUtime=0.31 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 2802 0 0 0 31 0 0 0 20 0 1 0 218915768 2077065216 4786 33554432000 4194304 5849708 140729129157472 140729129155720 5355817 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 507096 4786 692 405 0 504041 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028384 KiB
Current children cumulated memory: 19144 KiB
[startup+0.700248 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14057776/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2040488 memory=30560 CPUtime=0.69 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 5426 0 0 0 69 0 0 0 20 0 1 0 218915768 2089459712 7640 33554432000 4194304 5849708 140729129157472 140729129155720 4210130 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 510122 7640 704 405 0 507067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040488 KiB
Current children cumulated memory: 30560 KiB
[startup+1.50024 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14050348/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2036392 memory=26568 CPUtime=1.49 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 5431 0 0 0 147 2 0 0 20 0 1 0 218915768 2085265408 6642 33554432000 4194304 5849708 140729129157472 140729129156472 5335568 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 509098 6642 705 405 0 506043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036392 KiB
Current children cumulated memory: 26568 KiB
[startup+3.10941 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 23936
/proc/meminfo: memFree=14033956/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2036536 memory=27128 CPUtime=3.09 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 8099 0 0 0 306 3 0 0 20 0 1 0 218915768 2085412864 6782 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 509134 6782 708 405 0 506079 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036536 KiB
Current children cumulated memory: 27128 KiB
[startup+6.30034 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 23936
/proc/meminfo: memFree=13990744/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2037328 memory=28024 CPUtime=6.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 10147 0 0 0 621 7 0 0 20 0 1 0 218915768 2086223872 7006 33554432000 4194304 5849708 140729129157472 140729129156472 5312898 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 509332 7006 708 405 0 506277 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2037328 KiB
Current children cumulated memory: 28024 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 23936
/proc/meminfo: memFree=13949040/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2037568 memory=28232 CPUtime=12.69 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 14091 0 0 0 1256 13 0 0 20 0 1 0 218915768 2086469632 7058 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 509392 7058 708 405 0 506337 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037568 KiB
Current children cumulated memory: 28232 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 23936
/proc/meminfo: memFree=13876464/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2038008 memory=28800 CPUtime=25.49 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 26080 0 0 0 2522 27 0 0 20 0 1 0 218915768 2086920192 7200 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 509502 7200 708 405 0 506447 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2038008 KiB
Current children cumulated memory: 28800 KiB
[startup+51.1096 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 23936
/proc/meminfo: memFree=13823168/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2041940 memory=32728 CPUtime=51.09 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 40998 0 0 0 5064 45 0 0 20 0 1 0 218915768 2090946560 8182 33554432000 4194304 5849708 140729129157472 140729129156472 5312843 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 510485 8182 708 405 0 507430 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2041940 KiB
Current children cumulated memory: 32728 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 23937
/proc/meminfo: memFree=13933804/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2045436 memory=36148 CPUtime=102.29 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 62579 0 0 0 10150 79 0 0 20 0 1 0 218915768 2094526464 9037 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 511359 9037 708 405 0 508304 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2045436 KiB
Current children cumulated memory: 36148 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23938
/proc/meminfo: memFree=13787780/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2052968 memory=43748 CPUtime=162.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 82322 0 0 0 16112 116 0 0 20 0 1 0 218915768 2102239232 10937 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 513242 10937 708 405 0 510187 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2052968 KiB
Current children cumulated memory: 43748 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23940
/proc/meminfo: memFree=13414852/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2060476 memory=51288 CPUtime=222.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 101475 0 0 0 22075 153 0 0 20 0 1 0 218915768 2109927424 12822 33554432000 4194304 5849708 140729129157472 140729129156472 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 515119 12822 708 405 0 512064 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2060476 KiB
Current children cumulated memory: 51288 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23941
/proc/meminfo: memFree=13747676/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2074260 memory=64956 CPUtime=282.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 115028 0 0 0 28054 174 0 0 20 0 1 0 218915768 2124042240 16239 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518565 16239 708 405 0 515510 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2074260 KiB
Current children cumulated memory: 64956 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23942
/proc/meminfo: memFree=13702220/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2066624 memory=57320 CPUtime=342.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 129507 0 0 0 34035 193 0 0 20 0 1 0 218915768 2116222976 14330 33554432000 4194304 5849708 140729129157472 140729129156472 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 516656 14330 708 405 0 513601 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2066624 KiB
Current children cumulated memory: 57320 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23944
/proc/meminfo: memFree=13642080/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2092564 memory=83260 CPUtime=402.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 140993 0 0 0 40020 208 0 0 20 0 1 0 218915768 2142785536 20815 33554432000 4194304 5849708 140729129157472 140729129156472 5335582 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 523141 20815 708 405 0 520086 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2092564 KiB
Current children cumulated memory: 83260 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23945
/proc/meminfo: memFree=13730004/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2113488 memory=104184 CPUtime=462.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 154107 0 0 0 46010 218 0 0 20 0 1 0 218915768 2164211712 26046 33554432000 4194304 5849708 140729129157472 140729129156632 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 528372 26046 708 405 0 525317 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2113488 KiB
Current children cumulated memory: 104184 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23954
/proc/meminfo: memFree=13312400/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2044384 memory=35144 CPUtime=522.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 161251 0 0 0 51981 247 0 0 20 0 1 0 218915768 2093449216 8786 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 511096 8786 719 405 0 508041 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 2044384 KiB
Current children cumulated memory: 35144 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23977
/proc/meminfo: memFree=13297064/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2058620 memory=49376 CPUtime=582.28 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 165465 0 0 0 57938 290 0 0 20 0 1 0 218915768 2108026880 12344 33554432000 4194304 5849708 140729129157472 140729129156200 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 514655 12344 719 405 0 511600 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 2058620 KiB
Current children cumulated memory: 49376 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24039
/proc/meminfo: memFree=17445748/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=63680 CPUtime=642.27 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 168447 0 0 0 63899 328 0 0 20 0 1 0 218915768 2122674176 15920 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 15920 719 405 0 515176 0
Current children cumulated CPU time: 642.27 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63680 KiB
[startup+702.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17430616/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=702.27 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 168951 0 0 0 69855 372 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 702.27 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+715.939 s]
# the end of solver process 23935 was just reported to runsolver
# cumulated CPU time of all completed processes: user=712.118 s, system=3.79892 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17443252/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=703.97 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 168954 0 0 0 70024 373 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 703.97 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+710.4 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17432600/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=710.37 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 70660 377 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156120 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 710.37 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+713.6 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17442716/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=713.57 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 70979 378 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 713.57 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+715.2 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17436380/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=715.17 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 71138 379 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 715.17 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+715.6 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17436380/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=715.57 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 71178 379 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 715.57 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+715.8 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17436380/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=715.77 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 71198 379 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 715.77 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
[startup+715.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24040
/proc/meminfo: memFree=17436380/32770624 swapFree=67108796/67108860
[pid=23935] ppid=23932 vsize=2072924 memory=67324 CPUtime=715.87 cores=0,2,4,6
/proc/23935/stat : 23935 (xcsp_picat) R 23932 23935 21527 0 -1 4202496 169002 0 0 0 71208 379 0 0 20 0 1 0 218915768 2122674176 16831 33554432000 4194304 5849708 140729129157472 140729129156472 140281614659463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47435776 140729129166006 140729129166084 140729129166084 140729129168842 0
/proc/23935/statm: 518231 16831 719 405 0 515176 0
Current children cumulated CPU time: 715.87 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 67324 KiB
Child status: 0
Real time (s): 715.939
CPU time (s): 715.917
CPU user time (s): 712.118
CPU system time (s): 3.79892
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 2113488
Max. memory (cumulated for all children) (KiB): 104184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.118
system time used= 3.79892
maximum resident set size= 104184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169097
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= 11
involuntary context switches= 354
# summary of solver processes directly reported to runsolver:
# pid: 23935
# total CPU time (s): 715.917
# total CPU user time (s): 712.118
# total CPU system time (s): 3.79892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.68016 second user time and 5.3878 second system time
The end