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 (10904 MiB free)
memory of node 1: 16384 MiB (6733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303449-1534036156/watcher-4303449-1534036156 -o /tmp/evaluation-result-4303449-1534036156/solver-4303449-1534036156 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534026063-30658 --watchdog 2580 xcsp_picat HOME/instance-4303449-1534036156.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=31778, runsolver pid=31775
[startup+0.100198 s]*
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18047700/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2026172 memory=16384 CPUtime=0.1 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1689 0 0 0 9 1 0 0 20 0 1 0 221178856 2074800128 4096 33554432000 4194304 5849708 140721785424256 140721785424256 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 506543 4096 717 405 0 503488 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026172 KiB
Current children cumulated memory: 16384 KiB
[startup+0.209937 s]*
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18046832/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2027400 memory=17752 CPUtime=0.21 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 2132 0 0 0 20 1 0 0 20 0 1 0 221178856 2076057600 4438 33554432000 4194304 5849708 140721785424256 140721785424256 5395492 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 506850 4438 736 405 0 503795 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027400 KiB
Current children cumulated memory: 17752 KiB
[startup+0.309399 s]*
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18046832/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2027720 memory=17752 CPUtime=0.31 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 2155 0 0 0 30 1 0 0 20 0 1 0 221178856 2076385280 4438 33554432000 4194304 5849708 140721785424256 140721785424256 5360715 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 506930 4438 736 405 0 503875 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027720 KiB
Current children cumulated memory: 17752 KiB
[startup+0.700336 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18044972/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2028384 memory=18628 CPUtime=0.69 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 2700 0 0 0 68 1 0 0 20 0 1 0 221178856 2077065216 4657 33554432000 4194304 5849708 140721785424256 140721785424256 5308878 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 507096 4657 744 405 0 504041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028384 KiB
Current children cumulated memory: 18628 KiB
[startup+1.50034 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18046604/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2028124 memory=18100 CPUtime=1.5 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 3152 0 0 0 148 2 0 0 20 0 1 0 221178856 2076798976 4525 33554432000 4194304 5849708 140721785424256 140721785422904 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 507031 4525 759 405 0 503976 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2028124 KiB
Current children cumulated memory: 18100 KiB
[startup+3.1095 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 31779
/proc/meminfo: memFree=18044288/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2030064 memory=20412 CPUtime=3.1 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 4416 0 0 0 306 4 0 0 20 0 1 0 221178856 2078785536 5103 33554432000 4194304 5849708 140721785424256 140721785423256 5309705 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 507516 5103 761 405 0 504461 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030064 KiB
Current children cumulated memory: 20412 KiB
[startup+6.30033 s]
/proc/loadavg: 2.03 2.02 2.05 3/192 31779
/proc/meminfo: memFree=18037784/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2035368 memory=25604 CPUtime=6.29 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 7810 0 0 0 621 8 0 0 20 0 1 0 221178856 2084216832 6401 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 508842 6401 761 405 0 505787 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2035368 KiB
Current children cumulated memory: 25604 KiB
[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.05 3/192 31779
/proc/meminfo: memFree=18034584/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2037464 memory=27576 CPUtime=12.69 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 14254 0 0 0 1254 15 0 0 20 0 1 0 221178856 2086363136 6894 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 509366 6894 761 405 0 506311 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037464 KiB
Current children cumulated memory: 27576 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 31840
/proc/meminfo: memFree=18312256/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2042920 memory=33240 CPUtime=25.49 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 27635 0 0 0 2522 27 0 0 20 0 1 0 221178856 2091950080 8310 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 510730 8310 761 405 0 507675 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2042920 KiB
Current children cumulated memory: 33240 KiB
[startup+51.1098 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 31845
/proc/meminfo: memFree=18294860/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2042848 memory=34256 CPUtime=51.09 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 47458 0 0 0 5059 50 0 0 20 0 1 0 221178856 2091876352 8564 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 510712 8564 761 405 0 507657 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2042848 KiB
Current children cumulated memory: 34256 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 31846
/proc/meminfo: memFree=18243280/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2059464 memory=53992 CPUtime=102.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 77556 0 0 0 10135 93 0 0 20 0 1 0 221178856 2108891136 13498 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 514866 13498 761 405 0 511811 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2059464 KiB
Current children cumulated memory: 53992 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31847
/proc/meminfo: memFree=18233708/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2072472 memory=66832 CPUtime=162.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 101692 0 0 0 16105 123 0 0 20 0 1 0 221178856 2122211328 16708 33554432000 4194304 5849708 140721785424256 140721785423416 5438297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 518118 16708 761 405 0 515063 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2072472 KiB
Current children cumulated memory: 66832 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31848
/proc/meminfo: memFree=18136396/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2103800 memory=98232 CPUtime=222.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 112806 0 0 0 22079 149 0 0 20 0 1 0 221178856 2154291200 24558 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 525950 24558 761 405 0 522895 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2103800 KiB
Current children cumulated memory: 98232 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31850
/proc/meminfo: memFree=18125248/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2141820 memory=136420 CPUtime=282.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 131592 0 0 0 28060 168 0 0 20 0 1 0 221178856 2193223680 34105 33554432000 4194304 5849708 140721785424256 140721785423256 5438257 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 535455 34105 761 405 0 532400 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2141820 KiB
Current children cumulated memory: 136420 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31851
/proc/meminfo: memFree=18088704/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2141820 memory=136420 CPUtime=342.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 146371 0 0 0 34043 185 0 0 20 0 1 0 221178856 2193223680 34105 33554432000 4194304 5849708 140721785424256 140721785423128 140382567714695 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 535455 34105 761 405 0 532400 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2141820 KiB
Current children cumulated memory: 136420 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31852
/proc/meminfo: memFree=18046732/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2134472 memory=129072 CPUtime=402.27 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 156629 0 0 0 40027 200 0 0 20 0 1 0 221178856 2185699328 32268 33554432000 4194304 5849708 140721785424256 140721785423256 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 533618 32268 761 405 0 530563 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2134472 KiB
Current children cumulated memory: 129072 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 31853
/proc/meminfo: memFree=18079604/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2165308 memory=159908 CPUtime=462.28 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 177197 0 0 0 46013 215 0 0 20 0 1 0 221178856 2217275392 39977 33554432000 4194304 5849708 140721785424256 140721785423256 5335601 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 541327 39977 761 405 0 538272 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2165308 KiB
Current children cumulated memory: 159908 KiB
################
# More data... #
################
/proc/31778/statm: 584147 82797 761 405 0 581092 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2336588 KiB
Current children cumulated memory: 331188 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 31937
/proc/meminfo: memFree=17743660/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2336588 memory=331188 CPUtime=1782.22 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 683767 0 0 0 177737 485 0 0 20 0 1 0 221178856 2392666112 82797 33554432000 4194304 5849708 140721785424256 140721785423256 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 584147 82797 761 405 0 581092 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2336588 KiB
Current children cumulated memory: 331188 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/191 31938
/proc/meminfo: memFree=17743724/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2336588 memory=331188 CPUtime=1842.22 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 718973 0 0 0 183727 495 0 0 20 0 1 0 221178856 2392666112 82797 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 584147 82797 761 405 0 581092 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2336588 KiB
Current children cumulated memory: 331188 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/190 31946
/proc/meminfo: memFree=17633208/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2412696 memory=407296 CPUtime=1902.21 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 767901 0 0 0 189709 512 0 0 20 0 1 0 221178856 2470600704 101824 33554432000 4194304 5849708 140721785424256 140721785423416 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 603174 101824 761 405 0 600119 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2412696 KiB
Current children cumulated memory: 407296 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 31947
/proc/meminfo: memFree=17568456/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2478232 memory=472832 CPUtime=1962.21 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 790225 0 0 0 195701 520 0 0 20 0 1 0 221178856 2537709568 118208 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 619558 118208 761 405 0 616503 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2478232 KiB
Current children cumulated memory: 472832 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 31948
/proc/meminfo: memFree=17568728/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2478232 memory=472832 CPUtime=2022.2 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 808567 0 0 0 201693 527 0 0 20 0 1 0 221178856 2537709568 118208 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 619558 118208 761 405 0 616503 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2478232 KiB
Current children cumulated memory: 472832 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 31949
/proc/meminfo: memFree=17446664/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2082.21 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 870879 0 0 0 207682 539 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423128 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 31951
/proc/meminfo: memFree=17446724/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2142.2 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 894912 0 0 0 213672 548 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 31952
/proc/meminfo: memFree=17446528/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2202.2 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 945266 0 0 0 219662 558 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2262.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/191 31953
/proc/meminfo: memFree=17437368/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2262.2 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 998830 0 0 0 225652 568 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 5335582 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 31954
/proc/meminfo: memFree=17437432/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2322.19 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1051001 0 0 0 231642 577 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 31955
/proc/meminfo: memFree=17437364/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2382.18 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1102046 0 0 0 237630 588 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 31956
/proc/meminfo: memFree=17401764/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2442.18 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1154557 0 0 0 243621 597 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 31965
/proc/meminfo: memFree=17335780/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2502.19 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1205581 0 0 0 249612 607 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423256 5438297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/191 31965
/proc/meminfo: memFree=17335852/32770624 swapFree=67108688/67108860
[pid=31778] ppid=31775 vsize=2534276 memory=528876 CPUtime=2519.89 cores=0,2,4,6
/proc/31778/stat : 31778 (xcsp_picat) R 31775 31778 30627 0 -1 4202496 1209027 0 0 0 251380 609 0 0 20 0 1 0 221178856 2595098624 132219 33554432000 4194304 5849708 140721785424256 140721785423416 140382567714695 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 43552768 140721785431222 140721785431300 140721785431300 140721785434058 0
/proc/31778/statm: 633569 132219 761 405 0 630514 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2534276 KiB
Current children cumulated memory: 528876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 31778 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.81 s, system=6.10674 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.92
CPU user time (s): 2513.81
CPU system time (s): 6.10674
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 2534276
Max. memory (cumulated for all children) (KiB): 528876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.81
system time used= 6.10674
maximum resident set size= 528876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1209027
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= 6
involuntary context switches= 2549
# summary of solver processes directly reported to runsolver:
# pid: 31778
# total CPU time (s): 2519.92
# total CPU user time (s): 2513.81
# total CPU system time (s): 6.10674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64652 second user time and 19.1856 second system time
The end