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-3712752-1338204922/watcher-3712752-1338204922 -o /tmp/evaluation-result-3712752-1338204922/solver-3712752-1338204922 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712752-1338204922.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 16369
/proc/meminfo: memFree=30529240/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) R 16367 16369 14514 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 1 0 286617721 4681728 388 33554432000 4194304 5964478 140737407677520 140737407675304 4395513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 1143 388 168 433 0 683 0
[startup+0.084701 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 16369
/proc/meminfo: memFree=30529240/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=0.14 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 2772 0 0 0 14 0 0 0 20 0 3 0 286617721 168214528 2272 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 2272 198 433 0 40632 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 164272
[startup+0.100188 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 16369
/proc/meminfo: memFree=30529240/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 2975 0 0 0 17 0 0 0 20 0 3 0 286617721 168214528 2473 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 2473 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300138 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 16369
/proc/meminfo: memFree=30529240/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 5103 0 0 0 56 1 0 0 20 0 3 0 286617721 168214528 3623 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 3623 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700138 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 16369
/proc/meminfo: memFree=30529240/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 7354 0 0 0 136 1 0 0 20 0 3 0 286617721 168214528 5085 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 5085 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50024 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30502796/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=2.97 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 9950 0 0 0 295 2 0 0 20 0 3 0 286617721 168214528 6597 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 6597 198 433 0 40632 0
[pid=16369/tid=16371] ppid=16367 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 3529 0 0 0 146 1 0 0 20 0 3 0 286617723 168214528 6597 33554432000 4194304 5964478 140737407677520 140270291945272 4381581 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 5330 0 0 0 146 0 0 0 20 0 3 0 286617723 168214528 6597 33554432000 4194304 5964478 140737407677520 140270281456280 4389144 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272
[startup+3.1002 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30495852/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=6.16 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 12639 0 0 0 614 2 0 0 20 0 3 0 286617721 168214528 8597 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 8597 198 433 0 40632 0
[pid=16369/tid=16371] ppid=16367 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 5081 0 0 0 305 1 0 0 20 0 3 0 286617723 168214528 8597 33554432000 4194304 5964478 140737407677520 140270291945536 4390263 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 6467 0 0 0 306 0 0 0 20 0 3 0 286617723 168214528 8598 33554432000 4194304 5964478 140737407677520 140270281456280 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272
[startup+6.30022 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30468708/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=164272 CPUtime=12.57 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 17413 0 0 0 1252 5 0 0 20 0 3 0 286617721 168214528 12744 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 41068 12744 198 433 0 40632 0
[pid=16369/tid=16371] ppid=16367 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 8489 0 0 0 622 3 0 0 20 0 3 0 286617723 168214528 12744 33554432000 4194304 5964478 140737407677520 140270291945464 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 7833 0 0 0 625 0 0 0 20 0 3 0 286617723 168214528 12744 33554432000 4194304 5964478 140737407677520 140270281455920 4403676 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30392860/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=230484 CPUtime=25.37 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 30605 0 0 0 2528 9 0 0 20 0 3 0 286617721 236015616 25726 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 57621 25726 198 433 0 57185 0
[pid=16369/tid=16371] ppid=16367 vsize=230484 CPUtime=12.64 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 19420 0 0 0 1257 7 0 0 20 0 3 0 286617723 236015616 25726 33554432000 4194304 5964478 140737407677520 140270291945464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=230484 CPUtime=12.63 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 10094 0 0 0 1262 1 0 0 20 0 3 0 286617723 236015616 25726 33554432000 4194304 5964478 140737407677520 140270281455960 4400535 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 230484
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30238340/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=296856 CPUtime=50.96 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 59549 0 0 0 5077 19 0 0 20 0 3 0 286617721 303980544 54670 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 74214 54670 198 433 0 73778 0
[pid=16369/tid=16371] ppid=16367 vsize=296856 CPUtime=25.4 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 30334 0 0 0 2529 11 0 0 20 0 3 0 286617723 303980544 54670 33554432000 4194304 5964478 140737407677520 140270291945464 4399896 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=296856 CPUtime=25.4 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 28124 0 0 0 2533 7 0 0 20 0 3 0 286617723 303980544 54670 33554432000 4194304 5964478 140737407677520 140270281455928 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 296856
[startup+51.1002 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=30018924/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=496744 CPUtime=102.15 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 98991 0 0 0 10184 31 0 0 20 0 3 0 286617721 508665856 94112 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 124186 94112 198 433 0 123750 0
[pid=16369/tid=16371] ppid=16367 vsize=496744 CPUtime=50.93 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 52049 0 0 0 5076 17 0 0 20 0 3 0 286617723 508665856 94112 33554432000 4194304 5964478 140737407677520 140270291945464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=496744 CPUtime=50.93 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 45851 0 0 0 5080 13 0 0 20 0 3 0 286617723 508665856 94112 33554432000 4194304 5964478 140737407677520 140270281455688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 496744
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16372
/proc/meminfo: memFree=29667412/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=629764 CPUtime=204.54 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 143581 0 0 0 20409 45 0 0 20 0 3 0 286617721 644878336 137987 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 157441 137987 198 433 0 157005 0
[pid=16369/tid=16371] ppid=16367 vsize=629764 CPUtime=102.01 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 76832 0 0 0 10175 26 0 0 20 0 3 0 286617723 644878336 137987 33554432000 4194304 5964478 140737407677520 140270291945464 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=629764 CPUtime=102 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 65658 0 0 0 10180 20 0 0 20 0 3 0 286617723 644878336 137987 33554432000 4194304 5964478 140737407677520 140270281455688 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 629764
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16373
/proc/meminfo: memFree=29529120/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=696004 CPUtime=324.51 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 157615 0 0 0 32401 50 0 0 20 0 3 0 286617721 712708096 151909 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 174001 151909 198 433 0 173565 0
[pid=16369/tid=16371] ppid=16367 vsize=696004 CPUtime=161.84 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 85038 0 0 0 16154 30 0 0 20 0 3 0 286617723 712708096 151909 33554432000 4194304 5964478 140737407677520 140270291945464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=696004 CPUtime=161.84 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 71486 0 0 0 16161 23 0 0 20 0 3 0 286617723 712708096 151909 33554432000 4194304 5964478 140737407677520 140270281455840 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 696004
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16373
/proc/meminfo: memFree=29279520/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=958656 CPUtime=444.49 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 220129 0 0 0 44374 75 0 0 20 0 3 0 286617721 981663744 214423 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 239664 214423 198 433 0 239228 0
[pid=16369/tid=16371] ppid=16367 vsize=958656 CPUtime=221.68 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 132642 0 0 0 22117 51 0 0 20 0 3 0 286617723 981663744 214423 33554432000 4194304 5964478 140737407677520 140270291945464 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=958656 CPUtime=221.68 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 86396 0 0 0 22139 29 0 0 20 0 3 0 286617723 981663744 214423 33554432000 4194304 5964478 140737407677520 140270281455928 4400051 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 958656
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/182 16376
/proc/meminfo: memFree=29219548/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1024604 CPUtime=564.47 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 234590 0 0 0 56366 81 0 0 20 0 3 0 286617721 1049194496 228786 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 256151 228786 198 433 0 255715 0
[pid=16369/tid=16371] ppid=16367 vsize=1024604 CPUtime=281.53 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 136832 0 0 0 28099 54 0 0 20 0 3 0 286617723 1049194496 228786 33554432000 4194304 5964478 140737407677520 140270291945464 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1024604 CPUtime=281.53 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 96667 0 0 0 28120 33 0 0 20 0 3 0 286617723 1049194496 228786 33554432000 4194304 5964478 140737407677520 140270281455960 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 1024604
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 16376
/proc/meminfo: memFree=29151332/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1090820 CPUtime=684.45 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 251931 0 0 0 68357 88 0 0 20 0 3 0 286617721 1116999680 246127 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 272705 246127 198 433 0 272269 0
################
# More data... #
################
/proc/16369/statm: 338645 310078 198 433 0 338209 0
[pid=16369/tid=16371] ppid=16367 vsize=1354580 CPUtime=461.05 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 186549 0 0 0 46029 76 0 0 20 0 3 0 286617723 1387089920 310078 33554432000 4194304 5964478 140737407677520 140270291945464 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1354580 CPUtime=461.07 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 132536 0 0 0 46056 51 0 0 20 0 3 0 286617723 1387089920 310078 33554432000 4194304 5964478 140737407677520 140270281455928 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.41
Current children cumulated vsize (KiB) 1354580
[startup+522.3 s]
/proc/loadavg: 4.03 4.01 3.97 5/181 16377
/proc/meminfo: memFree=28444236/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1486432 CPUtime=1044.4 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 361688 0 0 0 104310 130 0 0 20 0 3 0 286617721 1522106368 351583 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 371608 351583 198 433 0 371172 0
[pid=16369/tid=16371] ppid=16367 vsize=1486432 CPUtime=520.89 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 221266 0 0 0 51999 90 0 0 20 0 3 0 286617723 1522106368 351583 33554432000 4194304 5964478 140737407677520 140270291945464 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1486432 CPUtime=520.91 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 139331 0 0 0 52039 52 0 0 20 0 3 0 286617723 1522106368 351583 33554432000 4194304 5964478 140737407677520 140270281455688 4388753 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.4
Current children cumulated vsize (KiB) 1486432
[startup+582.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/181 16377
/proc/meminfo: memFree=28213392/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1618216 CPUtime=1164.37 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 397562 0 0 0 116292 145 0 0 20 0 3 0 286617721 1657053184 387457 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 404554 387457 198 433 0 404118 0
[pid=16369/tid=16371] ppid=16367 vsize=1618216 CPUtime=580.74 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 256953 0 0 0 57967 107 0 0 20 0 3 0 286617723 1657053184 387457 33554432000 4194304 5964478 140737407677520 140270291945464 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1618216 CPUtime=580.76 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 139518 0 0 0 58023 53 0 0 20 0 3 0 286617723 1657053184 387457 33554432000 4194304 5964478 140737407677520 140270281455688 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.37
Current children cumulated vsize (KiB) 1618216
[startup+642.3 s]
/proc/loadavg: 4.03 4.02 3.97 5/181 16418
/proc/meminfo: memFree=29561724/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1881140 CPUtime=1284.36 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 455809 0 0 0 128266 170 0 0 20 0 3 0 286617721 1926287360 446225 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 470285 446225 198 433 0 469849 0
[pid=16369/tid=16371] ppid=16367 vsize=1881140 CPUtime=640.58 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 285770 0 0 0 63936 122 0 0 20 0 3 0 286617723 1926287360 446225 33554432000 4194304 5964478 140737407677520 140270291945464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1881140 CPUtime=640.6 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 168948 0 0 0 63996 64 0 0 20 0 3 0 286617723 1926287360 446225 33554432000 4194304 5964478 140737407677520 140270281455928 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.36
Current children cumulated vsize (KiB) 1881140
[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/181 16418
/proc/meminfo: memFree=29068928/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=1948124 CPUtime=1404.3 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 478429 0 0 0 140248 182 0 0 20 0 3 0 286617721 1994878976 468850 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 487031 468850 198 433 0 486595 0
[pid=16369/tid=16371] ppid=16367 vsize=1948124 CPUtime=700.4 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 308260 0 0 0 69905 135 0 0 20 0 3 0 286617723 1994878976 468850 33554432000 4194304 5964478 140737407677520 140270291945464 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=1948124 CPUtime=700.43 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169078 0 0 0 69977 66 0 0 20 0 3 0 286617723 1994878976 468850 33554432000 4194304 5964478 140737407677520 140270281455688 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.3
Current children cumulated vsize (KiB) 1948124
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 16419
/proc/meminfo: memFree=28836584/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=2079196 CPUtime=1524.27 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 504313 0 0 0 152232 195 0 0 20 0 3 0 286617721 2129096704 493904 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 519799 493904 198 433 0 519363 0
[pid=16369/tid=16371] ppid=16367 vsize=2079196 CPUtime=760.23 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 334131 0 0 0 75873 150 0 0 20 0 3 0 286617723 2129096704 493904 33554432000 4194304 5964478 140737407677520 140270291945464 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=2079196 CPUtime=760.28 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169091 0 0 0 75961 67 0 0 20 0 3 0 286617723 2129096704 493904 33554432000 4194304 5964478 140737407677520 140270281455960 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 2079196
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 16419
/proc/meminfo: memFree=28569640/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=2144968 CPUtime=1644.22 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 522443 0 0 0 164217 205 0 0 20 0 3 0 286617721 2196447232 512074 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 536242 512074 198 433 0 535806 0
[pid=16369/tid=16371] ppid=16367 vsize=2144968 CPUtime=820.04 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 352196 0 0 0 81844 160 0 0 20 0 3 0 286617723 2196447232 512074 33554432000 4194304 5964478 140737407677520 140270291945464 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=2144968 CPUtime=820.12 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169156 0 0 0 81944 68 0 0 20 0 3 0 286617723 2196447232 512074 33554432000 4194304 5964478 140737407677520 140270281455688 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.22
Current children cumulated vsize (KiB) 2144968
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 16422
/proc/meminfo: memFree=28497992/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=2145112 CPUtime=1764.18 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 522548 0 0 0 176213 205 0 0 20 0 3 0 286617721 2196594688 512181 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 536278 512181 198 433 0 535842 0
[pid=16369/tid=16371] ppid=16367 vsize=2145112 CPUtime=879.87 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 352236 0 0 0 87826 161 0 0 20 0 3 0 286617723 2196594688 512181 33554432000 4194304 5964478 140737407677520 140270291945464 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=2145112 CPUtime=879.96 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169221 0 0 0 87927 69 0 0 20 0 3 0 286617723 2196594688 512181 33554432000 4194304 5964478 140737407677520 140270281455688 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 2145112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 16422
/proc/meminfo: memFree=28468940/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=2145332 CPUtime=1800.18 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 522591 0 0 0 179813 205 0 0 20 0 3 0 286617721 2196819968 512210 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 536333 512210 198 433 0 535897 0
[pid=16369/tid=16371] ppid=16367 vsize=2145332 CPUtime=897.83 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 352238 0 0 0 89622 161 0 0 20 0 3 0 286617723 2196819968 512210 33554432000 4194304 5964478 140737407677520 140270291945464 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=2145332 CPUtime=897.91 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169262 0 0 0 89722 69 0 0 20 0 3 0 286617723 2196819968 512210 33554432000 4194304 5964478 140737407677520 140270281455688 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2145332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1795.88 s) is less than in the last sample (1800.18 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.30005 s) to the 'lost time'.
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 16422
/proc/meminfo: memFree=28468940/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=2145332 CPUtime=1800.18 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) S 16367 16369 14514 0 -1 4202496 522591 0 0 0 179813 205 0 0 20 0 3 0 286617721 2196819968 512210 33554432000 4194304 5964478 140737407677520 140737407677040 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 536333 512210 198 433 0 535897 0
[pid=16369/tid=16371] ppid=16367 vsize=2145332 CPUtime=897.83 cores=0,2,4,6
/proc/16369/task/16371/stat : 16371 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 352238 0 0 0 89622 161 0 0 20 0 3 0 286617723 2196819968 512210 33554432000 4194304 5964478 140737407677520 140270291945464 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16369/tid=16372] ppid=16367 vsize=2145332 CPUtime=897.91 cores=0,2,4,6
/proc/16369/task/16372/stat : 16372 (pwbo2.01) R 16367 16369 14514 0 -1 4202560 169262 0 0 0 89722 69 0 0 20 0 3 0 286617723 2196819968 512210 33554432000 4194304 5964478 140737407677520 140270281455688 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2145332
[startup+900.411 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 16422
/proc/meminfo: memFree=28468940/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=0 CPUtime=1795.88 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) R 16367 16369 14514 0 -1 4202500 522593 0 0 0 179346 242 0 0 20 0 1 0 286617721 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.88
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+900.411 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 16422
/proc/meminfo: memFree=28468940/32873648 swapFree=7116/7116
[pid=16369] ppid=16367 vsize=0 CPUtime=1795.88 cores=0,2,4,6
/proc/16369/stat : 16369 (pwbo2.01) R 16367 16369 14514 0 -1 4202500 522593 0 0 0 179346 242 0 0 20 0 1 0 286617721 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16369/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.88
Current children cumulated vsize (KiB) 0
Child status: 0
# 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): 4.30005
# lost CPU user time (s): 4.67004
# lost CPU system time (s): -0.37
Real time (s): 900.413
CPU time (s): 1800.19
CPU user time (s): 1798.13
CPU system time (s): 2.05563
CPU usage (%): 199.929
Max. virtual memory (cumulated for all children) (KiB): 2145332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.46
system time used= 2.42563
maximum resident set size= 2048848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522593
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= 585
involuntary context switches= 2289
runsolver used 1.44278 second user time and 5.50316 second system time
The end