runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3734942-1339247690/watcher-3734942-1339247690 -o /tmp/evaluation-result-3734942-1339247690/solver-3734942-1339247690 -C 1800 -W 1900 -M 15500 run HOME/instance-3734942-1339247690.opb
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: 8.57 7.99 4.77 3/177 25265
/proc/meminfo: memFree=29477848/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[startup+0.0549361 s]
/proc/loadavg: 8.57 7.99 4.77 3/177 25265
/proc/meminfo: memFree=29477848/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100223 s]
/proc/loadavg: 8.57 7.99 4.77 3/177 25265
/proc/meminfo: memFree=29477848/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300209 s]
/proc/loadavg: 8.57 7.99 4.77 3/177 25265
/proc/meminfo: memFree=29477848/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700124 s]
/proc/loadavg: 8.57 7.99 4.77 3/177 25265
/proc/meminfo: memFree=29477848/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 8.13 7.90 4.76 3/186 25316
/proc/meminfo: memFree=29463548/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=95672 CPUtime=3.06 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 8092 0 0 0 242 64 0 0 20 0 8 0 390897585 97968128 4603 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 23918 4603 954 2985 0 20852 0
[pid=25266/tid=25310] ppid=25265 vsize=95672 CPUtime=0.24 cores=1,3,5,7
/proc/25266/task/25310/stat : 25310 (pb_cplex) S 25265 25265 24699 0 -1 4202560 190 0 0 0 16 8 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25311] ppid=25265 vsize=95672 CPUtime=0.23 cores=1,3,5,7
/proc/25266/task/25311/stat : 25311 (pb_cplex) S 25265 25265 24699 0 -1 4202560 298 0 0 0 18 5 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25312] ppid=25265 vsize=95672 CPUtime=0.2 cores=1,3,5,7
/proc/25266/task/25312/stat : 25312 (pb_cplex) R 25265 25265 24699 0 -1 4202560 149 0 0 0 14 6 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4150259392 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25313] ppid=25265 vsize=95672 CPUtime=0.2 cores=1,3,5,7
/proc/25266/task/25313/stat : 25313 (pb_cplex) S 25265 25265 24699 0 -1 4202560 150 0 0 0 16 4 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4120821392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25314] ppid=25265 vsize=95672 CPUtime=0.27 cores=1,3,5,7
/proc/25266/task/25314/stat : 25314 (pb_cplex) S 25265 25265 24699 0 -1 4202560 232 0 0 0 22 5 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25315] ppid=25265 vsize=95672 CPUtime=0.31 cores=1,3,5,7
/proc/25266/task/25315/stat : 25315 (pb_cplex) R 25265 25265 24699 0 -1 4202560 330 0 0 0 25 6 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4099849900 144580332 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25316] ppid=25265 vsize=95672 CPUtime=0.27 cores=1,3,5,7
/proc/25266/task/25316/stat : 25316 (pb_cplex) S 25265 25265 24699 0 -1 4202560 325 0 0 0 20 7 0 0 20 0 8 0 390897623 97968128 4603 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 104820
[startup+3.10033 s]
/proc/loadavg: 8.13 7.90 4.76 10/186 25316
/proc/meminfo: memFree=29461440/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=95672 CPUtime=8.56 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) R 25265 25265 24699 0 -1 4202496 10511 0 0 0 733 123 0 0 20 0 8 0 390897585 97968128 4903 33554432000 134512640 146736320 4287768160 4287756352 136488835 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25266/statm: 23918 4903 979 2985 0 20852 0
[pid=25266/tid=25310] ppid=25265 vsize=95672 CPUtime=0.98 cores=1,3,5,7
/proc/25266/task/25310/stat : 25310 (pb_cplex) R 25265 25265 24699 0 -1 4202560 782 0 0 0 84 14 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4074755904 137139237 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25311] ppid=25265 vsize=95672 CPUtime=0.88 cores=1,3,5,7
/proc/25266/task/25311/stat : 25311 (pb_cplex) R 25265 25265 24699 0 -1 4202560 611 0 0 0 78 10 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4139765952 135231559 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25312] ppid=25265 vsize=95672 CPUtime=0.98 cores=1,3,5,7
/proc/25266/task/25312/stat : 25312 (pb_cplex) R 25265 25265 24699 0 -1 4202560 521 0 0 0 87 11 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4150253520 137151227 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25313] ppid=25265 vsize=95672 CPUtime=0.82 cores=1,3,5,7
/proc/25266/task/25313/stat : 25313 (pb_cplex) R 25265 25265 24699 0 -1 4202560 364 0 0 0 70 12 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4120812512 135845834 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25314] ppid=25265 vsize=95672 CPUtime=1.04 cores=1,3,5,7
/proc/25266/task/25314/stat : 25314 (pb_cplex) R 25265 25265 24699 0 -1 4202560 426 0 0 0 87 17 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4110328732 144785853 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25315] ppid=25265 vsize=95672 CPUtime=0.95 cores=1,3,5,7
/proc/25266/task/25315/stat : 25315 (pb_cplex) R 25265 25265 24699 0 -1 4202560 594 0 0 0 85 10 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4099841692 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25316] ppid=25265 vsize=95672 CPUtime=0.97 cores=1,3,5,7
/proc/25266/task/25316/stat : 25316 (pb_cplex) R 25265 25265 24699 0 -1 4202560 487 0 0 0 84 13 0 0 20 0 8 0 390897623 97968128 4903 33554432000 134512640 146736320 4287768160 4089357212 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 104820
[startup+6.30023 s]
/proc/loadavg: 8.13 7.90 4.76 10/186 25316
/proc/meminfo: memFree=29460696/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=94880 CPUtime=19.71 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 17771 0 0 0 1718 253 0 0 20 0 8 0 390897585 97157120 4890 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25266/statm: 23720 4890 980 2985 0 20654 0
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (KiB) 104028
[startup+12.7004 s]
/proc/loadavg: 7.19 7.71 4.73 3/186 25351
/proc/meminfo: memFree=29459124/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=97720 CPUtime=29.74 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 46568 0 0 0 2567 407 0 0 20 0 8 0 390897585 100065280 5336 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25266/statm: 24430 5336 980 2985 0 21364 0
[pid=25266/tid=25345] ppid=25265 vsize=97720 CPUtime=1.47 cores=1,3,5,7
/proc/25266/task/25345/stat : 25345 (pb_cplex) S 25265 25265 24699 0 -1 4202560 3894 0 0 0 124 23 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25346] ppid=25265 vsize=97720 CPUtime=1.16 cores=1,3,5,7
/proc/25266/task/25346/stat : 25346 (pb_cplex) S 25265 25265 24699 0 -1 4202560 2982 0 0 0 97 19 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4099849872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25347] ppid=25265 vsize=97720 CPUtime=1.55 cores=1,3,5,7
/proc/25266/task/25347/stat : 25347 (pb_cplex) S 25265 25265 24699 0 -1 4202560 4244 0 0 0 137 18 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25348] ppid=25265 vsize=97720 CPUtime=1.32 cores=1,3,5,7
/proc/25266/task/25348/stat : 25348 (pb_cplex) S 25265 25265 24699 0 -1 4202560 4191 0 0 0 107 25 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4120821392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25349] ppid=25265 vsize=97720 CPUtime=1.23 cores=1,3,5,7
/proc/25266/task/25349/stat : 25349 (pb_cplex) R 25265 25265 24699 0 -1 4202560 2857 0 0 0 105 18 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4150252368 139023078 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25350] ppid=25265 vsize=97720 CPUtime=1.33 cores=1,3,5,7
/proc/25266/task/25350/stat : 25350 (pb_cplex) S 25265 25265 24699 0 -1 4202560 4005 0 0 0 112 21 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25351] ppid=25265 vsize=97720 CPUtime=1.28 cores=1,3,5,7
/proc/25266/task/25351/stat : 25351 (pb_cplex) S 25265 25265 24699 0 -1 4202560 4489 0 0 0 103 25 0 0 20 0 8 0 390898168 100065280 5336 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (KiB) 106868
[startup+25.5004 s]
/proc/loadavg: 6.31 7.50 4.70 7/186 25351
/proc/meminfo: memFree=29458320/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=99116 CPUtime=48.63 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 91845 0 0 0 4124 739 0 0 20 0 8 0 390897585 101494784 5453 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25266/statm: 24779 5453 980 2985 0 21713 0
[pid=25266/tid=25345] ppid=25265 vsize=99116 CPUtime=4.04 cores=1,3,5,7
/proc/25266/task/25345/stat : 25345 (pb_cplex) S 25265 25265 24699 0 -1 4202560 10844 0 0 0 343 61 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25346] ppid=25265 vsize=99116 CPUtime=3.73 cores=1,3,5,7
/proc/25266/task/25346/stat : 25346 (pb_cplex) R 25265 25265 24699 0 -1 4202560 9594 0 0 0 313 60 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4099844260 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25347] ppid=25265 vsize=99116 CPUtime=4.07 cores=1,3,5,7
/proc/25266/task/25347/stat : 25347 (pb_cplex) S 25265 25265 24699 0 -1 4202560 10753 0 0 0 338 69 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25348] ppid=25265 vsize=99116 CPUtime=3.72 cores=1,3,5,7
/proc/25266/task/25348/stat : 25348 (pb_cplex) S 25265 25265 24699 0 -1 4202560 9578 0 0 0 308 64 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4120821392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25349] ppid=25265 vsize=99116 CPUtime=3.44 cores=1,3,5,7
/proc/25266/task/25349/stat : 25349 (pb_cplex) S 25265 25265 24699 0 -1 4202560 7658 0 0 0 283 61 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25350] ppid=25265 vsize=99116 CPUtime=3.39 cores=1,3,5,7
/proc/25266/task/25350/stat : 25350 (pb_cplex) S 25265 25265 24699 0 -1 4202560 8762 0 0 0 270 69 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25351] ppid=25265 vsize=99116 CPUtime=3.53 cores=1,3,5,7
/proc/25266/task/25351/stat : 25351 (pb_cplex) S 25265 25265 24699 0 -1 4202560 9718 0 0 0 296 57 0 0 20 0 8 0 390898168 101494784 5453 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (KiB) 108264
[startup+51.1004 s]
/proc/loadavg: 4.79 7.05 4.62 4/186 25351
/proc/meminfo: memFree=29460968/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=99768 CPUtime=86.85 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 200314 0 0 0 7233 1452 0 0 20 0 8 0 390897585 102162432 5596 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25266/statm: 24942 5596 980 2985 0 21876 0
[pid=25266/tid=25345] ppid=25265 vsize=99768 CPUtime=8.47 cores=1,3,5,7
/proc/25266/task/25345/stat : 25345 (pb_cplex) S 25265 25265 24699 0 -1 4202560 24048 0 0 0 707 140 0 0 20 0 8 0 390898168 102162432 5601 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25346] ppid=25265 vsize=99768 CPUtime=8.47 cores=1,3,5,7
/proc/25266/task/25346/stat : 25346 (pb_cplex) S 25265 25265 24699 0 -1 4202560 23518 0 0 0 709 138 0 0 20 0 8 0 390898168 102162432 5601 33554432000 134512640 146736320 4287768160 4099849872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25347] ppid=25265 vsize=99768 CPUtime=9.03 cores=1,3,5,7
/proc/25266/task/25347/stat : 25347 (pb_cplex) R 25265 25265 24699 0 -1 4202560 25168 0 0 0 737 166 0 0 20 0 8 0 390898168 102162432 5601 33554432000 134512640 146736320 4287768160 4110328128 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25348] ppid=25265 vsize=99768 CPUtime=8.36 cores=1,3,5,7
/proc/25266/task/25348/stat : 25348 (pb_cplex) S 25265 25265 24699 0 -1 4202560 22623 0 0 0 679 157 0 0 20 0 8 0 390898168 102162432 5600 33554432000 134512640 146736320 4287768160 4120821392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25349] ppid=25265 vsize=99768 CPUtime=7.69 cores=1,3,5,7
/proc/25266/task/25349/stat : 25349 (pb_cplex) S 25265 25265 24699 0 -1 4202560 18770 0 0 0 612 157 0 0 20 0 8 0 390898168 102162432 5600 33554432000 134512640 146736320 4287768160 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25350] ppid=25265 vsize=99768 CPUtime=8.19 cores=1,3,5,7
################
# More data... #
################
[pid=25266/tid=25386] ppid=25265 vsize=98264 CPUtime=155.87 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) S 25265 25265 24699 0 -1 4202560 34215 0 0 0 12102 3485 0 0 20 0 8 0 390904401 100622336 5492 33554432000 134512640 146736320 4287768160 4099849872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=98264 CPUtime=157.64 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 35122 0 0 0 12238 3526 0 0 20 0 8 0 390904401 100622336 5492 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1440.74
Current children cumulated vsize (KiB) 107412
[startup+1002.3 s]
/proc/loadavg: 2.52 4.31 4.06 6/186 25469
/proc/meminfo: memFree=29500040/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=98264 CPUtime=1530.53 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 593404 0 0 0 121042 32011 0 0 20 0 8 0 390897585 100622336 5509 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25266/statm: 24566 5509 984 2985 0 21500 0
[pid=25266/tid=25381] ppid=25265 vsize=98264 CPUtime=173.24 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 34188 0 0 0 13497 3827 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=98264 CPUtime=167.62 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 33726 0 0 0 12964 3798 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=98264 CPUtime=167.88 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) S 25265 25265 24699 0 -1 4202560 33127 0 0 0 13046 3742 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=98264 CPUtime=167.35 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) R 25265 25265 24699 0 -1 4202560 34155 0 0 0 12918 3817 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4120814436 136385268 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=98264 CPUtime=167.47 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 35768 0 0 0 12907 3840 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=98264 CPUtime=166.81 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) S 25265 25265 24699 0 -1 4202560 35752 0 0 0 12926 3755 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4099849872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=98264 CPUtime=168.49 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 36602 0 0 0 13036 3813 0 0 20 0 8 0 390904401 100622336 5509 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1530.53
Current children cumulated vsize (KiB) 107412
[startup+1062.3 s]
/proc/loadavg: 2.20 3.87 3.92 5/186 25469
/proc/meminfo: memFree=29509024/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=98264 CPUtime=1619.1 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 605601 0 0 0 127856 34054 0 0 20 0 8 0 390897585 100622336 5519 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 24566 5519 984 2985 0 21500 0
[pid=25266/tid=25381] ppid=25265 vsize=98264 CPUtime=184.39 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 36041 0 0 0 14343 4096 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=98264 CPUtime=178.54 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 35221 0 0 0 13814 4040 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=98264 CPUtime=178.43 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) S 25265 25265 24699 0 -1 4202560 34716 0 0 0 13839 4004 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4150259344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=98264 CPUtime=177.81 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) S 25265 25265 24699 0 -1 4202560 35564 0 0 0 13708 4073 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4120821392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=98264 CPUtime=178.42 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 37195 0 0 0 13743 4099 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=98264 CPUtime=177.1 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) R 25265 25265 24699 0 -1 4202560 36868 0 0 0 13725 3985 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4099845696 137083742 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=98264 CPUtime=179.29 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38191 0 0 0 13860 4069 0 0 20 0 8 0 390904401 100622336 5519 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1619.1
Current children cumulated vsize (KiB) 107412
[startup+1122.3 s]
/proc/loadavg: 4.13 4.04 3.97 7/193 25476
/proc/meminfo: memFree=29428116/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=101560 CPUtime=1707.44 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) R 25265 25265 24699 0 -1 4202496 618526 0 0 0 135012 35732 0 0 20 0 8 0 390897585 103997440 5810 33554432000 134512640 146736320 4287768160 4287764428 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 25390 5810 984 2985 0 22324 0
[pid=25266/tid=25381] ppid=25265 vsize=101560 CPUtime=195.48 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 37830 0 0 0 15235 4313 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4074761700 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=101560 CPUtime=189.29 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 36869 0 0 0 14677 4252 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4139773412 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=101560 CPUtime=188.82 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) R 25265 25265 24699 0 -1 4202560 36214 0 0 0 14664 4218 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4150259312 144580073 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=101560 CPUtime=188.23 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) S 25265 25265 24699 0 -1 4202560 37171 0 0 0 14526 4297 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4120821360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=101560 CPUtime=188.8 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38601 0 0 0 14589 4291 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4110335600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=101560 CPUtime=187.8 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38533 0 0 0 14594 4186 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4099849840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=101560 CPUtime=190.05 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 39828 0 0 0 14729 4276 0 0 20 0 8 0 390904401 103997440 5810 33554432000 134512640 146736320 4287768160 4089364080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1707.44
Current children cumulated vsize (KiB) 110708
[startup+1182.3 s]
/proc/loadavg: 6.60 4.74 4.21 10/193 25476
/proc/meminfo: memFree=29418784/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=101560 CPUtime=1793.39 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) R 25265 25265 24699 0 -1 4202496 630814 0 0 0 142417 36922 0 0 20 0 8 0 390897585 103997440 5828 33554432000 134512640 146736320 4287768160 4287764480 136674344 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25266/statm: 25390 5828 984 2985 0 22324 0
[pid=25266/tid=25381] ppid=25265 vsize=101560 CPUtime=205.85 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 39332 0 0 0 16128 4457 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4074761700 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=101560 CPUtime=199.42 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38224 0 0 0 15537 4405 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4139773412 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=101560 CPUtime=198.47 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) S 25265 25265 24699 0 -1 4202560 37860 0 0 0 15484 4363 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4150259172 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=101560 CPUtime=197.93 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) R 25265 25265 24699 0 -1 4202560 38443 0 0 0 15353 4440 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4120821360 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=101560 CPUtime=199.04 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 40148 0 0 0 15464 4440 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4110335600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=101560 CPUtime=198.02 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) S 25265 25265 24699 0 -1 4202560 40320 0 0 0 15470 4332 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4099849840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=101560 CPUtime=200.43 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 41498 0 0 0 15621 4422 0 0 20 0 8 0 390904401 103997440 5828 33554432000 134512640 146736320 4287768160 4089364080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (KiB) 110708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1187.1 s]
/proc/loadavg: 6.31 4.72 4.21 7/193 25476
/proc/meminfo: memFree=29409964/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=101560 CPUtime=1800.1 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 631717 0 0 0 142999 37011 0 0 20 0 8 0 390897585 103997440 5815 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 25390 5815 984 2985 0 22324 0
[pid=25266/tid=25381] ppid=25265 vsize=101560 CPUtime=206.76 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 39455 0 0 0 16207 4469 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=101560 CPUtime=200.1 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38294 0 0 0 15594 4416 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=101560 CPUtime=199.15 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) R 25265 25265 24699 0 -1 4202560 37949 0 0 0 15542 4373 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4150256616 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=101560 CPUtime=198.8 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) R 25265 25265 24699 0 -1 4202560 38576 0 0 0 15429 4451 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4120821420 144580332 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=101560 CPUtime=199.75 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 40271 0 0 0 15524 4451 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=101560 CPUtime=198.8 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) R 25265 25265 24699 0 -1 4202560 40429 0 0 0 15539 4341 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4099844916 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=101560 CPUtime=201.33 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 41623 0 0 0 15699 4434 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 110708
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1187.1 s]
/proc/loadavg: 6.31 4.72 4.21 7/193 25476
/proc/meminfo: memFree=29409964/32873844 swapFree=8660/8660
[pid=25265] ppid=25263 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (run) S 25263 25265 24699 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390897585 9367552 269 33554432000 4194304 5064252 140733734080944 140733734079856 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 2287 269 229 213 0 72 0
[pid=25266] ppid=25265 vsize=101560 CPUtime=1800.1 cores=1,3,5,7
/proc/25266/stat : 25266 (pb_cplex) S 25265 25265 24699 0 -1 4202496 631717 0 0 0 142999 37011 0 0 20 0 8 0 390897585 103997440 5815 33554432000 134512640 146736320 4287768160 4287764560 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25266/statm: 25390 5815 984 2985 0 22324 0
[pid=25266/tid=25381] ppid=25265 vsize=101560 CPUtime=206.76 cores=1,3,5,7
/proc/25266/task/25381/stat : 25381 (pb_cplex) S 25265 25265 24699 0 -1 4202560 39455 0 0 0 16207 4469 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25382] ppid=25265 vsize=101560 CPUtime=200.1 cores=1,3,5,7
/proc/25266/task/25382/stat : 25382 (pb_cplex) S 25265 25265 24699 0 -1 4202560 38294 0 0 0 15594 4416 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4139773584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25266/tid=25383] ppid=25265 vsize=101560 CPUtime=199.15 cores=1,3,5,7
/proc/25266/task/25383/stat : 25383 (pb_cplex) R 25265 25265 24699 0 -1 4202560 37949 0 0 0 15542 4373 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4150256616 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25266/tid=25384] ppid=25265 vsize=101560 CPUtime=198.8 cores=1,3,5,7
/proc/25266/task/25384/stat : 25384 (pb_cplex) R 25265 25265 24699 0 -1 4202560 38576 0 0 0 15429 4451 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4120821420 144580332 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25385] ppid=25265 vsize=101560 CPUtime=199.75 cores=1,3,5,7
/proc/25266/task/25385/stat : 25385 (pb_cplex) S 25265 25265 24699 0 -1 4202560 40271 0 0 0 15524 4451 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4110335632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25386] ppid=25265 vsize=101560 CPUtime=198.8 cores=1,3,5,7
/proc/25266/task/25386/stat : 25386 (pb_cplex) R 25265 25265 24699 0 -1 4202560 40429 0 0 0 15539 4341 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4099844916 144785853 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25266/tid=25387] ppid=25265 vsize=101560 CPUtime=201.33 cores=1,3,5,7
/proc/25266/task/25387/stat : 25387 (pb_cplex) S 25265 25265 24699 0 -1 4202560 41623 0 0 0 15699 4434 0 0 20 0 8 0 390904401 103997440 5815 33554432000 134512640 146736320 4287768160 4089364112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 110708
Child status: 0
Real time (s): 1187.12
CPU time (s): 1808.37
CPU user time (s): 1436.26
CPU system time (s): 372.112
CPU usage (%): 152.333
Max. virtual memory (cumulated for all children) (KiB): 117916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1436.26
system time used= 372.112
maximum resident set size= 31112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11915314
involuntary context switches= 1563123
runsolver used 3.07653 second user time and 6.84296 second system time
The end