runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481394-1307577824/watcher-3481394-1307577824 -o /tmp/evaluation-result-3481394-1307577824/solver-3481394-1307577824 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481394-1307577824.opb -seed 2099299377 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.11 1.64 2/594 5845
/proc/meminfo: memFree=24119096/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 845 0 0 0 0 0 0 0 25 0 1 0 850198624 16138240 727 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5845/statm: 3940 727 334 364 0 427 0
[startup+0.0236599 s]
/proc/loadavg: 2.18 2.11 1.64 2/594 5845
/proc/meminfo: memFree=24119096/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=16392 CPUtime=0.01 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 1165 0 0 0 1 0 0 0 25 0 1 0 850198624 16785408 1029 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/5845/statm: 4098 1029 414 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.104532 s]
/proc/loadavg: 2.18 2.11 1.64 2/594 5845
/proc/meminfo: memFree=24119096/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/5845/stat : 5845 (python) R 5843 5845 4987 0 -1 4202496 3168 931 1 0 6 1 0 0 18 0 1 0 850198624 98430976 2483 33554432000 4194304 5683644 140736974991632 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5845/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.302287 s]
/proc/loadavg: 2.18 2.11 1.64 2/594 5845
/proc/meminfo: memFree=24119096/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=190660 CPUtime=0.23 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 6543 931 1 0 18 5 0 0 17 0 1 0 850198624 195235840 4836 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/5845/statm: 47665 4836 1400 364 0 3675 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 190660
[startup+0.700436 s]
/proc/loadavg: 2.18 2.11 1.64 2/594 5845
/proc/meminfo: memFree=24119096/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293272
[startup+1.50033 s]
/proc/loadavg: 2.18 2.11 1.64 3/598 5854
/proc/meminfo: memFree=24072812/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
[pid=5852] ppid=5845 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 827 0 0 0 0 0 0 0 15 0 1 0 850198678 289820672 5637 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788879 0 0 16781312 33554946 3808600200059027456 0 0 17 6 0 0 0
/proc/5852/statm: 70757 5637 325 364 0 5644 0
[pid=5854] ppid=5852 vsize=30368 CPUtime=0.95 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) R 5852 5854 5854 0 -1 4202496 8709 0 0 0 89 6 0 0 18 0 1 0 850198679 31096832 5360 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5854/statm: 7592 5360 836 2317 0 5270 0
[pid=5845/tid=5853] ppid=5843 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 2 0 850198678 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 606668
[startup+3.10105 s]
/proc/loadavg: 2.17 2.11 1.64 3/598 5854
/proc/meminfo: memFree=24071336/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
[pid=5852] ppid=5845 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 1 0 850198678 289820672 5637 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788879 0 0 16781312 33554946 2342765283984277504 0 0 17 6 0 0 0
/proc/5852/statm: 70757 5637 325 364 0 5644 0
[pid=5854] ppid=5852 vsize=31476 CPUtime=2.54 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) R 5852 5854 5854 0 -1 4202496 8949 0 0 0 242 12 0 0 18 0 1 0 850198679 32231424 5581 33554432000 4194304 13684479 140733236360320 18446744073709551615 6053952 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5854/statm: 7869 5581 817 2317 0 5547 0
[pid=5845/tid=5853] ppid=5843 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 2 0 850198678 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 607776
[startup+6.30048 s]
/proc/loadavg: 2.17 2.11 1.64 3/598 5854
/proc/meminfo: memFree=24063212/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
[pid=5852] ppid=5845 vsize=283028 CPUtime=0.02 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 967 0 0 0 1 1 0 0 15 0 1 0 850198678 289820672 5660 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788879 0 0 16781312 33554946 3225110879804588032 0 0 17 6 0 0 0
/proc/5852/statm: 70757 5660 348 364 0 5644 0
[pid=5854] ppid=5852 vsize=33416 CPUtime=5.75 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) R 5852 5854 5854 0 -1 4202496 9390 0 0 0 552 23 0 0 18 0 1 0 850198679 34217984 6022 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5854/statm: 8354 6022 817 2317 0 6032 0
[pid=5845/tid=5853] ppid=5843 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 2 0 850198678 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 609716
[startup+12.7003 s]
/proc/loadavg: 2.14 2.10 1.64 3/598 5854
/proc/meminfo: memFree=24053512/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
[pid=5852] ppid=5845 vsize=283028 CPUtime=0.07 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 981 0 0 0 4 3 0 0 15 0 1 0 850198678 289820672 5660 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788879 0 0 16781312 33554946 626127363272343552 0 0 17 6 0 0 0
/proc/5852/statm: 70757 5660 348 364 0 5644 0
[pid=5854] ppid=5852 vsize=39312 CPUtime=12.15 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) R 5852 5854 5854 0 -1 4202496 10875 0 0 0 1173 42 0 0 18 0 1 0 850198679 40255488 7502 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5854/statm: 9828 7502 817 2317 0 7506 0
[pid=5845/tid=5853] ppid=5843 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 2 0 850198678 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 615612
[startup+25.5011 s]
/proc/loadavg: 2.12 2.10 1.64 3/598 5854
/proc/meminfo: memFree=24029820/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=293272 CPUtime=0.43 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 10715 1321 1 0 35 8 0 0 20 0 2 0 850198624 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 73318 7187 1871 364 0 8205 0
[pid=5852] ppid=5845 vsize=283160 CPUtime=0.15 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1011 0 0 0 9 6 0 0 15 0 1 0 850198678 289955840 5674 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788879 0 0 16781312 33554946 4116861818347978752 0 0 17 6 0 0 0
/proc/5852/statm: 70790 5674 351 364 0 5677 0
[pid=5854] ppid=5852 vsize=49928 CPUtime=24.95 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) R 5852 5854 5854 0 -1 4202496 13580 0 0 0 2405 90 0 0 18 0 1 0 850198679 51126272 10207 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5854/statm: 12482 10207 817 2317 0 10160 0
[pid=5845/tid=5853] ppid=5843 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 2 0 850198678 300310528 7187 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 626360
[startup+51.1006 s]
/proc/loadavg: 2.15 2.10 1.66 3/603 5860
/proc/meminfo: memFree=23974968/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=304040 CPUtime=0.45 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 11567 1321 1 0 37 8 0 0 20 0 3 0 850198624 311336960 7308 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5845/statm: 76010 7308 1874 364 0 10894 0
[pid=5852] ppid=5845 vsize=293404 CPUtime=0.3 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1210 0 0 0 18 12 0 0 16 0 2 0 850198678 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5852/statm: 73351 5764 413 364 0 8238 0
[pid=5854] ppid=5852 vsize=67356 CPUtime=48.04 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) T 5852 5854 5854 0 -1 4202496 18016 0 0 0 4637 167 0 0 18 0 1 0 850198679 68972544 14636 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5854/statm: 16839 14636 817 2317 0 14517 0
[pid=5852/tid=5857] ppid=5845 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/5852/task/5857/stat : 5857 (python) S 5845 5845 4987 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850203484 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604449310257216 0 0 -1 2 0 0 0
[pid=5858] ppid=5845 vsize=293796 CPUtime=0 cores=0,2,4,6
/proc/5858/stat : 5858 (python) S 5845 5845 4987 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 850203486 300847104 5750 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 15697414737354522883 0 0 17 2 0 0 0
/proc/5858/statm: 73449 5750 320 364 0 8333 0
[pid=5860] ppid=5858 vsize=2632 CPUtime=2.47 cores=0,2,4,6
/proc/5860/stat : 5860 (clasp-1.3.7-x86) R 5858 5860 5860 0 -1 4202496 667 0 0 0 247 0 0 0 25 0 1 0 850203487 2695168 403 33554432000 134512640 136139019 4290824880 18446744073709551615 134640605 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5860/statm: 658 403 186 398 0 258 0
[pid=5845/tid=5853] ppid=5843 vsize=304040 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 3 0 850198678 311336960 7308 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
[pid=5845/tid=5859] ppid=5843 vsize=304040 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5859/stat : 5859 (python) S 5843 5845 4987 0 -1 4202560 24 1321 0 0 0 0 0 0 20 0 3 0 850203487 311336960 7308 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.26
Current children cumulated vsize (KiB) 961228
[startup+102.32 s]
/proc/loadavg: 2.06 2.08 1.67 3/607 5866
/proc/meminfo: memFree=23868296/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=314188 CPUtime=0.49 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 12487 1321 1 0 40 9 0 0 20 0 4 0 850198624 321728512 7272 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 78547 7272 1876 364 0 13428 0
[pid=5852] ppid=5845 vsize=293404 CPUtime=0.3 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1210 0 0 0 18 12 0 0 16 0 2 0 850198678 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5852/statm: 73351 5764 413 364 0 8238 0
[pid=5854] ppid=5852 vsize=67356 CPUtime=48.04 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) T 5852 5854 5854 0 -1 4202496 18016 0 0 0 4637 167 0 0 18 0 1 0 850198679 68972544 14636 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5854/statm: 16839 14636 817 2317 0 14517 0
[pid=5852/tid=5857] ppid=5845 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/5852/task/5857/stat : 5857 (python) S 5845 5845 4987 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850203484 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604449310257216 0 0 -1 2 0 0 0
[pid=5858] ppid=5845 vsize=293796 CPUtime=0.21 cores=0,2,4,6
/proc/5858/stat : 5858 (python) S 5845 5845 4987 0 -1 4202560 1103 0 0 0 12 9 0 0 16 0 2 0 850203486 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5858/statm: 73449 5822 391 364 0 8333 0
[pid=5860] ppid=5858 vsize=3120 CPUtime=48.11 cores=0,2,4,6
/proc/5860/stat : 5860 (clasp-1.3.7-x86) T 5858 5860 5860 0 -1 4202496 790 0 0 0 4811 0 0 0 25 0 1 0 850203487 3194880 526 33554432000 134512640 136139019 4290824880 18446744073709551615 134876562 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/5860/statm: 780 526 189 398 0 380 0
[pid=5858/tid=5862] ppid=5845 vsize=293796 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5862/stat : 5862 (python) S 5845 5845 4987 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850208299 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450147742912 0 0 -1 6 0 0 0
[pid=5863] ppid=5845 vsize=303944 CPUtime=0.03 cores=0,2,4,6
/proc/5863/stat : 5863 (python) S 5845 5845 4987 0 -1 4202560 908 0 0 0 2 1 0 0 15 0 1 0 850208302 311238656 5736 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 3320190799924166656 0 0 17 0 0 0 0
################
# More data... #
################
[pid=5863/tid=5926] ppid=5845 vsize=303944 CPUtime=0 cores=0,2,4,6
/proc/5863/task/5926/stat : 5926 (python) S 5845 5845 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850213166 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604441467318656 0 0 -1 0 0 0 0
[pid=5927] ppid=5845 vsize=314584 CPUtime=0.03 cores=0,2,4,6
/proc/5927/stat : 5927 (python) S 5845 5845 4987 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 850213169 322134016 5836 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/5927/statm: 78646 5836 344 364 0 13524 0
[pid=5929] ppid=5927 vsize=31456 CPUtime=8.04 cores=0,2,4,6
/proc/5929/stat : 5929 (wbo1.4a) R 5927 5929 5929 0 -1 4202496 7706 0 0 0 798 6 0 0 25 0 1 0 850213169 32210944 7433 33554432000 134512640 135751879 4292814896 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5929/statm: 7864 7433 146 303 0 7559 0
[pid=5845/tid=5853] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850198678 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
[pid=5845/tid=5859] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5859/stat : 5859 (python) S 5843 5845 4987 0 -1 4202560 24 1321 0 0 0 0 0 0 20 0 5 0 850203487 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
[pid=5845/tid=5864] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5864/stat : 5864 (python) S 5843 5845 4987 0 -1 4202560 32 1321 0 0 0 0 0 0 20 0 5 0 850208302 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 6 0 0 0
[pid=5845/tid=5928] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5928/stat : 5928 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850213169 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 154.06
Current children cumulated vsize (KiB) 1686048
[startup+154.302 s]
/proc/loadavg: 2.09 2.09 1.69 3/596 5929
/proc/meminfo: memFree=23568452/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=324828 CPUtime=0.51 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 13351 1321 1 0 42 9 0 0 20 0 5 0 850198624 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5845/statm: 81207 7374 1878 364 0 16085 0
[pid=5852] ppid=5845 vsize=293404 CPUtime=0.3 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1210 0 0 0 18 12 0 0 16 0 2 0 850198678 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5852/statm: 73351 5764 413 364 0 8238 0
[pid=5854] ppid=5852 vsize=67356 CPUtime=48.04 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) T 5852 5854 5854 0 -1 4202496 18016 0 0 0 4637 167 0 0 18 0 1 0 850198679 68972544 14636 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5854/statm: 16839 14636 817 2317 0 14517 0
[pid=5852/tid=5857] ppid=5845 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/5852/task/5857/stat : 5857 (python) S 5845 5845 4987 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850203484 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604449310257216 0 0 -1 2 0 0 0
[pid=5858] ppid=5845 vsize=293796 CPUtime=0.21 cores=0,2,4,6
/proc/5858/stat : 5858 (python) S 5845 5845 4987 0 -1 4202560 1103 0 0 0 12 9 0 0 16 0 2 0 850203486 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5858/statm: 73449 5822 391 364 0 8333 0
[pid=5860] ppid=5858 vsize=3120 CPUtime=48.11 cores=0,2,4,6
/proc/5860/stat : 5860 (clasp-1.3.7-x86) T 5858 5860 5860 0 -1 4202496 790 0 0 0 4811 0 0 0 25 0 1 0 850203487 3194880 526 33554432000 134512640 136139019 4290824880 18446744073709551615 134876562 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/5860/statm: 780 526 189 398 0 380 0
[pid=5858/tid=5862] ppid=5845 vsize=293796 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5862/stat : 5862 (python) S 5845 5845 4987 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850208299 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450147742912 0 0 -1 6 0 0 0
[pid=5863] ppid=5845 vsize=303944 CPUtime=0.45 cores=0,2,4,6
/proc/5863/stat : 5863 (python) S 5845 5845 4987 0 -1 4202560 1124 0 0 0 30 15 0 0 16 0 2 0 850208302 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/5863/statm: 75986 5784 391 364 0 10867 0
[pid=5865] ppid=5863 vsize=53560 CPUtime=48.37 cores=0,2,4,6
/proc/5865/stat : 5865 (scip-2.0.1.linu) T 5863 5865 5865 0 -1 4202496 22681 0 0 0 4768 69 0 0 25 0 1 0 850208302 54845440 10726 33554432000 4194304 15243407 140736086173056 18446744073709551615 7423897 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/5865/statm: 13390 10726 939 2698 0 10685 0
[pid=5863/tid=5926] ppid=5845 vsize=303944 CPUtime=0 cores=0,2,4,6
/proc/5863/task/5926/stat : 5926 (python) S 5845 5845 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850213166 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604441467318656 0 0 -1 0 0 0 0
[pid=5927] ppid=5845 vsize=314584 CPUtime=0.03 cores=0,2,4,6
/proc/5927/stat : 5927 (python) S 5845 5845 4987 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 850213169 322134016 5836 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/5927/statm: 78646 5836 344 364 0 13524 0
[pid=5929] ppid=5927 vsize=33032 CPUtime=8.84 cores=0,2,4,6
/proc/5929/stat : 5929 (wbo1.4a) R 5927 5929 5929 0 -1 4202496 8089 0 0 0 878 6 0 0 25 0 1 0 850213169 33824768 7816 33554432000 134512640 135751879 4292814896 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5929/statm: 8258 7816 146 303 0 7953 0
[pid=5845/tid=5853] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850198678 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
[pid=5845/tid=5859] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5859/stat : 5859 (python) S 5843 5845 4987 0 -1 4202560 24 1321 0 0 0 0 0 0 20 0 5 0 850203487 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
[pid=5845/tid=5864] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5864/stat : 5864 (python) S 5843 5845 4987 0 -1 4202560 32 1321 0 0 0 0 0 0 20 0 5 0 850208302 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 6 0 0 0
[pid=5845/tid=5928] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5928/stat : 5928 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850213169 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 154.86
Current children cumulated vsize (KiB) 1687624
[startup+155.12 s]
/proc/loadavg: 2.09 2.09 1.69 3/596 5929
/proc/meminfo: memFree=23564236/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=324828 CPUtime=0.51 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 13351 1321 1 0 42 9 0 0 20 0 5 0 850198624 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5845/statm: 81207 7374 1878 364 0 16085 0
[pid=5852] ppid=5845 vsize=293404 CPUtime=0.3 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1210 0 0 0 18 12 0 0 16 0 2 0 850198678 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5852/statm: 73351 5764 413 364 0 8238 0
[pid=5854] ppid=5852 vsize=67356 CPUtime=48.04 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) T 5852 5854 5854 0 -1 4202496 18016 0 0 0 4637 167 0 0 18 0 1 0 850198679 68972544 14636 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5854/statm: 16839 14636 817 2317 0 14517 0
[pid=5852/tid=5857] ppid=5845 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/5852/task/5857/stat : 5857 (python) S 5845 5845 4987 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850203484 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604449310257216 0 0 -1 2 0 0 0
[pid=5858] ppid=5845 vsize=293796 CPUtime=0.21 cores=0,2,4,6
/proc/5858/stat : 5858 (python) S 5845 5845 4987 0 -1 4202560 1103 0 0 0 12 9 0 0 16 0 2 0 850203486 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5858/statm: 73449 5822 391 364 0 8333 0
[pid=5860] ppid=5858 vsize=3120 CPUtime=48.11 cores=0,2,4,6
/proc/5860/stat : 5860 (clasp-1.3.7-x86) T 5858 5860 5860 0 -1 4202496 790 0 0 0 4811 0 0 0 25 0 1 0 850203487 3194880 526 33554432000 134512640 136139019 4290824880 18446744073709551615 134876562 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/5860/statm: 780 526 189 398 0 380 0
[pid=5858/tid=5862] ppid=5845 vsize=293796 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5862/stat : 5862 (python) S 5845 5845 4987 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850208299 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450147742912 0 0 -1 6 0 0 0
[pid=5863] ppid=5845 vsize=303944 CPUtime=0.45 cores=0,2,4,6
/proc/5863/stat : 5863 (python) S 5845 5845 4987 0 -1 4202560 1124 0 0 0 30 15 0 0 16 0 2 0 850208302 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/5863/statm: 75986 5784 391 364 0 10867 0
[pid=5865] ppid=5863 vsize=53560 CPUtime=48.37 cores=0,2,4,6
/proc/5865/stat : 5865 (scip-2.0.1.linu) T 5863 5865 5865 0 -1 4202496 22681 0 0 0 4768 69 0 0 25 0 1 0 850208302 54845440 10726 33554432000 4194304 15243407 140736086173056 18446744073709551615 7423897 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/5865/statm: 13390 10726 939 2698 0 10685 0
[pid=5863/tid=5926] ppid=5845 vsize=303944 CPUtime=0 cores=0,2,4,6
/proc/5863/task/5926/stat : 5926 (python) S 5845 5845 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850213166 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604441467318656 0 0 -1 0 0 0 0
[pid=5927] ppid=5845 vsize=314584 CPUtime=0.03 cores=0,2,4,6
/proc/5927/stat : 5927 (python) S 5845 5845 4987 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 850213169 322134016 5836 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/5927/statm: 78646 5836 344 364 0 13524 0
[pid=5929] ppid=5927 vsize=34084 CPUtime=9.67 cores=0,2,4,6
/proc/5929/stat : 5929 (wbo1.4a) R 5927 5929 5929 0 -1 4202496 8338 0 0 0 960 7 0 0 25 0 1 0 850213169 34902016 8065 33554432000 134512640 135751879 4292814896 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5929/statm: 8521 8065 146 303 0 8216 0
[pid=5845/tid=5853] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850198678 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
[pid=5845/tid=5859] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5859/stat : 5859 (python) S 5843 5845 4987 0 -1 4202560 24 1321 0 0 0 0 0 0 20 0 5 0 850203487 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
[pid=5845/tid=5864] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5864/stat : 5864 (python) S 5843 5845 4987 0 -1 4202560 32 1321 0 0 0 0 0 0 20 0 5 0 850208302 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 6 0 0 0
[pid=5845/tid=5928] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5928/stat : 5928 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850213169 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 155.69
Current children cumulated vsize (KiB) 1688676
[startup+155.501 s]
/proc/loadavg: 2.09 2.09 1.69 3/596 5929
/proc/meminfo: memFree=23564236/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=324828 CPUtime=0.51 cores=0,2,4,6
/proc/5845/stat : 5845 (python) S 5843 5845 4987 0 -1 4202496 13351 1321 1 0 42 9 0 0 20 0 5 0 850198624 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5845/statm: 81207 7374 1878 364 0 16085 0
[pid=5852] ppid=5845 vsize=293404 CPUtime=0.3 cores=0,2,4,6
/proc/5852/stat : 5852 (python) S 5845 5845 4987 0 -1 4202560 1210 0 0 0 18 12 0 0 16 0 2 0 850198678 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5852/statm: 73351 5764 413 364 0 8238 0
[pid=5854] ppid=5852 vsize=67356 CPUtime=48.04 cores=0,2,4,6
/proc/5854/stat : 5854 (scip-2.0.1.linu) T 5852 5854 5854 0 -1 4202496 18016 0 0 0 4637 167 0 0 18 0 1 0 850198679 68972544 14636 33554432000 4194304 13684479 140733236360320 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5854/statm: 16839 14636 817 2317 0 14517 0
[pid=5852/tid=5857] ppid=5845 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/5852/task/5857/stat : 5857 (python) S 5845 5845 4987 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850203484 300445696 5764 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604449310257216 0 0 -1 2 0 0 0
[pid=5858] ppid=5845 vsize=293796 CPUtime=0.21 cores=0,2,4,6
/proc/5858/stat : 5858 (python) S 5845 5845 4987 0 -1 4202560 1103 0 0 0 12 9 0 0 16 0 2 0 850203486 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5858/statm: 73449 5822 391 364 0 8333 0
[pid=5860] ppid=5858 vsize=3120 CPUtime=48.11 cores=0,2,4,6
/proc/5860/stat : 5860 (clasp-1.3.7-x86) T 5858 5860 5860 0 -1 4202496 790 0 0 0 4811 0 0 0 25 0 1 0 850203487 3194880 526 33554432000 134512640 136139019 4290824880 18446744073709551615 134876562 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/5860/statm: 780 526 189 398 0 380 0
[pid=5858/tid=5862] ppid=5845 vsize=293796 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5862/stat : 5862 (python) S 5845 5845 4987 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850208299 300847104 5822 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450147742912 0 0 -1 6 0 0 0
[pid=5863] ppid=5845 vsize=303944 CPUtime=0.45 cores=0,2,4,6
/proc/5863/stat : 5863 (python) S 5845 5845 4987 0 -1 4202560 1124 0 0 0 30 15 0 0 16 0 2 0 850208302 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/5863/statm: 75986 5784 391 364 0 10867 0
[pid=5865] ppid=5863 vsize=53560 CPUtime=48.37 cores=0,2,4,6
/proc/5865/stat : 5865 (scip-2.0.1.linu) T 5863 5865 5865 0 -1 4202496 22681 0 0 0 4768 69 0 0 25 0 1 0 850208302 54845440 10726 33554432000 4194304 15243407 140736086173056 18446744073709551615 7423897 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/5865/statm: 13390 10726 939 2698 0 10685 0
[pid=5863/tid=5926] ppid=5845 vsize=303944 CPUtime=0 cores=0,2,4,6
/proc/5863/task/5926/stat : 5926 (python) S 5845 5845 4987 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850213166 311238656 5784 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554946 18446604441467318656 0 0 -1 0 0 0 0
[pid=5927] ppid=5845 vsize=314584 CPUtime=0.03 cores=0,2,4,6
/proc/5927/stat : 5927 (python) S 5845 5845 4987 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 850213169 322134016 5836 33554432000 4194304 5683644 140736974991632 18446744073709551615 255106788934 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/5927/statm: 78646 5836 344 364 0 13524 0
[pid=5929] ppid=5927 vsize=34500 CPUtime=10.05 cores=0,2,4,6
/proc/5929/stat : 5929 (wbo1.4a) R 5927 5929 5929 0 -1 4202496 8451 0 0 0 998 7 0 0 25 0 1 0 850213169 35328000 8178 33554432000 134512640 135751879 4292814896 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5929/statm: 8625 8178 146 303 0 8320 0
[pid=5845/tid=5853] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5853/stat : 5853 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850198678 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 2 0 0 0
[pid=5845/tid=5859] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5859/stat : 5859 (python) S 5843 5845 4987 0 -1 4202560 24 1321 0 0 0 0 0 0 20 0 5 0 850203487 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
[pid=5845/tid=5864] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5864/stat : 5864 (python) S 5843 5845 4987 0 -1 4202560 32 1321 0 0 0 0 0 0 20 0 5 0 850208302 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 6 0 0 0
[pid=5845/tid=5928] ppid=5843 vsize=324828 CPUtime=0 cores=0,2,4,6
/proc/5845/task/5928/stat : 5928 (python) S 5843 5845 4987 0 -1 4202560 30 1321 0 0 0 0 0 0 20 0 5 0 850213169 332623872 7374 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 33554434 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.07
Current children cumulated vsize (KiB) 1689092
[startup+155.601 s]
/proc/loadavg: 2.09 2.09 1.69 3/596 5929
/proc/meminfo: memFree=23564236/32951124 swapFree=56717704/67111528
[pid=5845] ppid=5843 vsize=324772 CPUtime=156.26 cores=0,2,4,6
/proc/5845/stat : 5845 (python) R 5843 5845 4987 0 -1 4202496 17527 56101 1 0 44 9 15286 287 17 0 2 0 850198624 332566528 7368 33554432000 4194304 5683644 140736974991632 18446744073709551615 4510396 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/5845/statm: 81193 7368 1872 364 0 16085 0
[pid=5845/tid=5864] ppid=5843 vsize=324772 CPUtime=155.73 cores=0,2,4,6
/proc/5845/task/5864/stat : 5864 (python) S 5843 5845 4987 0 -1 4202560 34 56101 0 0 0 0 15286 287 18 0 2 0 850208302 332566528 7368 33554432000 4194304 5683644 140736974991632 18446744073709551615 255118592433 0 0 16781312 0 18446604451105630976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.26
Current children cumulated vsize (KiB) 324772
Child status: 0
Real time (s): 155.606
CPU time (s): 156.285
CPU user time (s): 153.317
CPU system time (s): 2.96855
CPU usage (%): 100.437
Max. virtual memory (cumulated for all children) (KiB): 1689092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.317
system time used= 2.96855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73923
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= 8260
involuntary context switches= 6238
runsolver used 0.823874 second user time and 1.83772 second system time
The end