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-3738376-1339249061/watcher-3738376-1339249061 -o /tmp/evaluation-result-3738376-1339249061/solver-3738376-1339249061 -C 1800 -W 1900 -M 15500 run HOME/instance-3738376-1339249061.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: 12.29 9.15 5.41 10/184 1027
/proc/meminfo: memFree=30705452/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[startup+0.0299461 s]
/proc/loadavg: 12.29 9.15 5.41 10/184 1027
/proc/meminfo: memFree=30705452/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 12.29 9.15 5.41 10/184 1027
/proc/meminfo: memFree=30705452/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3002 s]
/proc/loadavg: 12.29 9.15 5.41 10/184 1027
/proc/meminfo: memFree=30705452/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700128 s]
/proc/loadavg: 12.29 9.15 5.41 10/184 1027
/proc/meminfo: memFree=30705452/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50047 s]
/proc/loadavg: 12.29 9.15 5.41 9/193 1036
/proc/meminfo: memFree=30669304/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=94960 CPUtime=3.38 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 13988 0 0 0 329 9 0 0 20 0 1 0 391031826 97239040 10001 33554432000 134512640 146736320 4288725136 4288721880 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1028/statm: 23740 10001 941 2985 0 20674 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 104108
[startup+3.10021 s]
/proc/loadavg: 12.29 9.15 5.41 10/186 1036
/proc/meminfo: memFree=30675164/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=147204 CPUtime=4.96 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 26818 0 0 0 485 11 0 0 20 0 1 0 391031826 150736896 19094 33554432000 134512640 146736320 4288725136 4288722096 139023083 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1028/statm: 36801 19097 950 2985 0 33735 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 156352
[startup+6.30041 s]
/proc/loadavg: 12.50 9.25 5.46 10/193 1050
/proc/meminfo: memFree=30592768/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=222236 CPUtime=14.44 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 45346 0 0 0 1425 19 0 0 20 0 8 0 391031826 227569664 29986 33554432000 134512640 146736320 4288725136 4288718760 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1028/statm: 55559 29986 966 2985 0 52493 0
[pid=1028/tid=1044] ppid=1027 vsize=222236 CPUtime=1.52 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 864 0 0 0 152 0 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4068467432 139023034 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=222236 CPUtime=1.09 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 3359 0 0 0 108 1 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4131200028 135855130 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=222236 CPUtime=1.04 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 1263 0 0 0 103 1 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4141686824 139044552 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=222236 CPUtime=1.05 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 1318 0 0 0 105 0 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4115766248 139044552 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=222236 CPUtime=1.11 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 1669 0 0 0 111 0 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4020928604 135855162 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=222236 CPUtime=1.01 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 2484 0 0 0 101 0 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 4010442960 136008039 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=222236 CPUtime=0.98 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 933 0 0 0 98 0 0 0 20 0 8 0 391032146 227569664 29986 33554432000 134512640 146736320 4288725136 3999958040 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.44
Current children cumulated vsize (KiB) 231384
[startup+12.7005 s]
/proc/loadavg: 12.70 9.34 5.51 15/193 1050
/proc/meminfo: memFree=30559520/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=251228 CPUtime=35.71 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) S 1027 1027 415 0 -1 4202496 74604 0 0 0 3538 33 0 0 20 0 8 0 391031826 257257472 37009 33554432000 134512640 146736320 4288725136 4288721488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1028/statm: 62807 37009 966 2985 0 59741 0
[pid=1028/tid=1044] ppid=1027 vsize=251228 CPUtime=4.03 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) S 1027 1027 415 0 -1 4202560 4491 0 0 0 401 2 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=251228 CPUtime=3.77 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) S 1027 1027 415 0 -1 4202560 6339 0 0 0 374 3 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4131204752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=251228 CPUtime=3.57 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) S 1027 1027 415 0 -1 4202560 5046 0 0 0 354 3 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4141690512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=251228 CPUtime=4.15 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 6214 0 0 0 412 3 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4115766800 136403129 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=251228 CPUtime=4.05 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) S 1027 1027 415 0 -1 4202560 5046 0 0 0 403 2 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4020932240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=251228 CPUtime=3.4 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) S 1027 1027 415 0 -1 4202560 7870 0 0 0 338 2 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 4010446480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=251228 CPUtime=3.45 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) S 1027 1027 415 0 -1 4202560 2161 0 0 0 345 0 0 0 20 0 8 0 391032146 257257472 37009 33554432000 134512640 146736320 4288725136 3999960720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 35.71
Current children cumulated vsize (KiB) 260376
[startup+25.5005 s]
/proc/loadavg: 12.92 9.55 5.64 14/193 1050
/proc/meminfo: memFree=30551336/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=257756 CPUtime=79.73 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 108584 0 0 0 7925 48 0 0 20 0 8 0 391031826 263942144 38348 33554432000 134512640 146736320 4288725136 4288717800 139044507 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1028/statm: 64439 38348 973 2985 0 61373 0
[pid=1028/tid=1044] ppid=1027 vsize=257756 CPUtime=9.06 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 9805 0 0 0 902 4 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4068468248 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=257756 CPUtime=9.05 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 10136 0 0 0 900 5 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4131201148 135453306 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=257756 CPUtime=8.77 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 8070 0 0 0 873 4 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4141686988 136388893 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=257756 CPUtime=9.94 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 10520 0 0 0 990 4 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4115767364 136385175 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=257756 CPUtime=9.33 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 9741 0 0 0 930 3 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4020928564 135450830 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=257756 CPUtime=9.36 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 16614 0 0 0 931 5 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 4010442952 136388555 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=257756 CPUtime=9.05 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 3363 0 0 0 903 2 0 0 20 0 8 0 391032146 263942144 38348 33554432000 134512640 146736320 4288725136 3999957104 136384895 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (KiB) 266904
[startup+51.1052 s]
/proc/loadavg: 12.62 9.75 5.81 4/193 1050
/proc/meminfo: memFree=30550840/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=259080 CPUtime=169.11 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 203260 0 0 0 16821 90 0 0 20 0 8 0 391031826 265297920 38631 33554432000 134512640 146736320 4288725136 4288720032 135921211 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1028/statm: 64770 38631 973 2985 0 61704 0
[pid=1028/tid=1044] ppid=1027 vsize=259080 CPUtime=19.34 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 23595 0 0 0 1925 9 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4068467688 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=259080 CPUtime=19.42 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 16513 0 0 0 1933 9 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4131203292 135921008 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=259080 CPUtime=20.56 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 30523 0 0 0 2045 11 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4141687376 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=259080 CPUtime=20.44 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 17094 0 0 0 2036 8 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4115768296 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=259080 CPUtime=22.23 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 25921 0 0 0 2213 10 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4020929512 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=259080 CPUtime=19.7 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 42050 0 0 0 1955 15 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 4010446480 144580073 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=259080 CPUtime=20.44 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) S 1027 1027 415 0 -1 4202560 3367 0 0 0 2040 4 0 0 20 0 8 0 391032146 265297920 38631 33554432000 134512640 146736320 4288725136 3999960720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 169.11
Current children cumulated vsize (KiB) 268228
[startup+102.307 s]
/proc/loadavg: 13.49 10.40 6.23 17/193 1050
/proc/meminfo: memFree=30536604/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=267796 CPUtime=340.13 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 336944 0 0 0 33853 160 0 0 20 0 8 0 391031826 274223104 42146 33554432000 134512640 146736320 4288725136 4288717968 136008178 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/1028/statm: 69240 46416 984 2985 0 66174 0
[pid=1028/tid=1044] ppid=1027 vsize=276960 CPUtime=117.43 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 28123 0 0 0 11713 30 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4068466728 139044572 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=276960 CPUtime=120.79 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 17700 0 0 0 12047 32 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4131202024 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=276960 CPUtime=124.22 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 113566 0 0 0 12365 57 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4141687684 135850315 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=276960 CPUtime=123.36 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 79171 0 0 0 12286 50 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4115767364 136385174 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=276960 CPUtime=122.97 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 104625 0 0 0 12245 52 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4020928720 136008050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=276960 CPUtime=120.79 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 84848 0 0 0 12031 48 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4010442820 136385183 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=276960 CPUtime=120.33 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 17148 0 0 0 12003 30 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 3999957616 136385268 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 986.19
Current children cumulated vsize (KiB) 286108
[startup+342.3 s]
/proc/loadavg: 8.55 10.32 7.24 5/186 1105
/proc/meminfo: memFree=30409404/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=276960 CPUtime=1206.76 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 537474 0 0 0 120277 399 0 0 20 0 8 0 391031826 283607040 46416 33554432000 134512640 146736320 4288725136 4288718216 136001992 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1028/statm: 69240 46416 984 2985 0 66174 0
[pid=1028/tid=1044] ppid=1027 vsize=276960 CPUtime=145.34 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 28127 0 0 0 14496 38 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4068467328 139046460 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=276960 CPUtime=147.9 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 18279 0 0 0 14750 40 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4131201096 139042873 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=276960 CPUtime=151.54 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 129815 0 0 0 15087 67 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4141687408 136385269 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=276960 CPUtime=151.28 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 79802 0 0 0 15071 57 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4115767504 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=276960 CPUtime=150.18 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 113376 0 0 0 14958 60 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4020928512 136019042 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=276960 CPUtime=148.06 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 84848 0 0 0 14750 56 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 4010441916 135526845 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=276960 CPUtime=147.84 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 17148 0 0 0 14747 37 0 0 20 0 8 0 391032146 283607040 46416 33554432000 134512640 146736320 4288725136 3999957632 138423716 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1206.76
Current children cumulated vsize (KiB) 286108
[startup+402.3 s]
/proc/loadavg: 8.03 9.84 7.27 3/186 1105
/proc/meminfo: memFree=30407076/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=276960 CPUtime=1426.69 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) S 1027 1027 415 0 -1 4202496 600830 0 0 0 142210 459 0 0 20 0 8 0 391031826 283607040 46609 33554432000 134512640 146736320 4288725136 4288721488 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1028/statm: 69240 46609 984 2985 0 66174 0
[pid=1028/tid=1044] ppid=1027 vsize=276960 CPUtime=173.09 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 28127 0 0 0 17266 43 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4068467688 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=276960 CPUtime=175.46 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 27763 0 0 0 17499 47 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4131201176 136007525 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=276960 CPUtime=179.32 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) S 1027 1027 415 0 -1 4202560 130319 0 0 0 17858 74 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4141690512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=276960 CPUtime=178.51 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) S 1027 1027 415 0 -1 4202560 91441 0 0 0 17785 66 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4115771024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=276960 CPUtime=177.38 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 145980 0 0 0 17665 73 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4020928720 136008234 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=276960 CPUtime=175.72 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) S 1027 1027 415 0 -1 4202560 84848 0 0 0 17511 61 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 4010446480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=276960 CPUtime=174.38 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 17148 0 0 0 17394 44 0 0 20 0 8 0 391032146 283607040 46609 33554432000 134512640 146736320 4288725136 3999957992 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1426.69
Current children cumulated vsize (KiB) 286108
[startup+462.3 s]
/proc/loadavg: 8.22 9.54 7.32 5/186 1105
/proc/meminfo: memFree=30379532/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=277984 CPUtime=1645.67 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 613955 0 0 0 164063 504 0 0 20 0 8 0 391031826 284655616 46671 33554432000 134512640 146736320 4288725136 4288718760 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1028/statm: 69496 46671 984 2985 0 66430 0
[pid=1028/tid=1044] ppid=1027 vsize=277984 CPUtime=200.68 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) S 1027 1027 415 0 -1 4202560 28127 0 0 0 20018 50 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=277984 CPUtime=201.93 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 29258 0 0 0 20140 53 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4131201048 139023058 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=277984 CPUtime=206.36 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) S 1027 1027 415 0 -1 4202560 132335 0 0 0 20555 81 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4141690512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=277984 CPUtime=205.67 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) S 1027 1027 415 0 -1 4202560 92622 0 0 0 20493 74 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4115771024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=277984 CPUtime=205.14 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) S 1027 1027 415 0 -1 4202560 152896 0 0 0 20432 82 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4020932240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=277984 CPUtime=202.96 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) S 1027 1027 415 0 -1 4202560 85645 0 0 0 20229 67 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 4010446480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=277984 CPUtime=201.64 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) S 1027 1027 415 0 -1 4202560 17148 0 0 0 20115 49 0 0 20 0 8 0 391032146 284655616 46671 33554432000 134512640 146736320 4288725136 3999960720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1645.67
Current children cumulated vsize (KiB) 287132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+504.3 s]
/proc/loadavg: 8.16 9.34 7.36 10/186 1106
/proc/meminfo: memFree=30392988/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=277740 CPUtime=1800.19 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 642552 0 0 0 179479 540 0 0 20 0 8 0 391031826 284405760 46746 33554432000 134512640 146736320 4288725136 4288718188 136400487 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 69435 46746 984 2985 0 66369 0
[pid=1028/tid=1044] ppid=1027 vsize=277740 CPUtime=219.68 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 28127 0 0 0 21914 54 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4068466756 136385174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=277740 CPUtime=221.02 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 29755 0 0 0 22046 56 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4131201664 139046505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=277740 CPUtime=226.04 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 134099 0 0 0 22520 84 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4141687240 136001656 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=277740 CPUtime=225.1 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 92622 0 0 0 22433 77 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4115768296 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=277740 CPUtime=224.52 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 174385 0 0 0 22362 90 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4020928580 136385175 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=277740 CPUtime=221.82 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 87113 0 0 0 22110 72 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4010443008 136400746 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=277740 CPUtime=220.56 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 19860 0 0 0 22003 53 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 3999957384 136388106 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 286888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+504.3 s]
/proc/loadavg: 8.16 9.34 7.36 10/186 1106
/proc/meminfo: memFree=30392988/32873844 swapFree=7632/7632
[pid=1027] ppid=1025 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (run) S 1025 1027 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391031825 9367552 269 33554432000 4194304 5064252 140736101231648 140736101230560 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1027/statm: 2287 269 229 213 0 72 0
[pid=1028] ppid=1027 vsize=277740 CPUtime=1800.19 cores=1,3,5,7
/proc/1028/stat : 1028 (pb_cplex) R 1027 1027 415 0 -1 4202496 642552 0 0 0 179479 540 0 0 20 0 8 0 391031826 284405760 46746 33554432000 134512640 146736320 4288725136 4288718188 136400487 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 69435 46746 984 2985 0 66369 0
[pid=1028/tid=1044] ppid=1027 vsize=277740 CPUtime=219.68 cores=1,3,5,7
/proc/1028/task/1044/stat : 1044 (pb_cplex) R 1027 1027 415 0 -1 4202560 28127 0 0 0 21914 54 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4068466756 136385174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1045] ppid=1027 vsize=277740 CPUtime=221.02 cores=1,3,5,7
/proc/1028/task/1045/stat : 1045 (pb_cplex) R 1027 1027 415 0 -1 4202560 29755 0 0 0 22046 56 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4131201664 139046505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1046] ppid=1027 vsize=277740 CPUtime=226.04 cores=1,3,5,7
/proc/1028/task/1046/stat : 1046 (pb_cplex) R 1027 1027 415 0 -1 4202560 134099 0 0 0 22520 84 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4141687240 136001656 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1047] ppid=1027 vsize=277740 CPUtime=225.1 cores=1,3,5,7
/proc/1028/task/1047/stat : 1047 (pb_cplex) R 1027 1027 415 0 -1 4202560 92622 0 0 0 22433 77 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4115768296 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1028/tid=1048] ppid=1027 vsize=277740 CPUtime=224.52 cores=1,3,5,7
/proc/1028/task/1048/stat : 1048 (pb_cplex) R 1027 1027 415 0 -1 4202560 174385 0 0 0 22362 90 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4020928580 136385175 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1049] ppid=1027 vsize=277740 CPUtime=221.82 cores=1,3,5,7
/proc/1028/task/1049/stat : 1049 (pb_cplex) R 1027 1027 415 0 -1 4202560 87113 0 0 0 22110 72 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 4010443008 136400746 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1028/tid=1050] ppid=1027 vsize=277740 CPUtime=220.56 cores=1,3,5,7
/proc/1028/task/1050/stat : 1050 (pb_cplex) R 1027 1027 415 0 -1 4202560 19860 0 0 0 22003 53 0 0 20 0 8 0 391032146 284405760 46746 33554432000 134512640 146736320 4288725136 3999957384 136388106 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 286888
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1027 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 504.317
CPU time (s): 1800.19
CPU user time (s): 1794.79
CPU system time (s): 5.4
CPU usage (%): 356.956
Max. virtual memory (cumulated for all children) (KiB): 290580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
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= 2
involuntary context switches= 1
runsolver used 1.39179 second user time and 3.66544 second system time
The end