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-3712713-1338199361/watcher-3712713-1338199361 -o /tmp/evaluation-result-3712713-1338199361/solver-3712713-1338199361 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712713-1338199361.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.98 3/178 29168
/proc/meminfo: memFree=30761452/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=0 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 1103 0 0 0 0 0 0 0 20 0 3 0 286062047 166883328 1050 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 1052 188 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=0 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 3 0 286062048 166883328 1065 33554432000 4194304 5964478 140735039144832 139764403055304 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=0 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 3 0 286062048 166883328 1072 33554432000 4194304 5964478 140735039144832 139764392564968 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0440819 s]
/proc/loadavg: 4.00 4.00 3.98 3/178 29168
/proc/meminfo: memFree=30761452/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=0.07 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 1452 0 0 0 7 0 0 0 20 0 3 0 286062047 166883328 1399 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 1399 198 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=0.02 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 298 0 0 0 2 0 0 0 20 0 3 0 286062048 166883328 1399 33554432000 4194304 5964478 140735039144832 139764403055304 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=0.02 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 233 0 0 0 2 0 0 0 20 0 3 0 286062048 166883328 1399 33554432000 4194304 5964478 140735039144832 139764392565048 4382013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 162972
[startup+0.10032 s]
/proc/loadavg: 4.00 4.00 3.98 3/178 29168
/proc/meminfo: memFree=30761452/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=0.18 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 1755 0 0 0 18 0 0 0 20 0 3 0 286062047 166883328 1702 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 1702 198 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=0.08 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 449 0 0 0 8 0 0 0 20 0 3 0 286062048 166883328 1702 33554432000 4194304 5964478 140735039144832 139764403054656 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=0.08 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 385 0 0 0 8 0 0 0 20 0 3 0 286062048 166883328 1703 33554432000 4194304 5964478 140735039144832 139764392565032 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162972
[startup+0.300181 s]
/proc/loadavg: 4.00 4.00 3.98 3/178 29168
/proc/meminfo: memFree=30761452/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=0.58 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 2633 0 0 0 58 0 0 0 20 0 3 0 286062047 166883328 2580 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 2580 198 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=0.28 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 858 0 0 0 28 0 0 0 20 0 3 0 286062048 166883328 2580 33554432000 4194304 5964478 140735039144832 139764403054392 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=0.28 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 854 0 0 0 28 0 0 0 20 0 3 0 286062048 166883328 2580 33554432000 4194304 5964478 140735039144832 139764392564856 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162972
[startup+0.700293 s]
/proc/loadavg: 4.00 4.00 3.98 3/178 29168
/proc/meminfo: memFree=30761452/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=1.38 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 3981 0 0 0 137 1 0 0 20 0 3 0 286062047 166883328 3928 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 3928 198 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=0.68 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 1451 0 0 0 68 0 0 0 20 0 3 0 286062048 166883328 3928 33554432000 4194304 5964478 140735039144832 139764403054392 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=0.68 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 1609 0 0 0 68 0 0 0 20 0 3 0 286062048 166883328 3928 33554432000 4194304 5964478 140735039144832 139764392564856 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162972
[startup+1.50029 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30742540/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=162972 CPUtime=2.98 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 5596 0 0 0 297 1 0 0 20 0 3 0 286062047 166883328 5543 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40743 5543 198 433 0 40307 0
[pid=29168/tid=29169] ppid=29166 vsize=162972 CPUtime=1.48 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 2564 0 0 0 148 0 0 0 20 0 3 0 286062048 166883328 5543 33554432000 4194304 5964478 140735039144832 139764403054392 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=162972 CPUtime=1.48 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 2111 0 0 0 148 0 0 0 20 0 3 0 286062048 166883328 5543 33554432000 4194304 5964478 140735039144832 139764392564856 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162972
[startup+3.1003 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30733240/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=163260 CPUtime=6.18 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 8554 0 0 0 616 2 0 0 20 0 3 0 286062047 167178240 8501 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40815 8501 198 433 0 40379 0
[pid=29168/tid=29169] ppid=29166 vsize=163260 CPUtime=3.08 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 3972 0 0 0 306 2 0 0 20 0 3 0 286062048 167178240 8501 33554432000 4194304 5964478 140735039144832 139764403054584 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=163260 CPUtime=3.08 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 3661 0 0 0 308 0 0 0 20 0 3 0 286062048 167178240 8501 33554432000 4194304 5964478 140735039144832 139764392565048 4399936 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163260
[startup+6.30021 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30714944/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=163464 CPUtime=12.58 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 10721 0 0 0 1255 3 0 0 20 0 3 0 286062047 167387136 10668 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40866 10668 198 433 0 40430 0
[pid=29168/tid=29169] ppid=29166 vsize=163464 CPUtime=6.28 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 4783 0 0 0 626 2 0 0 20 0 3 0 286062048 167387136 10668 33554432000 4194304 5964478 140735039144832 139764403054392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=163464 CPUtime=6.29 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 5017 0 0 0 627 2 0 0 20 0 3 0 286062048 167387136 10668 33554432000 4194304 5964478 140735039144832 139764392564872 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163464
[startup+12.7002 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30701696/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=163704 CPUtime=25.37 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 13762 0 0 0 2533 4 0 0 20 0 3 0 286062047 167632896 13709 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 40926 13709 198 433 0 40490 0
[pid=29168/tid=29169] ppid=29166 vsize=163704 CPUtime=12.68 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 5923 0 0 0 1265 3 0 0 20 0 3 0 286062048 167632896 13709 33554432000 4194304 5964478 140735039144832 139764403054392 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=163704 CPUtime=12.68 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 6918 0 0 0 1266 2 0 0 20 0 3 0 286062048 167632896 13709 33554432000 4194304 5964478 140735039144832 139764392565224 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163704
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30676844/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=164212 CPUtime=50.97 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 18886 0 0 0 5091 6 0 0 20 0 3 0 286062047 168153088 18833 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 41053 18833 198 433 0 40617 0
[pid=29168/tid=29169] ppid=29166 vsize=164212 CPUtime=25.48 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 7067 0 0 0 2545 3 0 0 20 0 3 0 286062048 168153088 18834 33554432000 4194304 5964478 140735039144832 139764403054392 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=164212 CPUtime=25.48 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 10899 0 0 0 2544 4 0 0 20 0 3 0 286062048 168153088 18834 33554432000 4194304 5964478 140735039144832 139764392565048 4400522 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164212
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30643988/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=165784 CPUtime=102.16 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 25516 0 0 0 10206 10 0 0 20 0 3 0 286062047 169762816 25463 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 41446 25463 198 433 0 41010 0
[pid=29168/tid=29169] ppid=29166 vsize=165784 CPUtime=51.08 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 8846 0 0 0 5103 5 0 0 20 0 3 0 286062048 169762816 25463 33554432000 4194304 5964478 140735039144832 139764403054584 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=165784 CPUtime=51.08 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 15749 0 0 0 5101 7 0 0 20 0 3 0 286062048 169762816 25463 33554432000 4194304 5964478 140735039144832 139764392565048 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 165784
[startup+102.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30603024/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=232408 CPUtime=204.56 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 30022 0 0 0 20443 13 0 0 20 0 3 0 286062047 237985792 29969 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 58102 29969 198 433 0 57666 0
[pid=29168/tid=29169] ppid=29166 vsize=232408 CPUtime=102.29 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 9709 0 0 0 10222 7 0 0 20 0 3 0 286062048 237985792 29969 33554432000 4194304 5964478 140735039144832 139764403054584 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=232408 CPUtime=102.29 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 19392 0 0 0 10220 9 0 0 20 0 3 0 286062048 237985792 29969 33554432000 4194304 5964478 140735039144832 139764392564808 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 232408
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30515644/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=235032 CPUtime=324.53 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 47277 0 0 0 32431 22 0 0 20 0 3 0 286062047 240672768 47402 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 58758 47402 198 433 0 58322 0
[pid=29168/tid=29169] ppid=29166 vsize=235032 CPUtime=162.28 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 13276 0 0 0 16218 10 0 0 20 0 3 0 286062048 240672768 47402 33554432000 4194304 5964478 140735039144832 139764403054584 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=235032 CPUtime=162.28 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 33080 0 0 0 16211 17 0 0 20 0 3 0 286062048 240672768 47402 33554432000 4194304 5964478 140735039144832 139764392564808 4400022 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 235032
[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29171
/proc/meminfo: memFree=30482208/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=236248 CPUtime=444.5 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 50332 0 0 0 44423 27 0 0 20 0 3 0 286062047 241917952 50540 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 59062 50540 198 433 0 58626 0
[pid=29168/tid=29169] ppid=29166 vsize=236248 CPUtime=222.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 16267 0 0 0 22211 16 0 0 20 0 3 0 286062048 241917952 50540 33554432000 4194304 5964478 140735039144832 139764403054392 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=236248 CPUtime=222.28 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 33144 0 0 0 22210 18 0 0 20 0 3 0 286062048 241917952 50540 33554432000 4194304 5964478 140735039144832 139764392564808 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 236248
################
# More data... #
################
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 18037 0 0 0 28208 18 0 0 20 0 3 0 286062048 309690368 54138 33554432000 4194304 5964478 140735039144832 139764403054392 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=302432 CPUtime=282.24 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 33216 0 0 0 28205 19 0 0 20 0 3 0 286062048 309690368 54138 33554432000 4194304 5964478 140735039144832 139764392564856 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 302432
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/181 29172
/proc/meminfo: memFree=30413400/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=369012 CPUtime=684.41 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 53708 0 0 0 68411 30 0 0 20 0 3 0 286062047 377868288 55656 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 92253 55656 198 433 0 91817 0
[pid=29168/tid=29169] ppid=29166 vsize=369012 CPUtime=342.26 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 18189 0 0 0 34207 19 0 0 20 0 3 0 286062048 377868288 55656 33554432000 4194304 5964478 140735039144832 139764403054456 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=369012 CPUtime=342.24 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 34598 0 0 0 34202 22 0 0 20 0 3 0 286062048 377868288 55656 33554432000 4194304 5964478 140735039144832 139764392565048 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 369012
[startup+402.3 s]
/proc/loadavg: 2.94 3.72 3.88 3/173 29197
/proc/meminfo: memFree=30804284/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=370308 CPUtime=804.39 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 53997 0 0 0 80409 30 0 0 20 0 3 0 286062047 379195392 55947 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 92577 55947 198 433 0 92141 0
[pid=29168/tid=29169] ppid=29166 vsize=370308 CPUtime=402.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 18474 0 0 0 40207 20 0 0 20 0 3 0 286062048 379195392 55947 33554432000 4194304 5964478 140735039144832 139764403054392 4392733 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=370308 CPUtime=402.24 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 34602 0 0 0 40201 23 0 0 20 0 3 0 286062048 379195392 55947 33554432000 4194304 5964478 140735039144832 139764392565048 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 370308
[startup+462.3 s]
/proc/loadavg: 2.32 3.38 3.75 3/174 29200
/proc/meminfo: memFree=30800388/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=372016 CPUtime=924.38 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 55203 0 0 0 92405 33 0 0 20 0 3 0 286062047 380944384 57157 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 93004 57157 198 433 0 92568 0
[pid=29168/tid=29169] ppid=29166 vsize=372016 CPUtime=462.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 19397 0 0 0 46203 24 0 0 20 0 3 0 286062048 380944384 57157 33554432000 4194304 5964478 140735039144832 139764403054584 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=372016 CPUtime=462.24 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 34885 0 0 0 46200 24 0 0 20 0 3 0 286062048 380944384 57157 33554432000 4194304 5964478 140735039144832 139764392565096 4400053 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 372016
[startup+522.3 s]
/proc/loadavg: 2.12 3.15 3.65 3/173 29200
/proc/meminfo: memFree=30790468/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=374896 CPUtime=1044.35 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 57777 0 0 0 104399 36 0 0 20 0 3 0 286062047 383893504 59746 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 93724 59746 198 433 0 93288 0
[pid=29168/tid=29169] ppid=29166 vsize=374896 CPUtime=522.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 21210 0 0 0 52200 27 0 0 20 0 3 0 286062048 383893504 59746 33554432000 4194304 5964478 140735039144832 139764403054584 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=374896 CPUtime=522.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 35646 0 0 0 52201 24 0 0 20 0 3 0 286062048 383893504 59746 33554432000 4194304 5964478 140735039144832 139764392565048 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.35
Current children cumulated vsize (KiB) 374896
[startup+582.3 s]
/proc/loadavg: 2.04 2.92 3.54 3/172 29200
/proc/meminfo: memFree=30773108/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=377776 CPUtime=1164.33 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 61992 0 0 0 116392 41 0 0 20 0 3 0 286062047 386842624 63957 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 94444 63957 198 433 0 94008 0
[pid=29168/tid=29169] ppid=29166 vsize=377776 CPUtime=582.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 22132 0 0 0 58197 30 0 0 20 0 3 0 286062048 386842624 63957 33554432000 4194304 5964478 140735039144832 139764403054392 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=377776 CPUtime=582.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 38939 0 0 0 58196 29 0 0 20 0 3 0 286062048 386842624 63957 33554432000 4194304 5964478 140735039144832 139764392565048 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.33
Current children cumulated vsize (KiB) 377776
[startup+642.3 s]
/proc/loadavg: 2.01 2.76 3.44 3/173 29201
/proc/meminfo: memFree=30752888/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=378976 CPUtime=1284.31 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 66986 0 0 0 128385 46 0 0 20 0 3 0 286062047 388071424 68951 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 94744 68951 198 433 0 94308 0
[pid=29168/tid=29169] ppid=29166 vsize=378976 CPUtime=642.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 23627 0 0 0 64193 34 0 0 20 0 3 0 286062048 388071424 68951 33554432000 4194304 5964478 140735039144832 139764403054392 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=378976 CPUtime=642.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 42438 0 0 0 64193 32 0 0 20 0 3 0 286062048 388071424 68951 33554432000 4194304 5964478 140735039144832 139764392565048 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.31
Current children cumulated vsize (KiB) 378976
[startup+702.3 s]
/proc/loadavg: 2.00 2.61 3.34 3/173 29201
/proc/meminfo: memFree=30747972/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=379508 CPUtime=1404.28 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 68184 0 0 0 140379 49 0 0 20 0 3 0 286062047 388616192 70218 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 94877 70218 198 433 0 94441 0
[pid=29168/tid=29169] ppid=29166 vsize=379508 CPUtime=702.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 24743 0 0 0 70189 38 0 0 20 0 3 0 286062048 388616192 70218 33554432000 4194304 5964478 140735039144832 139764403054632 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=379508 CPUtime=702.24 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 42520 0 0 0 70191 33 0 0 20 0 3 0 286062048 388616192 70218 33554432000 4194304 5964478 140735039144832 139764392564808 4400419 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.28
Current children cumulated vsize (KiB) 379508
[startup+762.3 s]
/proc/loadavg: 2.00 2.50 3.26 3/173 29201
/proc/meminfo: memFree=30724164/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=382372 CPUtime=1524.28 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 74078 0 0 0 152375 53 0 0 20 0 3 0 286062047 391548928 76112 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 95593 76112 198 433 0 95157 0
[pid=29168/tid=29169] ppid=29166 vsize=382372 CPUtime=762.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 26000 0 0 0 76187 40 0 0 20 0 3 0 286062048 391548928 76112 33554432000 4194304 5964478 140735039144832 139764403054632 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=382372 CPUtime=762.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 47157 0 0 0 76189 36 0 0 20 0 3 0 286062048 391548928 76112 33554432000 4194304 5964478 140735039144832 139764392564856 4400053 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.28
Current children cumulated vsize (KiB) 382372
[startup+822.3 s]
/proc/loadavg: 2.00 2.41 3.18 3/173 29201
/proc/meminfo: memFree=30720692/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=384384 CPUtime=1644.24 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 74926 0 0 0 164370 54 0 0 20 0 3 0 286062047 393609216 76960 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 96096 76960 198 433 0 95660 0
[pid=29168/tid=29169] ppid=29166 vsize=384384 CPUtime=822.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 26749 0 0 0 82185 42 0 0 20 0 3 0 286062048 393609216 76960 33554432000 4194304 5964478 140735039144832 139764403054632 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=384384 CPUtime=822.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 47256 0 0 0 82188 37 0 0 20 0 3 0 286062048 393609216 76960 33554432000 4194304 5964478 140735039144832 139764392564856 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.24
Current children cumulated vsize (KiB) 384384
[startup+882.306 s]
/proc/loadavg: 2.00 2.33 3.10 3/173 29201
/proc/meminfo: memFree=30717388/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=386164 CPUtime=1764.22 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 75719 0 0 0 176367 55 0 0 20 0 3 0 286062047 395431936 77790 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 96541 77790 198 433 0 96105 0
[pid=29168/tid=29169] ppid=29166 vsize=386164 CPUtime=882.27 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 27489 0 0 0 88183 44 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764403054632 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=386164 CPUtime=882.25 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 47309 0 0 0 88187 38 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764392564808 4379295 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.22
Current children cumulated vsize (KiB) 386164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 2.00 2.31 3.08 3/173 29202
/proc/meminfo: memFree=30717304/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=386164 CPUtime=1800.02 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 75719 0 0 0 179947 55 0 0 20 0 3 0 286062047 395431936 77790 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 96541 77790 198 433 0 96105 0
[pid=29168/tid=29169] ppid=29166 vsize=386164 CPUtime=900.18 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 27489 0 0 0 89974 44 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764403054632 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=386164 CPUtime=900.15 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 47309 0 0 0 89977 38 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764392564808 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 386164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.2 s]
/proc/loadavg: 2.00 2.31 3.08 3/173 29202
/proc/meminfo: memFree=30717304/32873648 swapFree=7112/7112
[pid=29168] ppid=29166 vsize=386164 CPUtime=1800.02 cores=0,2,4,6
/proc/29168/stat : 29168 (pwbo2.01) S 29166 29168 26380 0 -1 4202496 75719 0 0 0 179947 55 0 0 20 0 3 0 286062047 395431936 77790 33554432000 4194304 5964478 140735039144832 140735039144352 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29168/statm: 96541 77790 198 433 0 96105 0
[pid=29168/tid=29169] ppid=29166 vsize=386164 CPUtime=900.18 cores=0,2,4,6
/proc/29168/task/29169/stat : 29169 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 27489 0 0 0 89974 44 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764403054632 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29168/tid=29170] ppid=29166 vsize=386164 CPUtime=900.15 cores=0,2,4,6
/proc/29168/task/29170/stat : 29170 (pwbo2.01) R 29166 29168 26380 0 -1 4202560 47309 0 0 0 89977 38 0 0 20 0 3 0 286062048 395431936 77790 33554432000 4194304 5964478 140735039144832 139764392564808 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 386164
Child status: 0
Real time (s): 900.214
CPU time (s): 1800.37
CPU user time (s): 1799.53
CPU system time (s): 0.841872
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 386164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.841872
maximum resident set size= 311160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75720
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= 254
involuntary context switches= 1954
runsolver used 1.81972 second user time and 4.86526 second system time
The end