runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3498470-1307955109/watcher-3498470-1307955109 -o /var/tmp/evaluation-result-3498470-1307955109/solver-3498470-1307955109 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498470-1307955109.cnf -seed 1192808602 -budget 5000
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.03 1.74 2/177 9453
/proc/meminfo: memFree=1789376/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/9453/stat : 9453 (python) R 9451 9453 9247 0 -1 4202496 724 0 0 0 0 0 0 0 17 0 1 0 985741717 15548416 614 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988590592 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/9453/statm: 3796 614 321 364 0 283 0
[startup+0.0676049 s]
/proc/loadavg: 2.12 2.03 1.74 2/177 9453
/proc/meminfo: memFree=1789376/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=34236 CPUtime=0.04 cores=1,3,5,7
/proc/9453/stat : 9453 (python) R 9451 9453 9247 0 -1 4202496 1521 0 0 0 3 1 0 0 17 0 1 0 985741717 35057664 1357 33554432000 4194304 5683644 140736983138672 18446744073709551615 4428528 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9453/statm: 8559 1357 448 364 0 897 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34236
[startup+0.100607 s]
/proc/loadavg: 2.12 2.03 1.74 2/177 9453
/proc/meminfo: memFree=1789376/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/9453/stat : 9453 (python) R 9451 9453 9247 0 -1 4202496 2630 0 0 0 4 2 0 0 17 0 1 0 985741717 87670784 2347 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9453/statm: 21404 2347 713 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300515 s]
/proc/loadavg: 2.12 2.03 1.74 2/177 9453
/proc/meminfo: memFree=1789376/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=135744 CPUtime=0.21 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 5972 935 1 0 13 8 0 0 18 0 1 0 985741717 139001856 4148 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/9453/statm: 33936 4148 1032 364 0 3122 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 135744
[startup+0.700438 s]
/proc/loadavg: 2.12 2.03 1.74 2/177 9453
/proc/meminfo: memFree=1789376/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=280072 CPUtime=0.47 cores=1,3,5,7
/proc/9453/stat : 9453 (python) R 9451 9453 9247 0 -1 4202496 9652 935 1 0 28 19 0 0 15 0 1 0 985741717 286793728 7321 33554432000 4194304 5683644 140736983138672 18446744073709551615 4603748 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9453/statm: 70018 7321 1761 364 0 5942 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 280072
[startup+1.5003 s]
/proc/loadavg: 2.11 2.03 1.74 3/178 9458
/proc/meminfo: memFree=1913640/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=292492 CPUtime=1.27 cores=1,3,5,7
/proc/9453/stat : 9453 (python) R 9451 9453 9247 0 -1 4202496 14699 935 1 0 107 20 0 0 16 0 1 0 985741717 299511808 10508 33554432000 4194304 5683644 140736983138672 18446744073709551615 4418304 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9453/statm: 73123 10508 1826 364 0 9047 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 292492
[startup+3.10107 s]
/proc/loadavg: 2.11 2.03 1.74 3/178 9459
/proc/meminfo: memFree=1767196/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 301848
[startup+6.30052 s]
/proc/loadavg: 2.11 2.03 1.74 3/181 9462
/proc/meminfo: memFree=1899728/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 1 0 985742002 298602496 8812 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 4556294001304502536 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8812 358 364 0 8819 0
[pid=9462] ppid=9460 vsize=10040 CPUtime=3.44 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 3263 0 0 0 344 0 0 0 25 0 1 0 985742002 10280960 1673 33554432000 4194304 4352236 140733326634736 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 2510 1673 129 39 0 1590 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 603492
[startup+12.7004 s]
/proc/loadavg: 2.10 2.03 1.75 3/181 9462
/proc/meminfo: memFree=1892664/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 965 0 0 0 0 0 0 0 18 0 1 0 985742002 298602496 8834 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 4556294001304502536 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8834 380 364 0 8819 0
[pid=9462] ppid=9460 vsize=13752 CPUtime=9.84 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 4643 0 0 0 984 0 0 0 25 0 1 0 985742002 14082048 2601 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328392 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 3438 2601 129 39 0 2518 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 607204
[startup+25.5012 s]
/proc/loadavg: 2.08 2.03 1.75 3/181 9462
/proc/meminfo: memFree=1881784/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.02 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 974 0 0 0 1 1 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=15368 CPUtime=22.65 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 6053 0 0 0 2264 1 0 0 25 0 1 0 985742002 15736832 3005 33554432000 4194304 4352236 140733326634736 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 3842 3005 129 39 0 2922 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 608820
Solver just ended. Dumping a history of the last processes samples
[startup+38.3008 s]
/proc/loadavg: 2.06 2.03 1.75 3/181 9462
/proc/meminfo: memFree=1724640/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.04 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 978 0 0 0 2 2 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=14816 CPUtime=35.44 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 8325 0 0 0 3543 1 0 0 25 0 1 0 985742002 15171584 2867 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 3704 2867 129 39 0 2784 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.1
Current children cumulated vsize (KiB) 608268
[startup+44.7007 s]
/proc/loadavg: 2.06 2.03 1.75 3/181 9463
/proc/meminfo: memFree=1715448/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.04 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 980 0 0 0 2 2 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=18912 CPUtime=41.84 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10534 0 0 0 4183 1 0 0 25 0 1 0 985742002 19365888 3923 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328126 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 4728 3923 129 39 0 3808 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 44.5
Current children cumulated vsize (KiB) 612364
[startup+47.9012 s]
/proc/loadavg: 2.05 2.02 1.75 3/181 9463
/proc/meminfo: memFree=1859040/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.04 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 980 0 0 0 2 2 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=19552 CPUtime=45.04 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10726 0 0 0 4503 1 0 0 25 0 1 0 985742002 20021248 4083 33554432000 4194304 4352236 140733326634736 18446744073709551615 4329149 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 4888 4083 129 39 0 3968 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.7
Current children cumulated vsize (KiB) 613004
[startup+48.701 s]
/proc/loadavg: 2.05 2.02 1.75 3/181 9463
/proc/meminfo: memFree=1705280/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.04 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 980 0 0 0 2 2 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=19552 CPUtime=45.84 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10726 0 0 0 4583 1 0 0 25 0 1 0 985742002 20021248 4083 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 4888 4083 129 39 0 3968 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (KiB) 613004
[startup+49.101 s]
/proc/loadavg: 2.05 2.02 1.75 3/181 9463
/proc/meminfo: memFree=1705280/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.05 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 982 0 0 0 2 3 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=20064 CPUtime=46.24 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10854 0 0 0 4623 1 0 0 25 0 1 0 985742002 20545536 4211 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 5016 4211 129 39 0 4096 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (KiB) 613516
[startup+49.3009 s]
/proc/loadavg: 2.05 2.02 1.75 3/181 9463
/proc/meminfo: memFree=1705280/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.05 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 982 0 0 0 2 3 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=20576 CPUtime=46.44 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10982 0 0 0 4643 1 0 0 25 0 1 0 985742002 21069824 4339 33554432000 4194304 4352236 140733326634736 18446744073709551615 4281048 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 5144 4339 129 39 0 4224 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.11
Current children cumulated vsize (KiB) 614028
[startup+49.4009 s]
/proc/loadavg: 2.05 2.02 1.75 3/181 9463
/proc/meminfo: memFree=1860188/32950940 swapFree=67053420/67111528
[pid=9453] ppid=9451 vsize=301848 CPUtime=2.62 cores=1,3,5,7
/proc/9453/stat : 9453 (python) S 9451 9453 9247 0 -1 4202496 15080 935 1 0 242 20 0 0 20 0 2 0 985741717 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9453/statm: 75462 10333 1875 364 0 11380 0
[pid=9460] ppid=9453 vsize=291604 CPUtime=0.05 cores=1,3,5,7
/proc/9460/stat : 9460 (python) S 9453 9453 9247 0 -1 4202560 982 0 0 0 2 3 0 0 18 0 1 0 985742002 298602496 8835 33554432000 4194304 5683644 140736983138672 18446744073709551615 215988612623 0 0 16781312 514 2138347805884776712 0 0 17 1 0 0 0
/proc/9460/statm: 72901 8835 381 364 0 8819 0
[pid=9462] ppid=9460 vsize=16480 CPUtime=46.54 cores=1,3,5,7
/proc/9462/stat : 9462 (lingeling) R 9460 9462 9462 0 -1 4202496 10982 0 0 0 4653 1 0 0 25 0 1 0 985742002 16875520 3315 33554432000 4194304 4352236 140733326634736 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/9462/statm: 4120 3315 129 39 0 3200 0
[pid=9453/tid=9461] ppid=9451 vsize=301848 CPUtime=0 cores=1,3,5,7
/proc/9453/task/9461/stat : 9461 (python) S 9451 9453 9247 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 2 0 985742002 309092352 10333 33554432000 4194304 5683644 140736983138672 18446744073709551615 216000416177 0 0 16781312 2 18446604471096073280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.21
Current children cumulated vsize (KiB) 609932
Child status: 0
Real time (s): 49.5048
CPU time (s): 49.3395
CPU user time (s): 49.0795
CPU system time (s): 0.25996
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 614284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0795
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33780
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= 2913
involuntary context switches= 115
runsolver used 0.065989 second user time and 0.169974 second system time
The end