runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3378020-1305457790/watcher-3378020-1305457790 -o /tmp/evaluation-result-3378020-1305457790/solver-3378020-1305457790 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378020-1305457790.cnf -seed 466322210 -budget 2400
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 2.05 3.09 5/378 4687
/proc/meminfo: memFree=24230884/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=11796 CPUtime=0 cores=1,3
/proc/4687/stat : 4687 (runsolver) R 4685 4687 1741 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 657379447 12079104 52 33554432000 4194304 5432360 140735802247024 18446744073709551615 5055511 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/4687/statm: 2949 52 33 303 0 2643 0
[startup+0.105934 s]
/proc/loadavg: 0.94 2.05 3.09 5/378 4687
/proc/meminfo: memFree=24230884/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=84524 CPUtime=0.06 cores=1,3
/proc/4687/stat : 4687 (python) R 4685 4687 1741 0 -1 4202496 2175 0 0 0 4 2 0 0 17 0 1 0 657379447 86552576 1926 33554432000 4194304 5683644 140734647262528 18446744073709551615 244441982865 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4687/statm: 21131 1926 551 364 0 1335 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84524
[startup+0.200893 s]
/proc/loadavg: 0.94 2.05 3.09 5/378 4687
/proc/meminfo: memFree=24230884/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=121992 CPUtime=0.13 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 4172 0 1 0 8 5 0 0 17 0 1 0 657379447 124919808 3789 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/4687/statm: 30498 3789 986 364 0 2828 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 121992
[startup+0.300874 s]
/proc/loadavg: 0.94 2.05 3.09 5/378 4687
/proc/meminfo: memFree=24230884/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=135752 CPUtime=0.21 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 5975 937 1 0 14 7 0 0 17 0 1 0 657379447 139010048 4149 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446941189 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/4687/statm: 33938 4149 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 135752
[startup+0.812779 s]
/proc/loadavg: 0.94 2.05 3.09 5/378 4687
/proc/meminfo: memFree=24230884/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=252284 CPUtime=0.42 cores=1,3
/proc/4687/stat : 4687 (python) R 4685 4687 1741 0 -1 4202496 8391 937 1 0 28 14 0 0 16 0 1 0 657379447 258338816 6257 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446943232 0 0 16781312 2 0 0 0 17 1 0 0 16
/proc/4687/statm: 63071 6257 1633 364 0 5018 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 252284
[startup+1.50061 s]
/proc/loadavg: 0.94 2.05 3.09 4/391 4722
/proc/meminfo: memFree=24070836/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 1 0 657379591 286760960 5942 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 4414521047873748991 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5942 347 364 0 5928 0
[pid=4722] ppid=4720 vsize=5028 CPUtime=0.05 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 734 0 0 0 5 0 0 0 20 0 1 0 657379591 5148672 435 33554432000 4194304 4352236 140734372354304 18446744073709551615 4234247 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/4722/statm: 1257 435 111 39 0 337 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 575352
[startup+3.10032 s]
/proc/loadavg: 1.27 2.10 3.10 5/391 4722
/proc/meminfo: memFree=23980960/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 657379591 286760960 5949 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 4414521047873748991 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5949 354 364 0 5928 0
[pid=4722] ppid=4720 vsize=7356 CPUtime=1.62 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 1683 0 0 0 162 0 0 0 25 0 1 0 657379591 7532544 1008 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328395 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/4722/statm: 1839 1008 128 39 0 919 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 577680
[startup+6.30076 s]
/proc/loadavg: 1.27 2.10 3.10 5/391 4792
/proc/meminfo: memFree=23965644/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 4414521047873716486 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=7488 CPUtime=4.79 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 1908 0 0 0 479 0 0 0 25 0 1 0 657379591 7667712 1073 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328400 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 1872 1073 128 39 0 952 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 577812
[startup+12.7006 s]
/proc/loadavg: 1.83 2.19 3.12 5/394 4864
/proc/meminfo: memFree=23873968/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0.02 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 897 0 0 0 2 0 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 12471470122793402630 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=9064 CPUtime=11.17 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 3093 0 0 0 1117 0 0 0 25 0 1 0 657379591 9281536 1458 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328075 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 2266 1458 128 39 0 1346 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 579388
[startup+25.5012 s]
/proc/loadavg: 2.17 2.25 3.13 5/394 4899
/proc/meminfo: memFree=23841644/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0.06 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 903 0 0 0 4 2 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 12471470122793402630 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=9836 CPUtime=23.94 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 4310 0 0 0 2393 1 0 0 25 0 1 0 657379591 10072064 1651 33554432000 4194304 4352236 140734372354304 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 2459 1651 128 39 0 1539 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 580160
[startup+51.1144 s]
/proc/loadavg: 3.03 2.44 3.17 5/397 4902
/proc/meminfo: memFree=23803432/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0.12 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 913 0 0 0 6 6 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 12471470122793402630 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=12876 CPUtime=49.49 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 7161 0 0 0 4947 2 0 0 25 0 1 0 657379591 13185024 2421 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328986 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 3219 2421 129 39 0 2299 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 583200
[startup+102.301 s]
/proc/loadavg: 3.29 2.61 3.19 4/388 4922
/proc/meminfo: memFree=23943972/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0.27 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 936 0 0 0 15 12 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 12471470122793402630 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=16080 CPUtime=100.52 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 12506 0 0 0 10050 2 0 0 25 0 1 0 657379591 16465920 3222 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328066 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 4020 3222 129 39 0 3100 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 586404
[startup+162.301 s]
/proc/loadavg: 3.17 2.71 3.18 4/388 4923
/proc/meminfo: memFree=23940336/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=290284 CPUtime=1.04 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 10576 937 1 0 89 15 0 0 19 0 2 0 657379447 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 72571 7474 1875 364 0 8489 0
[pid=4720] ppid=4687 vsize=280040 CPUtime=0.43 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 954 0 0 0 23 20 0 0 18 0 1 0 657379591 286760960 5972 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965263 0 0 16781312 514 12471470122793402630 0 0 17 1 0 0 0
/proc/4720/statm: 70010 5972 377 364 0 5928 0
[pid=4722] ppid=4720 vsize=17364 CPUtime=160.36 cores=1,3
/proc/4722/stat : 4722 (lingeling) R 4720 4722 4722 0 -1 4202496 19035 0 0 0 16033 3 0 0 25 0 1 0 657379591 17780736 3543 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328000 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/4722/statm: 4341 3543 129 39 0 3421 0
[pid=4687/tid=4721] ppid=4685 vsize=290284 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 2 0 657379591 297250816 7474 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 161.83
Current children cumulated vsize (KiB) 587688
################
# More data... #
################
[pid=4963] ppid=4687 vsize=290656 CPUtime=0.26 cores=1,3
/proc/4963/stat : 4963 (python) S 4687 4687 1741 0 -1 4202560 1097 0 0 0 12 14 0 0 19 0 2 0 657438339 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4963/statm: 72664 6058 400 364 0 8579 0
[pid=4965] ppid=4963 vsize=14756 CPUtime=99.99 cores=1,3
/proc/4965/stat : 4965 (lingeling) T 4963 4965 4965 0 -1 4202496 13095 0 0 0 9997 2 0 0 25 0 1 0 657438339 15110144 2891 33554432000 4194304 4352236 140734161495840 18446744073709551615 4328116 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/4965/statm: 3689 2891 129 39 0 2769 0
[pid=4963/tid=4986] ppid=4687 vsize=290656 CPUtime=0 cores=1,3
/proc/4963/task/4986/stat : 4986 (python) S 4687 4687 1741 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657448364 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604465405654208 0 0 -1 1 0 0 0
[pid=4987] ppid=4687 vsize=300912 CPUtime=0.16 cores=1,3
/proc/4987/stat : 4987 (python) S 4687 4687 1741 0 -1 4202560 932 0 0 0 7 9 0 0 15 0 1 0 657448365 308133888 6032 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965318 0 0 16781312 514 1802376639149998340 0 0 17 1 0 0 0
/proc/4987/statm: 75228 6032 371 364 0 11140 0
[pid=4989] ppid=4987 vsize=59960 CPUtime=53.52 cores=1,3
/proc/4989/stat : 4989 (cryptominisat-2) R 4987 4989 4989 0 -1 4202496 25255 0 0 0 5348 4 0 0 25 0 1 0 657448366 61399040 7864 33554432000 4194304 4677096 140733699549648 18446744073709551615 4320199 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4989/statm: 14990 7864 391 118 0 9949 0
[pid=4687/tid=4721] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 4 0 657379591 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4964] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4964/stat : 4964 (python) S 4685 4687 1741 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 4 0 657438339 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4988] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4988/stat : 4988 (python) S 4685 4687 1741 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 4 0 657448365 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 742.47
Current children cumulated vsize (KiB) 1289372
[startup+744.401 s]
/proc/loadavg: 1.19 2.15 2.78 2/378 4991
/proc/meminfo: memFree=24170240/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=311156 CPUtime=1.05 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 12175 937 1 0 90 15 0 0 19 0 4 0 657379447 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 77789 7545 1880 364 0 13701 0
[pid=4720] ppid=4687 vsize=290284 CPUtime=1.56 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 1205 0 0 0 78 78 0 0 19 0 2 0 657379591 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4720/statm: 72571 6016 416 364 0 8489 0
[pid=4722] ppid=4720 vsize=21648 CPUtime=585.93 cores=1,3
/proc/4722/stat : 4722 (lingeling) T 4720 4722 4722 0 -1 4202496 52284 0 0 0 58585 8 0 0 25 0 1 0 657379591 22167552 4606 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328100 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/4722/statm: 5412 4606 129 39 0 4492 0
[pid=4720/tid=4962] ppid=4687 vsize=290284 CPUtime=0 cores=1,3
/proc/4720/task/4962/stat : 4962 (python) S 4687 4687 1741 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 657438338 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604471120398208 0 0 -1 3 0 0 0
[pid=4963] ppid=4687 vsize=290656 CPUtime=0.26 cores=1,3
/proc/4963/stat : 4963 (python) S 4687 4687 1741 0 -1 4202560 1097 0 0 0 12 14 0 0 19 0 2 0 657438339 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4963/statm: 72664 6058 400 364 0 8579 0
[pid=4965] ppid=4963 vsize=14756 CPUtime=99.99 cores=1,3
/proc/4965/stat : 4965 (lingeling) T 4963 4965 4965 0 -1 4202496 13095 0 0 0 9997 2 0 0 25 0 1 0 657438339 15110144 2891 33554432000 4194304 4352236 140734161495840 18446744073709551615 4328116 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/4965/statm: 3689 2891 129 39 0 2769 0
[pid=4963/tid=4986] ppid=4687 vsize=290656 CPUtime=0 cores=1,3
/proc/4963/task/4986/stat : 4986 (python) S 4687 4687 1741 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657448364 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604465405654208 0 0 -1 1 0 0 0
[pid=4987] ppid=4687 vsize=300912 CPUtime=0.16 cores=1,3
/proc/4987/stat : 4987 (python) S 4687 4687 1741 0 -1 4202560 932 0 0 0 7 9 0 0 15 0 1 0 657448365 308133888 6032 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965318 0 0 16781312 514 1802376639149998340 0 0 17 1 0 0 0
/proc/4987/statm: 75228 6032 371 364 0 11140 0
[pid=4989] ppid=4987 vsize=59960 CPUtime=55.12 cores=1,3
/proc/4989/stat : 4989 (cryptominisat-2) R 4987 4989 4989 0 -1 4202496 25508 0 0 0 5508 4 0 0 25 0 1 0 657448366 61399040 8117 33554432000 4194304 4677096 140733699549648 18446744073709551615 4320152 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4989/statm: 14990 8117 391 118 0 9949 0
[pid=4687/tid=4721] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 4 0 657379591 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4964] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4964/stat : 4964 (python) S 4685 4687 1741 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 4 0 657438339 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4988] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4988/stat : 4988 (python) S 4685 4687 1741 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 4 0 657448365 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 744.07
Current children cumulated vsize (KiB) 1289372
[startup+744.8 s]
/proc/loadavg: 1.19 2.15 2.78 2/378 4991
/proc/meminfo: memFree=24170240/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=311156 CPUtime=1.05 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 12175 937 1 0 90 15 0 0 19 0 4 0 657379447 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 77789 7545 1880 364 0 13701 0
[pid=4720] ppid=4687 vsize=290284 CPUtime=1.56 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 1205 0 0 0 78 78 0 0 19 0 2 0 657379591 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4720/statm: 72571 6016 416 364 0 8489 0
[pid=4722] ppid=4720 vsize=21648 CPUtime=585.93 cores=1,3
/proc/4722/stat : 4722 (lingeling) T 4720 4722 4722 0 -1 4202496 52284 0 0 0 58585 8 0 0 25 0 1 0 657379591 22167552 4606 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328100 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/4722/statm: 5412 4606 129 39 0 4492 0
[pid=4720/tid=4962] ppid=4687 vsize=290284 CPUtime=0 cores=1,3
/proc/4720/task/4962/stat : 4962 (python) S 4687 4687 1741 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 657438338 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604471120398208 0 0 -1 3 0 0 0
[pid=4963] ppid=4687 vsize=290656 CPUtime=0.26 cores=1,3
/proc/4963/stat : 4963 (python) S 4687 4687 1741 0 -1 4202560 1097 0 0 0 12 14 0 0 19 0 2 0 657438339 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4963/statm: 72664 6058 400 364 0 8579 0
[pid=4965] ppid=4963 vsize=14756 CPUtime=99.99 cores=1,3
/proc/4965/stat : 4965 (lingeling) T 4963 4965 4965 0 -1 4202496 13095 0 0 0 9997 2 0 0 25 0 1 0 657438339 15110144 2891 33554432000 4194304 4352236 140734161495840 18446744073709551615 4328116 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/4965/statm: 3689 2891 129 39 0 2769 0
[pid=4963/tid=4986] ppid=4687 vsize=290656 CPUtime=0 cores=1,3
/proc/4963/task/4986/stat : 4986 (python) S 4687 4687 1741 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657448364 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604465405654208 0 0 -1 1 0 0 0
[pid=4987] ppid=4687 vsize=300912 CPUtime=0.16 cores=1,3
/proc/4987/stat : 4987 (python) S 4687 4687 1741 0 -1 4202560 932 0 0 0 7 9 0 0 15 0 1 0 657448365 308133888 6032 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965318 0 0 16781312 514 1802376639149998340 0 0 17 1 0 0 0
/proc/4987/statm: 75228 6032 371 364 0 11140 0
[pid=4989] ppid=4987 vsize=59960 CPUtime=55.52 cores=1,3
/proc/4989/stat : 4989 (cryptominisat-2) R 4987 4989 4989 0 -1 4202496 25552 0 0 0 5548 4 0 0 25 0 1 0 657448366 61399040 8161 33554432000 4194304 4677096 140733699549648 18446744073709551615 4355192 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4989/statm: 14990 8161 391 118 0 9949 0
[pid=4687/tid=4721] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 4 0 657379591 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4964] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4964/stat : 4964 (python) S 4685 4687 1741 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 4 0 657438339 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4988] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4988/stat : 4988 (python) S 4685 4687 1741 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 4 0 657448365 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 744.47
Current children cumulated vsize (KiB) 1289372
[startup+745 s]
/proc/loadavg: 1.19 2.15 2.78 2/378 4991
/proc/meminfo: memFree=24170240/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=311156 CPUtime=1.05 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 12175 937 1 0 90 15 0 0 19 0 4 0 657379447 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 77789 7545 1880 364 0 13701 0
[pid=4720] ppid=4687 vsize=290284 CPUtime=1.56 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 1205 0 0 0 78 78 0 0 19 0 2 0 657379591 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4720/statm: 72571 6016 416 364 0 8489 0
[pid=4722] ppid=4720 vsize=21648 CPUtime=585.93 cores=1,3
/proc/4722/stat : 4722 (lingeling) T 4720 4722 4722 0 -1 4202496 52284 0 0 0 58585 8 0 0 25 0 1 0 657379591 22167552 4606 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328100 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/4722/statm: 5412 4606 129 39 0 4492 0
[pid=4720/tid=4962] ppid=4687 vsize=290284 CPUtime=0 cores=1,3
/proc/4720/task/4962/stat : 4962 (python) S 4687 4687 1741 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 657438338 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604471120398208 0 0 -1 3 0 0 0
[pid=4963] ppid=4687 vsize=290656 CPUtime=0.26 cores=1,3
/proc/4963/stat : 4963 (python) S 4687 4687 1741 0 -1 4202560 1097 0 0 0 12 14 0 0 19 0 2 0 657438339 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4963/statm: 72664 6058 400 364 0 8579 0
[pid=4965] ppid=4963 vsize=14756 CPUtime=99.99 cores=1,3
/proc/4965/stat : 4965 (lingeling) T 4963 4965 4965 0 -1 4202496 13095 0 0 0 9997 2 0 0 25 0 1 0 657438339 15110144 2891 33554432000 4194304 4352236 140734161495840 18446744073709551615 4328116 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/4965/statm: 3689 2891 129 39 0 2769 0
[pid=4963/tid=4986] ppid=4687 vsize=290656 CPUtime=0 cores=1,3
/proc/4963/task/4986/stat : 4986 (python) S 4687 4687 1741 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657448364 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604465405654208 0 0 -1 1 0 0 0
[pid=4987] ppid=4687 vsize=300912 CPUtime=0.16 cores=1,3
/proc/4987/stat : 4987 (python) S 4687 4687 1741 0 -1 4202560 932 0 0 0 7 9 0 0 15 0 1 0 657448365 308133888 6032 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965318 0 0 16781312 514 1802376639149998340 0 0 17 1 0 0 0
/proc/4987/statm: 75228 6032 371 364 0 11140 0
[pid=4989] ppid=4987 vsize=59960 CPUtime=55.72 cores=1,3
/proc/4989/stat : 4989 (cryptominisat-2) R 4987 4989 4989 0 -1 4202496 25578 0 0 0 5568 4 0 0 25 0 1 0 657448366 61399040 8187 33554432000 4194304 4677096 140733699549648 18446744073709551615 4320231 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4989/statm: 14990 8187 391 118 0 9949 0
[pid=4687/tid=4721] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 4 0 657379591 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4964] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4964/stat : 4964 (python) S 4685 4687 1741 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 4 0 657438339 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4988] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4988/stat : 4988 (python) S 4685 4687 1741 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 4 0 657448365 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 744.67
Current children cumulated vsize (KiB) 1289372
[startup+745.101 s]
/proc/loadavg: 1.19 2.15 2.78 2/378 4991
/proc/meminfo: memFree=24169620/32951124 swapFree=44485764/67111528
[pid=4687] ppid=4685 vsize=311156 CPUtime=1.05 cores=1,3
/proc/4687/stat : 4687 (python) S 4685 4687 1741 0 -1 4202496 12175 937 1 0 90 15 0 0 19 0 4 0 657379447 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 16
/proc/4687/statm: 77789 7545 1880 364 0 13701 0
[pid=4720] ppid=4687 vsize=290284 CPUtime=1.56 cores=1,3
/proc/4720/stat : 4720 (python) S 4687 4687 1741 0 -1 4202560 1205 0 0 0 78 78 0 0 19 0 2 0 657379591 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4720/statm: 72571 6016 416 364 0 8489 0
[pid=4722] ppid=4720 vsize=21648 CPUtime=585.93 cores=1,3
/proc/4722/stat : 4722 (lingeling) T 4720 4722 4722 0 -1 4202496 52284 0 0 0 58585 8 0 0 25 0 1 0 657379591 22167552 4606 33554432000 4194304 4352236 140734372354304 18446744073709551615 4328100 0 0 16781312 17506 18446744071562691360 0 0 17 3 0 0 0
/proc/4722/statm: 5412 4606 129 39 0 4492 0
[pid=4720/tid=4962] ppid=4687 vsize=290284 CPUtime=0 cores=1,3
/proc/4720/task/4962/stat : 4962 (python) S 4687 4687 1741 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 657438338 297250816 6016 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604471120398208 0 0 -1 3 0 0 0
[pid=4963] ppid=4687 vsize=290656 CPUtime=0.26 cores=1,3
/proc/4963/stat : 4963 (python) S 4687 4687 1741 0 -1 4202560 1097 0 0 0 12 14 0 0 19 0 2 0 657438339 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4963/statm: 72664 6058 400 364 0 8579 0
[pid=4965] ppid=4963 vsize=14756 CPUtime=99.99 cores=1,3
/proc/4965/stat : 4965 (lingeling) T 4963 4965 4965 0 -1 4202496 13095 0 0 0 9997 2 0 0 25 0 1 0 657438339 15110144 2891 33554432000 4194304 4352236 140734161495840 18446744073709551615 4328116 0 0 16781312 17506 18446744071562691360 0 0 17 1 0 0 0
/proc/4965/statm: 3689 2891 129 39 0 2769 0
[pid=4963/tid=4986] ppid=4687 vsize=290656 CPUtime=0 cores=1,3
/proc/4963/task/4986/stat : 4986 (python) S 4687 4687 1741 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657448364 297631744 6058 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 514 18446604465405654208 0 0 -1 1 0 0 0
[pid=4987] ppid=4687 vsize=300912 CPUtime=0.16 cores=1,3
/proc/4987/stat : 4987 (python) S 4687 4687 1741 0 -1 4202560 932 0 0 0 7 9 0 0 15 0 1 0 657448365 308133888 6032 33554432000 4194304 5683644 140734647262528 18446744073709551615 244446965318 0 0 16781312 514 1802376639149998340 0 0 17 1 0 0 0
/proc/4987/statm: 75228 6032 371 364 0 11140 0
[pid=4989] ppid=4987 vsize=59960 CPUtime=55.83 cores=1,3
/proc/4989/stat : 4989 (cryptominisat-2) R 4987 4989 4989 0 -1 4202496 25587 0 0 0 5579 4 0 0 25 0 1 0 657448366 61399040 8196 33554432000 4194304 4677096 140733699549648 18446744073709551615 4320231 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4989/statm: 14990 8196 391 118 0 9949 0
[pid=4687/tid=4721] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4721/stat : 4721 (python) S 4685 4687 1741 0 -1 4202560 31 937 0 0 0 0 0 0 19 0 4 0 657379591 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4964] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4964/stat : 4964 (python) S 4685 4687 1741 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 4 0 657438339 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
[pid=4687/tid=4988] ppid=4685 vsize=311156 CPUtime=0 cores=1,3
/proc/4687/task/4988/stat : 4988 (python) S 4685 4687 1741 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 4 0 657448365 318623744 7545 33554432000 4194304 5683644 140734647262528 18446744073709551615 244458768817 0 0 16781312 2 18446604469249532160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 744.78
Current children cumulated vsize (KiB) 1289372
Child status: 0
Real time (s): 745.154
CPU time (s): 744.915
CPU user time (s): 743.559
CPU system time (s): 1.35579
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1289372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 743.559
system time used= 1.35579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112268
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= 10714
involuntary context switches= 2972
runsolver used 2.6356 second user time and 6.33504 second system time
The end