runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3482806-1307741604/watcher-3482806-1307741604 -o /tmp/evaluation-result-3482806-1307741604/solver-3482806-1307741604 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482806-1307741604.opb -seed 783878485 -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: 0.00 0.00 0.00 2/177 15366
/proc/meminfo: memFree=31570796/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 796 0 0 0 0 0 0 0 24 0 1 0 885759242 15749120 681 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/15366/statm: 3845 681 322 364 0 332 0
[startup+0.0704561 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 15366
/proc/meminfo: memFree=31570796/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=54636 CPUtime=0.05 cores=0,2,4,6
/proc/15366/stat : 15366 (python) R 15364 15366 15223 0 -1 4202496 2079 0 0 0 4 1 0 0 24 0 1 0 885759242 55947264 1834 33554432000 4194304 5683644 140736871317072 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15366/statm: 13659 1836 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.100451 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 15366
/proc/meminfo: memFree=31570796/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/15366/stat : 15366 (python) R 15364 15366 15223 0 -1 4202496 3170 930 1 0 6 2 0 0 25 0 1 0 885759242 98430976 2483 33554432000 4194304 5683644 140736871317072 18446744073709551615 5158265 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15366/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300422 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 15366
/proc/meminfo: memFree=31570796/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=202992 CPUtime=0.24 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 6678 930 1 0 18 6 0 0 25 0 1 0 885759242 207863808 4962 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/15366/statm: 50748 4962 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202992
[startup+0.700349 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 15366
/proc/meminfo: memFree=31570796/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=293764 CPUtime=0.62 cores=0,2,4,6
/proc/15366/stat : 15366 (python) R 15364 15366 15223 0 -1 4202496 11878 930 1 0 52 10 0 0 25 0 1 0 885759242 300814336 9739 33554432000 4194304 5683644 140736871317072 18446744073709551615 4527955 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15366/statm: 73441 9740 1781 364 0 8334 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 293764
[startup+1.50034 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 15371
/proc/meminfo: memFree=31527164/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=305280 CPUtime=1.42 cores=0,2,4,6
/proc/15366/stat : 15366 (python) R 15364 15366 15223 0 -1 4202496 18551 930 1 0 131 11 0 0 25 0 1 0 885759242 312606720 12668 33554432000 4194304 5683644 140736871317072 18446744073709551615 47828992890229 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/15366/statm: 76320 12668 1816 364 0 11213 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 305280
[startup+3.10094 s]
/proc/loadavg: 0.16 0.03 0.01 3/181 15374
/proc/meminfo: memFree=31502348/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=317184 CPUtime=2.03 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 19245 930 1 0 192 11 0 0 25 0 2 0 885759242 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 79296 13137 1872 364 0 14183 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 317184
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 15377
/proc/meminfo: memFree=31483948/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=317184 CPUtime=2.03 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 19245 930 1 0 192 11 0 0 25 0 2 0 885759242 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 79296 13137 1872 364 0 14183 0
[pid=15375] ppid=15366 vsize=306940 CPUtime=0 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 884 0 0 0 0 0 0 0 18 0 1 0 885759453 314306560 11636 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260239 0 0 16781312 33554946 2877971930516783364 0 0 17 4 0 0 0
/proc/15375/statm: 76735 11636 375 364 0 11622 0
[pid=15377] ppid=15375 vsize=13088 CPUtime=4.17 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) R 15375 15377 15377 0 -1 4202496 3951 0 0 0 417 0 0 0 25 0 1 0 885759454 13402112 3015 33554432000 134512640 136139019 4286926880 18446744073709551615 134871014 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15377/statm: 3272 3015 184 398 0 2872 0
[pid=15366/tid=15376] ppid=15364 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 25 0 2 0 885759454 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 637212
[startup+12.7005 s]
/proc/loadavg: 0.44 0.10 0.03 3/184 15377
/proc/meminfo: memFree=31479708/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=317184 CPUtime=2.03 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 19245 930 1 0 192 11 0 0 25 0 2 0 885759242 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 79296 13137 1872 364 0 14183 0
[pid=15375] ppid=15366 vsize=306940 CPUtime=0.01 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 886 0 0 0 0 1 0 0 18 0 1 0 885759453 314306560 11636 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260239 0 0 16781312 33554946 72409437758827392 0 0 17 4 0 0 0
/proc/15375/statm: 76735 11636 375 364 0 11622 0
[pid=15377] ppid=15375 vsize=16620 CPUtime=10.57 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) R 15375 15377 15377 0 -1 4202496 4819 0 0 0 1057 0 0 0 25 0 1 0 885759454 17018880 3883 33554432000 134512640 136139019 4286926880 18446744073709551615 134832307 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15377/statm: 4155 3883 184 398 0 3755 0
[pid=15366/tid=15376] ppid=15364 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 25 0 2 0 885759454 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 640744
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/184 15378
/proc/meminfo: memFree=31456252/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=317184 CPUtime=2.03 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 19245 930 1 0 192 11 0 0 25 0 2 0 885759242 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 79296 13137 1872 364 0 14183 0
[pid=15375] ppid=15366 vsize=306940 CPUtime=0.03 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 890 0 0 0 1 2 0 0 18 0 1 0 885759453 314306560 11636 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260239 0 0 16781312 33554946 72409437758827392 0 0 17 4 0 0 0
/proc/15375/statm: 76735 11636 375 364 0 11622 0
[pid=15377] ppid=15375 vsize=22560 CPUtime=23.38 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) R 15375 15377 15377 0 -1 4202496 6304 0 0 0 2337 1 0 0 25 0 1 0 885759454 23101440 5368 33554432000 134512640 136139019 4286926880 18446744073709551615 134832198 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15377/statm: 5640 5368 184 398 0 5240 0
[pid=15366/tid=15376] ppid=15364 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 25 0 2 0 885759454 324796416 13137 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 646684
[startup+51.101 s]
/proc/loadavg: 1.13 0.31 0.10 3/185 15379
/proc/meminfo: memFree=31422756/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=317188 CPUtime=2.96 cores=0,2,4,6
/proc/15366/stat : 15366 (python) R 15364 15366 15223 0 -1 4202496 19881 930 1 0 284 12 0 0 19 0 2 0 885759242 324800512 13139 33554432000 4194304 5683644 140736871317072 18446744073709551615 4540638 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 79297 13139 1873 364 0 14184 0
[pid=15375] ppid=15366 vsize=317184 CPUtime=0.05 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1128 0 0 0 2 3 0 0 19 0 2 0 885759453 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11677 411 364 0 14183 0
[pid=15377] ppid=15375 vsize=29844 CPUtime=48.04 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 8109 0 0 0 4803 1 0 0 25 0 1 0 885759454 30560256 7173 33554432000 134512640 136139019 4286926880 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/15377/statm: 7461 7173 184 398 0 7061 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 885764259 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15366/tid=15376] ppid=15364 vsize=317188 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 25 0 2 0 885759454 324800512 13139 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 664216
[startup+102.307 s]
/proc/loadavg: 1.71 0.60 0.21 3/196 15392
/proc/meminfo: memFree=30679300/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=327440 CPUtime=7.01 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 20199 930 1 0 688 13 0 0 25 0 3 0 885759242 335298560 13144 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15366/statm: 81860 13144 1875 364 0 16744 0
[pid=15375] ppid=15366 vsize=317184 CPUtime=0.05 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1128 0 0 0 2 3 0 0 19 0 2 0 885759453 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11677 411 364 0 14183 0
[pid=15377] ppid=15375 vsize=29844 CPUtime=48.04 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 8109 0 0 0 4803 1 0 0 25 0 1 0 885759454 30560256 7173 33554432000 134512640 136139019 4286926880 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/15377/statm: 7461 7173 184 398 0 7061 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 885764259 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15384] ppid=15366 vsize=317196 CPUtime=0.06 cores=0,2,4,6
/proc/15384/stat : 15384 (python) S 15366 15366 15223 0 -1 4202560 942 0 0 0 4 2 0 0 15 0 1 0 885764757 324808704 11637 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260294 0 0 16781312 33554946 72556772316949376 0 0 17 6 0 0 0
/proc/15384/statm: 79299 11637 372 364 0 14183 0
[pid=15386] ppid=15384 vsize=126212 CPUtime=47.15 cores=0,2,4,6
/proc/15386/stat : 15386 (minion) R 15384 15386 15386 0 -1 4202496 30496 0 0 0 4712 3 0 0 25 0 1 0 885764757 129241088 24143 33554432000 134512640 165565024 4294188880 18446744073709551615 158624742 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/15386/statm: 31553 24143 346 7582 0 23968 0
[pid=15366/tid=15376] ppid=15364 vsize=327440 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 25 0 3 0 885759454 335298560 13144 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15385] ppid=15364 vsize=327440 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15385/stat : 15385 (python) S 15364 15366 15223 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 3 0 885764757 335298560 13144 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1117876
[startup+162.301 s]
/proc/loadavg: 1.88 0.84 0.31 3/208 15405
/proc/meminfo: memFree=29593768/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=347952 CPUtime=7.05 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 21963 930 1 0 692 13 0 0 20 0 5 0 885759242 356302848 13156 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15366/statm: 86988 13156 1879 364 0 21866 0
[pid=15375] ppid=15366 vsize=317184 CPUtime=0.05 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1128 0 0 0 2 3 0 0 19 0 2 0 885759453 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11677 411 364 0 14183 0
[pid=15377] ppid=15375 vsize=29844 CPUtime=48.04 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 8109 0 0 0 4803 1 0 0 25 0 1 0 885759454 30560256 7173 33554432000 134512640 136139019 4286926880 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/15377/statm: 7461 7173 184 398 0 7061 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 885764259 324796416 11677 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15384] ppid=15366 vsize=317196 CPUtime=0.06 cores=0,2,4,6
/proc/15384/stat : 15384 (python) S 15366 15366 15223 0 -1 4202560 1105 0 0 0 4 2 0 0 16 0 2 0 885764757 324808704 11662 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15384/statm: 79299 11662 396 364 0 14183 0
[pid=15386] ppid=15384 vsize=126212 CPUtime=48.62 cores=0,2,4,6
/proc/15386/stat : 15386 (minion) T 15384 15386 15386 0 -1 4202496 30496 0 0 0 4859 3 0 0 25 0 1 0 885764757 129241088 24143 33554432000 134512640 165565024 4294188880 18446744073709551615 134640655 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/15386/statm: 31553 24143 346 7582 0 23968 0
################
# More data... #
################
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1198 0 0 0 17 15 0 0 18 0 2 0 885759453 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11678 412 364 0 14183 0
[pid=15377] ppid=15375 vsize=46068 CPUtime=230.28 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 12145 0 0 0 23026 2 0 0 25 0 1 0 885759454 47173632 11209 33554432000 134512640 136139019 4286926880 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15377/statm: 11517 11209 184 398 0 11117 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 885764259 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15384] ppid=15366 vsize=317196 CPUtime=0.06 cores=0,2,4,6
/proc/15384/stat : 15384 (python) S 15366 15366 15223 0 -1 4202560 1105 0 0 0 4 2 0 0 16 0 2 0 885764757 324808704 11662 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15384/statm: 79299 11662 396 364 0 14183 0
[pid=15386] ppid=15384 vsize=126212 CPUtime=48.62 cores=0,2,4,6
/proc/15386/stat : 15386 (minion) T 15384 15386 15386 0 -1 4202496 30496 0 0 0 4859 3 0 0 25 0 1 0 885764757 129241088 24143 33554432000 134512640 165565024 4294188880 18446744073709551615 134640655 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/15386/statm: 31553 24143 346 7582 0 23968 0
[pid=15384/tid=15393] ppid=15366 vsize=317196 CPUtime=0 cores=0,2,4,6
/proc/15384/task/15393/stat : 15393 (python) S 15366 15366 15223 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 885769620 324808704 11662 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453869823872 0 0 -1 6 0 0 0
[pid=15394] ppid=15366 vsize=327452 CPUtime=0.38 cores=0,2,4,6
/proc/15394/stat : 15394 (python) S 15366 15366 15223 0 -1 4202560 1169 0 0 0 18 20 0 0 15 0 2 0 885769622 335310848 11666 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260294 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15394/statm: 81863 11666 396 364 0 16744 0
[pid=15396] ppid=15394 vsize=786588 CPUtime=267.5 cores=0,2,4,6
/proc/15396/stat : 15396 (scip-2.0.1.linu) R 15394 15396 15396 0 -1 4202496 196697 0 0 0 26655 95 0 0 25 0 1 0 885769623 805466112 190310 33554432000 4194304 13684479 140735296622032 18446744073709551615 7390592 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15396/statm: 196647 190310 765 2317 0 194325 0
[pid=15394/tid=15402] ppid=15366 vsize=327452 CPUtime=0 cores=0,2,4,6
/proc/15394/task/15402/stat : 15402 (python) S 15366 15366 15223 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 885774301 335310848 11666 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453238462656 0 0 -1 4 0 0 0
[pid=15403] ppid=15366 vsize=337708 CPUtime=0.14 cores=0,2,4,6
/proc/15403/stat : 15403 (python) S 15366 15366 15223 0 -1 4202560 1168 0 0 0 8 6 0 0 15 0 2 0 885774303 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15403/statm: 84427 11670 396 364 0 19305 0
[pid=15405] ppid=15403 vsize=632608 CPUtime=92.21 cores=0,2,4,6
/proc/15405/stat : 15405 (scip-2.0.1.linu) T 15403 15405 15405 0 -1 4202496 155313 0 0 0 9162 59 0 0 25 0 1 0 885774304 647790592 152997 33554432000 4194304 15243407 140737126841456 18446744073709551615 5563357 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15405/statm: 158152 152997 713 2698 0 155447 0
[pid=15403/tid=15408] ppid=15366 vsize=337708 CPUtime=0 cores=0,2,4,6
/proc/15403/task/15408/stat : 15408 (python) S 15366 15366 15223 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 885778989 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453985334208 0 0 -1 4 0 0 0
[pid=15410] ppid=15366 vsize=347964 CPUtime=0.06 cores=0,2,4,6
/proc/15410/stat : 15410 (python) S 15366 15366 15223 0 -1 4202560 1126 0 0 0 4 2 0 0 16 0 2 0 885783600 356315136 11674 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15410/statm: 86991 11674 396 364 0 21866 0
[pid=15412] ppid=15410 vsize=59060 CPUtime=46.23 cores=0,2,4,6
/proc/15412/stat : 15412 (wbo1.4b-fixed) T 15410 15412 15412 0 -1 4202496 15121 0 0 0 4609 14 0 0 25 0 1 0 885783600 60477440 13939 33554432000 134512640 135752315 4293594432 18446744073709551615 134605012 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15412/statm: 14765 13939 146 303 0 14460 0
[pid=15410/tid=15415] ppid=15366 vsize=347964 CPUtime=0 cores=0,2,4,6
/proc/15410/task/15415/stat : 15415 (python) S 15366 15366 15223 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 885788225 356315136 11674 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453874711424 0 0 -1 6 0 0 0
[pid=15416] ppid=15366 vsize=358220 CPUtime=0.07 cores=0,2,4,6
/proc/15416/stat : 15416 (python) S 15366 15366 15223 0 -1 4202560 1138 0 0 0 4 3 0 0 16 0 2 0 885788227 366817280 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/15416/statm: 89555 11678 396 364 0 24427 0
[pid=15418] ppid=15416 vsize=63108 CPUtime=46.46 cores=0,2,4,6
/proc/15418/stat : 15418 (wbo1.4a) T 15416 15418 15418 0 -1 4202496 16160 0 0 0 4627 19 0 0 25 0 1 0 885788227 64622592 14981 33554432000 134512640 135751879 4294585408 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15418/statm: 15777 14981 143 303 0 15472 0
[pid=15416/tid=15420] ppid=15366 vsize=358220 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (python) S 15366 15366 15223 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 885792875 366817280 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604444767759040 0 0 -1 2 0 0 0
[pid=15366/tid=15376] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 7 0 885759454 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15385] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15385/stat : 15385 (python) S 15364 15366 15223 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 7 0 885764757 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15395] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15395/stat : 15395 (python) S 15364 15366 15223 0 -1 4202560 37 930 0 0 0 0 0 0 18 0 7 0 885769623 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
[pid=15366/tid=15404] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15404/stat : 15404 (python) S 15364 15366 15223 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 7 0 885774303 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15411] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15411/stat : 15411 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 7 0 885783600 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15417] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15417/stat : 15417 (python) S 15364 15366 15223 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 7 0 885788227 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 739.56
Current children cumulated vsize (KiB) 4087832
[startup+738.901 s]
/proc/loadavg: 2.06 1.85 1.09 3/218 15431
/proc/meminfo: memFree=28516628/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=368464 CPUtime=7.23 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 24642 930 1 0 709 14 0 0 18 0 7 0 885759242 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15366/statm: 92116 13168 1883 364 0 26988 0
[pid=15375] ppid=15366 vsize=317184 CPUtime=0.32 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1198 0 0 0 17 15 0 0 18 0 2 0 885759453 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11678 412 364 0 14183 0
[pid=15377] ppid=15375 vsize=46068 CPUtime=230.28 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 12145 0 0 0 23026 2 0 0 25 0 1 0 885759454 47173632 11209 33554432000 134512640 136139019 4286926880 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15377/statm: 11517 11209 184 398 0 11117 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 885764259 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15384] ppid=15366 vsize=317196 CPUtime=0.06 cores=0,2,4,6
/proc/15384/stat : 15384 (python) S 15366 15366 15223 0 -1 4202560 1105 0 0 0 4 2 0 0 16 0 2 0 885764757 324808704 11662 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15384/statm: 79299 11662 396 364 0 14183 0
[pid=15386] ppid=15384 vsize=126212 CPUtime=48.62 cores=0,2,4,6
/proc/15386/stat : 15386 (minion) T 15384 15386 15386 0 -1 4202496 30496 0 0 0 4859 3 0 0 25 0 1 0 885764757 129241088 24143 33554432000 134512640 165565024 4294188880 18446744073709551615 134640655 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/15386/statm: 31553 24143 346 7582 0 23968 0
[pid=15384/tid=15393] ppid=15366 vsize=317196 CPUtime=0 cores=0,2,4,6
/proc/15384/task/15393/stat : 15393 (python) S 15366 15366 15223 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 885769620 324808704 11662 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453869823872 0 0 -1 6 0 0 0
[pid=15394] ppid=15366 vsize=327452 CPUtime=0.38 cores=0,2,4,6
/proc/15394/stat : 15394 (python) S 15366 15366 15223 0 -1 4202560 1173 0 0 0 18 20 0 0 15 0 2 0 885769622 335310848 11666 33554432000 4194304 5683644 140736871317072 18446744073709551615 251814260294 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15394/statm: 81863 11666 396 364 0 16744 0
[pid=15396] ppid=15394 vsize=788004 CPUtime=267.71 cores=0,2,4,6
/proc/15396/stat : 15396 (scip-2.0.1.linu) R 15394 15396 15396 0 -1 4202496 198427 0 0 0 26675 96 0 0 25 0 1 0 885769623 806916096 191865 33554432000 4194304 13684479 140735296622032 18446744073709551615 4517326 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15396/statm: 197001 191865 1186 2317 0 194679 0
[pid=15394/tid=15402] ppid=15366 vsize=327452 CPUtime=0 cores=0,2,4,6
/proc/15394/task/15402/stat : 15402 (python) S 15366 15366 15223 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 885774301 335310848 11666 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453238462656 0 0 -1 4 0 0 0
[pid=15403] ppid=15366 vsize=337708 CPUtime=0.14 cores=0,2,4,6
/proc/15403/stat : 15403 (python) S 15366 15366 15223 0 -1 4202560 1168 0 0 0 8 6 0 0 15 0 2 0 885774303 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15403/statm: 84427 11670 396 364 0 19305 0
[pid=15405] ppid=15403 vsize=632608 CPUtime=92.21 cores=0,2,4,6
/proc/15405/stat : 15405 (scip-2.0.1.linu) T 15403 15405 15405 0 -1 4202496 155313 0 0 0 9162 59 0 0 25 0 1 0 885774304 647790592 152997 33554432000 4194304 15243407 140737126841456 18446744073709551615 5563357 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15405/statm: 158152 152997 713 2698 0 155447 0
[pid=15403/tid=15408] ppid=15366 vsize=337708 CPUtime=0 cores=0,2,4,6
/proc/15403/task/15408/stat : 15408 (python) S 15366 15366 15223 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 885778989 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453985334208 0 0 -1 4 0 0 0
[pid=15410] ppid=15366 vsize=347964 CPUtime=0.06 cores=0,2,4,6
/proc/15410/stat : 15410 (python) S 15366 15366 15223 0 -1 4202560 1126 0 0 0 4 2 0 0 16 0 2 0 885783600 356315136 11674 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15410/statm: 86991 11674 396 364 0 21866 0
[pid=15412] ppid=15410 vsize=59060 CPUtime=46.23 cores=0,2,4,6
/proc/15412/stat : 15412 (wbo1.4b-fixed) T 15410 15412 15412 0 -1 4202496 15121 0 0 0 4609 14 0 0 25 0 1 0 885783600 60477440 13939 33554432000 134512640 135752315 4293594432 18446744073709551615 134605012 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15412/statm: 14765 13939 146 303 0 14460 0
[pid=15410/tid=15415] ppid=15366 vsize=347964 CPUtime=0 cores=0,2,4,6
/proc/15410/task/15415/stat : 15415 (python) S 15366 15366 15223 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 885788225 356315136 11674 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453874711424 0 0 -1 6 0 0 0
[pid=15416] ppid=15366 vsize=358220 CPUtime=0.07 cores=0,2,4,6
/proc/15416/stat : 15416 (python) S 15366 15366 15223 0 -1 4202560 1138 0 0 0 4 3 0 0 16 0 2 0 885788227 366817280 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/15416/statm: 89555 11678 396 364 0 24427 0
[pid=15418] ppid=15416 vsize=63108 CPUtime=46.46 cores=0,2,4,6
/proc/15418/stat : 15418 (wbo1.4a) T 15416 15418 15418 0 -1 4202496 16160 0 0 0 4627 19 0 0 25 0 1 0 885788227 64622592 14981 33554432000 134512640 135751879 4294585408 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15418/statm: 15777 14981 143 303 0 15472 0
[pid=15416/tid=15420] ppid=15366 vsize=358220 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (python) S 15366 15366 15223 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 885792875 366817280 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604444767759040 0 0 -1 2 0 0 0
[pid=15366/tid=15376] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 7 0 885759454 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15385] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15385/stat : 15385 (python) S 15364 15366 15223 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 7 0 885764757 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15395] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15395/stat : 15395 (python) S 15364 15366 15223 0 -1 4202560 37 930 0 0 0 0 0 0 18 0 7 0 885769623 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
[pid=15366/tid=15404] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15404/stat : 15404 (python) S 15364 15366 15223 0 -1 4202560 33 930 0 0 0 0 0 0 18 0 7 0 885774303 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15411] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15411/stat : 15411 (python) S 15364 15366 15223 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 7 0 885783600 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15417] ppid=15364 vsize=368464 CPUtime=0 cores=0,2,4,6
/proc/15366/task/15417/stat : 15417 (python) S 15364 15366 15223 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 7 0 885788227 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 739.77
Current children cumulated vsize (KiB) 4089248
[startup+739.001 s]
/proc/loadavg: 2.06 1.85 1.09 3/218 15431
/proc/meminfo: memFree=28516628/32950928 swapFree=67050648/67111528
[pid=15366] ppid=15364 vsize=368464 CPUtime=148.8 cores=0,2,4,6
/proc/15366/stat : 15366 (python) S 15364 15366 15223 0 -1 4202496 24652 66152 1 0 709 14 14110 47 17 0 7 0 885759242 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826070335 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15366/statm: 92116 13168 1883 364 0 26988 0
[pid=15375] ppid=15366 vsize=317184 CPUtime=0.32 cores=0,2,4,6
/proc/15375/stat : 15375 (python) S 15366 15366 15223 0 -1 4202560 1198 0 0 0 17 15 0 0 18 0 2 0 885759453 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/15375/statm: 79296 11678 412 364 0 14183 0
[pid=15377] ppid=15375 vsize=46068 CPUtime=230.28 cores=0,2,4,6
/proc/15377/stat : 15377 (clasp-1.3.7-x86) T 15375 15377 15377 0 -1 4202496 12145 0 0 0 23026 2 0 0 25 0 1 0 885759454 47173632 11209 33554432000 134512640 136139019 4286926880 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15377/statm: 11517 11209 184 398 0 11117 0
[pid=15375/tid=15379] ppid=15366 vsize=317184 CPUtime=0 cores=0,2,4,6
/proc/15375/task/15379/stat : 15379 (python) S 15366 15366 15223 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 885764259 324796416 11678 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554946 18446604453979354432 0 0 -1 6 0 0 0
[pid=15394] ppid=15366 vsize=0 CPUtime=268.15 cores=0,2,4,6
/proc/15394/stat : 15394 (python) Z 15366 15366 15223 0 -1 4202588 1266 198438 0 0 18 20 26679 98 15 0 1 0 885769622 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15394/statm: 0 0 0 0 0 0 0
[pid=15403] ppid=15366 vsize=337708 CPUtime=0.14 cores=0,2,4,6
/proc/15403/stat : 15403 (python) S 15366 15366 15223 0 -1 4202560 1172 0 0 0 8 6 0 0 16 0 2 0 885774303 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826070335 0 0 16781824 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15403/statm: 84427 11670 396 364 0 19305 0
[pid=15405] ppid=15403 vsize=0 CPUtime=92.23 cores=0,2,4,6
/proc/15405/stat : 15405 (scip-2.0.1.linu) R 15403 15405 15405 0 -1 4203524 155313 0 0 0 9162 61 0 0 18 0 1 0 885774304 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15405/statm: 0 0 0 0 0 0 0
[pid=15403/tid=15408] ppid=15366 vsize=337708 CPUtime=0 cores=0,2,4,6
/proc/15403/task/15408/stat : 15408 (python) S 15366 15366 15223 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 885778989 345812992 11670 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781824 33554434 18446604453985334208 0 0 -1 4 0 0 0
[pid=15366/tid=15376] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15376/stat : 15376 (python) S 15364 15366 15223 0 -1 4202560 33 66152 0 0 0 0 14110 47 18 0 7 0 885759454 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15385] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15385/stat : 15385 (python) S 15364 15366 15223 0 -1 4202560 28 66152 0 0 0 0 14110 47 25 0 7 0 885764757 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 4 0 0 0
[pid=15366/tid=15395] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15395/stat : 15395 (python) S 15364 15366 15223 0 -1 4202560 37 66152 0 0 0 0 14110 47 18 0 7 0 885769623 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
[pid=15366/tid=15404] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15404/stat : 15404 (python) S 15364 15366 15223 0 -1 4202560 33 66152 0 0 0 0 14110 47 18 0 7 0 885774303 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15411] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15411/stat : 15411 (python) S 15364 15366 15223 0 -1 4202560 25 66152 0 0 0 0 14110 47 20 0 7 0 885783600 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 2 0 0 0
[pid=15366/tid=15417] ppid=15364 vsize=368464 CPUtime=141.57 cores=0,2,4,6
/proc/15366/task/15417/stat : 15417 (python) S 15364 15366 15223 0 -1 4202560 31 66152 0 0 0 0 14110 47 20 0 7 0 885788227 377307136 13168 33554432000 4194304 5683644 140736871317072 18446744073709551615 251826063793 0 0 16781312 33554434 18446604453976632064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 739.92
Current children cumulated vsize (KiB) 1069424
Child status: 0
Real time (s): 739.043
CPU time (s): 740.045
CPU user time (s): 737.352
CPU system time (s): 2.69359
CPU usage (%): 100.136
Max. virtual memory (cumulated for all children) (KiB): 4095560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 737.352
system time used= 2.69359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466766
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= 2073
involuntary context switches= 1002
runsolver used 1.43878 second user time and 3.02154 second system time
The end