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-3712717-1338200250/watcher-3712717-1338200250 -o /tmp/evaluation-result-3712717-1338200250/solver-3712717-1338200250 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712717-1338200250.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 22368
/proc/meminfo: memFree=28967068/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=4968 CPUtime=0 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) R 22366 22368 20320 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 286149050 5087232 499 33554432000 4194304 5964478 140736001555136 140734492308968 5136474 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 1242 500 166 433 0 794 0
[startup+0.102623 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 22368
/proc/meminfo: memFree=28967068/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=163748 CPUtime=0.18 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 2220 0 0 0 17 1 0 0 20 0 3 0 286149050 167677952 2157 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 40937 2157 198 433 0 40501 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163748
[startup+0.200184 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 22368
/proc/meminfo: memFree=28967068/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=163748 CPUtime=0.38 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 2721 0 0 0 35 3 0 0 20 0 3 0 286149050 167677952 2658 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 40937 2659 198 433 0 40501 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 163748
[startup+0.300145 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 22368
/proc/meminfo: memFree=28967068/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=163748 CPUtime=0.58 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 3265 0 0 0 54 4 0 0 20 0 3 0 286149050 167677952 3202 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 40937 3202 198 433 0 40501 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163748
[startup+0.700128 s]
/proc/loadavg: 4.00 4.00 3.96 4/178 22368
/proc/meminfo: memFree=28967068/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=163748 CPUtime=1.37 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 5117 0 0 0 129 8 0 0 20 0 3 0 286149050 167677952 5054 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 40937 5054 198 433 0 40501 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163748
[startup+1.50024 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28940980/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=163748 CPUtime=2.97 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 7640 0 0 0 285 12 0 0 20 0 3 0 286149050 167677952 7577 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 40937 7577 198 433 0 40501 0
[pid=22368/tid=22370] ppid=22366 vsize=163748 CPUtime=1.47 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 3603 0 0 0 136 11 0 0 20 0 3 0 286149051 167677952 7577 33554432000 4194304 5964478 140736001555136 139868694779896 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=163748 CPUtime=1.47 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 2927 0 0 0 146 1 0 0 20 0 3 0 286149051 167677952 7577 33554432000 4194304 5964478 140736001555136 139868684290360 4381977 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) 163748
[startup+3.10032 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28933268/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=164036 CPUtime=6.16 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 10208 0 0 0 599 17 0 0 20 0 3 0 286149050 167972864 10145 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 41009 10145 198 433 0 40573 0
[pid=22368/tid=22370] ppid=22366 vsize=164036 CPUtime=3.07 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 4481 0 0 0 294 13 0 0 20 0 3 0 286149051 167972864 10145 33554432000 4194304 5964478 140736001555136 139868694779896 4382015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=164036 CPUtime=3.07 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 4617 0 0 0 303 4 0 0 20 0 3 0 286149051 167972864 10145 33554432000 4194304 5964478 140736001555136 139868684290360 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164036
[startup+6.3003 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28916020/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=164180 CPUtime=12.56 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 12774 0 0 0 1230 26 0 0 20 0 3 0 286149050 168120320 12711 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 41045 12711 198 433 0 40609 0
[pid=22368/tid=22370] ppid=22366 vsize=164180 CPUtime=6.27 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 6267 0 0 0 608 19 0 0 20 0 3 0 286149051 168120320 12711 33554432000 4194304 5964478 140736001555136 139868694779704 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=164180 CPUtime=6.28 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 5397 0 0 0 620 8 0 0 20 0 3 0 286149051 168120320 12711 33554432000 4194304 5964478 140736001555136 139868684290408 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164180
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28889284/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=164424 CPUtime=25.35 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 20553 0 0 0 2487 48 0 0 20 0 3 0 286149050 168370176 20490 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 41106 20490 198 433 0 40670 0
[pid=22368/tid=22370] ppid=22366 vsize=164424 CPUtime=12.67 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 10370 0 0 0 1235 32 0 0 20 0 3 0 286149051 168370176 20490 33554432000 4194304 5964478 140736001555136 139868694779704 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=164424 CPUtime=12.67 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 9073 0 0 0 1250 17 0 0 20 0 3 0 286149051 168370176 20490 33554432000 4194304 5964478 140736001555136 139868684290360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 164424
[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28835276/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=230492 CPUtime=50.94 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 32912 0 0 0 5008 86 0 0 20 0 3 0 286149050 236023808 32849 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 57623 32849 198 433 0 57187 0
[pid=22368/tid=22370] ppid=22366 vsize=230492 CPUtime=25.48 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 17533 0 0 0 2491 57 0 0 20 0 3 0 286149051 236023808 32849 33554432000 4194304 5964478 140736001555136 139868694779896 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=230492 CPUtime=25.47 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 14269 0 0 0 2517 30 0 0 20 0 3 0 286149051 236023808 32849 33554432000 4194304 5964478 140736001555136 139868684290360 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 230492
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22412
/proc/meminfo: memFree=29649220/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=296692 CPUtime=102.12 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 47099 0 0 0 10116 96 0 0 20 0 3 0 286149050 303812608 47258 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 74173 47258 198 433 0 73737 0
[pid=22368/tid=22370] ppid=22366 vsize=296692 CPUtime=51.07 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 22724 0 0 0 5047 60 0 0 20 0 3 0 286149051 303812608 47258 33554432000 4194304 5964478 140736001555136 139868694779704 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=296692 CPUtime=51.07 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 23265 0 0 0 5070 37 0 0 20 0 3 0 286149051 303812608 47258 33554432000 4194304 5964478 140736001555136 139868684290360 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 296692
[startup+102.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22412
/proc/meminfo: memFree=29496944/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=362740 CPUtime=204.49 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 76686 0 0 0 20340 109 0 0 20 0 3 0 286149050 371445760 76790 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 90685 76790 198 433 0 90249 0
[pid=22368/tid=22370] ppid=22366 vsize=362740 CPUtime=102.27 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 45366 0 0 0 10156 71 0 0 20 0 3 0 286149051 371445760 76790 33554432000 4194304 5964478 140736001555136 139868694779704 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=362740 CPUtime=102.25 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 30210 0 0 0 10184 41 0 0 20 0 3 0 286149051 371445760 76790 33554432000 4194304 5964478 140736001555136 139868684290120 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 362740
[startup+162.3 s]
/proc/loadavg: 4.03 4.01 3.97 5/182 22415
/proc/meminfo: memFree=29353608/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=493812 CPUtime=324.44 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 106079 0 0 0 32319 125 0 0 20 0 3 0 286149050 505663488 107882 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 123453 107882 198 433 0 123017 0
[pid=22368/tid=22370] ppid=22366 vsize=493812 CPUtime=162.25 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 57182 0 0 0 16146 79 0 0 20 0 3 0 286149051 505663488 107882 33554432000 4194304 5964478 140736001555136 139868694779896 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=493812 CPUtime=162.25 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 47787 0 0 0 16173 52 0 0 20 0 3 0 286149051 505663488 107882 33554432000 4194304 5964478 140736001555136 139868684290360 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 493812
[startup+222.306 s]
/proc/loadavg: 4.01 4.01 3.97 5/180 22415
/proc/meminfo: memFree=29315416/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=559776 CPUtime=444.43 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 109434 0 0 0 44316 127 0 0 20 0 3 0 286149050 573210624 111080 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 139944 111080 198 433 0 139508 0
[pid=22368/tid=22370] ppid=22366 vsize=559776 CPUtime=222.26 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 57813 0 0 0 22145 81 0 0 20 0 3 0 286149051 573210624 111080 33554432000 4194304 5964478 140736001555136 139868694779896 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=559776 CPUtime=222.26 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 50511 0 0 0 22173 53 0 0 20 0 3 0 286149051 573210624 111080 33554432000 4194304 5964478 140736001555136 139868684290120 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 559776
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22416
/proc/meminfo: memFree=29249812/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=561084 CPUtime=564.39 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 119400 0 0 0 56278 161 0 0 20 0 3 0 286149050 574550016 121064 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 140271 121064 198 433 0 139835 0
[pid=22368/tid=22370] ppid=22366 vsize=561084 CPUtime=282.26 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 64945 0 0 0 28118 108 0 0 20 0 3 0 286149051 574550016 121064 33554432000 4194304 5964478 140736001555136 139868694779896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=561084 CPUtime=282.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 53345 0 0 0 28162 62 0 0 20 0 3 0 286149051 574550016 121064 33554432000 4194304 5964478 140736001555136 139868684290360 4381958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 561084
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22416
/proc/meminfo: memFree=29193552/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=629224 CPUtime=684.35 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 125462 0 0 0 68254 181 0 0 20 0 3 0 286149050 644325376 127152 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 157306 127152 198 433 0 156870 0
[pid=22368/tid=22370] ppid=22366 vsize=629224 CPUtime=342.25 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 70850 0 0 0 34096 129 0 0 20 0 3 0 286149051 644325376 127152 33554432000 4194304 5964478 140736001555136 139868694779896 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=629224 CPUtime=342.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 53502 0 0 0 34161 63 0 0 20 0 3 0 286149051 644325376 127152 33554432000 4194304 5964478 140736001555136 139868684290168 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 629224
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22416
/proc/meminfo: memFree=29142200/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=632492 CPUtime=804.32 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 135920 0 0 0 80233 199 0 0 20 0 3 0 286149050 647671808 137709 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 158123 137709 198 433 0 157687 0
[pid=22368/tid=22370] ppid=22366 vsize=632492 CPUtime=402.24 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 76941 0 0 0 40079 145 0 0 20 0 3 0 286149051 647671808 137709 33554432000 4194304 5964478 140736001555136 139868694779896 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=632492 CPUtime=402.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 57869 0 0 0 40157 67 0 0 20 0 3 0 286149051 647671808 137709 33554432000 4194304 5964478 140736001555136 139868684290360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 632492
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22416
/proc/meminfo: memFree=29093844/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=698676 CPUtime=924.27 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 145735 0 0 0 92194 233 0 0 20 0 3 0 286149050 715444224 147572 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 174669 147572 198 433 0 174233 0
[pid=22368/tid=22370] ppid=22366 vsize=698676 CPUtime=462.23 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 86723 0 0 0 46044 179 0 0 20 0 3 0 286149051 715444224 147572 33554432000 4194304 5964478 140736001555136 139868694779896 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=698676 CPUtime=462.23 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 57902 0 0 0 46155 68 0 0 20 0 3 0 286149051 715444224 147572 33554432000 4194304 5964478 140736001555136 139868684290360 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 698676
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/180 22416
/proc/meminfo: memFree=28993244/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=767884 CPUtime=1044.23 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 168079 0 0 0 104126 297 0 0 20 0 3 0 286149050 786313216 170004 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 191971 170004 198 433 0 191535 0
[pid=22368/tid=22370] ppid=22366 vsize=767884 CPUtime=522.22 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97760 0 0 0 52005 217 0 0 20 0 3 0 286149051 786313216 170004 33554432000 4194304 5964478 140736001555136 139868694779896 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=767884 CPUtime=522.23 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 69209 0 0 0 52127 96 0 0 20 0 3 0 286149051 786313216 170004 33554432000 4194304 5964478 140736001555136 139868684290360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 767884
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 22419
/proc/meminfo: memFree=28923352/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=769828 CPUtime=1164.21 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 180838 0 0 0 116090 331 0 0 20 0 3 0 286149050 788303872 182758 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 192457 182758 198 433 0 192021 0
[pid=22368/tid=22370] ppid=22366 vsize=769828 CPUtime=582.22 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97773 0 0 0 58004 218 0 0 20 0 3 0 286149051 788303872 182758 33554432000 4194304 5964478 140736001555136 139868694779896 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=769828 CPUtime=582.23 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 81955 0 0 0 58092 131 0 0 20 0 3 0 286149051 788303872 182758 33554432000 4194304 5964478 140736001555136 139868684290360 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 769828
[startup+642.3 s]
/proc/loadavg: 4.04 4.01 3.97 5/181 22419
/proc/meminfo: memFree=28839728/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=902928 CPUtime=1284.19 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 199928 0 0 0 128031 388 0 0 20 0 3 0 286149050 924598272 201848 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225732 201848 198 433 0 225296 0
[pid=22368/tid=22370] ppid=22366 vsize=902928 CPUtime=642.22 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97773 0 0 0 64003 219 0 0 20 0 3 0 286149051 924598272 201848 33554432000 4194304 5964478 140736001555136 139868694779896 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=902928 CPUtime=642.23 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 101045 0 0 0 64035 188 0 0 20 0 3 0 286149051 924598272 201848 33554432000 4194304 5964478 140736001555136 139868684290360 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 902928
[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/181 22419
/proc/meminfo: memFree=28811556/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=903320 CPUtime=1404.18 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 201849 0 0 0 140024 394 0 0 20 0 3 0 286149050 924999680 203769 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225830 203769 198 433 0 225394 0
[pid=22368/tid=22370] ppid=22366 vsize=903320 CPUtime=702.23 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97774 0 0 0 70003 220 0 0 20 0 3 0 286149051 924999680 203769 33554432000 4194304 5964478 140736001555136 139868694779896 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=903320 CPUtime=702.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 102965 0 0 0 70029 195 0 0 20 0 3 0 286149051 924999680 203769 33554432000 4194304 5964478 140736001555136 139868684290120 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 903320
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/182 22422
/proc/meminfo: memFree=28796460/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=903460 CPUtime=1524.17 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 201865 0 0 0 152023 394 0 0 20 0 3 0 286149050 925143040 203769 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225865 203769 198 433 0 225429 0
[pid=22368/tid=22370] ppid=22366 vsize=903460 CPUtime=762.24 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97775 0 0 0 76003 221 0 0 20 0 3 0 286149051 925143040 203769 33554432000 4194304 5964478 140736001555136 139868694779896 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=903460 CPUtime=762.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 102980 0 0 0 76028 196 0 0 20 0 3 0 286149051 925143040 203769 33554432000 4194304 5964478 140736001555136 139868684290392 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 903460
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22422
/proc/meminfo: memFree=28780220/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=903460 CPUtime=1644.12 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 201881 0 0 0 164018 394 0 0 20 0 3 0 286149050 925143040 203805 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225865 203805 198 433 0 225429 0
[pid=22368/tid=22370] ppid=22366 vsize=903460 CPUtime=822.23 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97778 0 0 0 82001 222 0 0 20 0 3 0 286149051 925143040 203805 33554432000 4194304 5964478 140736001555136 139868694779896 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=903460 CPUtime=822.23 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 102993 0 0 0 82026 197 0 0 20 0 3 0 286149051 925143040 203805 33554432000 4194304 5964478 140736001555136 139868684290392 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 903460
[startup+882.306 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22423
/proc/meminfo: memFree=28765104/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=903460 CPUtime=1764.11 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 201898 0 0 0 176017 394 0 0 20 0 3 0 286149050 925143040 203889 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225865 203889 198 433 0 225429 0
[pid=22368/tid=22370] ppid=22366 vsize=903460 CPUtime=882.23 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97795 0 0 0 88000 223 0 0 20 0 3 0 286149051 925143040 203889 33554432000 4194304 5964478 140736001555136 139868694779896 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=903460 CPUtime=882.24 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 102993 0 0 0 88026 198 0 0 20 0 3 0 286149051 925143040 203889 33554432000 4194304 5964478 140736001555136 139868684290392 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 903460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 22423
/proc/meminfo: memFree=28753444/32873648 swapFree=7368/7368
[pid=22368] ppid=22366 vsize=903460 CPUtime=1800.1 cores=0,2,4,6
/proc/22368/stat : 22368 (pwbo2.01) S 22366 22368 20320 0 -1 4202496 201906 0 0 0 179616 394 0 0 20 0 3 0 286149050 925143040 203901 33554432000 4194304 5964478 140736001555136 140736001554656 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 225865 203901 198 433 0 225429 0
[pid=22368/tid=22370] ppid=22366 vsize=903460 CPUtime=900.23 cores=0,2,4,6
/proc/22368/task/22370/stat : 22370 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 97801 0 0 0 89800 223 0 0 20 0 3 0 286149051 925143040 203901 33554432000 4194304 5964478 140736001555136 139868694779896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=903460 CPUtime=900.25 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (pwbo2.01) R 22366 22368 20320 0 -1 4202560 102995 0 0 0 89827 198 0 0 20 0 3 0 286149051 925143040 203901 33554432000 4194304 5964478 140736001555136 139868684290392 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 903460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.319
CPU time (s): 1800.54
CPU user time (s): 1796.29
CPU system time (s): 4.24335
CPU usage (%): 199.989
Max. virtual memory (cumulated for all children) (KiB): 903460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 4.24335
maximum resident set size= 815764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201907
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= 703
involuntary context switches= 1927
runsolver used 1.78373 second user time and 4.89226 second system time
The end