runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4105548-1466249890/watcher-4105548-1466249890 -o /tmp/evaluation-result-4105548-1466249890/solver-4105548-1466249890 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466240299-31524 --watchdog 1960 open-wbo-lsu HOME/instance-4105548-1466249890.opb 

pid=1534
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: 2.31 2.29 2.24 4/176 1537
/proc/meminfo: memFree=30324628/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=3672 CPUtime=0 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 669 0 0 0 0 0 0 0 20 0 1 0 27037664 3760128 545 33554432000 4194304 6058637 140734650596112 140735549101800 4210672 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 918 545 436 456 0 153 0

[startup+0.100158 s]
/proc/loadavg: 2.31 2.29 2.24 4/176 1537
/proc/meminfo: memFree=30324628/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=4196 CPUtime=0.09 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 795 0 0 0 9 0 0 0 20 0 1 0 27037664 4296704 671 33554432000 4194304 6058637 140734650596112 140734650594584 4735255 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 1049 671 436 456 0 284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4196

[startup+0.200326 s]
/proc/loadavg: 2.31 2.29 2.24 4/176 1537
/proc/meminfo: memFree=30324628/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=12856 CPUtime=0.19 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 2367 0 0 0 19 0 0 0 20 0 1 0 27037664 13164544 2428 33554432000 4194304 6058637 140734650596112 140734650594584 4278181 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 3214 2428 176 456 0 2750 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12856

[startup+0.300355 s]
/proc/loadavg: 2.31 2.29 2.24 4/176 1537
/proc/meminfo: memFree=30324628/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=12988 CPUtime=0.29 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 2407 0 0 0 29 0 0 0 20 0 1 0 27037664 13299712 2468 33554432000 4194304 6058637 140734650596112 140734650594584 4254526 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 3247 2468 176 456 0 2783 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988

[startup+0.700305 s]
/proc/loadavg: 2.31 2.29 2.24 4/176 1537
/proc/meminfo: memFree=30324628/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=13348 CPUtime=0.69 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 2502 0 0 0 69 0 0 0 20 0 1 0 27037664 13668352 2563 33554432000 4194304 6058637 140734650596112 140734650594584 4278328 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 3337 2563 177 456 0 2873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13348

[startup+1.50028 s]
/proc/loadavg: 2.31 2.29 2.24 4/177 1538
/proc/meminfo: memFree=30312704/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=12168 CPUtime=1.49 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 3805 0 0 0 148 1 0 0 20 0 1 0 27037664 12460032 2528 33554432000 4194304 6058637 140734650596112 140734650595144 4280035 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 3042 2528 178 456 0 2578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12168

[startup+3.10029 s]
/proc/loadavg: 2.31 2.29 2.24 4/177 1538
/proc/meminfo: memFree=30303148/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=23620 CPUtime=3.09 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 4232 0 0 0 308 1 0 0 20 0 1 0 27037664 24186880 4296 33554432000 4194304 6058637 140734650596112 140734650594840 4255120 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 5905 4296 178 456 0 5441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23620

[startup+6.30024 s]
/proc/loadavg: 2.36 2.31 2.25 3/177 1538
/proc/meminfo: memFree=30292976/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=28040 CPUtime=6.28 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 5420 0 0 0 627 1 0 0 20 0 1 0 27037664 28712960 6485 33554432000 4194304 6058637 140734650596112 140734650594872 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 7010 6485 178 456 0 6546 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28040

[startup+12.7003 s]
/proc/loadavg: 2.33 2.30 2.25 3/177 1538
/proc/meminfo: memFree=30287812/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=39900 CPUtime=12.69 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 5780 0 0 0 1267 2 0 0 20 0 1 0 27037664 40857600 8377 33554432000 4194304 6058637 140734650596112 140734650594872 4278181 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 9975 8377 178 456 0 9511 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39900

[startup+25.5004 s]
/proc/loadavg: 2.34 2.30 2.25 3/177 1538
/proc/meminfo: memFree=30257644/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=49800 CPUtime=25.49 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 6710 0 0 0 2546 3 0 0 20 0 1 0 27037664 50995200 11507 33554432000 4194304 6058637 140734650596112 140734650594872 4277640 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 12450 11507 178 456 0 11986 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49800

[startup+51.1004 s]
/proc/loadavg: 2.22 2.28 2.24 3/176 1538
/proc/meminfo: memFree=30263636/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=49800 CPUtime=51.08 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 7527 0 0 0 5105 3 0 0 20 0 1 0 27037664 50995200 11941 33554432000 4194304 6058637 140734650596112 140734650595448 4246170 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 12450 11941 178 456 0 11986 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49800

[startup+102.3 s]
/proc/loadavg: 2.25 2.28 2.24 3/176 1539
/proc/meminfo: memFree=30254568/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=102.28 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 7866 0 0 0 10224 4 0 0 20 0 1 0 27037664 74829824 16876 33554432000 4194304 6058637 140734650596112 140734650594840 4277589 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 16876 178 456 0 17805 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73076

