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-3737238-1339248608/watcher-3737238-1339248608 -o /tmp/evaluation-result-3737238-1339248608/solver-3737238-1339248608 -C 1800 -W 1900 -M 15500 run HOME/instance-3737238-1339248608.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: 13.91 10.22 7.33 10/185 3352
/proc/meminfo: memFree=24972796/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[startup+0.0938281 s]
/proc/loadavg: 13.91 10.22 7.33 10/185 3352
/proc/meminfo: memFree=24972796/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100178 s]
/proc/loadavg: 13.91 10.22 7.33 10/185 3352
/proc/meminfo: memFree=24972796/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300176 s]
/proc/loadavg: 13.91 10.22 7.33 10/185 3352
/proc/meminfo: memFree=24972796/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 13.91 10.22 7.33 10/185 3352
/proc/meminfo: memFree=24972796/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 13.91 10.22 7.33 10/187 3354
/proc/meminfo: memFree=24963984/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=22884 CPUtime=1.49 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 7162 0 0 0 148 1 0 0 20 0 1 0 390986543 23433216 3165 33554432000 134512640 146736320 4289751504 4289747280 137698846 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3353/statm: 5721 3165 893 2985 0 2655 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32032
[startup+3.1002 s]
/proc/loadavg: 13.52 10.20 7.34 5/187 3354
/proc/meminfo: memFree=24963620/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=115592 CPUtime=3.89 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) S 3352 3352 2263 0 -1 4202496 11950 0 0 0 386 3 0 0 20 0 8 0 390986543 118366208 7093 33554432000 134512640 146736320 4289751504 4289747856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3353/statm: 28898 7093 926 2985 0 25832 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 124740
[startup+6.30024 s]
/proc/loadavg: 13.52 10.20 7.34 13/194 3361
/proc/meminfo: memFree=24946632/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=78624 CPUtime=12.08 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 12561 0 0 0 1198 10 0 0 20 0 1 0 390986543 80510976 5971 33554432000 134512640 146736320 4289751504 4289747576 137316061 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/3353/statm: 19656 5971 929 2985 0 16590 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 87772
[startup+12.7004 s]
/proc/loadavg: 13.22 10.25 7.38 17/194 3375
/proc/meminfo: memFree=24911140/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=146024 CPUtime=26.48 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 26309 0 0 0 2625 23 0 0 20 0 8 0 390986543 149528576 16161 33554432000 134512640 146736320 4289751504 4289743476 136400750 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3353/statm: 36506 16161 950 2985 0 33440 0
[pid=3353/tid=3369] ppid=3352 vsize=146024 CPUtime=1.57 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (pb_cplex) R 3352 3352 2263 0 -1 4202560 386 0 0 0 157 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4130647048 139042981 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3352 vsize=146024 CPUtime=1.14 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (pb_cplex) R 3352 3352 2263 0 -1 4202560 29 0 0 0 114 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4141133328 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3371] ppid=3352 vsize=146024 CPUtime=1.15 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (pb_cplex) R 3352 3352 2263 0 -1 4202560 587 0 0 0 115 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4151618312 135525914 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3372] ppid=3352 vsize=146024 CPUtime=1.14 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (pb_cplex) R 3352 3352 2263 0 -1 4202560 549 0 0 0 113 1 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4119007676 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3373] ppid=3352 vsize=146024 CPUtime=1.18 cores=1,3,5,7
/proc/3353/task/3373/stat : 3373 (pb_cplex) R 3352 3352 2263 0 -1 4202560 226 0 0 0 118 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4070563344 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3374] ppid=3352 vsize=146024 CPUtime=1 cores=1,3,5,7
/proc/3353/task/3374/stat : 3374 (pb_cplex) R 3352 3352 2263 0 -1 4202560 24 0 0 0 100 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4060078524 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3375] ppid=3352 vsize=146024 CPUtime=1.23 cores=1,3,5,7
/proc/3353/task/3375/stat : 3375 (pb_cplex) R 3352 3352 2263 0 -1 4202560 250 0 0 0 123 0 0 0 20 0 8 0 390987299 149528576 16161 33554432000 134512640 146736320 4289751504 4049592656 139023053 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 26.48
Current children cumulated vsize (KiB) 155172
[startup+25.5004 s]
/proc/loadavg: 12.21 10.12 7.37 14/194 3375
/proc/meminfo: memFree=24908388/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=148876 CPUtime=71.24 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 29960 0 0 0 7081 43 0 0 20 0 8 0 390986543 152449024 16671 33554432000 134512640 146736320 4289751504 4289744720 136403112 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3353/statm: 37219 16671 950 2985 0 34153 0
[pid=3353/tid=3369] ppid=3352 vsize=148876 CPUtime=7 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (pb_cplex) R 3352 3352 2263 0 -1 4202560 904 0 0 0 697 3 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4130648104 139044532 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3370] ppid=3352 vsize=148876 CPUtime=6.86 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (pb_cplex) R 3352 3352 2263 0 -1 4202560 927 0 0 0 682 4 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4141134032 136008328 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3371] ppid=3352 vsize=148876 CPUtime=6.93 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1189 0 0 0 689 4 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4151620176 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3372] ppid=3352 vsize=148876 CPUtime=6.52 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1042 0 0 0 649 3 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4119006856 136002753 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3373] ppid=3352 vsize=148876 CPUtime=6.62 cores=1,3,5,7
/proc/3353/task/3373/stat : 3373 (pb_cplex) R 3352 3352 2263 0 -1 4202560 403 0 0 0 660 2 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4070564048 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3374] ppid=3352 vsize=148876 CPUtime=6.76 cores=1,3,5,7
/proc/3353/task/3374/stat : 3374 (pb_cplex) R 3352 3352 2263 0 -1 4202560 453 0 0 0 674 2 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4060076908 135456843 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3375] ppid=3352 vsize=148876 CPUtime=6.68 cores=1,3,5,7
/proc/3353/task/3375/stat : 3375 (pb_cplex) R 3352 3352 2263 0 -1 4202560 564 0 0 0 665 3 0 0 20 0 8 0 390987299 152449024 16671 33554432000 134512640 146736320 4289751504 4049592392 139042902 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 71.24
Current children cumulated vsize (KiB) 158024
[startup+51.1004 s]
/proc/loadavg: 11.82 10.21 7.47 10/194 3382
/proc/meminfo: memFree=24892488/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=158556 CPUtime=153.88 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 46070 0 0 0 15307 81 0 0 20 0 8 0 390986543 162361344 20392 33554432000 134512640 146736320 4289751504 4289744564 136400567 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3353/statm: 39639 20392 955 2985 0 36573 0
[pid=3353/tid=3376] ppid=3352 vsize=158556 CPUtime=1.91 cores=1,3,5,7
/proc/3353/task/3376/stat : 3376 (pb_cplex) S 3352 3352 2263 0 -1 4202560 96 0 0 0 191 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3377] ppid=3352 vsize=158556 CPUtime=1.95 cores=1,3,5,7
/proc/3353/task/3377/stat : 3377 (pb_cplex) S 3352 3352 2263 0 -1 4202560 369 0 0 0 195 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3378] ppid=3352 vsize=158556 CPUtime=2.02 cores=1,3,5,7
/proc/3353/task/3378/stat : 3378 (pb_cplex) R 3352 3352 2263 0 -1 4202560 29 0 0 0 201 1 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4070564432 136403116 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3379] ppid=3352 vsize=158556 CPUtime=1.98 cores=1,3,5,7
/proc/3353/task/3379/stat : 3379 (pb_cplex) S 3352 3352 2263 0 -1 4202560 536 0 0 0 198 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4119010960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3380] ppid=3352 vsize=158556 CPUtime=1.97 cores=1,3,5,7
/proc/3353/task/3380/stat : 3380 (pb_cplex) R 3352 3352 2263 0 -1 4202560 429 0 0 0 197 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4130877648 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3381] ppid=3352 vsize=158556 CPUtime=1.92 cores=1,3,5,7
/proc/3353/task/3381/stat : 3381 (pb_cplex) S 3352 3352 2263 0 -1 4202560 35 0 0 0 192 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4013944464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3382] ppid=3352 vsize=158556 CPUtime=1.93 cores=1,3,5,7
/proc/3353/task/3382/stat : 3382 (pb_cplex) S 3352 3352 2263 0 -1 4202560 55 0 0 0 193 0 0 0 20 0 8 0 390991184 162361344 20392 33554432000 134512640 146736320 4289751504 4003458704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 153.88
Current children cumulated vsize (KiB) 167704
[startup+102.307 s]
/proc/loadavg: 12.44 10.63 7.77 6/193 3390
/proc/meminfo: memFree=24884768/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=165620 CPUtime=326.05 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 57074 0 0 0 32425 180 0 0 20 0 8 0 390986543 169594880 22299 33554432000 134512640 146736320 4289751504 4289744200 139042974 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3353/statm: 41405 22299 955 2985 0 38339 0
[pid=3353/tid=3384] ppid=3352 vsize=165620 CPUtime=14.53 cores=1,3,5,7
/proc/3353/task/3384/stat : 3384 (pb_cplex) R 3352 3352 2263 0 -1 4202560 334 0 0 0 1445 8 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4003455068 135854511 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3385] ppid=3352 vsize=165620 CPUtime=14.4 cores=1,3,5,7
/proc/3353/task/3385/stat : 3385 (pb_cplex) R 3352 3352 2263 0 -1 4202560 201 0 0 0 1432 8 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4013940944 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3386] ppid=3352 vsize=165620 CPUtime=14.38 cores=1,3,5,7
/proc/3353/task/3386/stat : 3386 (pb_cplex) R 3352 3352 2263 0 -1 4202560 526 0 0 0 1429 9 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4130877896 136001888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3387] ppid=3352 vsize=165620 CPUtime=14.25 cores=1,3,5,7
/proc/3353/task/3387/stat : 3387 (pb_cplex) R 3352 3352 2263 0 -1 4202560 152 0 0 0 1418 7 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4119008232 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3388] ppid=3352 vsize=165620 CPUtime=14.31 cores=1,3,5,7
/proc/3353/task/3388/stat : 3388 (pb_cplex) R 3352 3352 2263 0 -1 4202560 269 0 0 0 1424 7 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4070563896 136475583 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3389] ppid=3352 vsize=165620 CPUtime=14.43 cores=1,3,5,7
/proc/3353/task/3389/stat : 3389 (pb_cplex) R 3352 3352 2263 0 -1 4202560 523 0 0 0 1436 7 0 0 20 0 8 0 390993297 169594880 22299 33554432000 134512640 146736320 4289751504 4060077584 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3390] ppid=3352 vsize=165620 CPUtime=14.52 cores=1,3,5,7
################
# More data... #
################
[pid=3353] ppid=3352 vsize=197548 CPUtime=1131.74 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 90147 0 0 0 112571 603 0 0 20 0 8 0 390986543 202289152 30352 33554432000 134512640 146736320 4289751504 4289743080 139044509 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 49387 30352 955 2985 0 46321 0
Current children cumulated CPU time (s) 1131.74
Current children cumulated vsize (KiB) 206696
#
############
[startup+342.3 s]
/proc/loadavg: 12.05 11.39 8.71 10/186 3461
/proc/meminfo: memFree=24964892/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=201008 CPUtime=1134.94 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) S 3352 3352 2263 0 -1 4202496 91320 0 0 0 112889 605 0 0 20 0 8 0 390986543 205832192 31037 33554432000 134512640 146736320 4289751504 4289747856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3353/statm: 50252 31037 955 2985 0 47186 0
[pid=3353/tid=3455] ppid=3352 vsize=201008 CPUtime=0.39 cores=1,3,5,7
/proc/3353/task/3455/stat : 3455 (pb_cplex) S 3352 3352 2263 0 -1 4202560 10 0 0 0 39 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3456] ppid=3352 vsize=201008 CPUtime=0.39 cores=1,3,5,7
/proc/3353/task/3456/stat : 3456 (pb_cplex) S 3352 3352 2263 0 -1 4202560 5 0 0 0 39 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4060081808 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3457] ppid=3352 vsize=201008 CPUtime=0.41 cores=1,3,5,7
/proc/3353/task/3457/stat : 3457 (pb_cplex) S 3352 3352 2263 0 -1 4202560 15 0 0 0 41 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3458] ppid=3352 vsize=201008 CPUtime=0.37 cores=1,3,5,7
/proc/3353/task/3458/stat : 3458 (pb_cplex) R 3352 3352 2263 0 -1 4202560 304 0 0 0 37 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4119007440 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3459] ppid=3352 vsize=201008 CPUtime=0.4 cores=1,3,5,7
/proc/3353/task/3459/stat : 3459 (pb_cplex) S 3352 3352 2263 0 -1 4202560 360 0 0 0 40 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4013944464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3460] ppid=3352 vsize=201008 CPUtime=0.38 cores=1,3,5,7
/proc/3353/task/3460/stat : 3460 (pb_cplex) S 3352 3352 2263 0 -1 4202560 35 0 0 0 38 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 4003458704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3461] ppid=3352 vsize=201008 CPUtime=0.39 cores=1,3,5,7
/proc/3353/task/3461/stat : 3461 (pb_cplex) R 3352 3352 2263 0 -1 4202560 436 0 0 0 39 0 0 0 20 0 8 0 391020681 205832192 31037 33554432000 134512640 146736320 4289751504 3969901000 136001974 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1134.94
Current children cumulated vsize (KiB) 210156
[startup+402.3 s]
/proc/loadavg: 9.32 10.71 8.63 10/186 3462
/proc/meminfo: memFree=24946212/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=202812 CPUtime=1351.67 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 94534 0 0 0 134458 709 0 0 20 0 8 0 390986543 207679488 31762 33554432000 134512640 146736320 4289751504 4289744556 136400653 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 50703 31762 955 2985 0 47637 0
[pid=3353/tid=3455] ppid=3352 vsize=202812 CPUtime=27.22 cores=1,3,5,7
/proc/3353/task/3455/stat : 3455 (pb_cplex) R 3352 3352 2263 0 -1 4202560 129 0 0 0 2709 13 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4049592432 136384892 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3456] ppid=3352 vsize=202812 CPUtime=27.5 cores=1,3,5,7
/proc/3353/task/3456/stat : 3456 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1004 0 0 0 2737 13 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4060078508 136400660 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3457] ppid=3352 vsize=202812 CPUtime=27.17 cores=1,3,5,7
/proc/3353/task/3457/stat : 3457 (pb_cplex) R 3352 3352 2263 0 -1 4202560 784 0 0 0 2703 14 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4070563880 139044591 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3458] ppid=3352 vsize=202812 CPUtime=27.44 cores=1,3,5,7
/proc/3353/task/3458/stat : 3458 (pb_cplex) R 3352 3352 2263 0 -1 4202560 616 0 0 0 2731 13 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4119008232 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3459] ppid=3352 vsize=202812 CPUtime=27.48 cores=1,3,5,7
/proc/3353/task/3459/stat : 3459 (pb_cplex) R 3352 3352 2263 0 -1 4202560 581 0 0 0 2734 14 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4013941376 138423770 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3460] ppid=3352 vsize=202812 CPUtime=27.58 cores=1,3,5,7
/proc/3353/task/3460/stat : 3460 (pb_cplex) R 3352 3352 2263 0 -1 4202560 157 0 0 0 2745 13 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 4003455976 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3461] ppid=3352 vsize=202812 CPUtime=27.39 cores=1,3,5,7
/proc/3353/task/3461/stat : 3461 (pb_cplex) R 3352 3352 2263 0 -1 4202560 521 0 0 0 2726 13 0 0 20 0 8 0 391020681 207679488 31762 33554432000 134512640 146736320 4289751504 3969901544 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1351.67
Current children cumulated vsize (KiB) 211960
[startup+462.3 s]
/proc/loadavg: 8.08 10.09 8.55 4/186 3462
/proc/meminfo: memFree=24934508/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=203836 CPUtime=1570.37 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 99184 0 0 0 156224 813 0 0 20 0 8 0 390986543 208728064 32060 33554432000 134512640 146736320 4289751504 4289745128 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3353/statm: 50959 32060 955 2985 0 47893 0
[pid=3353/tid=3455] ppid=3352 vsize=203836 CPUtime=54.34 cores=1,3,5,7
/proc/3353/task/3455/stat : 3455 (pb_cplex) R 3352 3352 2263 0 -1 4202560 350 0 0 0 5408 26 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4049592528 136008177 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3456] ppid=3352 vsize=203836 CPUtime=55.01 cores=1,3,5,7
/proc/3353/task/3456/stat : 3456 (pb_cplex) R 3352 3352 2263 0 -1 4202560 2331 0 0 0 5475 26 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4060078536 136001985 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3457] ppid=3352 vsize=203836 CPUtime=54.34 cores=1,3,5,7
/proc/3353/task/3457/stat : 3457 (pb_cplex) R 3352 3352 2263 0 -1 4202560 2384 0 0 0 5409 25 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4070564048 136008178 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3458] ppid=3352 vsize=203836 CPUtime=54.63 cores=1,3,5,7
/proc/3353/task/3458/stat : 3458 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1082 0 0 0 5438 25 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4119007440 136008309 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3459] ppid=3352 vsize=203836 CPUtime=54.88 cores=1,3,5,7
/proc/3353/task/3459/stat : 3459 (pb_cplex) R 3352 3352 2263 0 -1 4202560 963 0 0 0 5460 28 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4013941328 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3460] ppid=3352 vsize=203836 CPUtime=54.81 cores=1,3,5,7
/proc/3353/task/3460/stat : 3460 (pb_cplex) R 3352 3352 2263 0 -1 4202560 522 0 0 0 5455 26 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 4003453392 135459270 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3461] ppid=3352 vsize=203836 CPUtime=54.77 cores=1,3,5,7
/proc/3353/task/3461/stat : 3461 (pb_cplex) R 3352 3352 2263 0 -1 4202560 639 0 0 0 5451 26 0 0 20 0 8 0 391020681 208728064 32060 33554432000 134512640 146736320 4289751504 3969900616 139042980 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1570.37
Current children cumulated vsize (KiB) 212984
[startup+522.3 s]
/proc/loadavg: 7.76 9.67 8.50 9/186 3462
/proc/meminfo: memFree=24932280/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=205092 CPUtime=1789.43 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) R 3352 3352 2263 0 -1 4202496 103429 0 0 0 178029 914 0 0 20 0 8 0 390986543 210014208 32297 33554432000 134512640 146736320 4289751504 4289744720 136403117 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 51273 32297 955 2985 0 48207 0
[pid=3353/tid=3455] ppid=3352 vsize=205092 CPUtime=81.66 cores=1,3,5,7
/proc/3353/task/3455/stat : 3455 (pb_cplex) R 3352 3352 2263 0 -1 4202560 399 0 0 0 8126 40 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4049592360 139044499 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3456] ppid=3352 vsize=205092 CPUtime=82.5 cores=1,3,5,7
/proc/3353/task/3456/stat : 3456 (pb_cplex) R 3352 3352 2263 0 -1 4202560 3223 0 0 0 8209 41 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4060078288 136008455 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3457] ppid=3352 vsize=205092 CPUtime=81.56 cores=1,3,5,7
/proc/3353/task/3457/stat : 3457 (pb_cplex) R 3352 3352 2263 0 -1 4202560 3644 0 0 0 8118 38 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4070564048 136008438 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3458] ppid=3352 vsize=205092 CPUtime=82.03 cores=1,3,5,7
/proc/3353/task/3458/stat : 3458 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1364 0 0 0 8164 39 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4119007852 138424143 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3459] ppid=3352 vsize=205092 CPUtime=82.24 cores=1,3,5,7
/proc/3353/task/3459/stat : 3459 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1356 0 0 0 8181 43 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4013940808 139042885 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3460] ppid=3352 vsize=205092 CPUtime=82 cores=1,3,5,7
/proc/3353/task/3460/stat : 3460 (pb_cplex) R 3352 3352 2263 0 -1 4202560 719 0 0 0 8158 42 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4003455016 139044509 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3461] ppid=3352 vsize=205092 CPUtime=81.88 cores=1,3,5,7
/proc/3353/task/3461/stat : 3461 (pb_cplex) R 3352 3352 2263 0 -1 4202560 711 0 0 0 8149 39 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 3969901544 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 214240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+525.2 s]
/proc/loadavg: 7.78 9.64 8.49 8/186 3462
/proc/meminfo: memFree=24932280/32873660 swapFree=7120/7120
[pid=3352] ppid=3350 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3352/stat : 3352 (run) S 3350 3352 2263 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390986543 9367552 270 33554432000 4194304 5064252 140734378264256 140734378263168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3352/statm: 2287 270 229 213 0 72 0
[pid=3353] ppid=3352 vsize=205092 CPUtime=1800.09 cores=1,3,5,7
/proc/3353/stat : 3353 (pb_cplex) S 3352 3352 2263 0 -1 4202496 103429 0 0 0 179089 920 0 0 20 0 8 0 390986543 210014208 32297 33554432000 134512640 146736320 4289751504 4289747856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 51273 32297 955 2985 0 48207 0
[pid=3353/tid=3455] ppid=3352 vsize=205092 CPUtime=83.05 cores=1,3,5,7
/proc/3353/task/3455/stat : 3455 (pb_cplex) S 3352 3352 2263 0 -1 4202560 399 0 0 0 8264 41 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4049596048 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3456] ppid=3352 vsize=205092 CPUtime=83.88 cores=1,3,5,7
/proc/3353/task/3456/stat : 3456 (pb_cplex) R 3352 3352 2263 0 -1 4202560 3223 0 0 0 8347 41 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4060078152 139042910 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3457] ppid=3352 vsize=205092 CPUtime=82.89 cores=1,3,5,7
/proc/3353/task/3457/stat : 3457 (pb_cplex) R 3352 3352 2263 0 -1 4202560 3644 0 0 0 8251 38 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4070564840 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3458] ppid=3352 vsize=205092 CPUtime=83.33 cores=1,3,5,7
/proc/3353/task/3458/stat : 3458 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1364 0 0 0 8294 39 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4119008232 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3459] ppid=3352 vsize=205092 CPUtime=83.55 cores=1,3,5,7
/proc/3353/task/3459/stat : 3459 (pb_cplex) R 3352 3352 2263 0 -1 4202560 1356 0 0 0 8312 43 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4013940828 135854518 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3460] ppid=3352 vsize=205092 CPUtime=83.3 cores=1,3,5,7
/proc/3353/task/3460/stat : 3460 (pb_cplex) R 3352 3352 2263 0 -1 4202560 719 0 0 0 8288 42 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 4003455184 136008356 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3461] ppid=3352 vsize=205092 CPUtime=83.16 cores=1,3,5,7
/proc/3353/task/3461/stat : 3461 (pb_cplex) R 3352 3352 2263 0 -1 4202560 711 0 0 0 8276 40 0 0 20 0 8 0 391020681 210014208 32297 33554432000 134512640 146736320 4289751504 3969901000 136000490 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 214240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3352 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0599365
# lost CPU user time (s): 0.130005
# lost CPU system time (s): -0.0700002
Real time (s): 525.216
CPU time (s): 1800.15
CPU user time (s): 1791.02
CPU system time (s): 9.13
CPU usage (%): 342.745
Max. virtual memory (cumulated for all children) (KiB): 216288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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.3018 second user time and 3.45347 second system time
The end