runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439673-1307655503/watcher-3439673-1307655503 -o /tmp/evaluation-result-3439673-1307655503/solver-3439673-1307655503 -C 5000 -W 5100 -M 15500 SApperloT2010 HOME/instance-3439673-1307655503.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.55 7.90 6.26 2/174 10554
/proc/meminfo: memFree=32608804/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=14336 CPUtime=0 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 753 0 0 0 0 0 0 0 22 0 1 0 877149046 14680064 692 33554432000 4194304 4394578 140736555515488 18446744073709551615 235594533852 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 3584 692 247 49 0 725 0
[startup+0.0709001 s]
/proc/loadavg: 7.55 7.90 6.26 2/174 10554
/proc/meminfo: memFree=32608804/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=24104 CPUtime=0.06 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 3188 0 0 0 6 0 0 0 22 0 1 0 877149046 24682496 3126 33554432000 4194304 4394578 140736555515488 18446744073709551615 235594891159 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 6026 3126 256 49 0 3167 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24104
[startup+0.100857 s]
/proc/loadavg: 7.55 7.90 6.26 2/174 10554
/proc/meminfo: memFree=32608804/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=24104 CPUtime=0.09 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 3188 0 0 0 9 0 0 0 22 0 1 0 877149046 24682496 3126 33554432000 4194304 4394578 140736555515488 18446744073709551615 235594891159 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 6026 3126 256 49 0 3167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24104
[startup+0.300773 s]
/proc/loadavg: 7.55 7.90 6.26 2/174 10554
/proc/meminfo: memFree=32608804/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=29612 CPUtime=0.29 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 5108 0 0 0 28 1 0 0 23 0 1 0 877149046 30322688 4540 33554432000 4194304 4394578 140736555515488 18446744073709551615 235594527429 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 7403 4540 267 49 0 4544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29612
[startup+0.700818 s]
/proc/loadavg: 7.55 7.90 6.26 2/174 10554
/proc/meminfo: memFree=32608804/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=34772 CPUtime=0.69 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 6365 0 0 0 68 1 0 0 25 0 1 0 877149046 35606528 5797 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298907 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 8693 5797 267 49 0 5834 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34772
[startup+1.50068 s]
/proc/loadavg: 7.55 7.90 6.26 3/178 10565
/proc/meminfo: memFree=32475600/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=40956 CPUtime=1.49 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 7822 0 0 0 148 1 0 0 25 0 1 0 877149046 41938944 7254 33554432000 4194304 4394578 140736555515488 18446744073709551615 4313449 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 10239 7254 267 49 0 7380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40956
[startup+3.10033 s]
/proc/loadavg: 7.55 7.90 6.26 3/178 10565
/proc/meminfo: memFree=32468036/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=50588 CPUtime=3.09 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 10033 0 0 0 307 2 0 0 25 0 1 0 877149046 51802112 9465 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298846 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 12647 9465 267 49 0 9788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50588
[startup+6.30083 s]
/proc/loadavg: 7.10 7.80 6.24 3/178 10565
/proc/meminfo: memFree=32452592/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=65820 CPUtime=6.29 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 13427 0 0 0 626 3 0 0 25 0 1 0 877149046 67399680 12859 33554432000 4194304 4394578 140736555515488 18446744073709551615 4346566 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 16455 12859 267 49 0 13596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65820
[startup+12.7007 s]
/proc/loadavg: 6.69 7.70 6.22 3/178 10565
/proc/meminfo: memFree=32352148/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=79492 CPUtime=12.69 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 16483 0 0 0 1266 3 0 0 25 0 1 0 877149046 81399808 15915 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 19873 15915 267 49 0 17014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79492
[startup+25.5004 s]
/proc/loadavg: 5.65 7.43 6.15 3/178 10565
/proc/meminfo: memFree=32280596/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=88988 CPUtime=25.49 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 18514 0 0 0 2545 4 0 0 25 0 1 0 877149046 91123712 17946 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298942 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 22247 17946 267 49 0 19388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88988
[startup+51.1009 s]
/proc/loadavg: 4.41 6.99 6.04 3/178 10566
/proc/meminfo: memFree=32186232/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=111364 CPUtime=51.09 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 23069 0 0 0 5104 5 0 0 25 0 1 0 877149046 114036736 22501 33554432000 4194304 4394578 140736555515488 18446744073709551615 4317232 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 27841 22501 267 49 0 24982 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111364
[startup+102.307 s]
/proc/loadavg: 3.04 6.22 5.82 3/178 10567
/proc/meminfo: memFree=32035764/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=157004 CPUtime=102.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 32312 0 0 0 10224 6 0 0 25 0 1 0 877149046 160772096 31744 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298837 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 39251 31744 267 49 0 36392 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 157004
[startup+162.3 s]
/proc/loadavg: 2.48 5.48 5.59 3/178 10569
/proc/meminfo: memFree=31904644/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=174284 CPUtime=162.29 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 35870 0 0 0 16223 6 0 0 25 0 1 0 877149046 178466816 35302 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 43571 35302 267 49 0 40712 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 174284
[startup+222.301 s]
/proc/loadavg: 2.17 4.84 5.36 3/178 10571
/proc/meminfo: memFree=31794488/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=185328 CPUtime=222.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 38034 0 0 0 22223 7 0 0 25 0 1 0 877149046 189775872 37466 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 46332 37466 267 49 0 43473 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185328
[startup+282.3 s]
/proc/loadavg: 2.06 4.32 5.15 3/178 10572
/proc/meminfo: memFree=31681720/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=214272 CPUtime=282.29 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 43830 0 0 0 28222 7 0 0 25 0 1 0 877149046 219414528 43262 33554432000 4194304 4394578 140736555515488 18446744073709551615 4338180 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 53568 43262 267 49 0 50709 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 214272
[startup+342.301 s]
/proc/loadavg: 2.02 3.90 4.95 3/178 10574
/proc/meminfo: memFree=31637660/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=218880 CPUtime=342.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 44726 0 0 0 34222 8 0 0 25 0 1 0 877149046 224133120 44158 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 54720 44158 267 49 0 51861 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 218880
[startup+402.301 s]
/proc/loadavg: 2.01 3.55 4.76 3/178 10575
/proc/meminfo: memFree=31626328/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=227076 CPUtime=402.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 46295 0 0 0 40222 8 0 0 25 0 1 0 877149046 232525824 45727 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298942 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 56769 45727 267 49 0 53910 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 227076
[startup+462.3 s]
/proc/loadavg: 2.00 3.26 4.59 3/178 10577
/proc/meminfo: memFree=31614612/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=228740 CPUtime=462.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 46570 0 0 0 46222 8 0 0 25 0 1 0 877149046 234229760 46002 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298679 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 57185 46002 267 49 0 54326 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 228740
[startup+522.301 s]
/proc/loadavg: 2.00 3.03 4.42 3/178 10579
/proc/meminfo: memFree=31595480/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=229636 CPUtime=522.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 46794 0 0 0 52222 8 0 0 25 0 1 0 877149046 235147264 46226 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298821 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 57409 46226 267 49 0 54550 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 229636
[startup+582.3 s]
/proc/loadavg: 2.00 2.84 4.27 3/178 10580
/proc/meminfo: memFree=31552288/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=238628 CPUtime=582.3 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 48885 0 0 0 58222 8 0 0 25 0 1 0 877149046 244355072 48317 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298942 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 59657 48317 267 49 0 56798 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 238628
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31524452/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=252468 CPUtime=642.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 51780 0 0 0 64222 9 0 0 25 0 1 0 877149046 258527232 51212 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 63117 51212 267 49 0 60258 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 252468
[startup+702.3 s]
/proc/loadavg: 2.13 2.59 4.00 3/178 10583
/proc/meminfo: memFree=31515352/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=255540 CPUtime=702.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 52395 0 0 0 70222 9 0 0 25 0 1 0 877149046 261672960 51827 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298837 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 63885 51827 267 49 0 61026 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 255540
[startup+762.307 s]
/proc/loadavg: 2.05 2.48 3.87 3/178 10585
/proc/meminfo: memFree=31498944/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=258612 CPUtime=762.32 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 53117 0 0 0 76223 9 0 0 25 0 1 0 877149046 264818688 52549 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298807 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 64653 52549 267 49 0 61794 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 258612
[startup+822.3 s]
/proc/loadavg: 2.02 2.39 3.75 3/178 10587
/proc/meminfo: memFree=31479308/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=266808 CPUtime=822.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 55093 0 0 0 82222 9 0 0 25 0 1 0 877149046 273211392 54525 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 66702 54525 267 49 0 63843 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 266808
[startup+882.301 s]
/proc/loadavg: 2.00 2.32 3.64 3/178 10588
/proc/meminfo: memFree=31472692/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=269752 CPUtime=882.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 55776 0 0 0 88222 9 0 0 25 0 1 0 877149046 276226048 55208 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298679 0 0 4096 6 0 0 0 17 2 0 0 0
/proc/10554/statm: 67438 55208 267 49 0 64579 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 269752
[startup+942.301 s]
/proc/loadavg: 2.00 2.26 3.53 3/178 10590
/proc/meminfo: memFree=31461360/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=271800 CPUtime=942.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 56157 0 0 0 94222 9 0 0 25 0 1 0 877149046 278323200 55589 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298876 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 67950 55589 267 49 0 65091 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 271800
[startup+1002.3 s]
/proc/loadavg: 2.00 2.21 3.43 3/178 10591
/proc/meminfo: memFree=31449148/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=275000 CPUtime=1002.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 56730 0 0 0 100222 9 0 0 25 0 1 0 877149046 281600000 56162 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298927 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 68750 56162 267 49 0 65891 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 275000
[startup+1062.3 s]
/proc/loadavg: 2.00 2.17 3.34 3/178 10593
/proc/meminfo: memFree=31436208/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=275256 CPUtime=1062.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 56791 0 0 0 106221 10 0 0 25 0 1 0 877149046 281862144 56223 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298933 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 68814 56223 267 49 0 65955 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 275256
[startup+1122.3 s]
/proc/loadavg: 2.00 2.13 3.25 3/178 10595
/proc/meminfo: memFree=31421524/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=275256 CPUtime=1122.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 56834 0 0 0 112221 10 0 0 25 0 1 0 877149046 281862144 56266 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 68814 56266 267 49 0 65955 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 275256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.11 3.17 3/178 10596
/proc/meminfo: memFree=31410196/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=276664 CPUtime=1182.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 57054 0 0 0 118221 10 0 0 25 0 1 0 877149046 283303936 56486 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298664 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 69166 56486 267 49 0 66307 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 276664
[startup+1242.3 s]
/proc/loadavg: 2.00 2.08 3.10 3/178 10598
/proc/meminfo: memFree=31390060/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=283576 CPUtime=1242.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 58439 0 0 0 124221 10 0 0 25 0 1 0 877149046 290381824 57871 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298423 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 70894 57871 267 49 0 68035 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 283576
[startup+1302.3 s]
/proc/loadavg: 2.04 2.08 3.03 3/178 10599
/proc/meminfo: memFree=31383308/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=284600 CPUtime=1302.32 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 58593 0 0 0 130222 10 0 0 25 0 1 0 877149046 291430400 58025 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298326 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 71150 58025 267 49 0 68291 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 284600
[startup+1362.3 s]
/proc/loadavg: 2.01 2.06 2.96 3/178 10610
/proc/meminfo: memFree=31378284/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=286648 CPUtime=1362.31 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 59116 0 0 0 136221 10 0 0 25 0 1 0 877149046 293527552 58548 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 71662 58548 267 49 0 68803 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 286648
[startup+1422.31 s]
/proc/loadavg: 2.00 2.05 2.90 3/178 10612
/proc/meminfo: memFree=31367728/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=290744 CPUtime=1422.33 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 59798 0 0 0 142222 11 0 0 25 0 1 0 877149046 297721856 59230 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298812 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 72686 59230 267 49 0 69827 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 290744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.84 3/178 10613
/proc/meminfo: memFree=31347844/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=296384 CPUtime=1482.32 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 60895 0 0 0 148221 11 0 0 25 0 1 0 877149046 303497216 60327 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298923 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 74096 60327 267 49 0 71237 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 296384
Solver just ended. Dumping a history of the last processes samples
[startup+1484.7 s]
/proc/loadavg: 2.00 2.04 2.84 3/178 10613
/proc/meminfo: memFree=31347348/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=296384 CPUtime=1484.72 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 60896 0 0 0 148461 11 0 0 25 0 1 0 877149046 303497216 60328 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298979 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 74096 60328 267 49 0 71237 0
Current children cumulated CPU time (s) 1484.72
Current children cumulated vsize (KiB) 296384
[startup+1485.5 s]
/proc/loadavg: 2.00 2.04 2.84 3/178 10613
/proc/meminfo: memFree=31346976/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=296384 CPUtime=1485.52 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 60897 0 0 0 148541 11 0 0 25 0 1 0 877149046 303497216 60329 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298812 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 74096 60329 267 49 0 71237 0
Current children cumulated CPU time (s) 1485.52
Current children cumulated vsize (KiB) 296384
[startup+1486.3 s]
/proc/loadavg: 2.00 2.04 2.84 3/178 10613
/proc/meminfo: memFree=31346356/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=296384 CPUtime=1486.32 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 60898 0 0 0 148621 11 0 0 25 0 1 0 877149046 303497216 60330 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298832 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 74096 60330 267 49 0 71237 0
Current children cumulated CPU time (s) 1486.32
Current children cumulated vsize (KiB) 296384
[startup+1486.5 s]
/proc/loadavg: 2.00 2.04 2.84 3/178 10613
/proc/meminfo: memFree=31346356/32950928 swapFree=67052072/67111528
[pid=10554] ppid=10552 vsize=296384 CPUtime=1486.52 cores=0,2,4,6
/proc/10554/stat : 10554 (SApperloT2010) R 10552 10554 8181 0 -1 4202496 60898 0 0 0 148641 11 0 0 25 0 1 0 877149046 303497216 60330 33554432000 4194304 4394578 140736555515488 18446744073709551615 4298792 0 0 4096 6 0 0 0 17 0 0 0 0
/proc/10554/statm: 74096 60330 267 49 0 71237 0
Current children cumulated CPU time (s) 1486.52
Current children cumulated vsize (KiB) 296384
Child status: 10
Real time (s): 1486.56
CPU time (s): 1486.59
CPU user time (s): 1486.46
CPU system time (s): 0.123981
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 296384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1486.46
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60912
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= 11
involuntary context switches= 2895
runsolver used 2.48662 second user time and 5.2252 second system time
The end