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-3482422-1307577966/watcher-3482422-1307577966 -o /tmp/evaluation-result-3482422-1307577966/solver-3482422-1307577966 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482422-1307577966.opb -seed 89700951 -budget 1800
running on 4 cores: 1,3,5,7
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.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 1052 0 0 0 1 0 0 0 17 0 1 0 948027319 16637952 923 33554432000 4194304 5683644 140736972446000 18446744073709551615 4960281 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32672/statm: 4062 923 381 364 0 549 0
[startup+0.0229579 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 1118 0 0 0 1 0 0 0 17 0 1 0 948027319 16793600 985 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367544832 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32672/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100946 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 948027319 98435072 2483 33554432000 4194304 5683644 140736972446000 18446744073709551615 5177571 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32672/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300912 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=184248 CPUtime=0.22 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 6329 928 1 0 17 5 0 0 17 0 1 0 948027319 188669952 4633 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367544832 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/32672/statm: 46062 4633 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.700834 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295152
[startup+1.61274 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295152
[startup+3.10046 s]
/proc/loadavg: 2.13 2.06 1.72 3/568 32681
/proc/meminfo: memFree=22345132/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 695 0 0 0 0 0 0 0 18 0 1 0 948027388 291745792 6061 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 6959012746658545924 0 0 17 7 0 0 0
/proc/32679/statm: 71227 6061 319 364 0 6114 0
[pid=32681] ppid=32679 vsize=4620 CPUtime=2.4 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1174 0 0 0 240 0 0 0 25 0 1 0 948027389 4730880 892 33554432000 134512640 136139019 4292123792 18446744073709551615 134877008 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1155 892 183 398 0 755 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 584680
[startup+6.31887 s]
/proc/loadavg: 2.12 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22344336/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.01 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 855 0 0 0 1 0 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 6959012746658545924 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=5016 CPUtime=5.61 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1291 0 0 0 561 0 0 0 25 0 1 0 948027389 5136384 1009 33554432000 134512640 136139019 4292123792 18446744073709551615 134640592 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1254 1009 183 398 0 854 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 585076
[startup+12.7007 s]
/proc/loadavg: 2.11 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22343020/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.04 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 860 0 0 0 2 2 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 5623311482772007628 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=5940 CPUtime=12 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1526 0 0 0 1200 0 0 0 25 0 1 0 948027389 6082560 1244 33554432000 134512640 136139019 4292123792 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1485 1244 183 398 0 1085 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 586000
[startup+25.5003 s]
/proc/loadavg: 2.08 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22343056/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.09 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 869 0 0 0 4 5 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 5623311482772007628 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=6864 CPUtime=24.8 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1744 0 0 0 2480 0 0 0 25 0 1 0 948027389 7028736 1462 33554432000 134512640 136139019 4292123792 18446744073709551615 134876993 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1716 1462 183 398 0 1316 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 586924
[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 1.74 3/572 32686
/proc/meminfo: memFree=22301052/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=305912 CPUtime=0.61 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 12096 1347 1 0 48 10 3 0 19 0 3 0 948027319 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 76478 7750 1874 364 0 11362 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=0.2 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1153 0 0 0 10 10 0 0 19 0 2 0 948027388 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/32679/statm: 73788 6158 411 364 0 8675 0
[pid=32681] ppid=32679 vsize=7640 CPUtime=48.19 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 1925 0 0 0 4819 0 0 0 25 0 1 0 948027389 7823360 1643 33554432000 134512640 136139019 4292123792 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 1910 1643 183 398 0 1510 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948032208 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=295668 CPUtime=0 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 948032211 302764032 6192 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 1092786877221568512 0 0 17 1 0 0 0
/proc/32684/statm: 73917 6192 320 364 0 8801 0
[pid=32686] ppid=32684 vsize=48944 CPUtime=2.17 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) R 32684 32686 32686 0 -1 4202496 10802 0 0 0 199 18 0 0 20 0 1 0 948032211 50118656 9996 33554432000 4194304 13684479 140736697614864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32686/statm: 12236 9996 766 2317 0 9914 0
[pid=32672/tid=32680] ppid=32670 vsize=305912 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 3 0 948027389 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=305912 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 3 0 948032211 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 953316
[startup+102.301 s]
/proc/loadavg: 2.15 2.08 1.76 3/576 32691
/proc/meminfo: memFree=22190312/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=316168 CPUtime=0.64 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 13045 1347 1 0 51 10 3 0 20 0 4 0 948027319 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32672/statm: 79042 7756 1876 364 0 13923 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=0.2 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1153 0 0 0 10 10 0 0 19 0 2 0 948027388 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/32679/statm: 73788 6158 411 364 0 8675 0
[pid=32681] ppid=32679 vsize=7640 CPUtime=48.19 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 1925 0 0 0 4819 0 0 0 25 0 1 0 948027389 7823360 1643 33554432000 134512640 136139019 4292123792 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 1910 1643 183 398 0 1510 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948032208 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=361204 CPUtime=0.22 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 1128 0 0 0 9 13 0 0 17 0 2 0 948032211 369872896 6265 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 90301 6265 391 364 0 25185 0
[pid=32686] ppid=32684 vsize=86772 CPUtime=49.3 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) T 32684 32686 32686 0 -1 4202496 24701 0 0 0 4815 115 0 0 19 0 1 0 948032211 88854528 19365 33554432000 4194304 13684479 140736697614864 18446744073709551615 4752953 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32686/statm: 21693 19365 844 2317 0 19371 0
[pid=32684/tid=32688] ppid=32672 vsize=361204 CPUtime=0 cores=1,3,5,7
/proc/32684/task/32688/stat : 32688 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948037142 369872896 6265 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604458784791488 0 0 -1 3 0 0 0
[pid=32689] ppid=32672 vsize=305924 CPUtime=0.02 cores=1,3,5,7
/proc/32689/stat : 32689 (python) S 32672 32672 31489 0 -1 4202560 913 0 0 0 1 1 0 0 15 0 1 0 948037145 313266176 6220 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 15567438375458668806 0 0 17 7 0 0 0
/proc/32689/statm: 76481 6220 344 364 0 11362 0
[pid=32691] ppid=32689 vsize=77848 CPUtime=4.03 cores=1,3,5,7
/proc/32691/stat : 32691 (scip-2.0.1.linu) R 32689 32691 32691 0 -1 4202496 24077 0 0 0 382 21 0 0 25 0 1 0 948037145 79716352 16434 33554432000 4194304 15243407 140737117961344 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32691/statm: 19462 16434 944 2698 0 16757 0
[pid=32672/tid=32680] ppid=32670 vsize=316168 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 4 0 948027389 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=316168 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 4 0 948032211 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/392/statm: 86737 6284 391 364 0 21606 0
[pid=394] ppid=392 vsize=87940 CPUtime=48.92 cores=1,3,5,7
/proc/394/stat : 394 (bsolo_pb10) T 392 394 394 0 -1 4202496 19961 0 0 0 4882 10 0 0 25 0 1 0 948126348 90050560 19559 33554432000 134512640 137138936 4287913904 18446744073709551615 134542764 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/394/statm: 21985 19559 192 642 0 21341 0
[pid=392/tid=396] ppid=32672 vsize=346948 CPUtime=0 cores=1,3,5,7
/proc/392/task/396/stat : 396 (python) S 32672 32672 31489 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948131247 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468805647232 0 0 -1 3 0 0 0
[pid=397] ppid=32672 vsize=357204 CPUtime=0.41 cores=1,3,5,7
/proc/397/stat : 397 (python) S 32672 32672 31489 0 -1 4202560 1243 0 0 0 17 24 0 0 17 0 2 0 948131249 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/397/statm: 89301 6294 397 364 0 24167 0
[pid=399] ppid=397 vsize=122836 CPUtime=94.19 cores=1,3,5,7
/proc/399/stat : 399 (bsolo_pb10) T 397 399 399 0 -1 4202496 28665 0 0 0 9402 17 0 0 25 0 1 0 948131249 125784064 28270 33554432000 134512640 137138936 4289938016 18446744073709551615 134542214 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/399/statm: 30709 28270 190 642 0 30065 0
[pid=397/tid=403] ppid=32672 vsize=357204 CPUtime=0 cores=1,3,5,7
/proc/397/task/403/stat : 403 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948140669 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604466272518208 0 0 -1 7 0 0 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=1 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1216 0 0 0 50 50 0 0 18 0 2 0 948027388 302235648 6159 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32679/statm: 73788 6159 412 364 0 8675 0
[pid=32681] ppid=32679 vsize=9864 CPUtime=228.99 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 2515 0 0 0 22899 0 0 0 25 0 1 0 948027389 10100736 2216 33554432000 134512640 136139019 4292123792 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 2466 2216 183 398 0 2066 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 948032208 302235648 6159 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=361204 CPUtime=4.48 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 1303 0 0 0 201 247 0 0 15 0 2 0 948032211 369872896 6273 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 90301 6273 392 364 0 25185 0
[pid=32686] ppid=32684 vsize=94092 CPUtime=888.74 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) R 32684 32686 32686 0 -1 4202496 26985 0 0 0 85596 3278 0 0 25 0 1 0 948032211 96350208 21649 33554432000 4194304 13684479 140736697614864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32686/statm: 23523 21649 1023 2317 0 21201 0
[pid=32684/tid=32688] ppid=32672 vsize=361204 CPUtime=0 cores=1,3,5,7
/proc/32684/task/32688/stat : 32688 (python) S 32672 32672 31489 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 948037142 369872896 6273 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604458784791488 0 0 -1 3 0 0 0
[pid=32689] ppid=32672 vsize=305924 CPUtime=0.46 cores=1,3,5,7
/proc/32689/stat : 32689 (python) S 32672 32672 31489 0 -1 4202560 1152 0 0 0 21 25 0 0 16 0 2 0 948037145 313266176 6268 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32689/statm: 76481 6268 391 364 0 11362 0
[pid=32691] ppid=32689 vsize=77460 CPUtime=95.56 cores=1,3,5,7
/proc/32691/stat : 32691 (scip-2.0.1.linu) T 32689 32691 32691 0 -1 4202496 28542 0 0 0 9489 67 0 0 25 0 1 0 948037145 79319040 16739 33554432000 4194304 15243407 140737117961344 18446744073709551615 7128780 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32691/statm: 19365 16739 968 2698 0 16660 0
[pid=32689/tid=32693] ppid=32672 vsize=305924 CPUtime=0 cores=1,3,5,7
/proc/32689/task/32693/stat : 32693 (python) S 32672 32672 31489 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 948042134 313266176 6268 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464688727040 0 0 -1 7 0 0 0
[pid=32696] ppid=32672 vsize=316180 CPUtime=0.2 cores=1,3,5,7
/proc/32696/stat : 32696 (python) S 32672 32672 31489 0 -1 4202560 1119 0 0 0 10 10 0 0 16 0 2 0 948046799 323768320 6272 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32696/statm: 79045 6272 391 364 0 13923 0
[pid=32698] ppid=32696 vsize=74840 CPUtime=48.34 cores=1,3,5,7
/proc/32698/stat : 32698 (minion) T 32696 32698 32698 0 -1 4202496 12005 0 0 0 4834 0 0 0 25 0 1 0 948046800 76636160 11451 33554432000 134512640 165565024 4291984208 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/32698/statm: 18710 11451 359 7582 0 11125 0
[pid=32696/tid=32700] ppid=32672 vsize=316180 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32700/stat : 32700 (python) S 32672 32672 31489 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948051635 323768320 6272 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604463873714048 0 0 -1 7 0 0 0
[pid=32702] ppid=32672 vsize=326436 CPUtime=0.21 cores=1,3,5,7
/proc/32702/stat : 32702 (python) S 32672 32672 31489 0 -1 4202560 1161 0 0 0 9 12 0 0 19 0 2 0 948056208 334270464 6276 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32702/statm: 81609 6276 391 364 0 16484 0
[pid=32704] ppid=32702 vsize=114556 CPUtime=48.23 cores=1,3,5,7
/proc/32704/stat : 32704 (pbct-0.1.2-linu) T 32702 32704 32704 0 -1 4202496 29227 0 0 0 4718 105 0 0 25 0 1 0 948056209 117305344 27367 33554432000 134512640 136422188 4289404528 18446744073709551615 135686756 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/32704/statm: 28639 27367 214 467 0 28170 0
[pid=32702/tid=32706] ppid=32672 vsize=326436 CPUtime=0 cores=1,3,5,7
/proc/32702/task/32706/stat : 32706 (python) S 32672 32672 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 948061033 334270464 6276 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464432384768 0 0 -1 7 0 0 0
[pid=32716] ppid=32672 vsize=336692 CPUtime=0.22 cores=1,3,5,7
/proc/32716/stat : 32716 (python) S 32672 32672 31489 0 -1 4202560 1193 0 0 0 10 12 0 0 16 0 2 0 948079300 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32716/statm: 84173 6280 391 364 0 19045 0
[pid=32718] ppid=32716 vsize=8546296 CPUtime=50.55 cores=1,3,5,7
/proc/32718/stat : 32718 (java) T 32716 32718 32718 0 -1 4202496 290473 0 1 0 5022 33 0 0 18 0 19 0 948079301 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32718/statm: 2136574 259975 2249 9 0 2127315 0
[pid=32718/tid=32719] ppid=32716 vsize=8546296 CPUtime=48.32 cores=1,3,5,7
/proc/32718/task/32719/stat : 32719 (java) T 32716 32718 32718 0 -1 4202560 247206 0 1 0 4806 26 0 0 25 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 46912505828259 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32720] ppid=32716 vsize=8546296 CPUtime=0.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (java) T 32716 32718 32718 0 -1 4202560 4333 0 0 0 5 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=8546296 CPUtime=0.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (java) T 32716 32718 32718 0 -1 4202560 4684 0 0 0 6 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=8546296 CPUtime=0.06 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (java) T 32716 32718 32718 0 -1 4202560 3897 0 0 0 6 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32723] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32723/stat : 32723 (java) T 32716 32718 32718 0 -1 4202560 3095 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32724] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32724/stat : 32724 (java) T 32716 32718 32718 0 -1 4202560 1619 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32725] ppid=32716 vsize=8546296 CPUtime=0.04 cores=1,3,5,7
/proc/32718/task/32725/stat : 32725 (java) T 32716 32718 32718 0 -1 4202560 3815 0 0 0 4 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32726] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32726/stat : 32726 (java) T 32716 32718 32718 0 -1 4202560 1911 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32727] ppid=32716 vsize=8546296 CPUtime=0.04 cores=1,3,5,7
/proc/32718/task/32727/stat : 32727 (java) T 32716 32718 32718 0 -1 4202560 3244 0 0 0 4 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32728] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32728/stat : 32728 (java) T 32716 32718 32718 0 -1 4202560 446 0 0 0 0 0 0 0 15 0 19 0 948079303 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32729] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32729/stat : 32729 (java) T 32716 32718 32718 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 948079304 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32730] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32730/stat : 32730 (java) T 32716 32718 32718 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948079304 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32731] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32731/stat : 32731 (java) T 32716 32718 32718 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379370417 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32732] ppid=32716 vsize=8546296 CPUtime=0.81 cores=1,3,5,7
/proc/32718/task/32732/stat : 32732 (java) T 32716 32718 32718 0 -1 4202560 8248 0 0 0 80 1 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32733] ppid=32716 vsize=8546296 CPUtime=0.95 cores=1,3,5,7
/proc/32718/task/32733/stat : 32733 (java) T 32716 32718 32718 0 -1 4202560 6567 0 0 0 95 0 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32734] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32734/stat : 32734 (java) T 32716 32718 32718 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32735] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32735/stat : 32735 (java) T 32716 32718 32718 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32736] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32736/stat : 32736 (java) T 32716 32718 32718 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948079342 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32716/tid=32742] ppid=32672 vsize=336692 CPUtime=0 cores=1,3,5,7
/proc/32716/task/32742/stat : 32742 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948084163 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604457485887680 0 0 -1 5 0 0 0
[pid=32672/tid=32680] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 35 1347 0 0 0 0 3 0 18 0 9 0 948027389 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 43 1347 0 0 0 0 3 0 18 0 9 0 948032211 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
[pid=32672/tid=32690] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32690/stat : 32690 (python) S 32670 32672 31489 0 -1 4202560 35 1347 0 0 0 0 3 0 18 0 9 0 948037145 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32697] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32697/stat : 32697 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 9 0 948046799 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32703] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32703/stat : 32703 (python) S 32670 32672 31489 0 -1 4202560 29 1347 0 0 0 0 3 0 20 0 9 0 948056209 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32717] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32717/stat : 32717 (python) S 32670 32672 31489 0 -1 4202560 30 1347 0 0 0 0 3 0 20 0 9 0 948079301 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=393] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/393/stat : 393 (python) S 32670 32672 31489 0 -1 4202560 31 1347 0 0 0 0 3 0 20 0 9 0 948126348 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=398] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/398/stat : 398 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 20 0 9 0 948131249 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1511.98
Current children cumulated vsize (KiB) 12141072
[startup+1503.5 s]
/proc/loadavg: 1.10 1.23 1.53 2/594 413
/proc/meminfo: memFree=16729656/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=367448 CPUtime=424.39 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 18879 78371 1 0 112 12 42038 277 17 0 9 0 948027319 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379376959 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32672/statm: 91862 7786 1886 364 0 26728 0
[pid=392] ppid=32672 vsize=346948 CPUtime=0.21 cores=1,3,5,7
/proc/392/stat : 392 (python) S 32672 32672 31489 0 -1 4202560 1164 0 0 0 8 13 0 0 16 0 2 0 948126348 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/392/statm: 86737 6284 391 364 0 21606 0
[pid=394] ppid=392 vsize=87940 CPUtime=48.92 cores=1,3,5,7
/proc/394/stat : 394 (bsolo_pb10) T 392 394 394 0 -1 4202496 19961 0 0 0 4882 10 0 0 25 0 1 0 948126348 90050560 19559 33554432000 134512640 137138936 4287913904 18446744073709551615 134542764 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/394/statm: 21985 19559 192 642 0 21341 0
[pid=392/tid=396] ppid=32672 vsize=346948 CPUtime=0 cores=1,3,5,7
/proc/392/task/396/stat : 396 (python) S 32672 32672 31489 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948131247 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468805647232 0 0 -1 3 0 0 0
[pid=397] ppid=32672 vsize=357204 CPUtime=0.41 cores=1,3,5,7
/proc/397/stat : 397 (python) S 32672 32672 31489 0 -1 4202560 1243 0 0 0 17 24 0 0 17 0 2 0 948131249 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/397/statm: 89301 6294 397 364 0 24167 0
[pid=399] ppid=397 vsize=122836 CPUtime=94.19 cores=1,3,5,7
/proc/399/stat : 399 (bsolo_pb10) T 397 399 399 0 -1 4202496 28665 0 0 0 9402 17 0 0 25 0 1 0 948131249 125784064 28270 33554432000 134512640 137138936 4289938016 18446744073709551615 134542214 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/399/statm: 30709 28270 190 642 0 30065 0
[pid=397/tid=403] ppid=32672 vsize=357204 CPUtime=0 cores=1,3,5,7
/proc/397/task/403/stat : 403 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948140669 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604466272518208 0 0 -1 7 0 0 0
[pid=32684] ppid=32672 vsize=0 CPUtime=893.59 cores=1,3,5,7
/proc/32684/stat : 32684 (python) Z 32672 32672 31489 0 -1 4202588 1669 26989 0 0 202 247 85630 3280 15 0 1 0 948032211 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 0 0 0 0 0 0 0
[pid=32716] ppid=32672 vsize=336692 CPUtime=0.22 cores=1,3,5,7
/proc/32716/stat : 32716 (python) S 32672 32672 31489 0 -1 4202560 1197 0 0 0 10 12 0 0 16 0 2 0 948079300 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379376959 0 0 16781824 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32716/statm: 84173 6280 391 364 0 19045 0
[pid=32718] ppid=32716 vsize=0 CPUtime=50.56 cores=1,3,5,7
/proc/32718/stat : 32718 (java) Z 32716 32718 32718 0 -1 4203548 290473 0 1 0 5022 34 0 0 18 0 2 0 948079301 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32718/statm: 0 0 0 0 0 0 0
[pid=32718/tid=32734] ppid=32716 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32734/stat : 32734 (java) R 32716 32718 32718 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 948079306 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
[pid=32716/tid=32742] ppid=32672 vsize=336692 CPUtime=0 cores=1,3,5,7
/proc/32716/task/32742/stat : 32742 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948084163 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781824 33554434 18446604457485887680 0 0 -1 5 0 0 0
[pid=32672/tid=32680] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 35 78371 0 0 0 0 42038 277 18 0 9 0 948027389 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 43 78371 0 0 0 0 42038 277 18 0 9 0 948032211 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
[pid=32672/tid=32690] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32690/stat : 32690 (python) S 32670 32672 31489 0 -1 4202560 35 78371 0 0 0 0 42038 277 18 0 9 0 948037145 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32697] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32697/stat : 32697 (python) S 32670 32672 31489 0 -1 4202560 27 78371 0 0 0 0 42038 277 20 0 9 0 948046799 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32703] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32703/stat : 32703 (python) S 32670 32672 31489 0 -1 4202560 29 78371 0 0 0 0 42038 277 20 0 9 0 948056209 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32717] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32717/stat : 32717 (python) S 32670 32672 31489 0 -1 4202560 30 78371 0 0 0 0 42038 277 20 0 9 0 948079301 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=393] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/393/stat : 393 (python) S 32670 32672 31489 0 -1 4202560 31 78371 0 0 0 0 42038 277 20 0 9 0 948126348 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=398] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/398/stat : 398 (python) S 32670 32672 31489 0 -1 4202560 25 78371 0 0 0 0 42038 277 20 0 9 0 948131249 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1512.49
Current children cumulated vsize (KiB) 1619068
Child status: 0
Real time (s): 1503.56
CPU time (s): 1512.64
CPU user time (s): 1473.31
CPU system time (s): 39.334
CPU usage (%): 100.604
Max. virtual memory (cumulated for all children) (KiB): 12141072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.31
system time used= 39.334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472803
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8038
involuntary context switches= 3490
runsolver used 10.0435 second user time and 25.7281 second system time
The end