[startup+162.3 s]
/proc/loadavg: 2.15 2.24 2.23 3/178 1547
/proc/meminfo: memFree=30237032/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=162.26 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 9287 0 0 0 16221 5 0 0 20 0 1 0 27037664 74829824 17760 33554432000 4194304 6058637 140734650596112 140734650595176 4277375 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17760 178 456 0 17805 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73076

[startup+222.307 s]
/proc/loadavg: 2.23 2.24 2.23 3/177 1548
/proc/meminfo: memFree=30222124/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=222.26 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 11918 0 0 0 22218 8 0 0 20 0 1 0 27037664 74829824 17783 33554432000 4194304 6058637 140734650596112 140734650595176 4277357 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17783 178 456 0 17805 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 73076

[startup+282.3 s]
/proc/loadavg: 2.23 2.24 2.23 3/177 1550
/proc/meminfo: memFree=30242736/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=282.25 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 13491 0 0 0 28214 11 0 0 20 0 1 0 27037664 74829824 17783 33554432000 4194304 6058637 140734650596112 140734650595176 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17783 178 456 0 17805 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 73076

[startup+342.3 s]
/proc/loadavg: 2.18 2.22 2.22 3/177 1551
/proc/meminfo: memFree=30226496/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=342.24 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 15070 0 0 0 34211 13 0 0 20 0 1 0 27037664 74829824 17783 33554432000 4194304 6058637 140734650596112 140734650595176 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17783 178 456 0 17805 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 73076

[startup+402.3 s]
/proc/loadavg: 2.21 2.22 2.22 3/177 1552
/proc/meminfo: memFree=30210948/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=402.22 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 16718 0 0 0 40207 15 0 0 20 0 1 0 27037664 74829824 17783 33554432000 4194304 6058637 140734650596112 140734650595176 4278160 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17783 178 456 0 17805 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 73076

[startup+462.3 s]
/proc/loadavg: 2.46 2.29 2.24 3/177 1553
/proc/meminfo: memFree=30188408/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=153216 CPUtime=462.22 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 18512 0 0 0 46202 20 0 0 20 0 1 0 27037664 156893184 30643 33554432000 4194304 6058637 140734650596112 140734650595144 4278287 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 38304 30643 178 456 0 37840 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 153216

[startup+522.3 s]
/proc/loadavg: 2.38 2.29 2.24 3/177 1554
/proc/meminfo: memFree=30175104/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=153216 CPUtime=522.21 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 19721 0 0 0 52198 23 0 0 20 0 1 0 27037664 156893184 32709 33554432000 4194304 6058637 140734650596112 140734650595144 4278268 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 38304 32709 178 456 0 37840 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 153216

[startup+582.3 s]
/proc/loadavg: 2.18 2.25 2.23 3/176 1555
/proc/meminfo: memFree=30226052/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=73076 CPUtime=582.2 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 20921 0 0 0 58194 26 0 0 20 0 1 0 27037664 74829824 17801 33554432000 4194304 6058637 140734650596112 140734650595176 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 18269 17801 178 456 0 17805 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 73076


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.20 2.24 2.23 3/177 1570
/proc/meminfo: memFree=30129248/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=173604 CPUtime=942.13 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 27733 0 0 0 94168 45 0 0 20 0 1 0 27037664 177770496 36968 33554432000 4194304 6058637 140734650596112 140734650595144 4277687 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 43401 36968 178 456 0 42937 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 173604

[startup+1002.3 s]
/proc/loadavg: 2.35 2.27 2.23 3/177 1571
/proc/meminfo: memFree=30161216/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=142784 CPUtime=1002.12 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 28992 0 0 0 100164 48 0 0 20 0 1 0 27037664 146210816 28197 33554432000 4194304 6058637 140734650596112 140734650594888 4246099 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 35696 28197 178 456 0 35232 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 142784

[startup+1062.3 s]
/proc/loadavg: 2.18 2.23 2.22 3/177 1572
/proc/meminfo: memFree=30110420/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1062.12 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 30265 0 0 0 106160 52 0 0 20 0 1 0 27037664 195649536 41636 33554432000 4194304 6058637 140734650596112 140734650595144 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 41636 178 456 0 47302 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 191064

[startup+1122.3 s]
/proc/loadavg: 2.16 2.22 2.22 3/177 1573
/proc/meminfo: memFree=30095780/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1122.11 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 30881 0 0 0 112157 54 0 0 20 0 1 0 27037664 195649536 44196 33554432000 4194304 6058637 140734650596112 140734650595448 4278233 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 44196 178 456 0 47302 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 191064

[startup+1182.3 s]
/proc/loadavg: 2.23 2.22 2.21 3/177 1574
/proc/meminfo: memFree=30088464/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1182.1 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 31498 0 0 0 118154 56 0 0 20 0 1 0 27037664 195649536 47268 33554432000 4194304 6058637 140734650596112 140734650595144 4278328 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 47268 178 456 0 47302 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 191064

