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 (3960 MiB free)
memory of node 1: 16384 MiB (11610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292884-1532296553/watcher-4292884-1532296553 -o /tmp/evaluation-result-4292884-1532296553/solver-4292884-1532296553 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580 xcsp_picat HOME/instance-4292884-1532296553.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
solver pid=30470, runsolver pid=30464
Current StackSize limit: 8192 KiB
[startup+0.10071 s]*
/proc/loadavg: 1.09 1.22 1.38 4/189 30473
/proc/meminfo: memFree=15917988/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=111688 memory=19056 CPUtime=0.1 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 1882 0 0 0 10 0 0 0 20 0 1 0 47218505 114368512 4764 33554432000 4194304 5849740 140726848559344 140726848558648 4513847 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 27922 4764 649 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 19056 KiB
[startup+0.20988 s]*
/proc/loadavg: 1.09 1.22 1.38 2/187 30473
/proc/meminfo: memFree=15923976/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=111688 memory=23152 CPUtime=0.2 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 1884 0 0 0 20 0 0 0 20 0 1 0 47218505 114368512 5788 33554432000 4194304 5849740 140726848559344 140726848558648 4818425 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 27922 5788 649 405 0 24866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23152 KiB
[startup+0.309325 s]*
/proc/loadavg: 1.09 1.22 1.38 2/184 30481
/proc/meminfo: memFree=15922744/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=111688 memory=25200 CPUtime=0.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 1885 0 0 0 30 0 0 0 20 0 1 0 47218505 114368512 6300 33554432000 4194304 5849740 140726848559344 140726848558648 4492544 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 27922 6300 649 405 0 24866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 25200 KiB
[startup+0.700233 s]
/proc/loadavg: 1.09 1.22 1.38 3/185 30485
/proc/meminfo: memFree=15910472/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=131860 memory=37204 CPUtime=0.69 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 3765 0 0 0 68 1 0 0 20 0 1 0 47218505 135024640 9301 33554432000 4194304 5849740 140726848559344 140726848558584 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 32965 9301 722 405 0 29909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131860 KiB
Current children cumulated memory: 37204 KiB
[startup+1.50028 s]
/proc/loadavg: 1.09 1.22 1.38 3/189 30534
/proc/meminfo: memFree=15891952/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=132884 memory=37732 CPUtime=1.49 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 3894 0 0 0 148 1 0 0 20 0 1 0 47218505 136073216 9433 33554432000 4194304 5849740 140726848559344 140726848558584 5534864 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 33221 9433 722 405 0 30165 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132884 KiB
Current children cumulated memory: 37732 KiB
[startup+3.10924 s]
/proc/loadavg: 1.09 1.22 1.38 3/189 30534
/proc/meminfo: memFree=15886208/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=134936 memory=39908 CPUtime=3.1 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 4685 0 0 0 309 1 0 0 20 0 1 0 47218505 138174464 9977 33554432000 4194304 5849740 140726848559344 140726848558440 5522729 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 33734 9977 722 405 0 30678 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 134936 KiB
Current children cumulated memory: 39908 KiB
[startup+6.30026 s]
/proc/loadavg: 1.17 1.23 1.38 3/189 30534
/proc/meminfo: memFree=15882116/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=136988 memory=41960 CPUtime=6.29 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 5886 0 0 0 628 1 0 0 20 0 1 0 47218505 140275712 10490 33554432000 4194304 5849740 140726848559344 140726848558584 5520256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 34247 10490 722 405 0 31191 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136988 KiB
Current children cumulated memory: 41960 KiB
[startup+12.7003 s]
/proc/loadavg: 1.23 1.24 1.39 3/189 30534
/proc/meminfo: memFree=15880232/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=141084 memory=46968 CPUtime=12.68 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 7650 0 0 0 1267 1 0 0 20 0 1 0 47218505 144470016 11742 33554432000 4194304 5849740 140726848559344 140726848558456 140337452864079 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 35271 11742 722 405 0 32215 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 141084 KiB
Current children cumulated memory: 46968 KiB
[startup+25.5003 s]
/proc/loadavg: 1.40 1.28 1.40 3/189 30534
/proc/meminfo: memFree=15857072/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=157488 memory=66480 CPUtime=25.49 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 16188 0 0 0 2543 6 0 0 20 0 1 0 47218505 161267712 16620 33554432000 4194304 5849740 140726848559344 140726848558344 4211581 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 39372 16620 754 405 0 36316 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 66480 KiB
[startup+51.1091 s]
/proc/loadavg: 1.61 1.34 1.41 3/189 30598
/proc/meminfo: memFree=15850468/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=167204 memory=79600 CPUtime=51.1 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 22535 0 0 0 5101 9 0 0 20 0 1 0 47218505 171216896 19900 33554432000 4194304 5849740 140726848559344 140726848557832 4211600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 41801 19900 763 405 0 38745 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 167204 KiB
Current children cumulated memory: 79600 KiB
[startup+102.3 s]
/proc/loadavg: 1.79 1.42 1.44 3/189 30662
/proc/meminfo: memFree=15866660/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=142640 memory=55116 CPUtime=102.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 34370 0 0 0 10192 38 0 0 20 0 1 0 47218505 146063360 13779 33554432000 4194304 5849740 140726848559344 140726848558328 5518390 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 35660 13779 764 405 0 32604 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 142640 KiB
Current children cumulated memory: 55116 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.53 1.47 3/188 30664
/proc/meminfo: memFree=15828672/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=168740 memory=81124 CPUtime=162.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 46409 0 0 0 16153 77 0 0 20 0 1 0 47218505 172789760 20281 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 42185 20281 764 405 0 39129 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 168740 KiB
Current children cumulated memory: 81124 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.62 1.51 3/188 30665
/proc/meminfo: memFree=15842800/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=159032 memory=71572 CPUtime=222.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 57153 0 0 0 22122 108 0 0 20 0 1 0 47218505 162848768 17893 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 39758 17893 764 405 0 36702 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 159032 KiB
Current children cumulated memory: 71572 KiB
[startup+282.3 s]
/proc/loadavg: 1.95 1.67 1.53 3/189 30738
/proc/meminfo: memFree=15840596/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=168404 memory=80868 CPUtime=282.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 60538 0 0 0 28079 151 0 0 20 0 1 0 47218505 172445696 20217 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 42101 20217 764 405 0 39045 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 168404 KiB
Current children cumulated memory: 80868 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.73 1.56 3/189 30829
/proc/meminfo: memFree=15837268/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=170528 memory=82832 CPUtime=342.3 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 65228 0 0 0 34049 181 0 0 20 0 1 0 47218505 174620672 20708 33554432000 4194304 5849740 140726848559344 140726848558344 4211581 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 42632 20708 764 405 0 39576 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 170528 KiB
Current children cumulated memory: 82832 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.78 1.59 3/189 30830
/proc/meminfo: memFree=15832816/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=170528 memory=82832 CPUtime=402.31 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 65228 0 0 0 40002 229 0 0 20 0 1 0 47218505 174620672 20708 33554432000 4194304 5849740 140726848559344 140726848558216 4213221 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 42632 20708 764 405 0 39576 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 170528 KiB
Current children cumulated memory: 82832 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.61 3/189 30895
/proc/meminfo: memFree=15844164/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=174768 memory=87164 CPUtime=462.31 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 68174 0 0 0 45959 272 0 0 20 0 1 0 47218505 178962432 21791 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 43692 21791 764 405 0 40636 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 174768 KiB
Current children cumulated memory: 87164 KiB
[startup+522.3 s]
/proc/loadavg: 2.03 1.87 1.64 3/189 31023
/proc/meminfo: memFree=15857752/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=163104 memory=75480 CPUtime=522.32 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 73982 0 0 0 51947 285 0 0 20 0 1 0 47218505 167018496 18870 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 40776 18870 764 405 0 37720 0
Current children cumulated CPU time: 522.32 s
Current children cumulated vsize: 163104 KiB
Current children cumulated memory: 75480 KiB
[startup+582.3 s]
/proc/loadavg: 2.01 1.89 1.66 3/188 31087
/proc/meminfo: memFree=15614784/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=163100 memory=75452 CPUtime=582.32 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 75827 0 0 0 57919 313 0 0 20 0 1 0 47218505 167014400 18863 33554432000 4194304 5849740 140726848559344 140726848557832 4211660 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 40775 18863 764 405 0 37719 0
Current children cumulated CPU time: 582.32 s
Current children cumulated vsize: 163100 KiB
Current children cumulated memory: 75452 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.91 1.69 3/187 31088
/proc/meminfo: memFree=15578264/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=163100 memory=75640 CPUtime=642.33 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 79717 0 0 0 63885 348 0 0 20 0 1 0 47218505 167014400 18910 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 40775 18910 764 405 0 37719 0
Current children cumulated CPU time: 642.33 s
Current children cumulated vsize: 163100 KiB
Current children cumulated memory: 75640 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.93 1.70 3/187 31089
/proc/meminfo: memFree=15559140/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=182388 memory=94764 CPUtime=702.33 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 83016 0 0 0 69844 389 0 0 20 0 1 0 47218505 186765312 23691 33554432000 4194304 5849740 140726848559344 140726848558344 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 45597 23691 764 405 0 42541 0
Current children cumulated CPU time: 702.33 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 94764 KiB
[startup+705.67 s]
# the end of solver process 30470 was just reported to runsolver
# cumulated CPU time of all completed processes: user=701.782 s, system=3.92226 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 2.00 1.93 1.70 3/187 31089
/proc/meminfo: memFree=15559140/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=182388 memory=94764 CPUtime=704.03 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 83016 0 0 0 70013 390 0 0 20 0 1 0 47218505 186765312 23691 33554432000 4194304 5849740 140726848559344 140726848558504 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 45597 23691 764 405 0 42541 0
Current children cumulated CPU time: 704.03 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 94764 KiB
[startup+704.8 s]
/proc/loadavg: 2.00 1.93 1.70 3/187 31089
/proc/meminfo: memFree=15559140/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=182388 memory=94764 CPUtime=704.83 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 83016 0 0 0 70092 391 0 0 20 0 1 0 47218505 186765312 23691 33554432000 4194304 5849740 140726848559344 140726848558504 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 45597 23691 764 405 0 42541 0
Current children cumulated CPU time: 704.83 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 94764 KiB
[startup+705.2 s]
/proc/loadavg: 2.00 1.93 1.71 3/187 31089
/proc/meminfo: memFree=15559140/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=182388 memory=94764 CPUtime=705.22 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 83016 0 0 0 70131 391 0 0 20 0 1 0 47218505 186765312 23691 33554432000 4194304 5849740 140726848559344 140726848558504 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 45597 23691 764 405 0 42541 0
Current children cumulated CPU time: 705.22 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 94764 KiB
[startup+705.6 s]
/proc/loadavg: 2.00 1.93 1.71 3/187 31089
/proc/meminfo: memFree=15559140/32770624 swapFree=67108860/67108860
[pid=30470] ppid=30464 vsize=182388 memory=94764 CPUtime=705.63 cores=1,3,5,7
/proc/30470/stat : 30470 (xcsp_picat) R 30464 30470 30410 0 -1 4202496 83016 0 0 0 70171 392 0 0 20 0 1 0 47218505 186765312 23691 33554432000 4194304 5849740 140726848559344 140726848558504 140337453326215 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 24580096 140726848562358 140726848562436 140726848562436 140726848565194 0
/proc/30470/statm: 45597 23691 764 405 0 42541 0
Current children cumulated CPU time: 705.63 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 94764 KiB
Child status: 0
Real time (s): 705.67
CPU time (s): 705.704
CPU user time (s): 701.782
CPU system time (s): 3.92226
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 182388
Max. memory (cumulated for all children) (KiB): 94764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 701.782
system time used= 3.92226
maximum resident set size= 94936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83113
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= 17
involuntary context switches= 329
# summary of solver processes directly reported to runsolver:
# pid: 30470
# total CPU time (s): 705.704
# total CPU user time (s): 701.782
# total CPU system time (s): 3.92226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.61653 second user time and 4.88097 second system time
The end