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-3725901-1338652617/watcher-3725901-1338652617 -o /tmp/evaluation-result-3725901-1338652617/solver-3725901-1338652617 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725901-1338652617.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: 3.68 3.78 2.90 3/175 22412
/proc/meminfo: memFree=28031052/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=4952 CPUtime=0 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) R 22408 22412 20635 0 -1 4202496 525 0 0 0 0 0 0 0 20 0 1 0 331388479 5070848 478 33554432000 4194304 5964478 140736308609056 140735214785880 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 1238 479 168 433 0 774 0
[startup+0.0222479 s]
/proc/loadavg: 3.68 3.78 2.90 3/175 22412
/proc/meminfo: memFree=28031052/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=165108 CPUtime=0.02 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 2543 0 0 0 2 0 0 0 20 0 3 0 331388479 169070592 2424 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 41277 2427 200 433 0 40841 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 165108
[startup+0.100186 s]
/proc/loadavg: 3.68 3.78 2.90 3/175 22412
/proc/meminfo: memFree=28031052/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=181968 CPUtime=0.17 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 9067 0 0 0 15 2 0 0 20 0 3 0 331388479 186335232 8855 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45492 8855 200 433 0 45056 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 181968
[startup+0.300155 s]
/proc/loadavg: 3.68 3.78 2.90 3/175 22412
/proc/meminfo: memFree=28031052/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182148 CPUtime=0.57 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 10302 0 0 0 55 2 0 0 20 0 3 0 331388479 186519552 9248 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45537 9248 201 433 0 45101 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 182148
[startup+0.700161 s]
/proc/loadavg: 3.68 3.78 2.90 3/175 22412
/proc/meminfo: memFree=28031052/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182316 CPUtime=1.38 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 11349 0 0 0 135 3 0 0 20 0 3 0 331388479 186691584 9791 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45579 9791 202 433 0 45143 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 182316
[startup+1.50028 s]
/proc/loadavg: 3.68 3.78 2.90 6/181 22418
/proc/meminfo: memFree=27951604/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182316 CPUtime=2.97 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 14170 0 0 0 294 3 0 0 20 0 3 0 331388479 186691584 10999 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45579 10999 202 433 0 45143 0
[pid=22412/tid=22415] ppid=22408 vsize=182316 CPUtime=1.47 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 5253 0 0 0 145 2 0 0 20 0 3 0 331388480 186691584 10999 33554432000 4194304 5964478 140736308609056 139852118075928 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=182316 CPUtime=1.47 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 7793 0 0 0 145 2 0 0 20 0 3 0 331388480 186691584 10999 33554432000 4194304 5964478 140736308609056 139852107585896 4387996 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 182316
[startup+3.10028 s]
/proc/loadavg: 3.68 3.78 2.90 6/181 22418
/proc/meminfo: memFree=27935716/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182316 CPUtime=6.17 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 19745 0 0 0 612 5 0 0 20 0 3 0 331388479 186691584 13957 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45579 13957 203 433 0 45143 0
[pid=22412/tid=22415] ppid=22408 vsize=182316 CPUtime=3.07 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 10570 0 0 0 304 3 0 0 20 0 3 0 331388480 186691584 13957 33554432000 4194304 5964478 140736308609056 139852118075928 4392897 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=182316 CPUtime=3.07 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 8051 0 0 0 304 3 0 0 20 0 3 0 331388480 186691584 13957 33554432000 4194304 5964478 140736308609056 139852107585848 5179673 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 182316
[startup+6.30029 s]
/proc/loadavg: 3.70 3.78 2.90 6/181 22418
/proc/meminfo: memFree=27905236/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182316 CPUtime=12.56 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 22829 0 0 0 1251 5 0 0 20 0 3 0 331388479 186691584 16717 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45579 16717 203 433 0 45143 0
[pid=22412/tid=22415] ppid=22408 vsize=182316 CPUtime=6.27 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 12882 0 0 0 624 3 0 0 20 0 3 0 331388480 186691584 16717 33554432000 4194304 5964478 140736308609056 139852118075384 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=182316 CPUtime=6.27 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 8823 0 0 0 624 3 0 0 20 0 3 0 331388480 186691584 16717 33554432000 4194304 5964478 140736308609056 139852107585896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 182316
[startup+12.7003 s]
/proc/loadavg: 3.73 3.79 2.91 6/181 22418
/proc/meminfo: memFree=27862480/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182316 CPUtime=25.36 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 28106 0 0 0 2525 11 0 0 20 0 3 0 331388479 186691584 21994 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45579 21994 203 433 0 45143 0
[pid=22412/tid=22415] ppid=22408 vsize=182316 CPUtime=12.67 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 16392 0 0 0 1262 5 0 0 20 0 3 0 331388480 186691584 21994 33554432000 4194304 5964478 140736308609056 139852118075736 4389164 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=182316 CPUtime=12.67 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 10590 0 0 0 1260 7 0 0 20 0 3 0 331388480 186691584 21994 33554432000 4194304 5964478 140736308609056 139852107585848 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 182316
[startup+25.5003 s]
/proc/loadavg: 3.79 3.80 2.93 6/181 22418
/proc/meminfo: memFree=27801120/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=182640 CPUtime=50.95 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 33834 0 0 0 5073 22 0 0 20 0 3 0 331388479 187023360 27740 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 45660 27740 203 433 0 45224 0
[pid=22412/tid=22415] ppid=22408 vsize=182640 CPUtime=25.47 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 17828 0 0 0 2541 6 0 0 20 0 3 0 331388480 187023360 27740 33554432000 4194304 5964478 140736308609056 139852118075720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=182640 CPUtime=25.47 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 14882 0 0 0 2529 18 0 0 20 0 3 0 331388480 187023360 27740 33554432000 4194304 5964478 140736308609056 139852107585848 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 182640
[startup+51.1003 s]
/proc/loadavg: 3.86 3.81 2.95 6/181 22418
/proc/meminfo: memFree=27650040/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=314596 CPUtime=102.13 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 53097 0 0 0 10162 51 0 0 20 0 3 0 331388479 322146304 46981 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 78649 46981 203 433 0 78213 0
[pid=22412/tid=22415] ppid=22408 vsize=314596 CPUtime=51.07 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 27304 0 0 0 5096 11 0 0 20 0 3 0 331388480 322146304 46981 33554432000 4194304 5964478 140736308609056 139852118075192 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=314596 CPUtime=51.05 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 24669 0 0 0 5064 41 0 0 20 0 3 0 331388480 322146304 46981 33554432000 4194304 5964478 140736308609056 139852107585848 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 314596
[startup+102.307 s]
/proc/loadavg: 3.94 3.84 3.01 6/181 22418
/proc/meminfo: memFree=27458948/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=380372 CPUtime=204.5 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 72970 0 0 0 20380 70 0 0 20 0 3 0 331388479 389500928 66951 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 95093 66951 203 433 0 94657 0
[pid=22412/tid=22415] ppid=22408 vsize=380372 CPUtime=102.26 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 42565 0 0 0 10206 20 0 0 20 0 3 0 331388480 389500928 66951 33554432000 4194304 5964478 140736308609056 139852118075384 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=380372 CPUtime=102.25 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 29281 0 0 0 10171 54 0 0 20 0 3 0 331388480 389500928 66951 33554432000 4194304 5964478 140736308609056 139852107585848 4400568 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 380372
[startup+162.3 s]
/proc/loadavg: 3.98 3.86 3.06 6/181 22418
/proc/meminfo: memFree=27195300/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=447492 CPUtime=324.47 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 105901 0 0 0 32312 135 0 0 20 0 3 0 331388479 458231808 101098 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 111873 101098 203 433 0 111437 0
[pid=22412/tid=22415] ppid=22408 vsize=447492 CPUtime=162.25 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 54231 0 0 0 16197 28 0 0 20 0 3 0 331388480 458231808 101098 33554432000 4194304 5964478 140736308609056 139852118075192 4389072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=447492 CPUtime=162.24 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 50546 0 0 0 16111 113 0 0 20 0 3 0 331388480 458231808 101098 33554432000 4194304 5964478 140736308609056 139852107585848 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 447492
[startup+222.3 s]
/proc/loadavg: 4.14 3.93 3.14 6/182 22421
/proc/meminfo: memFree=26946216/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=644908 CPUtime=444.44 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 133512 0 0 0 44266 178 0 0 20 0 3 0 331388479 660385792 128709 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 161227 128709 203 433 0 160791 0
[pid=22412/tid=22415] ppid=22408 vsize=644908 CPUtime=222.25 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 60687 0 0 0 22192 33 0 0 20 0 3 0 331388480 660385792 128709 33554432000 4194304 5964478 140736308609056 139852118075384 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=644908 CPUtime=222.24 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 71701 0 0 0 22072 152 0 0 20 0 3 0 331388480 660385792 128709 33554432000 4194304 5964478 140736308609056 139852107585848 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 644908
[startup+282.3 s]
/proc/loadavg: 4.08 3.95 3.19 6/182 22445
/proc/meminfo: memFree=26729920/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=710768 CPUtime=564.43 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 165402 0 0 0 56212 231 0 0 20 0 3 0 331388479 727826432 160599 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 177692 160599 203 433 0 177256 0
[pid=22412/tid=22415] ppid=22408 vsize=710768 CPUtime=282.26 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 69653 0 0 0 28185 41 0 0 20 0 3 0 331388480 727826432 160599 33554432000 4194304 5964478 140736308609056 139852118075192 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=710768 CPUtime=282.24 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94625 0 0 0 28025 199 0 0 20 0 3 0 331388480 727826432 160599 33554432000 4194304 5964478 140736308609056 139852107585848 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 710768
[startup+342.3 s]
/proc/loadavg: 4.06 3.97 3.24 6/181 22445
/proc/meminfo: memFree=26631892/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=841840 CPUtime=684.41 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 181317 0 0 0 68188 253 0 0 20 0 3 0 331388479 862044160 176514 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 210460 176514 203 433 0 210024 0
[pid=22412/tid=22415] ppid=22408 vsize=841840 CPUtime=342.26 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 76653 0 0 0 34179 47 0 0 20 0 3 0 331388480 862044160 176514 33554432000 4194304 5964478 140736308609056 139852118075192 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=841840 CPUtime=342.24 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 103540 0 0 0 34007 217 0 0 20 0 3 0 331388480 862044160 176514 33554432000 4194304 5964478 140736308609056 139852107585848 4399862 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 841840
[startup+402.3 s]
/proc/loadavg: 4.06 3.99 3.29 6/181 22445
/proc/meminfo: memFree=26525048/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=911964 CPUtime=804.36 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 198861 0 0 0 80167 269 0 0 20 0 3 0 331388479 933851136 194405 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 227991 194405 203 433 0 227555 0
[pid=22412/tid=22415] ppid=22408 vsize=911964 CPUtime=402.24 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94192 0 0 0 40160 64 0 0 20 0 3 0 331388480 933851136 194405 33554432000 4194304 5964478 140736308609056 139852118075192 4481140 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=911964 CPUtime=402.24 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 103545 0 0 0 40006 218 0 0 20 0 3 0 331388480 933851136 194405 33554432000 4194304 5964478 140736308609056 139852107585848 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 911964
[startup+462.3 s]
/proc/loadavg: 4.05 4.00 3.34 6/180 22445
/proc/meminfo: memFree=26441708/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=905644 CPUtime=924.32 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 199170 0 0 0 92163 269 0 0 20 0 3 0 331388479 927379456 193481 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 226411 193481 203 433 0 225975 0
[pid=22412/tid=22415] ppid=22408 vsize=905644 CPUtime=462.24 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94460 0 0 0 46159 65 0 0 20 0 3 0 331388480 927379456 193481 33554432000 4194304 5964478 140736308609056 139852118076344 4399964 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=905644 CPUtime=462.21 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 103586 0 0 0 46003 218 0 0 20 0 3 0 331388480 927379456 193481 33554432000 4194304 5964478 140736308609056 139852107585848 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 905644
[startup+522.3 s]
/proc/loadavg: 4.05 4.01 3.38 6/181 22446
/proc/meminfo: memFree=26406960/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=905644 CPUtime=1044.26 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 199279 0 0 0 104157 269 0 0 20 0 3 0 331388479 927379456 193725 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 226411 193725 203 433 0 225975 0
[pid=22412/tid=22415] ppid=22408 vsize=905644 CPUtime=522.22 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94557 0 0 0 52157 65 0 0 20 0 3 0 331388480 927379456 193725 33554432000 4194304 5964478 140736308609056 139852118076344 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=905644 CPUtime=522.2 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 103598 0 0 0 52001 219 0 0 20 0 3 0 331388480 927379456 193725 33554432000 4194304 5964478 140736308609056 139852107585848 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 905644
[startup+582.3 s]
/proc/loadavg: 4.02 4.01 3.42 6/181 22447
/proc/meminfo: memFree=26311636/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=905644 CPUtime=1164.21 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 207719 0 0 0 116133 288 0 0 20 0 3 0 331388479 927379456 202217 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 226411 202217 203 433 0 225975 0
[pid=22412/tid=22415] ppid=22408 vsize=905644 CPUtime=582.2 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94590 0 0 0 58154 66 0 0 20 0 3 0 331388480 927379456 202217 33554432000 4194304 5964478 140736308609056 139852118076344 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=905644 CPUtime=582.19 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 112005 0 0 0 57979 240 0 0 20 0 3 0 331388480 927379456 202217 33554432000 4194304 5964478 140736308609056 139852107585848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 905644
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.45 6/181 22447
/proc/meminfo: memFree=26158036/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1284.17 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 235192 0 0 0 128070 347 0 0 20 0 3 0 331388479 1062842368 229673 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 229673 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=642.19 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94644 0 0 0 64152 67 0 0 20 0 3 0 331388480 1062842368 229673 33554432000 4194304 5964478 140736308609056 139852118076344 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=642.18 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 139424 0 0 0 63919 299 0 0 20 0 3 0 331388480 1062842368 229673 33554432000 4194304 5964478 140736308609056 139852107585848 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 1037932
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.48 6/181 22447
/proc/meminfo: memFree=26144216/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1404.12 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238488 0 0 0 140061 351 0 0 20 0 3 0 331388479 1062842368 232943 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 232943 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=702.18 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94644 0 0 0 70150 68 0 0 20 0 3 0 331388480 1062842368 232943 33554432000 4194304 5964478 140736308609056 139852118076344 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=702.15 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142720 0 0 0 69911 304 0 0 20 0 3 0 331388480 1062842368 232943 33554432000 4194304 5964478 140736308609056 139852107585656 4399915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 1037932
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.51 6/181 22447
/proc/meminfo: memFree=26115512/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1524.1 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238551 0 0 0 152059 351 0 0 20 0 3 0 331388479 1062842368 228875 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 228875 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=762.19 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94678 0 0 0 76150 69 0 0 20 0 3 0 331388480 1062842368 228875 33554432000 4194304 5964478 140736308609056 139852118076232 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=762.14 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142749 0 0 0 75909 305 0 0 20 0 3 0 331388480 1062842368 228875 33554432000 4194304 5964478 140736308609056 139852107585656 4400106 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 1037932
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.54 6/182 22450
/proc/meminfo: memFree=26100628/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1644.06 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238552 0 0 0 164055 351 0 0 20 0 3 0 331388479 1062842368 228950 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 228950 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=822.19 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94678 0 0 0 82149 70 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852118076232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=822.13 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142750 0 0 0 81907 306 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852107585656 4400754 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 1037932
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.57 6/181 22451
/proc/meminfo: memFree=26030976/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1764.04 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238552 0 0 0 176053 351 0 0 20 0 3 0 331388479 1062842368 228950 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 228950 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=882.19 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94678 0 0 0 88148 71 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852118076232 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=882.13 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142750 0 0 0 87906 307 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852107585656 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.04
Current children cumulated vsize (KiB) 1037932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.57 6/181 22451
/proc/meminfo: memFree=26030076/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1800.05 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238552 0 0 0 179654 351 0 0 20 0 3 0 331388479 1062842368 228950 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 228950 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=900.2 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94678 0 0 0 89949 71 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852118076232 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=900.13 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142750 0 0 0 89706 307 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852107585656 4400422 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1037932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.57 6/181 22451
/proc/meminfo: memFree=26030076/32873648 swapFree=6852/6852
[pid=22412] ppid=22408 vsize=1037932 CPUtime=1800.05 cores=1,3,5,7
/proc/22412/stat : 22412 (pwbo2.02) S 22408 22412 20635 0 -1 4202496 238552 0 0 0 179654 351 0 0 20 0 3 0 331388479 1062842368 228950 33554432000 4194304 5964478 140736308609056 140736308608576 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22412/statm: 259483 228950 203 433 0 259047 0
[pid=22412/tid=22415] ppid=22408 vsize=1037932 CPUtime=900.2 cores=1,3,5,7
/proc/22412/task/22415/stat : 22415 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 94678 0 0 0 89949 71 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852118076232 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22412/tid=22416] ppid=22408 vsize=1037932 CPUtime=900.13 cores=1,3,5,7
/proc/22412/task/22416/stat : 22416 (pwbo2.02) R 22408 22412 20635 0 -1 4202560 142750 0 0 0 89706 307 0 0 20 0 3 0 331388480 1062842368 228950 33554432000 4194304 5964478 140736308609056 139852107585656 4400422 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1037932
Child status: 0
Real time (s): 900.327
CPU time (s): 1800.39
CPU user time (s): 1796.57
CPU system time (s): 3.81942
CPU usage (%): 199.97
Max. virtual memory (cumulated for all children) (KiB): 1037932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 3.81942
maximum resident set size= 931908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238553
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= 788
involuntary context switches= 2633
runsolver used 1.88071 second user time and 5.16521 second system time
The end