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 (4251 MiB free)
memory of node 1: 16384 MiB (387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303181-1534013101/watcher-4303181-1534013101 -o /tmp/evaluation-result-4303181-1534013101/solver-4303181-1534013101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303181-1534013101.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=12204, runsolver pid=12201
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4723200/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2025744 memory=31600 CPUtime=0.1 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 1970 0 0 0 10 0 0 0 20 0 1 0 218873335 2074361856 7900 33554432000 4194304 5849708 140737240827152 140737240827152 4454742 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 506436 7900 629 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31600 KiB
[startup+0.209774 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4695524/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2028724 memory=57396 CPUtime=0.21 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 2850 0 0 0 20 1 0 0 20 0 1 0 218873335 2077413376 14349 33554432000 4194304 5849708 140737240827152 140737240827152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 507181 14349 694 405 0 504126 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028724 KiB
Current children cumulated memory: 57396 KiB
[startup+0.309514 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4685356/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2047924 memory=74336 CPUtime=0.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 7071 0 0 0 29 1 0 0 20 0 1 0 218873335 2097074176 18584 33554432000 4194304 5849708 140737240827152 140737240827152 140067551152032 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 511981 18584 694 405 0 508926 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2047924 KiB
Current children cumulated memory: 74336 KiB
[startup+0.700392 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4647704/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2109876 memory=138608 CPUtime=0.69 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 11386 0 0 0 66 3 0 0 20 0 1 0 218873335 2160513024 34652 33554432000 4194304 5849708 140737240827152 140737240827152 4507528 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 527469 34652 694 405 0 524414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2109876 KiB
Current children cumulated memory: 138608 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4562692/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2259768 memory=288632 CPUtime=1.49 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 15165 0 0 0 144 5 0 0 20 0 1 0 218873335 2314002432 72158 33554432000 4194304 5849708 140737240827152 140737240827152 4554726 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 564942 72158 694 405 0 561887 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2259768 KiB
Current children cumulated memory: 288632 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4413424/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2310592 memory=339100 CPUtime=3.1 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 48376 0 0 0 301 9 0 0 20 0 1 0 218873335 2366046208 84775 33554432000 4194304 5849708 140737240827152 140737240826024 5303787 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 577648 84775 706 405 0 574593 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2310592 KiB
Current children cumulated memory: 339100 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4415068/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2310952 memory=337780 CPUtime=6.29 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 58358 0 0 0 618 11 0 0 20 0 1 0 218873335 2366414848 84445 33554432000 4194304 5849708 140737240827152 140737240826024 5338255 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 577738 84445 718 405 0 574683 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2310952 KiB
Current children cumulated memory: 337780 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4275352/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2448516 memory=477428 CPUtime=12.69 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 129550 0 0 0 1253 16 0 0 20 0 1 0 218873335 2507280384 119357 33554432000 4194304 5849708 140737240827152 140737240825640 5309636 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 612129 119357 722 405 0 609074 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2448516 KiB
Current children cumulated memory: 477428 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4275364/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2448284 memory=477212 CPUtime=25.49 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 171908 0 0 0 2530 19 0 0 20 0 1 0 218873335 2507042816 119303 33554432000 4194304 5849708 140737240827152 140737240826152 5312843 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 612071 119303 726 405 0 609016 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2448284 KiB
Current children cumulated memory: 477212 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12205
/proc/meminfo: memFree=4397816/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2325352 memory=354280 CPUtime=51.1 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 222964 0 0 0 5085 25 0 0 20 0 1 0 218873335 2381160448 88570 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 581338 88570 726 405 0 578283 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2325352 KiB
Current children cumulated memory: 354280 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12206
/proc/meminfo: memFree=4434384/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2281608 memory=310536 CPUtime=102.29 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 267251 0 0 0 10197 32 0 0 20 0 1 0 218873335 2336366592 77634 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 570402 77634 726 405 0 567347 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2281608 KiB
Current children cumulated memory: 310536 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12207
/proc/meminfo: memFree=4434948/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2279352 memory=308280 CPUtime=162.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 300376 0 0 0 16186 44 0 0 20 0 1 0 218873335 2334056448 77070 33554432000 4194304 5849708 140737240827152 140737240826152 5302798 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 569838 77070 726 405 0 566783 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2279352 KiB
Current children cumulated memory: 308280 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 12208
/proc/meminfo: memFree=4408104/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2307004 memory=335932 CPUtime=222.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 333569 0 0 0 22174 56 0 0 20 0 1 0 218873335 2362372096 83983 33554432000 4194304 5849708 140737240827152 140737240826312 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 576751 83983 726 405 0 573696 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2307004 KiB
Current children cumulated memory: 335932 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 12209
/proc/meminfo: memFree=4440816/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2273296 memory=302224 CPUtime=282.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 364652 0 0 0 28154 76 0 0 20 0 1 0 218873335 2327855104 75556 33554432000 4194304 5849708 140737240827152 140737240826152 5437851 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 568324 75556 726 405 0 565269 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2273296 KiB
Current children cumulated memory: 302224 KiB
[startup+342.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 12340
/proc/meminfo: memFree=11983956/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2300188 memory=329192 CPUtime=342.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 395150 0 0 0 34134 96 0 0 20 0 1 0 218873335 2355392512 82298 33554432000 4194304 5849708 140737240827152 140737240826024 5361465 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 575047 82298 726 405 0 571992 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2300188 KiB
Current children cumulated memory: 329192 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 12341
/proc/meminfo: memFree=12002580/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2276784 memory=305596 CPUtime=402.28 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 420766 0 0 0 40113 115 0 0 20 0 1 0 218873335 2331426816 76399 33554432000 4194304 5849708 140737240827152 140737240826312 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 569196 76399 726 405 0 566141 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2276784 KiB
Current children cumulated memory: 305596 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 12342
/proc/meminfo: memFree=11978844/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2299088 memory=327908 CPUtime=462.28 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 430427 0 0 0 46092 136 0 0 20 0 1 0 218873335 2354266112 81977 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 574772 81977 726 405 0 571717 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2299088 KiB
Current children cumulated memory: 327908 KiB
################
# More data... #
################
/proc/12204/statm: 589530 97328 726 405 0 586475 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2358120 KiB
Current children cumulated memory: 389312 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 12404
/proc/meminfo: memFree=11730572/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2352860 memory=373600 CPUtime=1782.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 512141 0 0 0 177546 684 0 0 20 0 1 0 218873335 2409328640 93400 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 588215 93400 726 405 0 585160 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2352860 KiB
Current children cumulated memory: 373600 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12405
/proc/meminfo: memFree=11707080/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2372280 memory=392880 CPUtime=1842.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 519248 0 0 0 183530 701 0 0 20 0 1 0 218873335 2429214720 98220 33554432000 4194304 5849708 140737240827152 140737240826152 5438151 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593070 98220 726 405 0 590015 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2372280 KiB
Current children cumulated memory: 392880 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12406
/proc/meminfo: memFree=11727176/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2352428 memory=373088 CPUtime=1902.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 531874 0 0 0 189509 721 0 0 20 0 1 0 218873335 2408886272 93272 33554432000 4194304 5849708 140737240827152 140737240826312 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 588107 93272 726 405 0 585052 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2352428 KiB
Current children cumulated memory: 373088 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12407
/proc/meminfo: memFree=11778560/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2372028 memory=392624 CPUtime=1962.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 541350 0 0 0 195493 737 0 0 20 0 1 0 218873335 2428956672 98156 33554432000 4194304 5849708 140737240827152 140737240826152 5312851 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593007 98156 726 405 0 589952 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 2372028 KiB
Current children cumulated memory: 392624 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12408
/proc/meminfo: memFree=11804116/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2345152 memory=365808 CPUtime=2022.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 549483 0 0 0 201476 755 0 0 20 0 1 0 218873335 2401435648 91452 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 586288 91452 726 405 0 583233 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2345152 KiB
Current children cumulated memory: 365808 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12409
/proc/meminfo: memFree=11710224/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2374204 memory=394904 CPUtime=2082.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 558976 0 0 0 207455 776 0 0 20 0 1 0 218873335 2431184896 98726 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593551 98726 726 405 0 590496 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2374204 KiB
Current children cumulated memory: 394904 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12417
/proc/meminfo: memFree=11726408/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2356064 memory=376628 CPUtime=2142.3 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 570639 0 0 0 213427 803 0 0 20 0 1 0 218873335 2412609536 94157 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 589016 94157 726 405 0 585961 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2356064 KiB
Current children cumulated memory: 376628 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12418
/proc/meminfo: memFree=11710256/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2372548 memory=393288 CPUtime=2202.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 577952 0 0 0 219408 823 0 0 20 0 1 0 218873335 2429489152 98322 33554432000 4194304 5849708 140737240827152 140737240826152 5416557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593137 98322 726 405 0 590082 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2372548 KiB
Current children cumulated memory: 393288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12419
/proc/meminfo: memFree=11729456/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2397336 memory=418076 CPUtime=2262.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 591068 0 0 0 225397 834 0 0 20 0 1 0 218873335 2454872064 104519 33554432000 4194304 5849708 140737240827152 140737240826152 5438368 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 599334 104519 726 405 0 596279 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2397336 KiB
Current children cumulated memory: 418076 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12420
/proc/meminfo: memFree=11691592/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2406336 memory=427076 CPUtime=2322.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 593269 0 0 0 231379 852 0 0 20 0 1 0 218873335 2464088064 106769 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 601584 106769 726 405 0 598529 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2406336 KiB
Current children cumulated memory: 427076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12421
/proc/meminfo: memFree=11669264/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2362784 memory=383512 CPUtime=2382.32 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 608917 0 0 0 237365 867 0 0 20 0 1 0 218873335 2419490816 95878 33554432000 4194304 5849708 140737240827152 140737240826152 5437592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 590696 95878 726 405 0 587641 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2362784 KiB
Current children cumulated memory: 383512 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12423
/proc/meminfo: memFree=11708388/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2374532 memory=395272 CPUtime=2442.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 617269 0 0 0 243347 884 0 0 20 0 1 0 218873335 2431520768 98818 33554432000 4194304 5849708 140737240827152 140737240826312 5437767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593633 98818 726 405 0 590578 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2374532 KiB
Current children cumulated memory: 395272 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12424
/proc/meminfo: memFree=11708400/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2374532 memory=395272 CPUtime=2502.31 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 625297 0 0 0 249333 898 0 0 20 0 1 0 218873335 2431520768 98818 33554432000 4194304 5849708 140737240827152 140737240826152 5312883 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 593633 98818 726 405 0 590578 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2374532 KiB
Current children cumulated memory: 395272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 12424
/proc/meminfo: memFree=11703932/32770624 swapFree=67108496/67108860
[pid=12204] ppid=12201 vsize=2379612 memory=400296 CPUtime=2520.02 cores=0,2,4,6
/proc/12204/stat : 12204 (xcsp_picat) R 12201 12204 10084 0 -1 4202496 626699 0 0 0 251100 902 0 0 20 0 1 0 218873335 2436722688 100074 33554432000 4194304 5849708 140737240827152 140737240826152 140067551563655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21245952 140737240835254 140737240835332 140737240835332 140737240838090 0
/proc/12204/statm: 594903 100074 726 405 0 591848 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2379612 KiB
Current children cumulated memory: 400296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 12204 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.01 s, system=9.02916 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): 2520.04
CPU user time (s): 2511.01
CPU system time (s): 9.02916
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2458224
Max. memory (cumulated for all children) (KiB): 485352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.01
system time used= 9.02916
maximum resident set size= 485352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626699
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= 29
involuntary context switches= 818
# summary of solver processes directly reported to runsolver:
# pid: 12204
# total CPU time (s): 2520.04
# total CPU user time (s): 2511.01
# total CPU system time (s): 9.02916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65627 second user time and 18.6641 second system time
The end