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 (11086 MiB free)
memory of node 1: 16384 MiB (12106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309490-1534318702/watcher-4309490-1534318702 -o /tmp/evaluation-result-4309490-1534318702/solver-4309490-1534318702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-323 --watchdog 2580 xcsp_picat HOME/instance-4309490-1534318702.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=4354, runsolver pid=4351
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.02 2.05 4/187 4355
/proc/meminfo: memFree=23725912/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2025744 memory=25664 CPUtime=0.1 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1465 0 0 0 10 0 0 0 20 0 1 0 249433402 2074361856 6416 33554432000 4194304 5849940 140726453883120 140726453883120 140436080770048 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 506436 6416 592 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25664 KiB
[startup+0.209815 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 4355
/proc/meminfo: memFree=23713624/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2025744 memory=37952 CPUtime=0.21 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1471 0 0 0 21 0 0 0 20 0 1 0 249433402 2074361856 9488 33554432000 4194304 5849940 140726453883120 140726453883120 4467087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 506436 9488 592 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 37952 KiB
[startup+0.309495 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 4355
/proc/meminfo: memFree=23701088/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2025744 memory=50692 CPUtime=0.31 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1582 0 0 0 30 1 0 0 20 0 1 0 249433402 2074361856 12673 33554432000 4194304 5849940 140726453883120 140726453883120 4568987 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 506436 12673 626 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50692 KiB
[startup+0.70028 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4355
/proc/meminfo: memFree=23664768/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2028416 memory=89472 CPUtime=0.69 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 2640 0 0 0 66 3 0 0 20 0 1 0 249433402 2077097984 22368 33554432000 4194304 5849940 140726453883120 140726453881864 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 507104 22368 722 405 0 504048 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028416 KiB
Current children cumulated memory: 89472 KiB
[startup+1.50037 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 4355
/proc/meminfo: memFree=23648208/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2110520 memory=173560 CPUtime=1.5 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 9425 0 0 0 144 6 0 0 20 0 1 0 249433402 2161172480 43390 33554432000 4194304 5849940 140726453883120 140726453881864 4502476 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 527630 43390 724 405 0 524574 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2110520 KiB
Current children cumulated memory: 173560 KiB
[startup+3.1091 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4355
/proc/meminfo: memFree=23512624/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2176056 memory=239288 CPUtime=3.1 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 10117 0 0 0 303 7 0 0 20 0 1 0 249433402 2228281344 59822 33554432000 4194304 5849940 140726453883120 140726453882360 5499546 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 544014 59822 724 405 0 540958 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2176056 KiB
Current children cumulated memory: 239288 KiB
[startup+6.30037 s]
/proc/loadavg: 2.08 2.04 2.05 4/187 4355
/proc/meminfo: memFree=23494920/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2191692 memory=254872 CPUtime=6.29 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 37211 0 0 0 620 9 0 0 20 0 1 0 249433402 2244292608 63718 33554432000 4194304 5849940 140726453883120 140726453881768 5361090 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 547923 63718 743 405 0 544867 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2191692 KiB
Current children cumulated memory: 254872 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 4355
/proc/meminfo: memFree=23490964/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2196936 memory=260152 CPUtime=12.69 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 62509 0 0 0 1256 13 0 0 20 0 1 0 249433402 2249662464 65038 33554432000 4194304 5849940 140726453883120 140726453880664 4212344 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 549234 65038 752 405 0 546178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2196936 KiB
Current children cumulated memory: 260152 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 4/187 4355
/proc/meminfo: memFree=23487744/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2199396 memory=262632 CPUtime=25.49 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 98814 0 0 0 2533 16 0 0 20 0 1 0 249433402 2252181504 65658 33554432000 4194304 5849940 140726453883120 140726453881832 5317752 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 549849 65658 756 405 0 546793 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2199396 KiB
Current children cumulated memory: 262632 KiB
[startup+51.1095 s]
/proc/loadavg: 2.04 2.03 2.05 4/187 4355
/proc/meminfo: memFree=23483888/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2203904 memory=266932 CPUtime=51.1 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 129189 0 0 0 5079 31 0 0 20 0 1 0 249433402 2256797696 66733 33554432000 4194304 5849940 140726453883120 140726453881608 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 550976 66733 756 405 0 547920 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2203904 KiB
Current children cumulated memory: 266932 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 4/187 4363
/proc/meminfo: memFree=23477692/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2207820 memory=271056 CPUtime=102.29 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 189968 0 0 0 10175 54 0 0 20 0 1 0 249433402 2260807680 67764 33554432000 4194304 5849940 140726453883120 140726453881992 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 551955 67764 756 405 0 548899 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2207820 KiB
Current children cumulated memory: 271056 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.05 4/187 4364
/proc/meminfo: memFree=23476700/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2211728 memory=274964 CPUtime=162.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 219916 0 0 0 16150 78 0 0 20 0 1 0 249433402 2264809472 68741 33554432000 4194304 5849940 140726453883120 140726453881608 4226635 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 552932 68741 756 405 0 549876 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2211728 KiB
Current children cumulated memory: 274964 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 4365
/proc/meminfo: memFree=23475572/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2203620 memory=266744 CPUtime=222.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 248697 0 0 0 22129 99 0 0 20 0 1 0 249433402 2256506880 66686 33554432000 4194304 5849940 140726453883120 140726453881528 4211671 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 550905 66686 756 405 0 547849 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2203620 KiB
Current children cumulated memory: 266744 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/187 4366
/proc/meminfo: memFree=23437612/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2218408 memory=281644 CPUtime=282.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 275448 0 0 0 28100 128 0 0 20 0 1 0 249433402 2271649792 70411 33554432000 4194304 5849940 140726453883120 140726453882120 5307755 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 554602 70411 756 405 0 551546 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2218408 KiB
Current children cumulated memory: 281644 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 4367
/proc/meminfo: memFree=23418956/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2220644 memory=283880 CPUtime=342.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 302686 0 0 0 34073 155 0 0 20 0 1 0 249433402 2273939456 70970 33554432000 4194304 5849940 140726453883120 140726453882120 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 555161 70970 756 405 0 552105 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2220644 KiB
Current children cumulated memory: 283880 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 4368
/proc/meminfo: memFree=23404972/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2231184 memory=294420 CPUtime=402.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 333176 0 0 0 40038 190 0 0 20 0 1 0 249433402 2284732416 73605 33554432000 4194304 5849940 140726453883120 140726453881992 5302990 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 557796 73605 756 405 0 554740 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2231184 KiB
Current children cumulated memory: 294420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4369
/proc/meminfo: memFree=23403044/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2231160 memory=294396 CPUtime=462.28 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 359646 0 0 0 46010 218 0 0 20 0 1 0 249433402 2284707840 73599 33554432000 4194304 5849940 140726453883120 140726453882120 5307749 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 557790 73599 756 405 0 554734 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2231160 KiB
Current children cumulated memory: 294396 KiB
################
# More data... #
################
/proc/4354/statm: 614437 131118 756 405 0 611381 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2457748 KiB
Current children cumulated memory: 524472 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.05 4/187 4429
/proc/meminfo: memFree=22985968/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2432552 memory=498952 CPUtime=1782.2 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1120805 0 0 0 177359 861 0 0 20 0 1 0 249433402 2490933248 124738 33554432000 4194304 5849940 140726453883120 140726453881992 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 608138 124738 756 405 0 605082 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2432552 KiB
Current children cumulated memory: 498952 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 4/187 4430
/proc/meminfo: memFree=22627364/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2534316 memory=600912 CPUtime=1842.2 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1138066 0 0 0 183340 880 0 0 20 0 1 0 249433402 2595139584 150228 33554432000 4194304 5849940 140726453883120 140726453881384 5302980 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 633579 150228 756 405 0 630523 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2534316 KiB
Current children cumulated memory: 600912 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/188 4439
/proc/meminfo: memFree=22955284/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2521164 memory=587668 CPUtime=1902.2 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1162061 0 0 0 189312 908 0 0 20 0 1 0 249433402 2581671936 146917 33554432000 4194304 5849940 140726453883120 140726453882120 5311744 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 630291 146917 756 405 0 627235 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2521164 KiB
Current children cumulated memory: 587668 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/188 4440
/proc/meminfo: memFree=22953536/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2492092 memory=558488 CPUtime=1962.2 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1184386 0 0 0 195285 935 0 0 20 0 1 0 249433402 2551902208 139622 33554432000 4194304 5849940 140726453883120 140726453882120 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 623023 139622 756 405 0 619967 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2492092 KiB
Current children cumulated memory: 558488 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 4441
/proc/meminfo: memFree=23027812/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2499776 memory=566196 CPUtime=2022.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1207779 0 0 0 201256 963 0 0 20 0 1 0 249433402 2559770624 141549 33554432000 4194304 5849940 140726453883120 140726453882280 5437799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 624944 141549 756 405 0 621888 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2499776 KiB
Current children cumulated memory: 566196 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 4442
/proc/meminfo: memFree=22961516/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2491624 memory=558160 CPUtime=2082.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1227085 0 0 0 207233 986 0 0 20 0 1 0 249433402 2551422976 139540 33554432000 4194304 5849940 140726453883120 140726453882120 5437799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 622906 139540 756 405 0 619850 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2491624 KiB
Current children cumulated memory: 558160 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 4443
/proc/meminfo: memFree=22869540/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2518712 memory=585404 CPUtime=2142.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1246264 0 0 0 213204 1015 0 0 20 0 1 0 249433402 2579161088 146351 33554432000 4194304 5849940 140726453883120 140726453882120 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 629678 146351 756 405 0 626622 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2518712 KiB
Current children cumulated memory: 585404 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 4444
/proc/meminfo: memFree=22741584/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2646772 memory=713120 CPUtime=2202.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1270488 0 0 0 219173 1046 0 0 20 0 1 0 249433402 2710294528 178280 33554432000 4194304 5849940 140726453883120 140726453882120 5438027 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 661693 178280 756 405 0 658637 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2646772 KiB
Current children cumulated memory: 713120 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 4445
/proc/meminfo: memFree=22871880/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2485456 memory=552156 CPUtime=2262.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1284933 0 0 0 225150 1069 0 0 20 0 1 0 249433402 2545106944 138039 33554432000 4194304 5849940 140726453883120 140726453882120 5438400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 621364 138039 756 405 0 618308 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 2485456 KiB
Current children cumulated memory: 552156 KiB
[startup+2322.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 4507
/proc/meminfo: memFree=23430604/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2501372 memory=568048 CPUtime=2322.19 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1307313 0 0 0 231129 1090 0 0 20 0 1 0 249433402 2561404928 142012 33554432000 4194304 5849940 140726453883120 140726453882120 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 625343 142012 756 405 0 622287 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2501372 KiB
Current children cumulated memory: 568048 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 4508
/proc/meminfo: memFree=23341468/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2586552 memory=653276 CPUtime=2382.18 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1330919 0 0 0 237106 1112 0 0 20 0 1 0 249433402 2648629248 163319 33554432000 4194304 5849940 140726453883120 140726453882280 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 646638 163319 756 405 0 643582 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 2586552 KiB
Current children cumulated memory: 653276 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 4509
/proc/meminfo: memFree=23267284/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2637592 memory=704188 CPUtime=2442.18 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1349647 0 0 0 243078 1140 0 0 20 0 1 0 249433402 2700894208 176047 33554432000 4194304 5849940 140726453883120 140726453882120 5437852 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 659398 176047 756 405 0 656342 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2637592 KiB
Current children cumulated memory: 704188 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4517
/proc/meminfo: memFree=23407976/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2470724 memory=537260 CPUtime=2502.18 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1355319 0 0 0 249053 1165 0 0 20 0 1 0 249433402 2530021376 134315 33554432000 4194304 5849940 140726453883120 140726453881992 140436080791431 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 617681 134315 756 405 0 614625 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2470724 KiB
Current children cumulated memory: 537260 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 4517
/proc/meminfo: memFree=23413900/32770624 swapFree=67108196/67108860
[pid=4354] ppid=4351 vsize=2454340 memory=520932 CPUtime=2519.89 cores=0,2,4,6
/proc/4354/stat : 4354 (xcsp_picat) R 4351 4354 32759 0 -1 4202496 1360052 0 0 0 250818 1171 0 0 20 0 1 0 249433402 2513244160 130233 33554432000 4194304 5849940 140726453883120 140726453882120 5313056 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 23896064 140726453884086 140726453884164 140726453884164 140726453886922 0
/proc/4354/statm: 613585 130233 756 405 0 610529 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2454340 KiB
Current children cumulated memory: 520932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 4354 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.18 s, system=11.7166 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.01
CPU time (s): 2519.9
CPU user time (s): 2508.18
CPU system time (s): 11.7166
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 2812864
Max. memory (cumulated for all children) (KiB): 879588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.18
system time used= 11.7166
maximum resident set size= 879588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1360052
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= 55
involuntary context switches= 799
# summary of solver processes directly reported to runsolver:
# pid: 4354
# total CPU time (s): 2519.9
# total CPU user time (s): 2508.18
# total CPU system time (s): 11.7166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95142 second user time and 18.3881 second system time
The end