runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491287-1307780250/watcher-3491287-1307780250 -o /tmp/evaluation-result-3491287-1307780250/solver-3491287-1307780250 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491287-1307780250.opb --verbosity=0 --format=opb --randomseed=1469508006
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.93 1.98 1.94 2/174 1086
/proc/meminfo: memFree=31631304/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=7184 CPUtime=0 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 351 0 0 0 0 0 0 0 25 0 1 0 889625422 7356416 304 33554432000 4194304 6720400 140734398043920 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 1796 304 255 617 0 1170 0
[startup+0.0437499 s]
/proc/loadavg: 1.93 1.98 1.94 2/174 1086
/proc/meminfo: memFree=31631304/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=7460 CPUtime=0.04 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 527 0 0 0 4 0 0 0 25 0 1 0 889625422 7639040 476 33554432000 4194304 6720400 140734398043920 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 1865 476 261 617 0 1239 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7460
[startup+0.100765 s]
/proc/loadavg: 1.93 1.98 1.94 2/174 1086
/proc/meminfo: memFree=31631304/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=3888 CPUtime=0.09 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 806 0 0 0 9 0 0 0 25 0 1 0 889625422 3981312 548 33554432000 4194304 6720400 140734398043920 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 972 548 261 617 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3888
[startup+0.300732 s]
/proc/loadavg: 1.93 1.98 1.94 2/174 1086
/proc/meminfo: memFree=31631304/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=5808 CPUtime=0.29 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 1502 0 0 0 29 0 0 0 25 0 1 0 889625422 5947392 1007 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 1452 1007 261 617 0 826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5808
[startup+0.700639 s]
/proc/loadavg: 1.93 1.98 1.94 2/174 1086
/proc/meminfo: memFree=31631304/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=6920 CPUtime=0.69 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 1679 0 0 0 69 0 0 0 25 0 1 0 889625422 7086080 1182 33554432000 4194304 6720400 140734398043920 18446744073709551615 4434337 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 1730 1182 261 617 0 1104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6920
[startup+1.50049 s]
/proc/loadavg: 1.93 1.98 1.94 3/175 1087
/proc/meminfo: memFree=31624996/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=8060 CPUtime=1.49 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 2018 0 0 0 149 0 0 0 25 0 1 0 889625422 8253440 1511 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616620 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 2015 1511 261 617 0 1389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8060
[startup+3.10021 s]
/proc/loadavg: 1.93 1.98 1.94 3/175 1087
/proc/meminfo: memFree=31622640/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=11368 CPUtime=3.09 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 2708 0 0 0 309 0 0 0 25 0 1 0 889625422 11640832 2180 33554432000 4194304 6720400 140734398043920 18446744073709551615 5732661 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 2842 2180 261 617 0 2216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11368
[startup+6.30061 s]
/proc/loadavg: 1.93 1.98 1.94 3/175 1087
/proc/meminfo: memFree=31619924/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=12384 CPUtime=6.29 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 3029 0 0 0 629 0 0 0 25 0 1 0 889625422 12681216 2492 33554432000 4194304 6720400 140734398043920 18446744073709551615 5718244 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 3096 2492 261 617 0 2470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12384
[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.94 3/175 1088
/proc/meminfo: memFree=31614504/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=13208 CPUtime=12.69 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 3351 0 0 0 1269 0 0 0 25 0 1 0 889625422 13524992 2800 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616708 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 3302 2800 261 617 0 2676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13208
[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.94 3/175 1088
/proc/meminfo: memFree=31608920/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=15992 CPUtime=25.49 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 4123 0 0 0 2549 0 0 0 25 0 1 0 889625422 16375808 3541 33554432000 4194304 6720400 140734398043920 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 3998 3541 261 617 0 3372 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15992
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.94 3/175 1088
/proc/meminfo: memFree=31602672/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=21660 CPUtime=51.09 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 4825 0 0 0 5109 0 0 0 25 0 1 0 889625422 22179840 4223 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 5415 4223 261 617 0 4789 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21660
[startup+102.306 s]
/proc/loadavg: 2.05 2.00 1.94 3/175 1090
/proc/meminfo: memFree=31589736/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=23048 CPUtime=102.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 5891 0 0 0 10229 1 0 0 25 0 1 0 889625422 23601152 5264 33554432000 4194304 6720400 140734398043920 18446744073709551615 4610404 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 5762 5264 261 617 0 5136 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23048
[startup+162.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 1092
/proc/meminfo: memFree=31585228/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=29752 CPUtime=162.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 8067 0 0 0 16229 1 0 0 25 0 1 0 889625422 30466048 6306 33554432000 4194304 6720400 140734398043920 18446744073709551615 4617000 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7438 6306 261 617 0 6812 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 29752
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1093
/proc/meminfo: memFree=31571912/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=29752 CPUtime=222.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 8067 0 0 0 22229 1 0 0 25 0 1 0 889625422 30466048 6306 33554432000 4194304 6720400 140734398043920 18446744073709551615 5722946 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7438 6306 261 617 0 6812 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 29752
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1095
/proc/meminfo: memFree=31571612/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=29752 CPUtime=282.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 8224 0 0 0 28229 1 0 0 25 0 1 0 889625422 30466048 6457 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616669 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7438 6457 261 617 0 6812 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29752
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1096
/proc/meminfo: memFree=31567348/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=29752 CPUtime=342.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 8257 0 0 0 34229 1 0 0 25 0 1 0 889625422 30466048 6485 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7438 6485 261 617 0 6812 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29752
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1098
/proc/meminfo: memFree=31566552/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=29752 CPUtime=402.3 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 8411 0 0 0 40229 1 0 0 25 0 1 0 889625422 30466048 6635 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616654 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7438 6635 261 617 0 6812 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 29752
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1100
/proc/meminfo: memFree=31564392/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=31400 CPUtime=462.31 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 9000 0 0 0 46230 1 0 0 25 0 1 0 889625422 32153600 7223 33554432000 4194304 6720400 140734398043920 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7850 7223 261 617 0 7224 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 31400
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1101
/proc/meminfo: memFree=31561748/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=31400 CPUtime=522.31 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 9000 0 0 0 52230 1 0 0 25 0 1 0 889625422 32153600 7223 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 7850 7223 261 617 0 7224 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 31400
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1103
/proc/meminfo: memFree=31557604/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=33960 CPUtime=582.31 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 9652 0 0 0 58230 1 0 0 25 0 1 0 889625422 34775040 7863 33554432000 4194304 6720400 140734398043920 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 8490 7863 261 617 0 7864 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33960
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1104
/proc/meminfo: memFree=31554700/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=35240 CPUtime=642.31 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 9980 0 0 0 64230 1 0 0 25 0 1 0 889625422 36085760 8183 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 8810 8183 261 617 0 8184 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 35240
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1106
/proc/meminfo: memFree=31550420/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=35880 CPUtime=702.31 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10143 0 0 0 70230 1 0 0 25 0 1 0 889625422 36741120 8343 33554432000 4194304 6720400 140734398043920 18446744073709551615 4819089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 8970 8343 261 617 0 8344 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 35880
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 1108
/proc/meminfo: memFree=31547892/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=762.33 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10339 0 0 0 76231 2 0 0 25 0 1 0 889625422 37396480 8533 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616967 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8533 261 617 0 8504 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 36520
[startup+822.301 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 1109
/proc/meminfo: memFree=31545852/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=822.32 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10340 0 0 0 82230 2 0 0 25 0 1 0 889625422 37396480 8534 33554432000 4194304 6720400 140734398043920 18446744073709551615 5722236 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8534 261 617 0 8504 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 36520
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 2.04 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31545468/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=844.73 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10367 0 0 0 84471 2 0 0 25 0 1 0 889625422 37396480 8558 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616694 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8558 261 617 0 8504 0
Current children cumulated CPU time (s) 844.73
Current children cumulated vsize (KiB) 36520
[startup+857.501 s]
/proc/loadavg: 2.03 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31545448/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=857.52 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10367 0 0 0 85750 2 0 0 25 0 1 0 889625422 37396480 8558 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8558 261 617 0 8504 0
Current children cumulated CPU time (s) 857.52
Current children cumulated vsize (KiB) 36520
[startup+863.9 s]
/proc/loadavg: 2.03 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31545316/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=863.92 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 10377 0 0 0 86390 2 0 0 25 0 1 0 889625422 37396480 8568 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616620 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8568 261 617 0 8504 0
Current children cumulated CPU time (s) 863.92
Current children cumulated vsize (KiB) 36520
[startup+870.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31544076/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=870.32 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 12319 0 0 0 87030 2 0 0 25 0 1 0 889625422 37396480 8703 33554432000 4194304 6720400 140734398043920 18446744073709551615 4812219 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8703 261 617 0 8504 0
Current children cumulated CPU time (s) 870.32
Current children cumulated vsize (KiB) 36520
[startup+873.501 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31544200/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=36520 CPUtime=873.52 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 12319 0 0 0 87350 2 0 0 25 0 1 0 889625422 37396480 8703 33554432000 4194304 6720400 140734398043920 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 9130 8703 261 617 0 8504 0
Current children cumulated CPU time (s) 873.52
Current children cumulated vsize (KiB) 36520
[startup+875.1 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31544200/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=46364 CPUtime=875.12 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 13782 0 0 0 87510 2 0 0 25 0 1 0 889625422 47476736 10162 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616656 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 11591 10162 261 617 0 10965 0
Current children cumulated CPU time (s) 875.12
Current children cumulated vsize (KiB) 46364
[startup+875.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31538868/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=46364 CPUtime=875.52 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 13782 0 0 0 87550 2 0 0 25 0 1 0 889625422 47476736 10162 33554432000 4194304 6720400 140734398043920 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 11591 10162 261 617 0 10965 0
Current children cumulated CPU time (s) 875.52
Current children cumulated vsize (KiB) 46364
[startup+875.901 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31538868/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=46364 CPUtime=875.92 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 13782 0 0 0 87590 2 0 0 25 0 1 0 889625422 47476736 10162 33554432000 4194304 6720400 140734398043920 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 11591 10162 261 617 0 10965 0
Current children cumulated CPU time (s) 875.92
Current children cumulated vsize (KiB) 46364
[startup+876.001 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 1110
/proc/meminfo: memFree=31538868/32951124 swapFree=67064368/67111528
[pid=1086] ppid=1084 vsize=46364 CPUtime=876.02 cores=0,2,4,6
/proc/1086/stat : 1086 (minisatid) R 1084 1086 29294 0 -1 4202496 13782 0 0 0 87600 2 0 0 25 0 1 0 889625422 47476736 10162 33554432000 4194304 6720400 140734398043920 18446744073709551615 4803407 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/1086/statm: 11591 10162 261 617 0 10965 0
Current children cumulated CPU time (s) 876.02
Current children cumulated vsize (KiB) 46364
Child status: 20
Real time (s): 876.043
CPU time (s): 876.071
CPU user time (s): 876.045
CPU system time (s): 0.025996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 46364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 876.045
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13789
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= 5
involuntary context switches= 2365
runsolver used 1.27181 second user time and 2.71459 second system time
The end