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 (8880 MiB free)
memory of node 1: 16384 MiB (9696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309488-1534318329/watcher-4309488-1534318329 -o /tmp/evaluation-result-4309488-1534318329/solver-4309488-1534318329 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309488-1534318329.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=19435, runsolver pid=19432
[startup+0.100374 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18998720/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2025744 memory=28500 CPUtime=0.1 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1652 0 0 0 10 0 0 0 20 0 1 0 249396099 2074361856 7125 33554432000 4194304 5849940 140732133299360 140732133298664 4481152 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 506436 7125 596 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28500 KiB
[startup+0.209706 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 19436
/proc/meminfo: memFree=18984284/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2025744 memory=40788 CPUtime=0.21 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1658 0 0 0 20 1 0 0 20 0 1 0 249396099 2074361856 10197 33554432000 4194304 5849940 140732133299360 140732133298664 4376688 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 506436 10197 596 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40788 KiB
[startup+0.309481 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18974044/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2025744 memory=53272 CPUtime=0.31 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1748 0 0 0 30 1 0 0 20 0 1 0 249396099 2074361856 13318 33554432000 4194304 5849940 140732133299360 140732133298664 4504241 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 506436 13318 621 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 53272 KiB
[startup+0.700343 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18937116/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2027516 memory=88484 CPUtime=0.69 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 2425 0 0 0 66 3 0 0 20 0 1 0 249396099 2076176384 22121 33554432000 4194304 5849940 140732133299360 140732133298664 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 506879 22121 722 405 0 503823 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027516 KiB
Current children cumulated memory: 88484 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18919568/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2110524 memory=175600 CPUtime=1.49 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 9436 0 0 0 143 6 0 0 20 0 1 0 249396099 2161176576 43900 33554432000 4194304 5849940 140732133299360 140732133298456 5300950 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 527631 43900 724 405 0 524575 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2110524 KiB
Current children cumulated memory: 175600 KiB
[startup+3.10906 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18783232/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2176060 memory=241388 CPUtime=3.09 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 10095 0 0 0 302 7 0 0 20 0 1 0 249396099 2228285440 60347 33554432000 4194304 5849940 140732133299360 140732133298600 139626650540010 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 544015 60347 724 405 0 540959 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2176060 KiB
Current children cumulated memory: 241388 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18767688/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2178672 memory=244020 CPUtime=6.28 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 34512 0 0 0 620 8 0 0 20 0 1 0 249396099 2230960128 61005 33554432000 4194304 5849940 140732133299360 140732133298456 5317718 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 544668 61005 729 405 0 541612 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2178672 KiB
Current children cumulated memory: 244020 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18751620/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2194504 memory=259716 CPUtime=12.69 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 62242 0 0 0 1255 14 0 0 20 0 1 0 249396099 2247172096 64929 33554432000 4194304 5849940 140732133299360 140732133297848 4204828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 548626 64929 752 405 0 545570 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2194504 KiB
Current children cumulated memory: 259716 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19436
/proc/meminfo: memFree=18751980/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2194468 memory=259784 CPUtime=25.48 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 99880 0 0 0 2533 15 0 0 20 0 1 0 249396099 2247135232 64946 33554432000 4194304 5849940 140732133299360 140732133297624 5437856 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 548617 64946 753 405 0 545561 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2194468 KiB
Current children cumulated memory: 259784 KiB
[startup+51.1095 s]
/proc/loadavg: 2.14 2.05 2.06 3/187 19436
/proc/meminfo: memFree=18748904/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2197348 memory=262564 CPUtime=51.1 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 131723 0 0 0 5081 29 0 0 20 0 1 0 249396099 2250084352 65641 33554432000 4194304 5849940 140732133299360 140732133297848 5309056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 549337 65641 756 405 0 546281 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2197348 KiB
Current children cumulated memory: 262564 KiB
[startup+102.3 s]
/proc/loadavg: 2.12 2.06 2.06 3/187 19437
/proc/meminfo: memFree=18713572/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2204672 memory=270000 CPUtime=102.28 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 184337 0 0 0 10177 51 0 0 20 0 1 0 249396099 2257584128 67500 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 551168 67500 756 405 0 548112 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2204672 KiB
Current children cumulated memory: 270000 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/187 19438
/proc/meminfo: memFree=18704552/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2207956 memory=273268 CPUtime=162.28 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 211372 0 0 0 16150 78 0 0 20 0 1 0 249396099 2260946944 68317 33554432000 4194304 5849940 140732133299360 140732133298008 5366701 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 551989 68317 756 405 0 548933 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2207956 KiB
Current children cumulated memory: 273268 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 19439
/proc/meminfo: memFree=18502576/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2214260 memory=279344 CPUtime=222.27 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 240708 0 0 0 22128 99 0 0 20 0 1 0 249396099 2267402240 69836 33554432000 4194304 5849940 140732133299360 140732133297768 4211600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 553565 69836 756 405 0 550509 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2214260 KiB
Current children cumulated memory: 279344 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/187 19440
/proc/meminfo: memFree=18687640/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2225428 memory=290756 CPUtime=282.27 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 270496 0 0 0 28101 126 0 0 20 0 1 0 249396099 2278838272 72689 33554432000 4194304 5849940 140732133299360 140732133296904 5339286 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 556357 72689 756 405 0 553301 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2225428 KiB
Current children cumulated memory: 290756 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/187 19441
/proc/meminfo: memFree=18654404/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2225428 memory=290756 CPUtime=342.27 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 297308 0 0 0 34071 156 0 0 20 0 1 0 249396099 2278838272 72689 33554432000 4194304 5849940 140732133299360 140732133297848 5309836 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 556357 72689 756 405 0 553301 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2225428 KiB
Current children cumulated memory: 290756 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/187 19442
/proc/meminfo: memFree=18652904/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2225076 memory=290532 CPUtime=402.26 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 328268 0 0 0 40036 190 0 0 20 0 1 0 249396099 2278477824 72633 33554432000 4194304 5849940 140732133299360 140732133298232 5416820 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 556269 72633 756 405 0 553213 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2225076 KiB
Current children cumulated memory: 290532 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 19443
/proc/meminfo: memFree=18582372/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2225048 memory=290504 CPUtime=462.26 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 355423 0 0 0 46007 219 0 0 20 0 1 0 249396099 2278449152 72626 33554432000 4194304 5849940 140732133299360 140732133298520 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 556262 72626 756 405 0 553206 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2225048 KiB
Current children cumulated memory: 290504 KiB
################
# More data... #
################
/proc/19435/statm: 622786 139855 756 405 0 619730 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 2491144 KiB
Current children cumulated memory: 559420 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 19513
/proc/meminfo: memFree=18088984/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2486856 memory=555132 CPUtime=1782.15 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1026872 0 0 0 177332 883 0 0 20 0 1 0 249396099 2546540544 138783 33554432000 4194304 5849940 140732133299360 140732133298232 5416908 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 621714 138783 756 405 0 618658 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2486856 KiB
Current children cumulated memory: 555132 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 19514
/proc/meminfo: memFree=18310448/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2489972 memory=558248 CPUtime=1842.15 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1058821 0 0 0 183308 907 0 0 20 0 1 0 249396099 2549731328 139562 33554432000 4194304 5849940 140732133299360 140732133298360 5312515 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 622493 139562 756 405 0 619437 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2489972 KiB
Current children cumulated memory: 558248 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 19515
/proc/meminfo: memFree=17879132/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2633976 memory=702252 CPUtime=1902.14 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1100347 0 0 0 189276 938 0 0 20 0 1 0 249396099 2697191424 175563 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 658494 175563 756 405 0 655438 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2633976 KiB
Current children cumulated memory: 702252 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 19516
/proc/meminfo: memFree=18257036/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2497540 memory=565816 CPUtime=1962.14 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1147141 0 0 0 195245 969 0 0 20 0 1 0 249396099 2557480960 141454 33554432000 4194304 5849940 140732133299360 140732133298520 5437639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 624385 141454 756 405 0 621329 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2497540 KiB
Current children cumulated memory: 565816 KiB
[startup+2022.3 s]
/proc/loadavg: 1.93 2.02 2.04 3/187 19578
/proc/meminfo: memFree=18726488/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2497892 memory=566284 CPUtime=2022.13 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1187028 0 0 0 201225 988 0 0 20 0 1 0 249396099 2557841408 141571 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 624473 141571 756 405 0 621417 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 2497892 KiB
Current children cumulated memory: 566284 KiB
[startup+2082.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 19579
/proc/meminfo: memFree=18708084/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2496948 memory=565340 CPUtime=2082.13 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1228587 0 0 0 207197 1016 0 0 20 0 1 0 249396099 2556874752 141335 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 624237 141335 756 405 0 621181 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 2496948 KiB
Current children cumulated memory: 565340 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 19580
/proc/meminfo: memFree=18589180/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2621456 memory=689732 CPUtime=2142.13 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1282254 0 0 0 213166 1047 0 0 20 0 1 0 249396099 2684370944 172433 33554432000 4194304 5849940 140732133299360 140732133298360 5340063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 655364 172433 756 405 0 652308 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2621456 KiB
Current children cumulated memory: 689732 KiB
[startup+2202.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 19581
/proc/meminfo: memFree=18749644/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2448676 memory=517080 CPUtime=2202.13 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1313971 0 0 0 219143 1070 0 0 20 0 1 0 249396099 2507444224 129270 33554432000 4194304 5849940 140732133299360 140732133298360 5336184 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 612169 129270 756 405 0 609113 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2448676 KiB
Current children cumulated memory: 517080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 19582
/proc/meminfo: memFree=18689532/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2469172 memory=537448 CPUtime=2262.12 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1357484 0 0 0 225118 1094 0 0 20 0 1 0 249396099 2528432128 134362 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 617293 134362 756 405 0 614237 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2469172 KiB
Current children cumulated memory: 537448 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 19591
/proc/meminfo: memFree=18645408/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2530656 memory=598900 CPUtime=2322.11 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1365857 0 0 0 231088 1123 0 0 20 0 1 0 249396099 2591391744 149725 33554432000 4194304 5849940 140732133299360 140732133298360 5387787 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 632664 149725 756 405 0 629608 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 2530656 KiB
Current children cumulated memory: 598900 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 19592
/proc/meminfo: memFree=18610880/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2571544 memory=639664 CPUtime=2382.11 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1404177 0 0 0 237052 1159 0 0 20 0 1 0 249396099 2633261056 159916 33554432000 4194304 5849940 140732133299360 140732133298360 5321552 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 642886 159916 756 405 0 639830 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2571544 KiB
Current children cumulated memory: 639664 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19593
/proc/meminfo: memFree=18626024/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2509624 memory=577900 CPUtime=2442.11 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1443783 0 0 0 243024 1187 0 0 20 0 1 0 249396099 2569854976 144475 33554432000 4194304 5849940 140732133299360 140732133298232 5392823 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 627406 144475 756 405 0 624350 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2509624 KiB
Current children cumulated memory: 577900 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19594
/proc/meminfo: memFree=18520960/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2595520 memory=663796 CPUtime=2502.1 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1481947 0 0 0 248995 1215 0 0 20 0 1 0 249396099 2657812480 165949 33554432000 4194304 5849940 140732133299360 140732133298360 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 648880 165949 756 405 0 645824 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 2595520 KiB
Current children cumulated memory: 663796 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 19594
/proc/meminfo: memFree=18540804/32770624 swapFree=67108860/67108860
[pid=19435] ppid=19432 vsize=2596212 memory=664488 CPUtime=2519.81 cores=0,2,4,6
/proc/19435/stat : 19435 (xcsp_picat) R 19432 19435 16557 0 -1 4202496 1483972 0 0 0 250756 1225 0 0 20 0 1 0 249396099 2658521088 166122 33554432000 4194304 5849940 140732133299360 140732133298360 139626651000711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 41230336 140732133303478 140732133303556 140732133303556 140732133306314 0
/proc/19435/statm: 649053 166122 756 405 0 645997 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 2596212 KiB
Current children cumulated memory: 664488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 19435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.57 s, system=12.2632 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.02
CPU time (s): 2519.83
CPU user time (s): 2507.57
CPU system time (s): 12.2632
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 2683872
Max. memory (cumulated for all children) (KiB): 737064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.57
system time used= 12.2632
maximum resident set size= 737152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1483972
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= 34
involuntary context switches= 3157
# summary of solver processes directly reported to runsolver:
# pid: 19435
# total CPU time (s): 2519.83
# total CPU user time (s): 2507.57
# total CPU system time (s): 12.2632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5443 second user time and 17.7297 second system time
The end