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 /var/tmp/evaluation-result-3500159-1307992001/watcher-3500159-1307992001 -o /var/tmp/evaluation-result-3500159-1307992001/solver-3500159-1307992001 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500159-1307992001.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.84 3.97 3.67 3/179 19575
/proc/meminfo: memFree=11042736/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=2212 CPUtime=0 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) R 19573 19575 19040 0 -1 4202496 326 0 0 0 0 0 0 0 25 0 1 0 910799866 2265088 278 33554432000 4194304 5714118 140737138919936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19575/statm: 553 278 171 372 0 151 0
[startup+0.0340599 s]
/proc/loadavg: 3.84 3.97 3.67 3/179 19575
/proc/meminfo: memFree=11042736/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=136736 CPUtime=0.05 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 1500 0 0 0 5 0 0 0 18 0 3 0 910799866 140017664 1421 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34184 1421 181 372 0 33809 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 136736
[startup+0.108095 s]
/proc/loadavg: 3.84 3.97 3.67 3/179 19575
/proc/meminfo: memFree=11042736/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=136736 CPUtime=0.2 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 1721 0 0 0 19 1 0 0 18 0 3 0 910799866 140017664 1642 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34184 1642 181 372 0 33809 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 136736
[startup+0.30107 s]
/proc/loadavg: 3.84 3.97 3.67 3/179 19575
/proc/meminfo: memFree=11042736/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=136736 CPUtime=0.58 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 2485 0 0 0 55 3 0 0 18 0 3 0 910799866 140017664 2406 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34184 2406 181 372 0 33809 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136736
[startup+0.701001 s]
/proc/loadavg: 3.84 3.97 3.67 3/179 19575
/proc/meminfo: memFree=11042736/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=136736 CPUtime=1.38 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 3412 0 0 0 132 6 0 0 18 0 3 0 910799866 140017664 3333 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34184 3333 181 372 0 33809 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136736
[startup+1.5008 s]
/proc/loadavg: 3.84 3.97 3.67 5/182 19578
/proc/meminfo: memFree=11016968/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=136880 CPUtime=2.98 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 5616 0 0 0 288 10 0 0 18 0 3 0 910799866 140165120 5537 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34220 5537 181 372 0 33845 0
[pid=19575/tid=19577] ppid=19573 vsize=136880 CPUtime=1.49 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 2798 0 0 0 143 6 0 0 23 0 3 0 910799867 140165120 5537 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=136880 CPUtime=1.48 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 2392 0 0 0 144 4 0 0 23 0 3 0 910799867 140165120 5537 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319859 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136880
[startup+3.10052 s]
/proc/loadavg: 3.85 3.97 3.67 5/182 19578
/proc/meminfo: memFree=11007172/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=137168 CPUtime=6.19 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 8187 0 0 0 602 17 0 0 18 0 3 0 910799866 140460032 8108 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34292 8108 181 372 0 33917 0
[pid=19575/tid=19577] ppid=19573 vsize=137168 CPUtime=3.08 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 3459 0 0 0 298 10 0 0 25 0 3 0 910799867 140460032 8108 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=137168 CPUtime=3.08 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 4302 0 0 0 302 6 0 0 25 0 3 0 910799867 140460032 8108 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 137168
[startup+6.30101 s]
/proc/loadavg: 3.85 3.97 3.67 5/182 19579
/proc/meminfo: memFree=10984248/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=137168 CPUtime=12.59 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 9417 0 0 0 1233 26 0 0 18 0 3 0 910799866 140460032 9338 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34292 9338 182 372 0 33917 0
[pid=19575/tid=19577] ppid=19573 vsize=137168 CPUtime=6.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 4659 0 0 0 613 16 0 0 25 0 3 0 910799867 140460032 9338 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=137168 CPUtime=6.28 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 4332 0 0 0 619 9 0 0 25 0 3 0 910799867 140460032 9338 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 137168
[startup+12.7009 s]
/proc/loadavg: 3.87 3.97 3.67 5/182 19579
/proc/meminfo: memFree=10937268/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=137576 CPUtime=25.38 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 14328 0 0 0 2495 43 0 0 18 0 3 0 910799866 140877824 14249 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34394 14249 182 372 0 34019 0
[pid=19575/tid=19577] ppid=19573 vsize=137576 CPUtime=12.68 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 7121 0 0 0 1239 29 0 0 25 0 3 0 910799867 140877824 14249 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=137576 CPUtime=12.68 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 6781 0 0 0 1255 13 0 0 25 0 3 0 910799867 140877824 14249 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 137576
[startup+25.5006 s]
/proc/loadavg: 3.89 3.97 3.68 5/182 19579
/proc/meminfo: memFree=10887620/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=137676 CPUtime=50.98 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 15960 0 0 0 5024 74 0 0 18 0 3 0 910799866 140980224 15843 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34419 15843 182 372 0 34044 0
[pid=19575/tid=19577] ppid=19573 vsize=137676 CPUtime=25.48 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 8157 0 0 0 2495 53 0 0 25 0 3 0 910799867 140980224 15843 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=137676 CPUtime=25.48 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 7377 0 0 0 2528 20 0 0 25 0 3 0 910799867 140980224 15843 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 137676
[startup+51.101 s]
/proc/loadavg: 3.93 3.97 3.68 5/182 19620
/proc/meminfo: memFree=10909720/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=138144 CPUtime=102.18 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 26323 0 0 0 10098 120 0 0 18 0 3 0 910799866 141459456 26206 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 34536 26206 182 372 0 34161 0
[pid=19575/tid=19577] ppid=19573 vsize=138144 CPUtime=51.08 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 16168 0 0 0 5025 83 0 0 25 0 3 0 910799867 141459456 26206 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=138144 CPUtime=51.09 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 9729 0 0 0 5073 36 0 0 25 0 3 0 910799867 141459456 26206 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 138144
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.70 5/182 19621
/proc/meminfo: memFree=10730356/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=204552 CPUtime=204.6 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 34492 0 0 0 20241 219 0 0 18 0 3 0 910799866 209461248 34375 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 51138 34375 182 372 0 50763 0
[pid=19575/tid=19577] ppid=19573 vsize=204552 CPUtime=102.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 24192 0 0 0 10078 151 0 0 25 0 3 0 910799867 209461248 34375 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=204552 CPUtime=102.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 9874 0 0 0 10162 67 0 0 25 0 3 0 910799867 209461248 34375 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 204552
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.72 5/182 19623
/proc/meminfo: memFree=10626176/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=270312 CPUtime=324.58 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 44491 0 0 0 32127 331 0 0 18 0 3 0 910799866 276799488 44374 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 67578 44374 182 372 0 67203 0
[pid=19575/tid=19577] ppid=19573 vsize=270312 CPUtime=162.28 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 34119 0 0 0 16004 224 0 0 25 0 3 0 910799867 276799488 44374 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=270312 CPUtime=162.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 9946 0 0 0 16122 107 0 0 25 0 3 0 910799867 276799488 44374 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 270312
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.73 5/182 19624
/proc/meminfo: memFree=10541208/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=270644 CPUtime=444.59 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 56996 0 0 0 44015 444 0 0 18 0 3 0 910799866 277139456 56879 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 67661 56879 182 372 0 67286 0
[pid=19575/tid=19577] ppid=19573 vsize=270644 CPUtime=222.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 46492 0 0 0 21927 302 0 0 25 0 3 0 910799867 277139456 56879 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=270644 CPUtime=222.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 10078 0 0 0 22087 142 0 0 25 0 3 0 910799867 277139456 56879 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 270644
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.74 5/182 19626
/proc/meminfo: memFree=10429196/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=336884 CPUtime=564.59 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 66685 0 0 0 55906 553 0 0 18 0 3 0 910799866 344969216 66567 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 84221 66567 182 372 0 83846 0
[pid=19575/tid=19577] ppid=19573 vsize=336884 CPUtime=282.28 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 54584 0 0 0 27855 373 0 0 25 0 3 0 910799867 344969216 66567 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=336884 CPUtime=282.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 11675 0 0 0 28050 179 0 0 25 0 3 0 910799867 344969216 66567 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 336884
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.76 5/182 19628
/proc/meminfo: memFree=10331200/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=337168 CPUtime=684.59 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 76060 0 0 0 67793 666 0 0 18 0 3 0 910799866 345260032 75728 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 84292 75728 182 372 0 83917 0
[pid=19575/tid=19577] ppid=19573 vsize=337168 CPUtime=342.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 63898 0 0 0 33778 451 0 0 25 0 3 0 910799867 345260032 75728 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=337168 CPUtime=342.28 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 11736 0 0 0 34014 214 0 0 25 0 3 0 910799867 345260032 75728 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 337168
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.77 5/182 19629
/proc/meminfo: memFree=10206048/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=402988 CPUtime=804.59 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 86523 0 0 0 79685 774 0 0 18 0 3 0 910799866 412659712 86190 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 100747 86190 182 372 0 100372 0
[pid=19575/tid=19577] ppid=19573 vsize=402988 CPUtime=402.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 71896 0 0 0 39707 522 0 0 25 0 3 0 910799867 412659712 86191 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=402988 CPUtime=402.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 14202 0 0 0 39977 252 0 0 25 0 3 0 910799867 412659712 86191 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 402988
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.78 5/182 19631
/proc/meminfo: memFree=10126036/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=403200 CPUtime=924.6 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 94301 0 0 0 91566 894 0 0 18 0 3 0 910799866 412876800 93968 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 100800 93968 182 372 0 100425 0
[pid=19575/tid=19577] ppid=19573 vsize=403200 CPUtime=462.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 78999 0 0 0 45626 603 0 0 25 0 3 0 910799867 412876800 93968 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=403200 CPUtime=462.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 14876 0 0 0 45938 291 0 0 25 0 3 0 910799867 412876800 93968 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 403200
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.79 5/182 19632
/proc/meminfo: memFree=10016516/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=468896 CPUtime=1044.6 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 106319 0 0 0 103450 1010 0 0 18 0 3 0 910799866 480149504 105986 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 117224 105986 182 372 0 116849 0
[pid=19575/tid=19577] ppid=19573 vsize=468896 CPUtime=522.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 90526 0 0 0 51542 687 0 0 25 0 3 0 910799867 480149504 105986 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=468896 CPUtime=522.29 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 15367 0 0 0 51907 322 0 0 25 0 3 0 910799867 480149504 105986 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 468896
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.80 5/182 19634
/proc/meminfo: memFree=9930552/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=534648 CPUtime=1164.61 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 117427 0 0 0 115325 1136 0 0 18 0 3 0 910799866 547479552 117094 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 133662 117094 182 372 0 133287 0
[pid=19575/tid=19577] ppid=19573 vsize=534648 CPUtime=582.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 101586 0 0 0 57453 776 0 0 25 0 3 0 910799867 547479552 117094 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=534648 CPUtime=582.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 15415 0 0 0 57871 359 0 0 25 0 3 0 910799867 547479552 117094 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 534648
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.81 5/182 19636
/proc/meminfo: memFree=9883036/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=534648 CPUtime=1284.62 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 124506 0 0 0 127227 1235 0 0 18 0 3 0 910799866 547479552 124172 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 133662 124172 182 372 0 133287 0
[pid=19575/tid=19577] ppid=19573 vsize=534648 CPUtime=642.3 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 108664 0 0 0 63388 842 0 0 25 0 3 0 910799867 547479552 124172 33554432000 4194304 5714118 140737138919936 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=534648 CPUtime=642.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 15416 0 0 0 63837 393 0 0 25 0 3 0 910799867 547479552 124172 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 534648
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.82 5/182 19637
/proc/meminfo: memFree=9802776/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=600184 CPUtime=1404.61 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 135646 0 0 0 139114 1347 0 0 18 0 3 0 910799866 614588416 135312 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 150046 135312 182 372 0 149671 0
[pid=19575/tid=19577] ppid=19573 vsize=600184 CPUtime=702.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 119803 0 0 0 69314 915 0 0 25 0 3 0 910799867 614588416 135312 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=600184 CPUtime=702.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 15417 0 0 0 69799 431 0 0 25 0 3 0 910799867 614588416 135312 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 600184
[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.83 5/182 19639
/proc/meminfo: memFree=9715816/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=665932 CPUtime=1524.62 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 144655 0 0 0 151028 1434 0 0 18 0 3 0 910799866 681914368 144303 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 166483 144303 182 372 0 166108 0
[pid=19575/tid=19577] ppid=19573 vsize=665932 CPUtime=762.3 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 125991 0 0 0 75261 969 0 0 25 0 3 0 910799867 681914368 144303 33554432000 4194304 5714118 140737138919936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=665932 CPUtime=762.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 18238 0 0 0 75766 464 0 0 25 0 3 0 910799867 681914368 144303 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 665932
[startup+822.301 s]
/proc/loadavg: 3.99 3.97 3.83 5/182 19640
/proc/meminfo: memFree=9650180/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=731468 CPUtime=1644.61 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 148979 0 0 0 162923 1538 0 0 18 0 3 0 910799866 749023232 148626 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 182867 148626 182 372 0 182492 0
[pid=19575/tid=19577] ppid=19573 vsize=731468 CPUtime=822.29 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 130306 0 0 0 81188 1041 0 0 25 0 3 0 910799867 749023232 148626 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=731468 CPUtime=822.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 18247 0 0 0 81734 496 0 0 25 0 3 0 910799867 749023232 148626 33554432000 4194304 5714118 140737138919936 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 731468
[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 19642
/proc/meminfo: memFree=9561728/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=731612 CPUtime=1764.62 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 158150 0 0 0 174831 1631 0 0 18 0 3 0 910799866 749170688 157797 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 182903 157797 182 372 0 182528 0
[pid=19575/tid=19577] ppid=19573 vsize=731612 CPUtime=882.3 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 139440 0 0 0 87130 1100 0 0 25 0 3 0 910799867 749170688 157797 33554432000 4194304 5714118 140737138919936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=731612 CPUtime=882.3 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 18284 0 0 0 87700 530 0 0 25 0 3 0 910799867 749170688 157797 33554432000 4194304 5714118 140737138919936 18446744073709551615 4320026 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 731612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 19642
/proc/meminfo: memFree=9544104/32950928 swapFree=67055156/67111528
[pid=19575] ppid=19573 vsize=731800 CPUtime=1800.03 cores=1,3,5,7
/proc/19575/stat : 19575 (pwbo1.1) S 19573 19575 19040 0 -1 4202496 160208 0 0 0 178347 1656 0 0 18 0 3 0 910799866 749363200 159855 33554432000 4194304 5714118 140737138919936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19575/statm: 182950 159855 182 372 0 182575 0
[pid=19575/tid=19577] ppid=19573 vsize=731800 CPUtime=900 cores=1,3,5,7
/proc/19575/task/19577/stat : 19577 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 141451 0 0 0 88885 1115 0 0 25 0 3 0 910799867 749363200 159855 33554432000 4194304 5714118 140737138919936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19575/tid=19578] ppid=19573 vsize=731800 CPUtime=900 cores=1,3,5,7
/proc/19575/task/19578/stat : 19578 (pwbo1.1) R 19573 19575 19040 0 -1 4202560 18331 0 0 0 89460 540 0 0 25 0 3 0 910799867 749363200 159855 33554432000 4194304 5714118 140737138919936 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 731800
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.043
CPU time (s): 1800.08
CPU user time (s): 1783.48
CPU system time (s): 16.5965
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 731800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.48
system time used= 16.5965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160214
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= 97
involuntary context switches= 2421
runsolver used 1.54576 second user time and 3.34949 second system time
The end