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-3481515-1307577990/watcher-3481515-1307577990 -o /tmp/evaluation-result-3481515-1307577990/solver-3481515-1307577990 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481515-1307577990.opb -seed 1586134773 -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.11 2.10 1.72 3/664 16127
/proc/meminfo: memFree=23121044/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 869397214 15749120 696 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/16127/statm: 3845 696 334 364 0 332 0
[startup+0.0649541 s]
/proc/loadavg: 2.11 2.10 1.72 3/664 16127
/proc/meminfo: memFree=23121044/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=29784 CPUtime=0.03 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 1461 0 0 0 3 0 0 0 17 0 1 0 869397214 30498816 1300 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/16127/statm: 7446 1300 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.100939 s]
/proc/loadavg: 2.11 2.10 1.72 3/664 16127
/proc/meminfo: memFree=23121044/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/16127/stat : 16127 (python) R 16125 16127 14938 0 -1 4202496 2661 0 0 0 4 1 0 0 17 0 1 0 869397214 87670784 2380 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335892224 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16127/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300895 s]
/proc/loadavg: 2.11 2.10 1.72 3/664 16127
/proc/meminfo: memFree=23121044/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 5358 928 1 0 12 5 0 0 16 0 1 0 869397214 126709760 3745 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/16127/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.719898 s]
/proc/loadavg: 2.11 2.10 1.72 3/664 16127
/proc/meminfo: memFree=23121044/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=282532 CPUtime=0.44 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 9213 928 1 0 31 13 0 0 15 0 1 0 869397214 289312768 6943 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 2 3284385083506556928 0 0 17 5 0 0 0
/proc/16127/statm: 70633 6943 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282532
[startup+1.50062 s]
/proc/loadavg: 2.10 2.10 1.72 3/665 16133
/proc/meminfo: memFree=23092392/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 297228
[startup+3.11838 s]
/proc/loadavg: 2.10 2.10 1.72 3/668 16136
/proc/meminfo: memFree=23027516/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
[pid=16134] ppid=16127 vsize=286984 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 869397330 293871616 6623 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 33554946 280443102227857408 0 0 17 5 0 0 0
/proc/16134/statm: 71746 6623 319 364 0 6633 0
[pid=16136] ppid=16134 vsize=72256 CPUtime=1.94 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) R 16134 16136 16136 0 -1 4202496 16544 0 0 0 176 18 0 0 18 0 1 0 869397330 73990144 15633 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16136/statm: 18064 15633 796 2317 0 15742 0
[pid=16127/tid=16135] ppid=16125 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 2 0 869397330 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 656468
[startup+6.30082 s]
/proc/loadavg: 2.10 2.10 1.72 3/668 16136
/proc/meminfo: memFree=23011324/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
[pid=16134] ppid=16127 vsize=286984 CPUtime=0.02 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 870 0 0 0 1 1 0 0 15 0 1 0 869397330 293871616 6647 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 33554946 819218175093637120 0 0 17 7 0 0 0
/proc/16134/statm: 71746 6647 343 364 0 6633 0
[pid=16136] ppid=16134 vsize=91020 CPUtime=5.12 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) R 16134 16136 16136 0 -1 4202496 21412 0 0 0 487 25 0 0 18 0 1 0 869397330 93204480 20397 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16136/statm: 22755 20397 778 2317 0 20433 0
[pid=16127/tid=16135] ppid=16125 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 2 0 869397330 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 675232
[startup+12.7007 s]
/proc/loadavg: 2.09 2.09 1.73 3/668 16137
/proc/meminfo: memFree=22999476/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
[pid=16134] ppid=16127 vsize=286984 CPUtime=0.04 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 875 0 0 0 2 2 0 0 15 0 1 0 869397330 293871616 6647 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 33554946 2141537854189207552 0 0 17 7 0 0 0
/proc/16134/statm: 71746 6647 343 364 0 6633 0
[pid=16136] ppid=16134 vsize=102360 CPUtime=11.52 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) R 16134 16136 16136 0 -1 4202496 24246 0 0 0 1114 38 0 0 18 0 1 0 869397330 104816640 23164 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16136/statm: 25590 23164 761 2317 0 23268 0
[pid=16127/tid=16135] ppid=16125 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 2 0 869397330 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 686572
[startup+25.5004 s]
/proc/loadavg: 2.07 2.09 1.73 3/668 16137
/proc/meminfo: memFree=22998012/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
[pid=16134] ppid=16127 vsize=286984 CPUtime=0.1 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 887 0 0 0 4 6 0 0 15 0 1 0 869397330 293871616 6647 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 33554946 1311402589488676864 0 0 17 7 0 0 0
/proc/16134/statm: 71746 6647 343 364 0 6633 0
[pid=16136] ppid=16134 vsize=104560 CPUtime=24.32 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) R 16134 16136 16136 0 -1 4202496 24805 0 0 0 2373 59 0 0 18 0 1 0 869397330 107069440 23721 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16136/statm: 26140 23721 811 2317 0 23818 0
[pid=16127/tid=16135] ppid=16125 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 2 0 869397330 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 688772
[startup+51.1008 s]
/proc/loadavg: 2.05 2.08 1.73 3/668 16138
/proc/meminfo: memFree=22995420/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=297228 CPUtime=0.95 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 12708 1385 1 0 70 15 9 1 18 0 2 0 869397214 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 74307 8179 1871 364 0 9194 0
[pid=16134] ppid=16127 vsize=286984 CPUtime=0.22 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 902 0 0 0 10 12 0 0 15 0 1 0 869397330 293871616 6648 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912463 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16134/statm: 71746 6648 344 364 0 6633 0
[pid=16136] ppid=16134 vsize=106164 CPUtime=49.92 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) R 16134 16136 16136 0 -1 4202496 25229 0 0 0 4883 109 0 0 25 0 1 0 869397330 108711936 24145 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16136/statm: 26541 24145 834 2317 0 24219 0
[pid=16127/tid=16135] ppid=16125 vsize=297228 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 2 0 869397330 304361472 8179 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 690376
[startup+102.301 s]
/proc/loadavg: 2.11 2.10 1.75 3/676 16147
/proc/meminfo: memFree=22828564/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=307484 CPUtime=0.97 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 13576 1385 1 0 72 15 9 1 20 0 3 0 869397214 314863616 8186 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 76871 8186 1874 364 0 11755 0
[pid=16134] ppid=16127 vsize=297228 CPUtime=0.24 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 1103 0 0 0 11 13 0 0 16 0 2 0 869397330 304361472 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16134/statm: 74307 6716 407 364 0 9194 0
[pid=16136] ppid=16134 vsize=106164 CPUtime=51.51 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) T 16134 16136 16136 0 -1 4202496 25229 0 0 0 5034 117 0 0 25 0 1 0 869397330 108711936 24145 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16136/statm: 26541 24145 834 2317 0 24219 0
[pid=16134/tid=16139] ppid=16127 vsize=297228 CPUtime=0 cores=1,3,5,7
/proc/16134/task/16139/stat : 16139 (python) S 16127 16127 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869402482 304361472 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604470725673984 0 0 -1 7 0 0 0
[pid=16140] ppid=16127 vsize=297240 CPUtime=0.29 cores=1,3,5,7
/proc/16140/stat : 16140 (python) S 16127 16127 14938 0 -1 4202560 1029 0 0 0 17 12 0 0 15 0 1 0 869402485 304373760 6658 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912518 0 0 16781312 33554946 1635460702355324928 0 0 17 7 0 0 0
/proc/16140/statm: 74310 6658 350 364 0 9194 0
[pid=16142] ppid=16140 vsize=105264 CPUtime=49.48 cores=1,3,5,7
/proc/16142/stat : 16142 (scip-2.0.1.linu) R 16140 16142 16142 0 -1 4202496 24258 0 0 0 4912 36 0 0 25 0 1 0 869402485 107790336 23609 33554432000 4194304 15243407 140737367447248 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16142/statm: 26316 23609 893 2698 0 23611 0
[pid=16127/tid=16135] ppid=16125 vsize=307484 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 24 1385 0 0 0 0 9 1 18 0 3 0 869397330 314863616 8186 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
[pid=16127/tid=16141] ppid=16125 vsize=307484 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16141/stat : 16141 (python) S 16125 16127 14938 0 -1 4202560 23 1385 0 0 0 0 9 1 20 0 3 0 869402485 314863616 8186 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 1113380
[startup+162.302 s]
/proc/loadavg: 2.29 2.14 1.79 3/694 16235
/proc/meminfo: memFree=21832144/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=327996 CPUtime=1.03 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 15383 1385 1 0 77 16 9 1 20 0 5 0 869397214 335867904 8198 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 81999 8198 1878 364 0 16877 0
[pid=16134] ppid=16127 vsize=297228 CPUtime=0.24 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 1103 0 0 0 11 13 0 0 16 0 2 0 869397330 304361472 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16134/statm: 74307 6716 407 364 0 9194 0
[pid=16136] ppid=16134 vsize=106164 CPUtime=51.51 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) T 16134 16136 16136 0 -1 4202496 25229 0 0 0 5034 117 0 0 25 0 1 0 869397330 108711936 24145 33554432000 4194304 13684479 140735740360128 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16136/statm: 26541 24145 834 2317 0 24219 0
[pid=16134/tid=16139] ppid=16127 vsize=297228 CPUtime=0 cores=1,3,5,7
/proc/16134/task/16139/stat : 16139 (python) S 16127 16127 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869402482 304361472 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604470725673984 0 0 -1 7 0 0 0
[pid=16140] ppid=16127 vsize=297240 CPUtime=0.31 cores=1,3,5,7
################
# More data... #
################
Current children cumulated CPU time (s) 773.42
Current children cumulated vsize (KiB) 20300056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+766.401 s]
/proc/loadavg: 2.01 2.09 1.93 6/801 16488
/proc/meminfo: memFree=16920996/32951124 swapFree=57654872/67111528
[pid=16127] ppid=16125 vsize=358764 CPUtime=1.18 cores=1,3,5,7
/proc/16127/stat : 16127 (python) S 16125 16127 14938 0 -1 4202496 18316 1385 1 0 91 17 9 1 19 0 8 0 869397214 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/16127/statm: 89691 8216 1884 364 0 24560 0
[pid=16134] ppid=16127 vsize=297228 CPUtime=1.7 cores=1,3,5,7
/proc/16134/stat : 16134 (python) S 16127 16127 14938 0 -1 4202560 1213 0 0 0 81 89 0 0 16 0 2 0 869397330 304361472 6717 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16134/statm: 74307 6717 408 364 0 9194 0
[pid=16136] ppid=16134 vsize=154116 CPUtime=340.08 cores=1,3,5,7
/proc/16136/stat : 16136 (scip-2.0.1.linu) T 16134 16136 16136 0 -1 4202496 59857 0 0 0 32054 1954 0 0 22 0 1 0 869397330 157814784 36282 33554432000 4194304 13684479 140735740360128 18446744073709551615 7399047 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16136/statm: 38529 36282 806 2317 0 36207 0
[pid=16134/tid=16139] ppid=16127 vsize=297228 CPUtime=0 cores=1,3,5,7
/proc/16134/task/16139/stat : 16139 (python) S 16127 16127 14938 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869402482 304361472 6717 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604470725673984 0 0 -1 7 0 0 0
[pid=16140] ppid=16127 vsize=297240 CPUtime=1.04 cores=1,3,5,7
/proc/16140/stat : 16140 (python) S 16127 16127 14938 0 -1 4202560 1265 0 0 0 55 49 0 0 15 0 2 0 869402485 304373760 6707 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16140/statm: 74310 6707 398 364 0 9194 0
[pid=16142] ppid=16140 vsize=119928 CPUtime=189.49 cores=1,3,5,7
/proc/16142/stat : 16142 (scip-2.0.1.linu) T 16140 16142 16142 0 -1 4202496 65209 0 0 0 18679 270 0 0 19 0 1 0 869402485 122806272 27165 33554432000 4194304 15243407 140737367447248 18446744073709551615 8113554 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16142/statm: 29982 27165 926 2698 0 27277 0
[pid=16140/tid=16148] ppid=16127 vsize=297240 CPUtime=0 cores=1,3,5,7
/proc/16140/task/16148/stat : 16148 (python) S 16127 16127 14938 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869407449 304373760 6707 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459341635712 0 0 -1 3 0 0 0
[pid=16149] ppid=16127 vsize=307496 CPUtime=0.23 cores=1,3,5,7
/proc/16149/stat : 16149 (python) S 16127 16127 14938 0 -1 4202560 1185 0 0 0 12 11 0 0 17 0 2 0 869407452 314875904 6710 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16149/statm: 76874 6710 397 364 0 11755 0
[pid=16151] ppid=16149 vsize=239252 CPUtime=49.19 cores=1,3,5,7
/proc/16151/stat : 16151 (wbo1.4a) T 16149 16151 16151 0 -1 4202496 60403 0 0 0 4868 51 0 0 25 0 1 0 869407452 244994048 59323 33554432000 134512640 135751879 4290243568 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16151/statm: 59813 59323 146 303 0 59508 0
[pid=16149/tid=16213] ppid=16127 vsize=307496 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16213/stat : 16213 (python) S 16127 16127 14938 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869412374 314875904 6710 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604462349862976 0 0 -1 7 0 0 0
[pid=16214] ppid=16127 vsize=317752 CPUtime=0.2 cores=1,3,5,7
/proc/16214/stat : 16214 (python) S 16127 16127 14938 0 -1 4202560 1142 0 0 0 10 10 0 0 16 0 2 0 869412376 325378048 6708 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16214/statm: 79438 6708 391 364 0 14316 0
[pid=16216] ppid=16214 vsize=8549952 CPUtime=47.38 cores=1,3,5,7
/proc/16216/stat : 16216 (java) T 16214 16216 16216 0 -1 4202496 550445 0 1 0 4679 59 0 0 18 0 19 0 869412376 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16216/statm: 2137488 545024 2250 9 0 2128229 0
[pid=16216/tid=16217] ppid=16214 vsize=8549952 CPUtime=44.51 cores=1,3,5,7
/proc/16216/task/16217/stat : 16217 (java) T 16214 16216 16216 0 -1 4202560 468998 0 1 0 4402 49 0 0 18 0 19 0 869412377 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 46912505835232 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16218] ppid=16214 vsize=8549952 CPUtime=0.07 cores=1,3,5,7
/proc/16216/task/16218/stat : 16218 (java) T 16214 16216 16216 0 -1 4202560 7253 0 0 0 7 0 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16219] ppid=16214 vsize=8549952 CPUtime=0.1 cores=1,3,5,7
/proc/16216/task/16219/stat : 16219 (java) T 16214 16216 16216 0 -1 4202560 8471 0 0 0 10 0 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16220] ppid=16214 vsize=8549952 CPUtime=0.14 cores=1,3,5,7
/proc/16216/task/16220/stat : 16220 (java) T 16214 16216 16216 0 -1 4202560 12564 0 0 0 13 1 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16216/tid=16221] ppid=16214 vsize=8549952 CPUtime=0.07 cores=1,3,5,7
/proc/16216/task/16221/stat : 16221 (java) T 16214 16216 16216 0 -1 4202560 7104 0 0 0 7 0 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16222] ppid=16214 vsize=8549952 CPUtime=0.02 cores=1,3,5,7
/proc/16216/task/16222/stat : 16222 (java) T 16214 16216 16216 0 -1 4202560 2374 0 0 0 2 0 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16223] ppid=16214 vsize=8549952 CPUtime=0.05 cores=1,3,5,7
/proc/16216/task/16223/stat : 16223 (java) T 16214 16216 16216 0 -1 4202560 4373 0 0 0 5 0 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16224] ppid=16214 vsize=8549952 CPUtime=0.16 cores=1,3,5,7
/proc/16216/task/16224/stat : 16224 (java) T 16214 16216 16216 0 -1 4202560 14101 0 0 0 15 1 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16225] ppid=16214 vsize=8549952 CPUtime=0.13 cores=1,3,5,7
/proc/16216/task/16225/stat : 16225 (java) T 16214 16216 16216 0 -1 4202560 10936 0 0 0 12 1 0 0 15 0 19 0 869412378 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16226] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16226/stat : 16226 (java) T 16214 16216 16216 0 -1 4202560 989 0 0 0 0 0 0 0 15 0 19 0 869412379 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16216/tid=16227] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16227/stat : 16227 (java) T 16214 16216 16216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869412379 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16228] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16228/stat : 16228 (java) T 16214 16216 16216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869412379 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16229] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16229/stat : 16229 (java) T 16214 16216 16216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869412381 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16230] ppid=16214 vsize=8549952 CPUtime=1.01 cores=1,3,5,7
/proc/16216/task/16230/stat : 16230 (java) T 16214 16216 16216 0 -1 4202560 5270 0 0 0 101 0 0 0 15 0 19 0 869412381 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16216/tid=16231] ppid=16214 vsize=8549952 CPUtime=1 cores=1,3,5,7
/proc/16216/task/16231/stat : 16231 (java) T 16214 16216 16216 0 -1 4202560 6618 0 0 0 100 0 0 0 15 0 19 0 869412381 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16216/tid=16232] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16232/stat : 16232 (java) T 16214 16216 16216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869412381 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16216/tid=16233] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16233/stat : 16233 (java) T 16214 16216 16216 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869412381 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16216/tid=16234] ppid=16214 vsize=8549952 CPUtime=0 cores=1,3,5,7
/proc/16216/task/16234/stat : 16234 (java) T 16214 16216 16216 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869412434 8755150848 545024 33554432000 1073741824 1073778376 140735634526352 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16214/tid=16258] ppid=16127 vsize=317752 CPUtime=0 cores=1,3,5,7
/proc/16214/task/16258/stat : 16258 (python) S 16127 16127 14938 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869416858 325378048 6708 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604463042842880 0 0 -1 7 0 0 0
[pid=16326] ppid=16127 vsize=328008 CPUtime=0.38 cores=1,3,5,7
/proc/16326/stat : 16326 (python) S 16127 16127 14938 0 -1 4202560 1176 0 0 0 17 21 0 0 16 0 2 0 869426063 335880192 6712 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16326/statm: 82002 6712 391 364 0 16877 0
[pid=16328] ppid=16326 vsize=8160 CPUtime=93.15 cores=1,3,5,7
/proc/16328/stat : 16328 (clasp-1.3.7-x86) T 16326 16328 16328 0 -1 4202496 2203 0 0 0 9315 0 0 0 25 0 1 0 869426063 8355840 1801 33554432000 134512640 136139019 4288536144 18446744073709551615 134833170 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/16328/statm: 2040 1801 187 398 0 1640 0
[pid=16326/tid=16357] ppid=16127 vsize=328008 CPUtime=0 cores=1,3,5,7
/proc/16326/task/16357/stat : 16357 (python) S 16127 16127 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869435382 335880192 6712 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458506675136 0 0 -1 1 0 0 0
[pid=16456] ppid=16127 vsize=338264 CPUtime=0.21 cores=1,3,5,7
/proc/16456/stat : 16456 (python) S 16127 16127 14938 0 -1 4202560 1144 0 0 0 11 10 0 0 17 0 2 0 869459725 346382336 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16456/statm: 84566 6716 391 364 0 19438 0
[pid=16458] ppid=16456 vsize=87924 CPUtime=47.32 cores=1,3,5,7
/proc/16458/stat : 16458 (bsolo_pb10) T 16456 16458 16458 0 -1 4202496 19962 0 0 0 4728 4 0 0 25 0 1 0 869459725 90034176 19532 33554432000 134512640 137138936 4294762848 18446744073709551615 134542307 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/16458/statm: 21981 19532 192 642 0 21337 0
[pid=16456/tid=16463] ppid=16127 vsize=338264 CPUtime=0 cores=1,3,5,7
/proc/16456/task/16463/stat : 16463 (python) S 16127 16127 14938 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869464458 346382336 6716 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458585881664 0 0 -1 7 0 0 0
[pid=16468] ppid=16127 vsize=348520 CPUtime=0 cores=1,3,5,7
/proc/16468/stat : 16468 (python) S 16127 16127 14938 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 869473777 356884480 6648 33554432000 4194304 5683644 140737155870400 18446744073709551615 232335912518 0 0 16781312 33554946 1586413326886240256 0 0 17 3 0 0 0
/proc/16468/statm: 87130 6648 320 364 0 21999 0
[pid=16470] ppid=16468 vsize=8547452 CPUtime=1.87 cores=1,3,5,7
/proc/16470/stat : 16470 (java) S 16468 16470 16470 0 -1 4202496 26015 0 1 0 184 3 0 0 17 0 19 0 869473777 8752590848 19192 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16470/statm: 2136863 19192 2234 9 0 2127604 0
[pid=16470/tid=16471] ppid=16468 vsize=8547452 CPUtime=0.78 cores=1,3,5,7
/proc/16470/task/16471/stat : 16471 (java) R 16468 16470 16470 0 -1 4202560 12369 0 1 0 76 2 0 0 25 0 19 0 869473778 8752590848 19781 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 46912505825932 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16470/tid=16472] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16472/stat : 16472 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869473779 8752590848 19781 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16473] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16473/stat : 16473 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869473779 8752590848 19781 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16474] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16474/stat : 16474 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869473779 8752590848 19781 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16475] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16475/stat : 16475 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869473779 8752590848 19782 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16476] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16476/stat : 16476 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869473779 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16477] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16477/stat : 16477 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869473779 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16478] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16478/stat : 16478 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869473779 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16479] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16479/stat : 16479 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869473779 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16480] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16480/stat : 16480 (java) S 16468 16470 16470 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 869473780 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708928 0 0 0 16800975 18446604465145314304 0 0 -1 3 0 0 0
[pid=16470/tid=16481] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16481/stat : 16481 (java) S 16468 16470 16470 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869473780 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16482] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16482/stat : 16482 (java) S 16468 16470 16470 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869473780 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16483] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16483/stat : 16483 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869473783 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347716017 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16484] ppid=16468 vsize=8547452 CPUtime=0.53 cores=1,3,5,7
/proc/16470/task/16484/stat : 16484 (java) R 16468 16470 16470 0 -1 4202560 4880 0 0 0 53 0 0 0 25 0 19 0 869473783 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 47550228424381 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16470/tid=16485] ppid=16468 vsize=8547452 CPUtime=0.56 cores=1,3,5,7
/proc/16470/task/16485/stat : 16485 (java) R 16468 16470 16470 0 -1 4202560 7952 0 0 0 56 0 0 0 25 0 19 0 869473783 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 47550227188552 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16470/tid=16486] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16486/stat : 16486 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869473783 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708313 0 4 0 16800975 18446604465145314304 0 0 -1 7 0 0 0
[pid=16470/tid=16487] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16487/stat : 16487 (java) S 16468 16470 16470 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869473783 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708928 0 4 0 16800975 18446604465145314304 0 0 -1 3 0 0 0
[pid=16470/tid=16488] ppid=16468 vsize=8547452 CPUtime=0 cores=1,3,5,7
/proc/16470/task/16488/stat : 16488 (java) S 16468 16470 16470 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869473836 8752590848 19783 33554432000 1073741824 1073778376 140734801898128 18446744073709551615 232347708928 0 4 0 16800975 18446604465145314304 0 0 -1 3 0 0 0
[pid=16127/tid=16135] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16135/stat : 16135 (python) S 16125 16127 14938 0 -1 4202560 36 1385 0 0 0 0 9 1 18 0 8 0 869397330 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
[pid=16127/tid=16141] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16141/stat : 16141 (python) S 16125 16127 14938 0 -1 4202560 33 1385 0 0 0 0 9 1 18 0 8 0 869402485 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
[pid=16127/tid=16150] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16150/stat : 16150 (python) S 16125 16127 14938 0 -1 4202560 32 1385 0 0 0 0 9 1 20 0 8 0 869407452 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 3 0 0 0
[pid=16127/tid=16215] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16215/stat : 16215 (python) S 16125 16127 14938 0 -1 4202560 31 1385 0 0 0 0 9 1 20 0 8 0 869412376 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
[pid=16127/tid=16327] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16327/stat : 16327 (python) S 16125 16127 14938 0 -1 4202560 30 1385 0 0 0 0 9 1 20 0 8 0 869426063 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 5 0 0 0
[pid=16127/tid=16457] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16457/stat : 16457 (python) S 16125 16127 14938 0 -1 4202560 29 1385 0 0 0 0 9 1 20 0 8 0 869459725 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 3 0 0 0
[pid=16127/tid=16469] ppid=16125 vsize=358764 CPUtime=0.1 cores=1,3,5,7
/proc/16127/task/16469/stat : 16469 (python) S 16125 16127 14938 0 -1 4202560 27 1385 0 0 0 0 9 1 20 0 8 0 869473777 367374336 8216 33554432000 4194304 5683644 140737155870400 18446744073709551615 232347716017 0 0 16781312 33554434 18446604466846210944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 773.42
Current children cumulated vsize (KiB) 20300056
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16127 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=12846
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 1.20582
# while last known CPU time is 773.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 766.495
CPU time (s): 773.42
CPU user time (s): 747.93
CPU system time (s): 25.49
CPU usage (%): 100.903
Max. virtual memory (cumulated for all children) (KiB): 20300056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01285
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19705
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= 8877
involuntary context switches= 24
runsolver used 5.69313 second user time and 12.991 second system time
The end