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 (6579 MiB free)
memory of node 1: 16384 MiB (9390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303299-1534034156/watcher-4303299-1534034156 -o /tmp/evaluation-result-4303299-1534034156/solver-4303299-1534034156 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534026591-4845 --watchdog 2580 xcsp_picat HOME/instance-4303299-1534034156.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=5761, runsolver pid=5758
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16280396/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2032476 memory=26244 CPUtime=0.1 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 3711 0 0 0 10 0 0 0 20 0 1 0 220978780 2081255424 6561 33554432000 4194304 5849708 140736633495744 140736633495744 5432728 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 508119 6561 638 405 0 505064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2032476 KiB
Current children cumulated memory: 26244 KiB
[startup+0.209564 s]*
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16281472/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2031764 memory=25572 CPUtime=0.21 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 4363 0 0 0 21 0 0 0 20 0 1 0 220978780 2080526336 6393 33554432000 4194304 5849708 140736633495744 140736633495744 5392552 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 507941 6393 654 405 0 504886 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031764 KiB
Current children cumulated memory: 25572 KiB
[startup+0.30919 s]*
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16281412/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2031756 memory=25496 CPUtime=0.31 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 4664 0 0 0 31 0 0 0 20 0 1 0 220978780 2080518144 6374 33554432000 4194304 5849708 140736633495744 140736633494392 5369448 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 507939 6374 654 405 0 504884 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031756 KiB
Current children cumulated memory: 25496 KiB
[startup+0.700316 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16278808/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2033592 memory=27360 CPUtime=0.69 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 5688 0 0 0 69 0 0 0 20 0 1 0 220978780 2082398208 6840 33554432000 4194304 5849708 140736633495744 140736633494392 5355985 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 508398 6840 656 405 0 505343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033592 KiB
Current children cumulated memory: 27360 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16243876/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2040872 memory=34116 CPUtime=1.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 6697 0 0 0 149 0 0 0 20 0 1 0 220978780 2089852928 8529 33554432000 4194304 5849708 140736633495744 140736633494392 4211660 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 510218 8529 666 405 0 507163 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2040872 KiB
Current children cumulated memory: 34116 KiB
[startup+3.10937 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16238500/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2041904 memory=35288 CPUtime=3.1 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 9431 0 0 0 308 2 0 0 20 0 1 0 220978780 2090909696 8822 33554432000 4194304 5849708 140736633495744 140736633494392 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 510476 8822 670 405 0 507421 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041904 KiB
Current children cumulated memory: 35288 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16170352/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2039512 memory=33424 CPUtime=6.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 12557 0 0 0 625 4 0 0 20 0 1 0 220978780 2088460288 8356 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 509878 8356 670 405 0 506823 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2039512 KiB
Current children cumulated memory: 33424 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 5762
/proc/meminfo: memFree=16233468/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2041508 memory=35480 CPUtime=12.69 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 14544 0 0 0 1263 6 0 0 20 0 1 0 220978780 2090504192 8870 33554432000 4194304 5849708 140736633495744 140736633494152 4211671 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 510377 8870 670 405 0 507322 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2041508 KiB
Current children cumulated memory: 35480 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 5762
/proc/meminfo: memFree=16228224/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2038908 memory=32820 CPUtime=25.5 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 22700 0 0 0 2533 17 0 0 20 0 1 0 220978780 2087841792 8205 33554432000 4194304 5849708 140736633495744 140736633494152 4211607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 509727 8205 670 405 0 506672 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2038908 KiB
Current children cumulated memory: 32820 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 5763
/proc/meminfo: memFree=16233040/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2037068 memory=31016 CPUtime=51.1 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 40184 0 0 0 5075 35 0 0 20 0 1 0 220978780 2085957632 7754 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 509267 7754 670 405 0 506212 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2037068 KiB
Current children cumulated memory: 31016 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 5764
/proc/meminfo: memFree=16161896/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2037848 memory=31888 CPUtime=102.3 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 78855 0 0 0 10150 80 0 0 20 0 1 0 220978780 2086756352 7972 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 509462 7972 670 405 0 506407 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2037848 KiB
Current children cumulated memory: 31888 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 5765
/proc/meminfo: memFree=16129140/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2043016 memory=37000 CPUtime=162.31 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 120424 0 0 0 16105 126 0 0 20 0 1 0 220978780 2092048384 9250 33554432000 4194304 5849708 140736633495744 140736633494616 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 510754 9250 670 405 0 507699 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2043016 KiB
Current children cumulated memory: 37000 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5766
/proc/meminfo: memFree=16103460/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2083524 memory=77200 CPUtime=222.32 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 153610 0 0 0 22074 158 0 0 20 0 1 0 220978780 2133528576 19300 33554432000 4194304 5849708 140736633495744 140736633494616 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 520881 19300 670 405 0 517826 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2083524 KiB
Current children cumulated memory: 77200 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5772
/proc/meminfo: memFree=16083716/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2092000 memory=85912 CPUtime=282.32 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 176155 0 0 0 28049 183 0 0 20 0 1 0 220978780 2142208000 21478 33554432000 4194304 5849708 140736633495744 140736633494904 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 523000 21478 670 405 0 519945 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2092000 KiB
Current children cumulated memory: 85912 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5773
/proc/meminfo: memFree=16016160/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2126808 memory=120488 CPUtime=342.33 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 197048 0 0 0 34027 206 0 0 20 0 1 0 220978780 2177851392 30122 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 531702 30122 670 405 0 528647 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2126808 KiB
Current children cumulated memory: 120488 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5774
/proc/meminfo: memFree=16159024/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2082708 memory=76620 CPUtime=402.34 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 218091 0 0 0 40012 222 0 0 20 0 1 0 220978780 2132692992 19155 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 520677 19155 670 405 0 517622 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 2082708 KiB
Current children cumulated memory: 76620 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5775
/proc/meminfo: memFree=15977724/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2145760 memory=139672 CPUtime=462.35 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 229696 0 0 0 45994 241 0 0 20 0 1 0 220978780 2197258240 34918 33554432000 4194304 5849708 140736633495744 140736633494744 5413092 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 536440 34918 670 405 0 533385 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 2145760 KiB
Current children cumulated memory: 139672 KiB
################
# More data... #
################
/proc/5761/statm: 563403 62479 670 405 0 560348 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 2253612 KiB
Current children cumulated memory: 249916 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5831
/proc/meminfo: memFree=15651768/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2253612 memory=249916 CPUtime=1782.47 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 447057 0 0 0 177729 518 0 0 20 0 1 0 220978780 2307698688 62479 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 563403 62479 670 405 0 560348 0
Current children cumulated CPU time: 1782.47 s
Current children cumulated vsize: 2253612 KiB
Current children cumulated memory: 249916 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5835
/proc/meminfo: memFree=15529152/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2253612 memory=249916 CPUtime=1842.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 447188 0 0 0 183723 526 0 0 20 0 1 0 220978780 2307698688 62479 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 563403 62479 670 405 0 560348 0
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 2253612 KiB
Current children cumulated memory: 249916 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5836
/proc/meminfo: memFree=15406252/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2254248 memory=250552 CPUtime=1902.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 457343 0 0 0 189717 532 0 0 20 0 1 0 220978780 2308349952 62638 33554432000 4194304 5849708 140736633495744 140736633494744 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 563562 62638 670 405 0 560507 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 2254248 KiB
Current children cumulated memory: 250552 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5837
/proc/meminfo: memFree=15160700/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2254248 memory=250552 CPUtime=1962.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 457445 0 0 0 195713 536 0 0 20 0 1 0 220978780 2308349952 62638 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 563562 62638 670 405 0 560507 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 2254248 KiB
Current children cumulated memory: 250552 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5838
/proc/meminfo: memFree=15558948/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2258264 memory=254528 CPUtime=2022.51 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 458703 0 0 0 201707 544 0 0 20 0 1 0 220978780 2312462336 63632 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 564566 63632 670 405 0 561511 0
Current children cumulated CPU time: 2022.51 s
Current children cumulated vsize: 2258264 KiB
Current children cumulated memory: 254528 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5844
/proc/meminfo: memFree=15296316/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2258264 memory=254568 CPUtime=2082.51 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 459021 0 0 0 207701 550 0 0 20 0 1 0 220978780 2312462336 63642 33554432000 4194304 5849708 140736633495744 140736633494904 5438351 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 564566 63642 670 405 0 561511 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 2258264 KiB
Current children cumulated memory: 254568 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5845
/proc/meminfo: memFree=14867628/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2289628 memory=285932 CPUtime=2142.52 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 470403 0 0 0 213696 556 0 0 20 0 1 0 220978780 2344579072 71483 33554432000 4194304 5849708 140736633495744 140736633494744 5335609 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 572407 71483 670 405 0 569352 0
Current children cumulated CPU time: 2142.52 s
Current children cumulated vsize: 2289628 KiB
Current children cumulated memory: 285932 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5846
/proc/meminfo: memFree=15062408/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2343500 memory=339804 CPUtime=2202.52 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 471788 0 0 0 219689 563 0 0 20 0 1 0 220978780 2399744000 84951 33554432000 4194304 5849708 140736633495744 140736633494744 5437824 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 585875 84951 670 405 0 582820 0
Current children cumulated CPU time: 2202.52 s
Current children cumulated vsize: 2343500 KiB
Current children cumulated memory: 339804 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5847
/proc/meminfo: memFree=15153056/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2377424 memory=373728 CPUtime=2262.53 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 475419 0 0 0 225684 569 0 0 20 0 1 0 220978780 2434482176 93432 33554432000 4194304 5849708 140736633495744 140736633494744 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 594356 93432 670 405 0 591301 0
Current children cumulated CPU time: 2262.53 s
Current children cumulated vsize: 2377424 KiB
Current children cumulated memory: 373728 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5848
/proc/meminfo: memFree=14631616/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2395932 memory=392204 CPUtime=2322.53 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 503186 0 0 0 231675 578 0 0 20 0 1 0 220978780 2453434368 98051 33554432000 4194304 5849708 140736633495744 140736633494744 140479469825927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 598983 98051 670 405 0 595928 0
Current children cumulated CPU time: 2322.53 s
Current children cumulated vsize: 2395932 KiB
Current children cumulated memory: 392204 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5849
/proc/meminfo: memFree=14499856/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2395932 memory=392236 CPUtime=2382.55 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 515450 0 0 0 237668 587 0 0 20 0 1 0 220978780 2453434368 98059 33554432000 4194304 5849708 140736633495744 140736633494744 5437592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 598983 98059 670 405 0 595928 0
Current children cumulated CPU time: 2382.55 s
Current children cumulated vsize: 2395932 KiB
Current children cumulated memory: 392236 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5850
/proc/meminfo: memFree=15441484/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2396780 memory=393084 CPUtime=2442.55 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 517239 0 0 0 243661 594 0 0 20 0 1 0 220978780 2454302720 98271 33554432000 4194304 5849708 140736633495744 140736633494744 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 599195 98271 670 405 0 596140 0
Current children cumulated CPU time: 2442.55 s
Current children cumulated vsize: 2396780 KiB
Current children cumulated memory: 393084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5851
/proc/meminfo: memFree=15509036/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2396780 memory=393084 CPUtime=2502.56 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 541640 0 0 0 249650 606 0 0 20 0 1 0 220978780 2454302720 98271 33554432000 4194304 5849708 140736633495744 140736633494744 5438208 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 599195 98271 670 405 0 596140 0
Current children cumulated CPU time: 2502.56 s
Current children cumulated vsize: 2396780 KiB
Current children cumulated memory: 393084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5851
/proc/meminfo: memFree=15508788/32770624 swapFree=67108504/67108860
[pid=5761] ppid=5758 vsize=2396780 memory=393084 CPUtime=2520.06 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 4813 0 -1 4202496 541659 0 0 0 251399 607 0 0 20 0 1 0 220978780 2454302720 98271 33554432000 4194304 5849708 140736633495744 140736633494744 5437782 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37777408 140736633496758 140736633496836 140736633496836 140736633499594 0
/proc/5761/statm: 599195 98271 670 405 0 596140 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2396780 KiB
Current children cumulated memory: 393084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 5761 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.99 s, system=6.08671 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): 2519.81
CPU time (s): 2520.08
CPU user time (s): 2513.99
CPU system time (s): 6.08671
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2462316
Max. memory (cumulated for all children) (KiB): 458552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.99
system time used= 6.08671
maximum resident set size= 458552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541659
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= 30
involuntary context switches= 1228
# summary of solver processes directly reported to runsolver:
# pid: 5761
# total CPU time (s): 2520.08
# total CPU user time (s): 2513.99
# total CPU system time (s): 6.08671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9257 second user time and 17.4559 second system time
The end