runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3317715-1304271052/watcher-3317715-1304271052 -o /tmp/evaluation-result-3317715-1304271052/solver-3317715-1304271052 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317715-1304271052.cnf -seed 1754488358 -budget 4800 -cores 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/1635/stat : 1635 (python) S 1633 1635 788 0 -1 4202496 650 0 0 0 0 0 0 0 21 0 1 0 538705924 15441920 545 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1635/statm: 3770 545 312 364 0 257 0
[startup+0.0718129 s]
/proc/loadavg: 7.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=34240 CPUtime=0.03 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 1523 0 0 0 3 0 0 0 21 0 1 0 538705924 35061760 1359 33554432000 4194304 5683644 140734099249616 18446744073709551615 4509181 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1635/statm: 8560 1359 448 364 0 898 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34240
[startup+0.100805 s]
/proc/loadavg: 7.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=85072 CPUtime=0.06 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 2529 0 0 0 5 1 0 0 18 0 1 0 538705924 87113728 2255 33554432000 4194304 5683644 140734099249616 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1635/statm: 21268 2259 707 364 0 1485 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85072
[startup+0.300775 s]
/proc/loadavg: 7.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=135748 CPUtime=0.18 cores=1,3,5,7
/proc/1635/stat : 1635 (python) S 1633 1635 788 0 -1 4202496 5963 932 1 0 14 4 0 0 17 0 1 0 538705924 139005952 4150 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446941189 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1635/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748
[startup+1.28857 s]
/proc/loadavg: 7.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=256692 CPUtime=0.38 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 8446 932 1 0 28 10 0 0 15 0 1 0 538705924 262852608 6314 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446943232 0 0 16781312 2 0 0 0 17 3 0 0 63
/proc/1635/statm: 64173 6314 1648 364 0 5052 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 256692
[startup+1.50056 s]
/proc/loadavg: 7.29 6.98 6.37 5/198 1635
/proc/meminfo: memFree=19190148/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=362400 CPUtime=0.58 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 30244 932 1 0 42 16 0 0 16 0 1 0 538705924 371097600 27923 33554432000 4194304 5683644 140734099249616 18446744073709551615 4302465 0 0 16781312 2 0 0 0 17 3 0 0 63
/proc/1635/statm: 90600 27924 1761 364 0 26524 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 362400
[startup+3.10025 s]
/proc/loadavg: 7.11 6.94 6.36 6/199 1640
/proc/meminfo: memFree=18998932/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=461268 CPUtime=2.17 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 54673 932 1 0 198 19 0 0 17 0 1 0 538705924 472338432 52352 33554432000 4194304 5683644 140734099249616 18446744073709551615 47082277810207 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 115317 52353 1761 364 0 51241 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 461268
heavy processes:
[startup+6.30765 s]
/proc/loadavg: 7.11 6.94 6.36 6/199 1640
/proc/meminfo: memFree=18795812/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=661276 CPUtime=5.38 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 103829 932 1 0 512 26 0 0 25 0 1 0 538705924 677146624 101508 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446606021 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 165319 101508 1761 364 0 101243 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 661276
[startup+12.7005 s]
/proc/loadavg: 7.02 6.93 6.36 6/207 1648
/proc/meminfo: memFree=18060972/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=868772 CPUtime=11.78 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 205133 932 1 0 1138 40 0 0 25 0 1 0 538705924 889622528 151932 33554432000 4194304 5683644 140734099249616 18446744073709551615 4438566 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 217193 151932 1764 364 0 153117 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 868772
[startup+25.5011 s]
/proc/loadavg: 6.57 6.83 6.34 7/207 1648
/proc/meminfo: memFree=17380964/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=960064 CPUtime=24.58 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 341334 932 1 0 2400 58 0 0 25 0 1 0 538705924 983105536 177433 33554432000 4194304 5683644 140734099249616 18446744073709551615 4602384 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 960064
[startup+51.1003 s]
/proc/loadavg: 6.03 6.68 6.30 6/207 1649
/proc/meminfo: memFree=17239804/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=960064 CPUtime=50.18 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 341334 932 1 0 4960 58 0 0 25 0 1 0 538705924 983105536 177433 33554432000 4194304 5683644 140734099249616 18446744073709551615 47082109816385 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 960064
[startup+102.301 s]
/proc/loadavg: 5.45 6.42 6.23 6/207 1650
/proc/meminfo: memFree=17499348/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=960064 CPUtime=101.38 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 341335 932 1 0 10080 58 0 0 25 0 1 0 538705924 983105536 177434 33554432000 4194304 5683644 140734099249616 18446744073709551615 47082114355411 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 240016 177434 1827 364 0 175940 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 960064
[startup+162.301 s]
/proc/loadavg: 5.21 6.17 6.16 6/207 1652
/proc/meminfo: memFree=17338792/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=988460 CPUtime=161.38 cores=1,3,5,7
/proc/1635/stat : 1635 (python) R 1633 1635 788 0 -1 4202496 369705 932 1 0 16077 61 0 0 25 0 1 0 538705924 1012183040 184539 33554432000 4194304 5683644 140734099249616 18446744073709551615 47082106947724 0 0 16781312 2 0 0 0 17 1 0 0 63
/proc/1635/statm: 247115 184539 1833 364 0 183039 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 988460
[startup+222.301 s]
/proc/loadavg: 6.88 6.46 6.25 9/220 1667
/proc/meminfo: memFree=15890864/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=716564 CPUtime=164.03 cores=1,3,5,7
/proc/1635/stat : 1635 (python) S 1633 1635 788 0 -1 4202496 372401 932 1 0 16336 67 0 0 20 0 5 0 538705924 733761536 106370 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 63
/proc/1635/statm: 179141 106370 1881 364 0 115050 0
[pid=1653] ppid=1635 vsize=675552 CPUtime=0.08 cores=1,3,5,7
/proc/1653/stat : 1653 (python) S 1635 1635 788 0 -1 4202560 1014 0 0 0 3 5 0 0 18 0 1 0 538722408 691765248 104854 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965263 0 0 16781312 514 2682192645261852936 0 0 17 5 0 0 0
/proc/1653/statm: 168888 104854 381 364 0 104806 0
[pid=1655] ppid=1653 vsize=122516 CPUtime=57.35 cores=1,3,5,7
/proc/1655/stat : 1655 (lingeling) R 1653 1655 1655 0 -1 4202496 69205 0 0 0 5717 18 0 0 25 0 1 0 538722410 125456384 29799 33554432000 4194304 4352236 140733295704304 18446744073709551615 4208050 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1655/statm: 30629 29799 129 39 0 29709 0
[pid=1656] ppid=1635 vsize=685808 CPUtime=0.08 cores=1,3,5,7
/proc/1656/stat : 1656 (python) S 1635 1635 788 0 -1 4202560 937 0 0 0 4 4 0 0 18 0 1 0 538722412 702267392 104847 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 2682192645261852936 0 0 17 7 0 0 0
/proc/1656/statm: 171452 104847 370 364 0 107367 0
[pid=1658] ppid=1656 vsize=456464 CPUtime=57.32 cores=1,3,5,7
/proc/1658/stat : 1658 (precosat) R 1656 1658 1658 0 -1 4202496 116559 0 0 0 5706 26 0 0 25 0 1 0 538722413 467419136 112219 33554432000 4194304 4890832 140733656479856 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/1658/statm: 114116 112219 86 171 0 113943 0
[pid=1659] ppid=1635 vsize=696064 CPUtime=0.1 cores=1,3,5,7
/proc/1659/stat : 1659 (python) S 1635 1635 788 0 -1 4202560 963 0 0 0 4 6 0 0 15 0 1 0 538722415 712769536 104851 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 2682192645261852936 0 0 17 7 0 0 0
/proc/1659/statm: 174016 104851 370 364 0 109928 0
[pid=1661] ppid=1659 vsize=1301432 CPUtime=56.82 cores=1,3,5,7
/proc/1661/stat : 1661 (cryptominisat-2) R 1659 1661 1661 0 -1 4202496 279480 0 0 0 5628 54 0 0 25 0 1 0 538722417 1332666368 264756 33554432000 4194304 4677096 140735617655280 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/1661/statm: 325358 264756 391 118 0 320317 0
[pid=1662] ppid=1635 vsize=706320 CPUtime=0.08 cores=1,3,5,7
/proc/1662/stat : 1662 (python) S 1635 1635 788 0 -1 4202560 964 0 0 0 3 5 0 0 18 0 1 0 538722419 723271680 104855 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 2682192645261852936 0 0 17 1 0 0 0
/proc/1662/statm: 176580 104855 370 364 0 112489 0
[pid=1664] ppid=1662 vsize=123408 CPUtime=57.32 cores=1,3,5,7
/proc/1664/stat : 1664 (lingeling) R 1662 1664 1664 0 -1 4202496 69477 0 0 0 5715 17 0 0 25 0 1 0 538722420 126369792 30022 33554432000 4194304 4352236 140733660527408 18446744073709551615 4329024 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/1664/statm: 30852 30022 129 39 0 29932 0
[pid=1635/tid=1654] ppid=1633 vsize=716564 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1654/stat : 1654 (python) S 1633 1635 788 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 538722410 733761536 106370 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 3 0 0 0
[pid=1635/tid=1657] ppid=1633 vsize=716564 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1657/stat : 1657 (python) S 1633 1635 788 0 -1 4202560 23 932 0 0 0 0 0 0 20 0 5 0 538722413 733761536 106370 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1660] ppid=1633 vsize=716564 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1660/stat : 1660 (python) S 1633 1635 788 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538722416 733761536 106370 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1663] ppid=1633 vsize=716564 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1663/stat : 1663 (python) S 1633 1635 788 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 538722420 733761536 106370 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 393.18
Current children cumulated vsize (KiB) 5484128
[startup+282.301 s]
/proc/loadavg: 7.68 6.77 6.37 9/226 1674
/proc/meminfo: memFree=15267452/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=726820 CPUtime=164.11 cores=1,3,5,7
/proc/1635/stat : 1635 (python) S 1633 1635 788 0 -1 4202496 373252 932 1 0 16342 69 0 0 19 0 6 0 538705924 744263680 106377 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 63
/proc/1635/statm: 181705 106377 1884 364 0 117611 0
[pid=1653] ppid=1635 vsize=685796 CPUtime=0.18 cores=1,3,5,7
/proc/1653/stat : 1653 (python) S 1635 1635 788 0 -1 4202560 1196 0 0 0 8 10 0 0 18 0 2 0 538722408 702255104 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/1653/statm: 171449 104893 415 364 0 107367 0
[pid=1655] ppid=1653 vsize=155796 CPUtime=117.24 cores=1,3,5,7
/proc/1655/stat : 1655 (lingeling) R 1653 1655 1655 0 -1 4202496 89321 0 0 0 11703 21 0 0 25 0 1 0 538722410 159535104 38119 33554432000 4194304 4352236 140733295704304 18446744073709551615 4207627 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1655/statm: 38949 38119 129 39 0 38029 0
[pid=1653/tid=1669] ppid=1635 vsize=685796 CPUtime=0 cores=1,3,5,7
/proc/1653/task/1669/stat : 1669 (python) S 1635 1635 788 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538732425 702255104 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471088475072 0 0 -1 5 0 0 0
[pid=1656] ppid=1635 vsize=685808 CPUtime=0.18 cores=1,3,5,7
/proc/1656/stat : 1656 (python) S 1635 1635 788 0 -1 4202560 1136 0 0 0 9 9 0 0 18 0 2 0 538722412 702267392 104877 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/1656/statm: 171452 104877 399 364 0 107367 0
[pid=1658] ppid=1656 vsize=456464 CPUtime=117.22 cores=1,3,5,7
/proc/1658/stat : 1658 (precosat) R 1656 1658 1658 0 -1 4202496 116714 0 0 0 11696 26 0 0 25 0 1 0 538722413 467419136 112374 33554432000 4194304 4890832 140733656479856 18446744073709551615 4295266 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/1658/statm: 114116 112374 86 171 0 113943 0
[pid=1656/tid=1670] ppid=1635 vsize=685808 CPUtime=0 cores=1,3,5,7
/proc/1656/task/1670/stat : 1670 (python) S 1635 1635 788 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538732430 702267392 104877 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471088473280 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/1694/statm: 184272 104897 399 364 0 120172 0
[pid=1696] ppid=1694 vsize=138200 CPUtime=99.67 cores=1,3,5,7
/proc/1696/stat : 1696 (lingeling) T 1694 1696 1696 0 -1 4202496 84955 0 0 0 9948 19 0 0 25 0 1 0 538771777 141516800 33720 33554432000 4194304 4352236 140737323177472 18446744073709551615 4328026 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/1696/statm: 34550 33720 129 39 0 33630 0
[pid=1694/tid=1700] ppid=1635 vsize=737088 CPUtime=0 cores=1,3,5,7
/proc/1694/task/1700/stat : 1700 (python) S 1635 1635 788 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 538781792 754778112 104897 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471161181312 0 0 -1 1 0 0 0
[pid=1701] ppid=1635 vsize=747344 CPUtime=0.36 cores=1,3,5,7
/proc/1701/stat : 1701 (python) S 1635 1635 788 0 -1 4202560 1053 0 0 0 18 18 0 0 18 0 1 0 538781795 765280256 104877 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 2682192645261852936 0 0 17 1 0 0 0
/proc/1701/statm: 186836 104877 376 364 0 122733 0
[pid=1703] ppid=1701 vsize=288252 CPUtime=240.71 cores=1,3,5,7
/proc/1703/stat : 1703 (glucoser_static) R 1701 1703 1703 0 -1 4202496 67279 0 0 0 24053 18 0 0 25 0 1 0 538781797 295170048 66990 33554432000 134512640 134580299 4289275552 18446744073709551615 134552985 0 0 16781312 8388611 0 0 0 17 7 0 0 0
/proc/1703/statm: 72063 66990 243 17 0 71391 0
[pid=1712] ppid=1635 vsize=757600 CPUtime=0.16 cores=1,3,5,7
/proc/1712/stat : 1712 (python) S 1635 1635 788 0 -1 4202560 1134 0 0 0 8 8 0 0 19 0 2 0 538791961 775782400 104905 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1712/statm: 189400 104905 399 364 0 125294 0
[pid=1714] ppid=1712 vsize=471804 CPUtime=99.68 cores=1,3,5,7
/proc/1714/stat : 1714 (precosat) T 1712 1714 1714 0 -1 4202496 116562 0 0 0 9939 29 0 0 25 0 1 0 538791962 483127296 112225 33554432000 4194304 4890832 140736415733120 18446744073709551615 4229367 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/1714/statm: 117951 112225 86 171 0 117778 0
[pid=1712/tid=1721] ppid=1635 vsize=757600 CPUtime=0 cores=1,3,5,7
/proc/1712/task/1721/stat : 1721 (python) S 1635 1635 788 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538801978 775782400 104905 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604469875706816 0 0 -1 1 0 0 0
[pid=1635/tid=1654] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1654/stat : 1654 (python) S 1633 1635 788 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 10 0 538722410 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 3 0 0 0
[pid=1635/tid=1657] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1657/stat : 1657 (python) S 1633 1635 788 0 -1 4202560 37 932 0 0 0 0 0 0 18 0 10 0 538722413 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1660] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1660/stat : 1660 (python) S 1633 1635 788 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 10 0 538722416 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1663] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1663/stat : 1663 (python) S 1633 1635 788 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 10 0 538722420 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1673] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1673/stat : 1673 (python) S 1633 1635 788 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 10 0 538732439 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1678] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1678/stat : 1678 (python) S 1633 1635 788 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 10 0 538742450 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1695] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1695/stat : 1695 (python) S 1633 1635 788 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 10 0 538771776 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1702] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1702/stat : 1702 (python) S 1633 1635 788 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 10 0 538781796 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1713] ppid=1633 vsize=767844 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1713/stat : 1713 (python) S 1633 1635 788 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 10 0 538791962 786272256 106401 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3504.52
Current children cumulated vsize (KiB) 15027480
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1057.8 s]
/proc/loadavg: 7.51 7.90 7.31 6/226 1750
/proc/meminfo: memFree=12175252/32951124 swapFree=67111524/67111528
[pid=1635] ppid=1633 vsize=778100 CPUtime=164.41 cores=1,3,5,7
/proc/1635/stat : 1635 (python) S 1633 1635 788 0 -1 4202496 377467 932 1 0 16365 76 0 0 20 0 11 0 538705924 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 63
/proc/1635/statm: 194525 106407 1894 364 0 130416 0
[pid=1653] ppid=1635 vsize=685796 CPUtime=1.34 cores=1,3,5,7
/proc/1653/stat : 1653 (python) S 1635 1635 788 0 -1 4202560 1218 0 0 0 64 70 0 0 18 0 2 0 538722408 702255104 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/1653/statm: 171449 104893 415 364 0 107367 0
[pid=1655] ppid=1653 vsize=164720 CPUtime=891.62 cores=1,3,5,7
/proc/1655/stat : 1655 (lingeling) R 1653 1655 1655 0 -1 4202496 166946 0 0 0 89131 31 0 0 25 0 1 0 538722410 168673280 39044 33554432000 4194304 4352236 140733295704304 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/1655/statm: 41180 39044 129 39 0 40260 0
[pid=1653/tid=1669] ppid=1635 vsize=685796 CPUtime=0 cores=1,3,5,7
/proc/1653/task/1669/stat : 1669 (python) S 1635 1635 788 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538732425 702255104 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471088475072 0 0 -1 5 0 0 0
[pid=1656] ppid=1635 vsize=685808 CPUtime=0.62 cores=1,3,5,7
/proc/1656/stat : 1656 (python) S 1635 1635 788 0 -1 4202560 1162 0 0 0 32 30 0 0 18 0 2 0 538722412 702267392 104877 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/1656/statm: 171452 104877 399 364 0 107367 0
[pid=1658] ppid=1656 vsize=472848 CPUtime=390.95 cores=1,3,5,7
/proc/1658/stat : 1658 (precosat) T 1656 1658 1658 0 -1 4202496 117311 0 0 0 39069 26 0 0 25 0 1 0 538722413 484196352 112971 33554432000 4194304 4890832 140733656479856 18446744073709551615 4238686 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/1658/statm: 118212 112971 86 171 0 118039 0
[pid=1656/tid=1670] ppid=1635 vsize=685808 CPUtime=0 cores=1,3,5,7
/proc/1656/task/1670/stat : 1670 (python) S 1635 1635 788 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 538732430 702267392 104877 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471088473280 0 0 -1 7 0 0 0
[pid=1659] ppid=1635 vsize=696064 CPUtime=0.83 cores=1,3,5,7
/proc/1659/stat : 1659 (python) S 1635 1635 788 0 -1 4202560 1168 0 0 0 42 41 0 0 16 0 2 0 538722415 712769536 104881 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/1659/statm: 174016 104881 399 364 0 109928 0
[pid=1661] ppid=1659 vsize=3005396 CPUtime=488.95 cores=1,3,5,7
/proc/1661/stat : 1661 (cryptominisat-2) T 1659 1661 1661 0 -1 4202496 646581 0 0 0 48764 131 0 0 25 0 1 0 538722417 3077525504 603071 33554432000 4194304 4677096 140735617655280 18446744073709551615 4319407 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/1661/statm: 751349 603071 391 118 0 746308 0
[pid=1659/tid=1693] ppid=1635 vsize=696064 CPUtime=0 cores=1,3,5,7
/proc/1659/task/1693/stat : 1693 (python) S 1635 1635 788 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 538771773 712769536 104881 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471078586304 0 0 -1 7 0 0 0
[pid=1662] ppid=1635 vsize=706320 CPUtime=1.06 cores=1,3,5,7
/proc/1662/stat : 1662 (python) S 1635 1635 788 0 -1 4202560 1171 0 0 0 51 55 0 0 18 0 2 0 538722419 723271680 104885 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1662/statm: 176580 104885 399 364 0 112489 0
[pid=1664] ppid=1662 vsize=165808 CPUtime=697.37 cores=1,3,5,7
/proc/1664/stat : 1664 (lingeling) R 1662 1664 1664 0 -1 4202496 174022 0 0 0 69706 31 0 0 25 0 1 0 538722420 169787392 39220 33554432000 4194304 4352236 140733660527408 18446744073709551615 4238687 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/1664/statm: 41452 39220 129 39 0 40532 0
[pid=1662/tid=1671] ppid=1635 vsize=706320 CPUtime=0 cores=1,3,5,7
/proc/1662/task/1671/stat : 1671 (python) S 1635 1635 788 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538732436 723271680 104885 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471078587200 0 0 -1 3 0 0 0
[pid=1672] ppid=1635 vsize=716576 CPUtime=0.16 cores=1,3,5,7
/proc/1672/stat : 1672 (python) S 1635 1635 788 0 -1 4202560 1127 0 0 0 8 8 0 0 19 0 2 0 538732438 733773824 104889 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1672/statm: 179144 104889 399 364 0 115050 0
[pid=1674] ppid=1672 vsize=158600 CPUtime=99.99 cores=1,3,5,7
/proc/1674/stat : 1674 (SApperloT-base) T 1672 1674 1674 0 -1 4202496 35798 0 0 0 9983 16 0 0 25 0 1 0 538732439 162406400 35012 33554432000 134512640 135674940 4294882000 18446744073709551615 134563984 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/1674/statm: 39650 35012 100 284 0 39364 0
[pid=1672/tid=1680] ppid=1635 vsize=716576 CPUtime=0 cores=1,3,5,7
/proc/1672/task/1680/stat : 1680 (python) S 1635 1635 788 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538742455 733773824 104889 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604462571307200 0 0 -1 1 0 0 0
[pid=1677] ppid=1635 vsize=726832 CPUtime=0.81 cores=1,3,5,7
/proc/1677/stat : 1677 (python) S 1635 1635 788 0 -1 4202560 1168 0 0 0 37 44 0 0 16 0 2 0 538742448 744275968 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1677/statm: 181708 104893 399 364 0 117611 0
[pid=1679] ppid=1677 vsize=2920636 CPUtime=491.17 cores=1,3,5,7
/proc/1679/stat : 1679 (cryptominisat-2) T 1677 1679 1679 0 -1 4202496 626321 0 0 0 49004 113 0 0 25 0 1 0 538742450 2990731264 589157 33554432000 4194304 4677096 140737087017984 18446744073709551615 4319729 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/1679/statm: 730159 589157 393 118 0 725118 0
[pid=1677/tid=1711] ppid=1635 vsize=726832 CPUtime=0 cores=1,3,5,7
/proc/1677/task/1711/stat : 1711 (python) S 1635 1635 788 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 538791958 744275968 104893 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604457400058880 0 0 -1 1 0 0 0
[pid=1694] ppid=1635 vsize=737088 CPUtime=0.16 cores=1,3,5,7
/proc/1694/stat : 1694 (python) S 1635 1635 788 0 -1 4202560 1127 0 0 0 7 9 0 0 19 0 2 0 538771775 754778112 104897 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1694/statm: 184272 104897 399 364 0 120172 0
[pid=1696] ppid=1694 vsize=138200 CPUtime=99.67 cores=1,3,5,7
/proc/1696/stat : 1696 (lingeling) T 1694 1696 1696 0 -1 4202496 84955 0 0 0 9948 19 0 0 25 0 1 0 538771777 141516800 33720 33554432000 4194304 4352236 140737323177472 18446744073709551615 4328026 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/1696/statm: 34550 33720 129 39 0 33630 0
[pid=1694/tid=1700] ppid=1635 vsize=737088 CPUtime=0 cores=1,3,5,7
/proc/1694/task/1700/stat : 1700 (python) S 1635 1635 788 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 538781792 754778112 104897 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471161181312 0 0 -1 1 0 0 0
[pid=1701] ppid=1635 vsize=747344 CPUtime=0.45 cores=1,3,5,7
/proc/1701/stat : 1701 (python) S 1635 1635 788 0 -1 4202560 1216 0 0 0 23 22 0 0 19 0 2 0 538781795 765280256 104907 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1701/statm: 186836 104907 405 364 0 122733 0
[pid=1703] ppid=1701 vsize=294816 CPUtime=294.6 cores=1,3,5,7
/proc/1703/stat : 1703 (glucoser_static) T 1701 1703 1703 0 -1 4202496 68872 0 0 0 29440 20 0 0 25 0 1 0 538781797 301891584 68583 33554432000 134512640 134580299 4289275552 18446744073709551615 134543196 0 0 16781312 8388611 18446744071562691360 0 0 17 7 0 0 0
/proc/1703/statm: 73704 68583 243 17 0 73032 0
[pid=1701/tid=1747] ppid=1635 vsize=747344 CPUtime=0 cores=1,3,5,7
/proc/1701/task/1747/stat : 1747 (python) S 1635 1635 788 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538811642 765280256 104907 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604471120399104 0 0 -1 7 0 0 0
[pid=1712] ppid=1635 vsize=757600 CPUtime=0.17 cores=1,3,5,7
/proc/1712/stat : 1712 (python) S 1635 1635 788 0 -1 4202560 1138 0 0 0 8 9 0 0 18 0 2 0 538791961 775782400 104905 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/1712/statm: 189400 104905 399 364 0 125294 0
[pid=1714] ppid=1712 vsize=471804 CPUtime=100.75 cores=1,3,5,7
/proc/1714/stat : 1714 (precosat) R 1712 1714 1714 0 -1 4202496 116562 0 0 0 10046 29 0 0 19 0 1 0 538791962 483127296 112225 33554432000 4194304 4890832 140736415733120 18446744073709551615 4298394 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/1714/statm: 117951 112225 86 171 0 117778 0
[pid=1712/tid=1721] ppid=1635 vsize=757600 CPUtime=0 cores=1,3,5,7
/proc/1712/task/1721/stat : 1721 (python) S 1635 1635 788 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538801978 775782400 104905 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 514 18446604469875706816 0 0 -1 1 0 0 0
[pid=1748] ppid=1635 vsize=767856 CPUtime=0.01 cores=1,3,5,7
/proc/1748/stat : 1748 (python) S 1635 1635 788 0 -1 4202560 772 0 0 0 0 1 0 0 18 0 1 0 538811645 786284544 104852 33554432000 4194304 5683644 140734099249616 18446744073709551615 244446965318 0 0 16781312 514 17515348602749190143 0 0 17 1 0 0 0
/proc/1748/statm: 191964 104852 343 364 0 127855 0
[pid=1750] ppid=1748 vsize=100692 CPUtime=0.56 cores=1,3,5,7
/proc/1750/stat : 1750 (precosat) R 1748 1750 1750 0 -1 4202496 24641 0 0 0 52 4 0 0 21 0 1 0 538811646 103108608 24374 33554432000 4194304 4890832 140734657323584 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/1750/statm: 25173 24374 65 171 0 25000 0
[pid=1635/tid=1654] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1654/stat : 1654 (python) S 1633 1635 788 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 11 0 538722410 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 3 0 0 0
[pid=1635/tid=1657] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1657/stat : 1657 (python) S 1633 1635 788 0 -1 4202560 37 932 0 0 0 0 0 0 18 0 11 0 538722413 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1660] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1660/stat : 1660 (python) S 1633 1635 788 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 11 0 538722416 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 7 0 0 0
[pid=1635/tid=1663] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1663/stat : 1663 (python) S 1633 1635 788 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 11 0 538722420 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1673] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1673/stat : 1673 (python) S 1633 1635 788 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 11 0 538732439 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1678] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1678/stat : 1678 (python) S 1633 1635 788 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 11 0 538742450 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1695] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1695/stat : 1695 (python) S 1633 1635 788 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 11 0 538771776 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1702] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1702/stat : 1702 (python) S 1633 1635 788 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 11 0 538781796 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1713] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1713/stat : 1713 (python) S 1633 1635 788 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 11 0 538791962 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
[pid=1635/tid=1749] ppid=1633 vsize=778100 CPUtime=0 cores=1,3,5,7
/proc/1635/task/1749/stat : 1749 (python) S 1633 1635 788 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 11 0 538811646 796774400 106407 33554432000 4194304 5683644 140734099249616 18446744073709551615 244458768817 0 0 16781312 2 18446604471117588352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3725.65
Current children cumulated vsize (KiB) 15898904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1635 and gives
# childrusage.ru_utime.tv_sec=163
# childrusage.ru_utime.tv_usec=651121
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=785880
# CPU time returned by wait4() is 164.437
# while last known CPU time is 3725.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1057.9
CPU time (s): 3725.65
CPU user time (s): 3717.8
CPU system time (s): 7.85
CPU usage (%): 352.175
Max. virtual memory (cumulated for all children) (KiB): 15898904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.651
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378407
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3076
involuntary context switches= 427
runsolver used 2.6486 second user time and 8.08277 second system time
The end