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 (15143 MiB free)
memory of node 1: 16384 MiB (15446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395027-1568338225/watcher-4395027-1568338225 -o /tmp/evaluation-result-4395027-1568338225/solver-4395027-1568338225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27187 --watchdog 2580 xcsp_picat HOME/instance-4395027-1568338225.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=31045, runsolver pid=31042
[startup+0.100179 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31293436/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2036960 memory=36952 CPUtime=0.1 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 1761 0 0 0 10 0 0 0 20 0 1 0 410078539 2085847040 9238 33554432000 4194304 5870510 140725528130272 140725528127416 139803120294885 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 509240 9238 872 410 0 504713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036960 KiB
Current children cumulated memory: 36952 KiB
[startup+0.209696 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31286552/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2036504 memory=40504 CPUtime=0.21 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 3051 0 0 0 20 1 0 0 20 0 1 0 410078539 2085380096 10126 33554432000 4194304 5870510 140725528130272 140725528127416 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 509126 10126 917 410 0 504599 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036504 KiB
Current children cumulated memory: 40504 KiB
[startup+0.309558 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31286180/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2037532 memory=41288 CPUtime=0.31 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 3248 0 0 0 30 1 0 0 20 0 1 0 410078539 2086432768 10322 33554432000 4194304 5870510 140725528130272 140725528127416 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 509383 10322 937 410 0 504856 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2037532 KiB
Current children cumulated memory: 41288 KiB
[startup+0.700286 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31284692/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2041928 memory=43820 CPUtime=0.69 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 3838 0 0 0 68 1 0 0 20 0 1 0 410078539 2090934272 10955 33554432000 4194304 5870510 140725528130272 140725528127416 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 510482 10955 937 410 0 505955 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041928 KiB
Current children cumulated memory: 43820 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31277580/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2046480 memory=47704 CPUtime=1.49 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 4306 0 0 0 148 1 0 0 20 0 1 0 410078539 2095595520 11926 33554432000 4194304 5870510 140725528130272 140725528129224 5282464 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 511620 11926 937 410 0 507093 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046480 KiB
Current children cumulated memory: 47704 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31268164/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2047420 memory=48368 CPUtime=3.1 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 8707 0 0 0 309 1 0 0 20 0 1 0 410078539 2096558080 12092 33554432000 4194304 5870510 140725528130272 140725528129288 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 511855 12092 938 410 0 507328 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2047420 KiB
Current children cumulated memory: 48368 KiB
[startup+6.30037 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31244196/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2055656 memory=58172 CPUtime=6.29 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 13441 0 0 0 627 2 0 0 20 0 1 0 410078539 2104991744 14543 33554432000 4194304 5870510 140725528130272 140725528129288 5282770 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 513914 14543 938 410 0 509387 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2055656 KiB
Current children cumulated memory: 58172 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31212756/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2097788 memory=86904 CPUtime=12.69 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 17349 0 0 0 1266 3 0 0 20 0 1 0 410078539 2148134912 21726 33554432000 4194304 5870510 140725528130272 140725528128712 5262639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 524447 21726 938 410 0 519920 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2097788 KiB
Current children cumulated memory: 86904 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31046
/proc/meminfo: memFree=31201888/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2105460 memory=95420 CPUtime=25.49 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 22491 0 0 0 2545 4 0 0 20 0 1 0 410078539 2155991040 23855 33554432000 4194304 5870510 140725528130272 140725528128712 5282568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 526365 23855 938 410 0 521838 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2105460 KiB
Current children cumulated memory: 95420 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31049
/proc/meminfo: memFree=31199400/32770624 swapFree=66921152/67108860
[pid=31045] ppid=31042 vsize=2105460 memory=97468 CPUtime=51.09 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 25874 0 0 0 5105 4 0 0 20 0 1 0 410078539 2155991040 24367 33554432000 4194304 5870510 140725528130272 140725528128712 5283064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 526365 24367 938 410 0 521838 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2105460 KiB
Current children cumulated memory: 97468 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31060
/proc/meminfo: memFree=31145740/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2121464 memory=117948 CPUtime=102.28 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 31792 0 0 0 10223 5 0 0 20 0 1 0 410078539 2172379136 29487 33554432000 4194304 5870510 140725528130272 140725528128712 5272923 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 530366 29487 938 410 0 525839 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2121464 KiB
Current children cumulated memory: 117948 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31064
/proc/meminfo: memFree=31178276/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2121464 memory=117948 CPUtime=162.27 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 34651 0 0 0 16222 5 0 0 20 0 1 0 410078539 2172379136 29487 33554432000 4194304 5870510 140725528130272 140725528128712 5283135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 530366 29487 938 410 0 525839 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2121464 KiB
Current children cumulated memory: 117948 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31070
/proc/meminfo: memFree=31170708/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2121464 memory=125776 CPUtime=222.28 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 35582 0 0 0 22222 6 0 0 20 0 1 0 410078539 2172379136 31444 33554432000 4194304 5870510 140725528130272 140725528128712 5272392 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 530366 31444 938 410 0 525839 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2121464 KiB
Current children cumulated memory: 125776 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31074
/proc/meminfo: memFree=31126196/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2124408 memory=128716 CPUtime=282.27 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 39112 0 0 0 28221 6 0 0 20 0 1 0 410078539 2175393792 32179 33554432000 4194304 5870510 140725528130272 140725528128840 5272962 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 531102 32179 938 410 0 526575 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2124408 KiB
Current children cumulated memory: 128716 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 31078
/proc/meminfo: memFree=31130792/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2124408 memory=128716 CPUtime=342.26 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 39317 0 0 0 34220 6 0 0 20 0 1 0 410078539 2175393792 32179 33554432000 4194304 5870510 140725528130272 140725528128840 5274777 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 531102 32179 938 410 0 526575 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2124408 KiB
Current children cumulated memory: 128716 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/198 31084
/proc/meminfo: memFree=31126344/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2124408 memory=128716 CPUtime=402.26 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 42699 0 0 0 40219 7 0 0 20 0 1 0 410078539 2175393792 32179 33554432000 4194304 5870510 140725528130272 140725528128840 5276639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 531102 32179 938 410 0 526575 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2124408 KiB
Current children cumulated memory: 128716 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 31088
/proc/meminfo: memFree=31153172/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142524 CPUtime=462.25 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 43418 0 0 0 46218 7 0 0 20 0 1 0 410078539 2194505728 35631 33554432000 4194304 5870510 140725528130272 140725528128712 139803120288565 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35631 938 410 0 531241 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142524 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31092
/proc/meminfo: memFree=31152776/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142524 CPUtime=522.25 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 46986 0 0 0 52218 7 0 0 20 0 1 0 410078539 2194505728 35631 33554432000 4194304 5870510 140725528130272 140725528128712 5282555 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35631 938 410 0 531241 0
Current children cumulated CPU time: 522.25 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142524 KiB
[startup+548.428 s]
# the end of solver process 31045 was just reported to runsolver
# cumulated CPU time of all completed processes: user=548.304 s, system=0.079993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31092
/proc/meminfo: memFree=31152776/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142524 CPUtime=524.75 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 46998 0 0 0 52468 7 0 0 20 0 1 0 410078539 2194505728 35631 33554432000 4194304 5870510 140725528130272 140725528128712 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35631 938 410 0 531241 0
Current children cumulated CPU time: 524.75 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142524 KiB
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31095
/proc/meminfo: memFree=31152780/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142524 CPUtime=537.55 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47005 0 0 0 53748 7 0 0 20 0 1 0 410078539 2194505728 35631 33554432000 4194304 5870510 140725528130272 140725528128712 5272273 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35631 938 410 0 531241 0
Current children cumulated CPU time: 537.55 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142524 KiB
[startup+544 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 31096
/proc/meminfo: memFree=31152628/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142524 CPUtime=543.95 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47015 0 0 0 54388 7 0 0 20 0 1 0 410078539 2194505728 35631 33554432000 4194304 5870510 140725528130272 140725528128712 5295055 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35631 938 410 0 531241 0
Current children cumulated CPU time: 543.95 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142524 KiB
[startup+545.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31096
/proc/meminfo: memFree=31152604/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142532 CPUtime=545.54 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47017 0 0 0 54547 7 0 0 20 0 1 0 410078539 2194505728 35633 33554432000 4194304 5870510 140725528130272 140725528128712 5282531 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35633 938 410 0 531241 0
Current children cumulated CPU time: 545.54 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142532 KiB
[startup+547.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31096
/proc/meminfo: memFree=31152604/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142532 CPUtime=547.14 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47018 0 0 0 54707 7 0 0 20 0 1 0 410078539 2194505728 35633 33554432000 4194304 5870510 140725528130272 140725528128712 5282621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35633 938 410 0 531241 0
Current children cumulated CPU time: 547.14 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142532 KiB
[startup+548 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 31096
/proc/meminfo: memFree=31152604/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142532 CPUtime=547.95 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47018 0 0 0 54788 7 0 0 20 0 1 0 410078539 2194505728 35633 33554432000 4194304 5870510 140725528130272 140725528128712 5274346 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35633 938 410 0 531241 0
Current children cumulated CPU time: 547.95 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142532 KiB
[startup+548.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31096
/proc/meminfo: memFree=31152604/32770624 swapFree=66921164/67108860
[pid=31045] ppid=31042 vsize=2143072 memory=142532 CPUtime=548.34 cores=1,3,5,7
/proc/31045/stat : 31045 (xcsp_picat) R 31042 31045 27155 0 -1 4202496 47018 0 0 0 54827 7 0 0 20 0 1 0 410078539 2194505728 35633 33554432000 4194304 5870510 140725528130272 140725528128712 5282729 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 31567872 140725528138783 140725528138861 140725528138861 140725528141770 0
/proc/31045/statm: 535768 35633 938 410 0 531241 0
Current children cumulated CPU time: 548.34 s
Current children cumulated vsize: 2143072 KiB
Current children cumulated memory: 142532 KiB
Child status: 0
Real time (s): 548.428
CPU time (s): 548.384
CPU user time (s): 548.304
CPU system time (s): 0.079993
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 2143072
Max. memory (cumulated for all children) (KiB): 142532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 548.304
system time used= 0.079993
maximum resident set size= 142560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47077
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= 6
involuntary context switches= 195
# summary of solver processes directly reported to runsolver:
# pid: 31045
# total CPU time (s): 548.384
# total CPU user time (s): 548.304
# total CPU system time (s): 0.079993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05594 second user time and 4.04281 second system time
The end