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 (13351 MiB free)
memory of node 1: 16384 MiB (9414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309523-1534300807/watcher-4309523-1534300807 -o /tmp/evaluation-result-4309523-1534300807/solver-4309523-1534300807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11148 --watchdog 2580 xcsp_picat HOME/instance-4309523-1534300807.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=12219, runsolver pid=12216
[startup+0.100816 s]*
/proc/loadavg: 1.92 2.00 2.04 2/190 12220
/proc/meminfo: memFree=24028020/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2028480 memory=16968 CPUtime=0.1 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 2811 0 0 0 10 0 0 0 20 0 1 0 247643867 2077163520 4242 33554432000 4194304 5849940 140722361917968 140722361916840 5359291 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507120 4242 669 405 0 504064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028480 KiB
Current children cumulated memory: 16968 KiB
[startup+0.209889 s]*
/proc/loadavg: 1.92 2.00 2.04 3/196 12240
/proc/meminfo: memFree=24025256/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2029484 memory=17708 CPUtime=0.21 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 3083 0 0 0 21 0 0 0 20 0 1 0 247643867 2078191616 4427 33554432000 4194304 5849940 140722361917968 140722361916840 5309836 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507371 4427 677 405 0 504315 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029484 KiB
Current children cumulated memory: 17708 KiB
[startup+0.309511 s]*
/proc/loadavg: 1.92 2.00 2.04 4/205 12249
/proc/meminfo: memFree=24008264/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2029484 memory=17708 CPUtime=0.31 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 3083 0 0 0 31 0 0 0 20 0 1 0 247643867 2078191616 4427 33554432000 4194304 5849940 140722361917968 140722361916840 4207820 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507371 4427 677 405 0 504315 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029484 KiB
Current children cumulated memory: 17708 KiB
[startup+0.700277 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 12271
/proc/meminfo: memFree=24028316/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2029824 memory=18140 CPUtime=0.69 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 3168 0 0 0 69 0 0 0 20 0 1 0 247643867 2078539776 4535 33554432000 4194304 5849940 140722361917968 140722361916840 5310284 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507456 4535 678 405 0 504400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029824 KiB
Current children cumulated memory: 18140 KiB
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 12281
/proc/meminfo: memFree=23954376/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2029344 memory=17756 CPUtime=1.49 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 4189 0 0 0 149 0 0 0 20 0 1 0 247643867 2078048256 4439 33554432000 4194304 5849940 140722361917968 140722361916456 5305842 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507336 4439 692 405 0 504280 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029344 KiB
Current children cumulated memory: 17756 KiB
[startup+3.10942 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 12281
/proc/meminfo: memFree=23938408/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2030608 memory=18632 CPUtime=3.1 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 7402 0 0 0 310 0 0 0 20 0 1 0 247643867 2079342592 4658 33554432000 4194304 5849940 140722361917968 140722361916968 5359533 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507652 4658 694 405 0 504596 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030608 KiB
Current children cumulated memory: 18632 KiB
[startup+6.30027 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 12281
/proc/meminfo: memFree=23931996/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2030948 memory=19956 CPUtime=6.29 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 9616 0 0 0 626 3 0 0 20 0 1 0 247643867 2079690752 4989 33554432000 4194304 5849940 140722361917968 140722361916232 140053557374855 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 507737 4989 694 405 0 504681 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2030948 KiB
Current children cumulated memory: 19956 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.03 3/192 12281
/proc/meminfo: memFree=23942860/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2036356 memory=25364 CPUtime=12.68 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 13815 0 0 0 1257 11 0 0 20 0 1 0 247643867 2085228544 6341 33554432000 4194304 5849940 140722361917968 140722361917128 140053557374855 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 509089 6341 694 405 0 506033 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2036356 KiB
Current children cumulated memory: 25364 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/192 12281
/proc/meminfo: memFree=23904012/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2057584 memory=45752 CPUtime=25.48 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 21980 0 0 0 2524 24 0 0 20 0 1 0 247643867 2106966016 11438 33554432000 4194304 5849940 140722361917968 140722361916456 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 514396 11438 694 405 0 511340 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2057584 KiB
Current children cumulated memory: 45752 KiB
[startup+51.1098 s]
/proc/loadavg: 1.93 1.99 2.03 3/192 12281
/proc/meminfo: memFree=23918180/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2056544 memory=44948 CPUtime=51.09 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 30710 0 0 0 5051 58 0 0 20 0 1 0 247643867 2105901056 11237 33554432000 4194304 5849940 140722361917968 140722361916456 4205087 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 514136 11237 694 405 0 511080 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056544 KiB
Current children cumulated memory: 44948 KiB
[startup+102.3 s]
/proc/loadavg: 2.31 2.07 2.06 3/192 12282
/proc/meminfo: memFree=23888772/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2076568 memory=68816 CPUtime=102.27 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 42937 0 0 0 10116 111 0 0 20 0 1 0 247643867 2126405632 17204 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 519142 17204 694 405 0 516086 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2076568 KiB
Current children cumulated memory: 68816 KiB
[startup+162.3 s]
/proc/loadavg: 2.30 2.13 2.08 3/192 12283
/proc/meminfo: memFree=23827012/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2119580 memory=111828 CPUtime=162.27 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 60372 0 0 0 16085 142 0 0 20 0 1 0 247643867 2170449920 27957 33554432000 4194304 5849940 140722361917968 140722361916968 5335763 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 529895 27957 694 405 0 526839 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2119580 KiB
Current children cumulated memory: 111828 KiB
[startup+222.3 s]
/proc/loadavg: 2.11 2.10 2.08 3/192 12285
/proc/meminfo: memFree=23868504/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2066824 memory=58884 CPUtime=222.28 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 66570 0 0 0 22038 190 0 0 20 0 1 0 247643867 2116427776 14721 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 516706 14721 694 405 0 513650 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2066824 KiB
Current children cumulated memory: 58884 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/192 12286
/proc/meminfo: memFree=23850888/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2111108 memory=103416 CPUtime=282.28 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 74868 0 0 0 28004 224 0 0 20 0 1 0 247643867 2161774592 25854 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 527777 25854 694 405 0 524721 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2111108 KiB
Current children cumulated memory: 103416 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/191 12287
/proc/meminfo: memFree=23775488/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2180280 memory=172396 CPUtime=342.29 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 76979 0 0 0 33985 244 0 0 20 0 1 0 247643867 2232606720 43099 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 545070 43099 694 405 0 542014 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2180280 KiB
Current children cumulated memory: 172396 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 12288
/proc/meminfo: memFree=23730228/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2185152 memory=177420 CPUtime=402.29 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 81028 0 0 0 39964 265 0 0 20 0 1 0 247643867 2237595648 44355 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 546288 44355 694 405 0 543232 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2185152 KiB
Current children cumulated memory: 177420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/192 12290
/proc/meminfo: memFree=23824256/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2057228 memory=47032 CPUtime=462.29 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 85841 0 0 0 45922 307 0 0 20 0 1 0 247643867 2106601472 11758 33554432000 4194304 5849940 140722361917968 140722361917128 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 514307 11758 694 405 0 511251 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2057228 KiB
Current children cumulated memory: 47032 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 12291
/proc/meminfo: memFree=23868168/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2059704 memory=51768 CPUtime=522.3 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 95497 0 0 0 51865 365 0 0 20 0 1 0 247643867 2109136896 12942 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 514926 12942 694 405 0 511870 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 2059704 KiB
Current children cumulated memory: 51768 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 12292
/proc/meminfo: memFree=23800876/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2109056 memory=101096 CPUtime=582.3 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 97615 0 0 0 57822 408 0 0 20 0 1 0 247643867 2159673344 25274 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 527264 25274 694 405 0 524208 0
Current children cumulated CPU time: 582.3 s
Current children cumulated vsize: 2109056 KiB
Current children cumulated memory: 101096 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 12300
/proc/meminfo: memFree=23762104/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2147140 memory=139208 CPUtime=642.31 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 98979 0 0 0 63796 435 0 0 20 0 1 0 247643867 2198671360 34802 33554432000 4194304 5849940 140722361917968 140722361916840 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 536785 34802 694 405 0 533729 0
Current children cumulated CPU time: 642.31 s
Current children cumulated vsize: 2147140 KiB
Current children cumulated memory: 139208 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 12301
/proc/meminfo: memFree=23805676/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2048748 memory=38776 CPUtime=702.31 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 101839 0 0 0 69765 466 0 0 20 0 1 0 247643867 2097917952 9694 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 512187 9694 694 405 0 509131 0
Current children cumulated CPU time: 702.31 s
Current children cumulated vsize: 2048748 KiB
Current children cumulated memory: 38776 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 12303
/proc/meminfo: memFree=23756476/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2095564 memory=87812 CPUtime=762.32 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 110802 0 0 0 75714 518 0 0 20 0 1 0 247643867 2145857536 21953 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 523891 21953 694 405 0 520835 0
Current children cumulated CPU time: 762.32 s
Current children cumulated vsize: 2095564 KiB
Current children cumulated memory: 87812 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12304
/proc/meminfo: memFree=23702876/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2148940 memory=141052 CPUtime=822.32 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111914 0 0 0 81687 545 0 0 20 0 1 0 247643867 2200514560 35263 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 537235 35263 694 405 0 534179 0
Current children cumulated CPU time: 822.32 s
Current children cumulated vsize: 2148940 KiB
Current children cumulated memory: 141052 KiB
[startup+859.465 s]
# the end of solver process 12219 was just reported to runsolver
# cumulated CPU time of all completed processes: user=853.901 s, system=5.59421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718188/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=844.82 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 83928 554 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 844.82 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+851.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718312/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=851.22 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 84566 556 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 851.22 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+854.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718312/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=854.42 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 84885 557 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361917128 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 854.42 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+857.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718672/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=857.62 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 85204 558 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 857.62 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+858.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718672/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=858.42 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 85284 558 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 858.42 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+859.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718672/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=859.22 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 85364 558 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 859.22 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
[startup+859.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12305
/proc/meminfo: memFree=23718672/32770624 swapFree=67108852/67108860
[pid=12219] ppid=12216 vsize=2132556 memory=124900 CPUtime=859.43 cores=1,3,5,7
/proc/12219/stat : 12219 (xcsp_picat) R 12216 12219 11116 0 -1 4202496 111919 0 0 0 85384 559 0 0 20 0 1 0 247643867 2183737344 31225 33554432000 4194304 5849940 140722361917968 140722361916968 140053557374855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47656960 140722361922742 140722361922820 140722361922820 140722361925578 0
/proc/12219/statm: 533139 31225 694 405 0 530083 0
Current children cumulated CPU time: 859.43 s
Current children cumulated vsize: 2132556 KiB
Current children cumulated memory: 124900 KiB
Child status: 0
Real time (s): 859.465
CPU time (s): 859.495
CPU user time (s): 853.901
CPU system time (s): 5.59421
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2191932
Max. memory (cumulated for all children) (KiB): 184020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 853.901
system time used= 5.59421
maximum resident set size= 184020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111953
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= 4
involuntary context switches= 483
# summary of solver processes directly reported to runsolver:
# pid: 12219
# total CPU time (s): 859.495
# total CPU user time (s): 853.901
# total CPU system time (s): 5.59421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34262 second user time and 6.47918 second system time
The end