[startup+1242.3 s]
/proc/loadavg: 2.20 2.21 2.21 3/177 1626
/proc/meminfo: memFree=29879852/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=160244 CPUtime=1242.09 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 32939 0 0 0 124149 60 0 0 20 0 1 0 27037664 164089856 37473 33554432000 4194304 6058637 140734650596112 140734650594888 4277798 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 40061 37473 178 456 0 39597 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 160244

[startup+1302.3 s]
/proc/loadavg: 2.12 2.18 2.20 3/177 1627
/proc/meminfo: memFree=28110208/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1302.09 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 33939 0 0 0 130144 65 0 0 20 0 1 0 27037664 195649536 42660 33554432000 4194304 6058637 140734650596112 140734650595144 4278181 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 42660 178 456 0 47302 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 191064

[startup+1362.3 s]
/proc/loadavg: 2.29 2.22 2.20 3/178 1631
/proc/meminfo: memFree=28095368/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1362.07 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 34863 0 0 0 136139 68 0 0 20 0 1 0 27037664 195649536 45220 33554432000 4194304 6058637 140734650596112 140734650595144 4278168 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 45220 178 456 0 47302 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 191064

[startup+1422.3 s]
/proc/loadavg: 2.20 2.21 2.20 4/178 1659
/proc/meminfo: memFree=28078872/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=241152 CPUtime=1422.07 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 36097 0 0 0 142135 72 0 0 20 0 1 0 27037664 246939648 48593 33554432000 4194304 6058637 140734650596112 140734650595144 4277655 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 60288 48593 178 456 0 59824 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 241152

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.19 3/177 1660
/proc/meminfo: memFree=28077752/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=241152 CPUtime=1482.05 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 37033 0 0 0 148130 75 0 0 20 0 1 0 27037664 246939648 48593 33554432000 4194304 6058637 140734650596112 140734650595144 4278181 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 60288 48593 178 456 0 59824 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 241152

[startup+1542.31 s]
/proc/loadavg: 2.34 2.24 2.20 4/177 1662
/proc/meminfo: memFree=28159004/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=110924 CPUtime=1542.04 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 37951 0 0 0 154126 78 0 0 20 0 1 0 27037664 113586176 27240 33554432000 4194304 6058637 140734650596112 140734650595176 4277589 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 27731 27240 178 456 0 27267 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 110924

[startup+1602.3 s]
/proc/loadavg: 2.32 2.24 2.20 4/177 1663
/proc/meminfo: memFree=28155196/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=110924 CPUtime=1602.03 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 38874 0 0 0 160122 81 0 0 20 0 1 0 27037664 113586176 27240 33554432000 4194304 6058637 140734650596112 140734650595176 4278162 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 27731 27240 178 456 0 27267 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 110924

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/177 1664
/proc/meminfo: memFree=28116132/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=160244 CPUtime=1662.02 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 40313 0 0 0 166117 85 0 0 20 0 1 0 27037664 164089856 35937 33554432000 4194304 6058637 140734650596112 140734650594888 4277655 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 40061 35937 178 456 0 39597 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 160244

[startup+1722.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/177 1665
/proc/meminfo: memFree=28094836/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1722.01 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 41311 0 0 0 172113 88 0 0 20 0 1 0 27037664 195649536 41124 33554432000 4194304 6058637 140734650596112 140734650595144 4277672 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 41124 178 456 0 47302 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 191064

[startup+1782.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 1666
/proc/meminfo: memFree=28082768/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1782 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 42242 0 0 0 178109 91 0 0 20 0 1 0 27037664 195649536 41636 33554432000 4194304 6058637 140734650596112 140734650595144 4255137 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 41636 178 456 0 47302 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 191064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/176 1666
/proc/meminfo: memFree=28064912/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1800 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 42252 0 0 0 179908 92 0 0 20 0 1 0 27037664 195649536 46756 33554432000 4194304 6058637 140734650596112 140734650595144 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 46756 178 456 0 47302 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 191064

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1537 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/176 1666
/proc/meminfo: memFree=28064912/32872528 swapFree=1244176/1391344
[pid=1537] ppid=1534 vsize=191064 CPUtime=1800 cores=1,3,5,7
/proc/1537/stat : 1537 (open-wbo-lsu) R 1534 1537 31507 0 -1 4202496 42252 0 0 0 179908 92 0 0 20 0 1 0 27037664 195649536 46756 33554432000 4194304 6058637 140734650596112 140734650595144 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/1537/statm: 47766 46756 178 456 0 47302 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 191064

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.09
CPU system time (s): 0.923859
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 241152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.923859
maximum resident set size= 218948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42255
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= 21
involuntary context switches= 2193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34634 second user time and 7.12092 second system time

The end