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-3482803-1307578240/watcher-3482803-1307578240 -o /tmp/evaluation-result-3482803-1307578240/solver-3482803-1307578240 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482803-1307578240.opb -seed 197850423 -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.92 2.29 2.00 2/569 17359
/proc/meminfo: memFree=26030908/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202496 1041 0 0 0 0 0 0 0 21 0 1 0 869423685 16629760 912 33554432000 4194304 5683644 140733903741552 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17359/statm: 4060 912 380 364 0 547 0
[startup+0.0699149 s]
/proc/loadavg: 2.92 2.29 2.00 2/569 17359
/proc/meminfo: memFree=26030908/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=50012 CPUtime=0.04 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 1976 0 0 0 4 0 0 0 17 0 1 0 869423685 51212288 1737 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 5 0 0 0
/proc/17359/statm: 12503 1737 480 364 0 1203 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50012
[startup+0.100907 s]
/proc/loadavg: 2.92 2.29 2.00 2/569 17359
/proc/meminfo: memFree=26030908/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 869423685 98435072 2484 33554432000 4194304 5683644 140733903741552 18446744073709551615 5170297 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17359/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300876 s]
/proc/loadavg: 2.92 2.29 2.00 2/569 17359
/proc/meminfo: memFree=26030908/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=171340 CPUtime=0.21 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 6212 928 1 0 16 5 0 0 17 0 1 0 869423685 175452160 4524 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 5 0 0 0
/proc/17359/statm: 42835 4524 1226 364 0 3534 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 171340
[startup+0.700807 s]
/proc/loadavg: 2.92 2.29 2.00 2/569 17359
/proc/meminfo: memFree=26030908/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=292848 CPUtime=0.56 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202496 11652 928 1 0 48 8 0 0 17 0 1 0 869423685 299876352 9514 33554432000 4194304 5683644 140733903741552 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17359/statm: 73212 9515 1781 364 0 8105 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 292848
[startup+1.50067 s]
/proc/loadavg: 2.92 2.29 2.00 3/570 17364
/proc/meminfo: memFree=25985020/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=305288 CPUtime=1.37 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202496 18565 928 1 0 127 10 0 0 18 0 1 0 869423685 312614912 12670 33554432000 4194304 5683644 140733903741552 18446744073709551615 4532110 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/17359/statm: 76322 12670 1816 364 0 11215 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 305288
[startup+10.7271 s]
/proc/loadavg: 2.92 2.29 2.00 3/570 17364
/proc/meminfo: memFree=25985020/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=317276 CPUtime=1.97 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 19288 928 1 0 187 10 0 0 20 0 2 0 869423685 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 79319 13160 1872 364 0 14206 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 317276
heavy processes:
[startup+10.8201 s]
/proc/loadavg: 3.18 2.37 2.02 3/573 17367
/proc/meminfo: memFree=25966260/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=317276 CPUtime=1.97 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 19288 928 1 0 187 10 0 0 20 0 2 0 869423685 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 79319 13160 1872 364 0 14206 0
[pid=17365] ppid=17359 vsize=307032 CPUtime=0.03 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 911 0 0 0 1 2 0 0 18 0 1 0 869423895 314400768 11659 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166479 0 0 16781312 33554946 5623458817330129670 0 0 17 3 0 0 0
/proc/17365/statm: 76758 11659 375 364 0 11645 0
[pid=17367] ppid=17365 vsize=13368 CPUtime=8.69 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) R 17365 17367 17367 0 -1 4202496 4026 0 0 0 869 0 0 0 25 0 1 0 869423895 13688832 3064 33554432000 134512640 136139019 4287878832 18446744073709551615 134608547 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/17367/statm: 3342 3064 184 398 0 2942 0
[pid=17359/tid=17366] ppid=17357 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869423895 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 637676
[startup+12.7008 s]
/proc/loadavg: 3.32 2.41 2.04 3/573 17367
/proc/meminfo: memFree=25965940/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=317276 CPUtime=1.97 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 19288 928 1 0 187 10 0 0 20 0 2 0 869423685 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 79319 13160 1872 364 0 14206 0
[pid=17365] ppid=17359 vsize=307032 CPUtime=0.03 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 911 0 0 0 1 2 0 0 18 0 1 0 869423895 314400768 11659 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166479 0 0 16781312 33554946 5623458817330129670 0 0 17 3 0 0 0
/proc/17365/statm: 76758 11659 375 364 0 11645 0
[pid=17367] ppid=17365 vsize=14028 CPUtime=10.57 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) R 17365 17367 17367 0 -1 4202496 4197 0 0 0 1057 0 0 0 25 0 1 0 869423895 14364672 3235 33554432000 134512640 136139019 4287878832 18446744073709551615 134832213 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/17367/statm: 3507 3235 184 398 0 3107 0
[pid=17359/tid=17366] ppid=17357 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869423895 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 638336
[startup+25.5006 s]
/proc/loadavg: 3.50 2.48 2.06 3/573 17369
/proc/meminfo: memFree=25965028/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=317276 CPUtime=1.97 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 19288 928 1 0 187 10 0 0 20 0 2 0 869423685 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 79319 13160 1872 364 0 14206 0
[pid=17365] ppid=17359 vsize=307032 CPUtime=0.1 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 917 0 0 0 5 5 0 0 18 0 1 0 869423895 314400768 11659 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166479 0 0 16781312 33554946 5623458817330129670 0 0 17 3 0 0 0
/proc/17365/statm: 76758 11659 375 364 0 11645 0
[pid=17367] ppid=17365 vsize=15748 CPUtime=23.37 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) R 17365 17367 17367 0 -1 4202496 4624 0 0 0 2337 0 0 0 25 0 1 0 869423895 16125952 3662 33554432000 134512640 136139019 4287878832 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/17367/statm: 3937 3662 184 398 0 3537 0
[pid=17359/tid=17366] ppid=17357 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869423895 324890624 13160 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 640056
[startup+51.1003 s]
/proc/loadavg: 3.55 2.58 2.11 3/574 17370
/proc/meminfo: memFree=25962648/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=317280 CPUtime=2.76 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202496 19937 928 1 0 266 10 0 0 18 0 2 0 869423685 324894720 13162 33554432000 4194304 5683644 140733903741552 18446744073709551615 4567036 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 79320 13162 1873 364 0 14207 0
[pid=17365] ppid=17359 vsize=317276 CPUtime=0.2 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 1148 0 0 0 9 11 0 0 19 0 2 0 869423895 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17365/statm: 79319 11700 411 364 0 14206 0
[pid=17367] ppid=17365 vsize=18816 CPUtime=48.15 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) T 17365 17367 17367 0 -1 4202496 5406 0 0 0 4814 1 0 0 25 0 1 0 869423895 19267584 4444 33554432000 134512640 136139019 4287878832 18446744073709551615 134883504 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/17367/statm: 4704 4444 184 398 0 4304 0
[pid=17365/tid=17370] ppid=17359 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17370/stat : 17370 (python) S 17359 17359 16517 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869428715 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470837082304 0 0 -1 3 0 0 0
[pid=17359/tid=17366] ppid=17357 vsize=317280 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869423895 324894720 13162 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 653372
[startup+102.301 s]
/proc/loadavg: 2.76 2.52 2.11 3/580 17378
/proc/meminfo: memFree=25774560/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=327532 CPUtime=7.01 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 20277 928 1 0 689 12 0 0 25 0 3 0 869423685 335392768 13167 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 81883 13167 1875 364 0 16767 0
[pid=17365] ppid=17359 vsize=317276 CPUtime=0.2 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 1148 0 0 0 9 11 0 0 19 0 2 0 869423895 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17365/statm: 79319 11700 411 364 0 14206 0
[pid=17367] ppid=17365 vsize=18816 CPUtime=48.15 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) T 17365 17367 17367 0 -1 4202496 5406 0 0 0 4814 1 0 0 25 0 1 0 869423895 19267584 4444 33554432000 134512640 136139019 4287878832 18446744073709551615 134883504 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/17367/statm: 4704 4444 184 398 0 4304 0
[pid=17365/tid=17370] ppid=17359 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17370/stat : 17370 (python) S 17359 17359 16517 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869428715 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470837082304 0 0 -1 3 0 0 0
[pid=17371] ppid=17359 vsize=317288 CPUtime=0.19 cores=1,3,5,7
/proc/17371/stat : 17371 (python) S 17359 17359 16517 0 -1 4202560 957 0 0 0 9 10 0 0 15 0 1 0 869429220 324902912 11660 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166534 0 0 16781312 33554946 5623753486446373638 0 0 17 7 0 0 0
/proc/17371/statm: 79322 11660 372 364 0 14206 0
[pid=17373] ppid=17371 vsize=137852 CPUtime=46.9 cores=1,3,5,7
/proc/17373/stat : 17373 (minion) R 17371 17373 17373 0 -1 4202496 33814 0 0 0 4686 4 0 0 25 0 1 0 869429220 141160448 26963 33554432000 134512640 165565024 4288956064 18446744073709551615 142424539 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/17373/statm: 34463 26963 346 7582 0 26878 0
[pid=17359/tid=17366] ppid=17357 vsize=327532 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869423895 335392768 13167 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
[pid=17359/tid=17372] ppid=17357 vsize=327532 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17372/stat : 17372 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 3 0 869429220 335392768 13167 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 1118764
[startup+162.302 s]
/proc/loadavg: 2.43 2.46 2.11 3/592 17390
/proc/meminfo: memFree=24752940/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=348044 CPUtime=7.06 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 22074 928 1 0 694 12 0 0 20 0 5 0 869423685 356397056 13179 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17359/statm: 87011 13179 1879 364 0 21889 0
[pid=17365] ppid=17359 vsize=317276 CPUtime=0.2 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 1148 0 0 0 9 11 0 0 19 0 2 0 869423895 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17365/statm: 79319 11700 411 364 0 14206 0
[pid=17367] ppid=17365 vsize=18816 CPUtime=48.15 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) T 17365 17367 17367 0 -1 4202496 5406 0 0 0 4814 1 0 0 25 0 1 0 869423895 19267584 4444 33554432000 134512640 136139019 4287878832 18446744073709551615 134883504 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/17367/statm: 4704 4444 184 398 0 4304 0
[pid=17365/tid=17370] ppid=17359 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17370/stat : 17370 (python) S 17359 17359 16517 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869428715 324890624 11700 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470837082304 0 0 -1 3 0 0 0
[pid=17371] ppid=17359 vsize=317288 CPUtime=0.2 cores=1,3,5,7
/proc/17371/stat : 17371 (python) S 17359 17359 16517 0 -1 4202560 1119 0 0 0 9 11 0 0 17 0 2 0 869429220 324902912 11685 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17371/statm: 79322 11685 396 364 0 14206 0
[pid=17373] ppid=17371 vsize=137852 CPUtime=48.7 cores=1,3,5,7
/proc/17373/stat : 17373 (minion) T 17371 17373 17373 0 -1 4202496 33814 0 0 0 4866 4 0 0 25 0 1 0 869429220 141160448 26963 33554432000 134512640 165565024 4288956064 18446744073709551615 158624682 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/17373/statm: 34463 26963 346 7582 0 26878 0
################
# More data... #
################
[pid=17380/tid=17387] ppid=17359 vsize=327544 CPUtime=0 cores=1,3,5,7
/proc/17380/task/17387/stat : 17387 (python) S 17359 17359 16517 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869438996 335405056 11689 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470807781504 0 0 -1 3 0 0 0
[pid=17388] ppid=17359 vsize=337800 CPUtime=0.46 cores=1,3,5,7
/proc/17388/stat : 17388 (python) S 17359 17359 16517 0 -1 4202560 1184 0 0 0 20 26 0 0 15 0 2 0 869438999 345907200 11693 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166534 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17388/statm: 84450 11693 396 364 0 19328 0
[pid=17390] ppid=17388 vsize=629996 CPUtime=96.38 cores=1,3,5,7
/proc/17390/stat : 17390 (scip-2.0.1.linu) R 17388 17390 17390 0 -1 4202496 155352 0 0 0 9468 170 0 0 25 0 1 0 869438999 645115904 153042 33554432000 4194304 15243407 140734742104832 18446744073709551615 4865666 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17390/statm: 157499 153042 713 2698 0 154794 0
[pid=17388/tid=17394] ppid=17359 vsize=337800 CPUtime=0 cores=1,3,5,7
/proc/17388/task/17394/stat : 17394 (python) S 17359 17359 16517 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869443905 345907200 11693 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463552259072 0 0 -1 3 0 0 0
[pid=17397] ppid=17359 vsize=348056 CPUtime=0.21 cores=1,3,5,7
/proc/17397/stat : 17397 (python) S 17359 17359 16517 0 -1 4202560 1155 0 0 0 9 12 0 0 17 0 2 0 869448391 356409344 11697 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17397/statm: 87014 11697 396 364 0 21889 0
[pid=17399] ppid=17397 vsize=8544840 CPUtime=46.46 cores=1,3,5,7
/proc/17399/stat : 17399 (java) T 17397 17399 17399 0 -1 4202496 71411 0 1 0 4637 9 0 0 15 0 19 0 869448391 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17399/statm: 2136210 64893 2255 9 0 2126951 0
[pid=17399/tid=17400] ppid=17397 vsize=8544840 CPUtime=44.42 cores=1,3,5,7
/proc/17399/task/17400/stat : 17400 (java) T 17397 17399 17399 0 -1 4202560 44578 0 1 0 4436 6 0 0 25 0 19 0 869448392 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 46912506018568 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17401/stat : 17401 (java) T 17397 17399 17399 0 -1 4202560 962 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17402/stat : 17402 (java) T 17397 17399 17399 0 -1 4202560 1062 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17403/stat : 17403 (java) T 17397 17399 17399 0 -1 4202560 1945 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17404/stat : 17404 (java) T 17397 17399 17399 0 -1 4202560 1530 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=8544840 CPUtime=0.03 cores=1,3,5,7
/proc/17399/task/17405/stat : 17405 (java) T 17397 17399 17399 0 -1 4202560 1944 0 0 0 3 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17406/stat : 17406 (java) T 17397 17399 17399 0 -1 4202560 679 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17407] ppid=17397 vsize=8544840 CPUtime=0.01 cores=1,3,5,7
/proc/17399/task/17407/stat : 17407 (java) T 17397 17399 17399 0 -1 4202560 1504 0 0 0 1 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17408] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17408/stat : 17408 (java) T 17397 17399 17399 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17409] ppid=17397 vsize=8544840 CPUtime=0.42 cores=1,3,5,7
/proc/17399/task/17409/stat : 17409 (java) T 17397 17399 17399 0 -1 4202560 4354 0 0 0 42 0 0 0 15 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17410] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17410/stat : 17410 (java) T 17397 17399 17399 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17411] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17411/stat : 17411 (java) T 17397 17399 17399 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17412] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17412/stat : 17412 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658970033 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17413] ppid=17397 vsize=8544840 CPUtime=0.74 cores=1,3,5,7
/proc/17399/task/17413/stat : 17413 (java) T 17397 17399 17399 0 -1 4202560 5669 0 0 0 74 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17414] ppid=17397 vsize=8544840 CPUtime=0.66 cores=1,3,5,7
/proc/17399/task/17414/stat : 17414 (java) T 17397 17399 17399 0 -1 4202560 5791 0 0 0 66 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17415] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17415/stat : 17415 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17416] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17416/stat : 17416 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17417] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17417/stat : 17417 (java) T 17397 17399 17399 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869448490 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17397/tid=17450] ppid=17359 vsize=348056 CPUtime=0 cores=1,3,5,7
/proc/17397/task/17450/stat : 17450 (python) S 17359 17359 16517 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869452889 356409344 11697 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604462843982976 0 0 -1 7 0 0 0
[pid=17359/tid=17366] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 6 0 869423895 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
[pid=17359/tid=17372] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17372/stat : 17372 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 6 0 869429220 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
[pid=17359/tid=17381] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17381/stat : 17381 (python) S 17357 17359 16517 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869434098 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 1 0 0 0
[pid=17359/tid=17389] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17389/stat : 17389 (python) S 17357 17359 16517 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 6 0 869438999 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 7 0 0 0
[pid=17359/tid=17398] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17398/stat : 17398 (python) S 17357 17359 16517 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869448391 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 11806768
[startup+340.221 s]
/proc/loadavg: 3.21 2.64 2.22 3/567 17455
/proc/meminfo: memFree=24696240/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=358300 CPUtime=7.14 cores=1,3,5,7
/proc/17359/stat : 17359 (python) S 17357 17359 16517 0 -1 4202496 23650 928 1 0 701 13 0 0 18 0 6 0 869423685 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17359/statm: 89575 13185 1881 364 0 24450 0
[pid=17365] ppid=17359 vsize=317276 CPUtime=0.42 cores=1,3,5,7
/proc/17365/stat : 17365 (python) S 17359 17359 16517 0 -1 4202560 1178 0 0 0 20 22 0 0 15 0 2 0 869423895 324890624 11701 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17365/statm: 79319 11701 412 364 0 14206 0
[pid=17367] ppid=17365 vsize=0 CPUtime=92.93 cores=1,3,5,7
/proc/17367/stat : 17367 (clasp-1.3.7-x86) Z 17365 17367 17367 0 -1 4202524 5601 0 0 0 9292 1 0 0 25 0 1 0 869423895 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 5 0 0 0
/proc/17367/statm: 0 0 0 0 0 0 0
[pid=17365/tid=17370] ppid=17359 vsize=317276 CPUtime=0 cores=1,3,5,7
/proc/17365/task/17370/stat : 17370 (python) S 17359 17359 16517 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869428715 324890624 11701 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470837082304 0 0 -1 3 0 0 0
[pid=17371] ppid=17359 vsize=317288 CPUtime=0.2 cores=1,3,5,7
/proc/17371/stat : 17371 (python) S 17359 17359 16517 0 -1 4202560 1119 0 0 0 9 11 0 0 17 0 2 0 869429220 324902912 11685 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17371/statm: 79322 11685 396 364 0 14206 0
[pid=17373] ppid=17371 vsize=137852 CPUtime=48.7 cores=1,3,5,7
/proc/17373/stat : 17373 (minion) T 17371 17373 17373 0 -1 4202496 33814 0 0 0 4866 4 0 0 25 0 1 0 869429220 141160448 26963 33554432000 134512640 165565024 4288956064 18446744073709551615 158624682 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/17373/statm: 34463 26963 346 7582 0 26878 0
[pid=17371/tid=17379] ppid=17359 vsize=317288 CPUtime=0 cores=1,3,5,7
/proc/17371/task/17379/stat : 17379 (python) S 17359 17359 16517 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869434095 324902912 11685 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604461859281024 0 0 -1 3 0 0 0
[pid=17380] ppid=17359 vsize=327544 CPUtime=0.24 cores=1,3,5,7
/proc/17380/stat : 17380 (python) S 17359 17359 16517 0 -1 4202560 1126 0 0 0 10 14 0 0 16 0 2 0 869434097 335405056 11689 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17380/statm: 81886 11689 396 364 0 16767 0
[pid=17382] ppid=17380 vsize=487816 CPUtime=48.97 cores=1,3,5,7
/proc/17382/stat : 17382 (scip-2.0.1.linu) T 17380 17382 17382 0 -1 4202496 119968 0 0 0 4759 138 0 0 25 0 1 0 869434098 499523584 117659 33554432000 4194304 13684479 140736557229088 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/17382/statm: 121954 117659 662 2317 0 119632 0
[pid=17380/tid=17387] ppid=17359 vsize=327544 CPUtime=0 cores=1,3,5,7
/proc/17380/task/17387/stat : 17387 (python) S 17359 17359 16517 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869438996 335405056 11689 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604470807781504 0 0 -1 3 0 0 0
[pid=17388] ppid=17359 vsize=337800 CPUtime=0.46 cores=1,3,5,7
/proc/17388/stat : 17388 (python) S 17359 17359 16517 0 -1 4202560 1184 0 0 0 20 26 0 0 15 0 2 0 869438999 345907200 11693 33554432000 4194304 5683644 140733903741552 18446744073709551615 210647166534 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17388/statm: 84450 11693 396 364 0 19328 0
[pid=17390] ppid=17388 vsize=634056 CPUtime=97.2 cores=1,3,5,7
/proc/17390/stat : 17390 (scip-2.0.1.linu) R 17388 17390 17390 0 -1 4202496 156219 0 0 0 9549 171 0 0 25 0 1 0 869438999 649273344 153909 33554432000 4194304 15243407 140734742104832 18446744073709551615 13229099 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17390/statm: 158514 153909 713 2698 0 155809 0
[pid=17388/tid=17394] ppid=17359 vsize=337800 CPUtime=0 cores=1,3,5,7
/proc/17388/task/17394/stat : 17394 (python) S 17359 17359 16517 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869443905 345907200 11693 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463552259072 0 0 -1 3 0 0 0
[pid=17397] ppid=17359 vsize=348056 CPUtime=0.21 cores=1,3,5,7
/proc/17397/stat : 17397 (python) S 17359 17359 16517 0 -1 4202560 1155 0 0 0 9 12 0 0 17 0 2 0 869448391 356409344 11697 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17397/statm: 87014 11697 396 364 0 21889 0
[pid=17399] ppid=17397 vsize=8544840 CPUtime=46.46 cores=1,3,5,7
/proc/17399/stat : 17399 (java) T 17397 17399 17399 0 -1 4202496 71411 0 1 0 4637 9 0 0 15 0 19 0 869448391 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17399/statm: 2136210 64893 2255 9 0 2126951 0
[pid=17399/tid=17400] ppid=17397 vsize=8544840 CPUtime=44.42 cores=1,3,5,7
/proc/17399/task/17400/stat : 17400 (java) T 17397 17399 17399 0 -1 4202560 44578 0 1 0 4436 6 0 0 25 0 19 0 869448392 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 46912506018568 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17401] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17401/stat : 17401 (java) T 17397 17399 17399 0 -1 4202560 962 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17402] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17402/stat : 17402 (java) T 17397 17399 17399 0 -1 4202560 1062 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17403] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17403/stat : 17403 (java) T 17397 17399 17399 0 -1 4202560 1945 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17404] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17404/stat : 17404 (java) T 17397 17399 17399 0 -1 4202560 1530 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17405] ppid=17397 vsize=8544840 CPUtime=0.03 cores=1,3,5,7
/proc/17399/task/17405/stat : 17405 (java) T 17397 17399 17399 0 -1 4202560 1944 0 0 0 3 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17406] ppid=17397 vsize=8544840 CPUtime=0.02 cores=1,3,5,7
/proc/17399/task/17406/stat : 17406 (java) T 17397 17399 17399 0 -1 4202560 679 0 0 0 2 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17407] ppid=17397 vsize=8544840 CPUtime=0.01 cores=1,3,5,7
/proc/17399/task/17407/stat : 17407 (java) T 17397 17399 17399 0 -1 4202560 1504 0 0 0 1 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17408] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17408/stat : 17408 (java) T 17397 17399 17399 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869448393 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17409] ppid=17397 vsize=8544840 CPUtime=0.42 cores=1,3,5,7
/proc/17399/task/17409/stat : 17409 (java) T 17397 17399 17399 0 -1 4202560 4354 0 0 0 42 0 0 0 15 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17410] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17410/stat : 17410 (java) T 17397 17399 17399 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17411] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17411/stat : 17411 (java) T 17397 17399 17399 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869448394 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17399/tid=17412] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17412/stat : 17412 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658970033 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17413] ppid=17397 vsize=8544840 CPUtime=0.74 cores=1,3,5,7
/proc/17399/task/17413/stat : 17413 (java) T 17397 17399 17399 0 -1 4202560 5669 0 0 0 74 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17414] ppid=17397 vsize=8544840 CPUtime=0.66 cores=1,3,5,7
/proc/17399/task/17414/stat : 17414 (java) T 17397 17399 17399 0 -1 4202560 5791 0 0 0 66 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17415] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17415/stat : 17415 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17399/tid=17416] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17416/stat : 17416 (java) T 17397 17399 17399 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869448397 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17399/tid=17417] ppid=17397 vsize=8544840 CPUtime=0 cores=1,3,5,7
/proc/17399/task/17417/stat : 17417 (java) T 17397 17399 17399 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869448490 8749916160 64893 33554432000 1073741824 1073778376 140735843645472 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17397/tid=17450] ppid=17359 vsize=348056 CPUtime=0 cores=1,3,5,7
/proc/17397/task/17450/stat : 17450 (python) S 17359 17359 16517 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869452889 356409344 11697 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554946 18446604462843982976 0 0 -1 7 0 0 0
[pid=17359/tid=17366] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17366/stat : 17366 (python) S 17357 17359 16517 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 6 0 869423895 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
[pid=17359/tid=17372] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17372/stat : 17372 (python) S 17357 17359 16517 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 6 0 869429220 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 5 0 0 0
[pid=17359/tid=17381] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17381/stat : 17381 (python) S 17357 17359 16517 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869434098 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 1 0 0 0
[pid=17359/tid=17389] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17389/stat : 17389 (python) S 17357 17359 16517 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 6 0 869438999 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 7 0 0 0
[pid=17359/tid=17398] ppid=17357 vsize=358300 CPUtime=0 cores=1,3,5,7
/proc/17359/task/17398/stat : 17398 (python) S 17357 17359 16517 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869448391 366899200 13185 33554432000 4194304 5683644 140733903741552 18446744073709551615 210658970033 0 0 16781312 33554434 18446604463552258176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 342.93
Current children cumulated vsize (KiB) 11810828
[startup+340.402 s]
/proc/loadavg: 3.21 2.64 2.22 3/567 17455
/proc/meminfo: memFree=24696240/32951132 swapFree=57925100/67111528
[pid=17359] ppid=17357 vsize=0 CPUtime=343.24 cores=1,3,5,7
/proc/17359/stat : 17359 (python) R 17357 17359 16517 0 -1 4202500 30113 393897 1 1 705 13 33185 421 17 0 1 0 869423685 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17359/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 343.24
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 340.404
CPU time (s): 343.264
CPU user time (s): 338.908
CPU system time (s): 4.35534
CPU usage (%): 100.84
Max. virtual memory (cumulated for all children) (KiB): 11810828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.908
system time used= 4.35534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424010
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= 3230
involuntary context switches= 1061
runsolver used 2.03569 second user time and 4.73328 second system time
The end