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-4083756-1465335602/watcher-4083756-1465335602 -o /tmp/evaluation-result-4083756-1465335602/solver-4083756-1465335602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465326371-24673 --watchdog 1960 open-wbo-lsu HOME/instance-4083756-1465335602.opb
pid=25850
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: 2.27 2.23 2.18 3/177 25853
/proc/meminfo: memFree=29748656/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=3364 CPUtime=0 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 1 0 115492018 3444736 452 33554432000 4194304 6058637 140735998762544 140737213253256 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 841 452 358 456 0 154 0
[startup+0.100156 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 25853
/proc/meminfo: memFree=29748656/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=5276 CPUtime=0.09 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 1046 0 0 0 9 0 0 0 20 0 1 0 115492018 5402624 922 33554432000 4194304 6058637 140735998762544 140737213253256 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 1319 922 358 456 0 632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5276
[startup+0.200241 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 25853
/proc/meminfo: memFree=29748656/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=41308 CPUtime=0.19 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 9133 0 0 0 18 1 0 0 20 0 1 0 115492018 42299392 9047 33554432000 4194304 6058637 140735998762544 140737213253256 4239645 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 10327 9049 165 456 0 9863 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41308
[startup+0.300335 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 25853
/proc/meminfo: memFree=29748656/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=86588 CPUtime=0.29 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 16421 0 0 0 27 2 0 0 20 0 1 0 115492018 88666112 18176 33554432000 4194304 6058637 140735998762544 140737213253256 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 21647 18177 165 456 0 21183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86588
[startup+0.700272 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 25853
/proc/meminfo: memFree=29748656/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=133752 CPUtime=0.69 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 23471 0 0 0 66 3 0 0 20 0 1 0 115492018 136962048 25932 33554432000 4194304 6058637 140735998762544 140735998761272 4294662 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 33438 25933 183 456 0 32974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133752
[startup+1.50029 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 25854
/proc/meminfo: memFree=29637448/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=139740 CPUtime=1.49 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 24760 0 0 0 146 3 0 0 20 0 1 0 115492018 143093760 27672 33554432000 4194304 6058637 140735998762544 140735998761272 4277518 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 34935 27672 184 456 0 34471 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139740
[startup+3.10028 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 25854
/proc/meminfo: memFree=29633532/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=139740 CPUtime=3.09 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 24761 0 0 0 306 3 0 0 20 0 1 0 115492018 143093760 27673 33554432000 4194304 6058637 140735998762544 140735998761144 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 34935 27673 185 456 0 34471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139740
[startup+6.30026 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 25854
/proc/meminfo: memFree=29628448/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=139740 CPUtime=6.29 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 24934 0 0 0 626 3 0 0 20 0 1 0 115492018 143093760 28357 33554432000 4194304 6058637 140735998762544 140735998761880 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 34935 28357 185 456 0 34471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139740
[startup+12.7003 s]
/proc/loadavg: 2.21 2.22 2.18 4/178 25854
/proc/meminfo: memFree=29622076/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=139740 CPUtime=12.69 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 25606 0 0 0 1265 4 0 0 20 0 1 0 115492018 143093760 28906 33554432000 4194304 6058637 140735998762544 140735998761608 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 34935 28906 186 456 0 34471 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 139740
[startup+25.5004 s]
/proc/loadavg: 2.17 2.21 2.18 3/178 25854
/proc/meminfo: memFree=29584192/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=170744 CPUtime=25.49 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 26610 0 0 0 2544 5 0 0 20 0 1 0 115492018 174841856 34975 33554432000 4194304 6058637 140735998762544 140735998761304 4277672 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 42686 34975 186 456 0 42222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 170744
[startup+51.1004 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 25900
/proc/meminfo: memFree=27260756/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=201092 CPUtime=51.08 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 27068 0 0 0 5103 5 0 0 20 0 1 0 115492018 205918208 44076 33554432000 4194304 6058637 140735998762544 140735998761880 4246112 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 50273 44076 186 456 0 49809 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 201092
[startup+102.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 25901
/proc/meminfo: memFree=19977876/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=170740 CPUtime=102.28 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 28165 0 0 0 10220 8 0 0 20 0 1 0 115492018 174837760 36649 33554432000 4194304 6058637 140735998762544 140735998761608 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 42685 36649 186 456 0 42221 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 170740
[startup+162.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/176 25947
/proc/meminfo: memFree=25358036/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=162.26 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 28917 0 0 0 16216 10 0 0 20 0 1 0 115492018 225341440 45011 33554432000 4194304 6058637 140735998762544 140735998761320 4277598 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 45011 186 456 0 54551 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 220060
[startup+222.307 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 25949
/proc/meminfo: memFree=17482164/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=222.26 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 29304 0 0 0 22214 12 0 0 20 0 1 0 115492018 225341440 48083 33554432000 4194304 6058637 140735998762544 140735998761320 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 48083 186 456 0 54551 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 220060
[startup+282.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/177 25995
/proc/meminfo: memFree=29602492/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=170740 CPUtime=282.24 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 29940 0 0 0 28211 13 0 0 20 0 1 0 115492018 174837760 36649 33554432000 4194304 6058637 140735998762544 140735998761320 4278160 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 42685 36649 186 456 0 42221 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 170740
[startup+342.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 25996
/proc/meminfo: memFree=29583516/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=342.24 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 31227 0 0 0 34208 16 0 0 20 0 1 0 115492018 225341440 48911 33554432000 4194304 6058637 140735998762544 140735998761320 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 48911 186 456 0 54551 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 220060
[startup+402.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 25997
/proc/meminfo: memFree=29590980/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=402.21 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 32488 0 0 0 40201 20 0 0 20 0 1 0 115492018 225341440 47710 33554432000 4194304 6058637 140735998762544 140735998761320 4246088 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 47710 186 456 0 54551 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 220060
[startup+462.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/176 25998
/proc/meminfo: memFree=29607096/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=462.19 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 34057 0 0 0 46196 23 0 0 20 0 1 0 115492018 225341440 45298 33554432000 4194304 6058637 140735998762544 140735998761608 4277453 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 45298 186 456 0 54551 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 220060
[startup+522.3 s]
/proc/loadavg: 2.08 2.16 2.17 3/177 26000
/proc/meminfo: memFree=29583160/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=522.18 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 34846 0 0 0 52193 25 0 0 20 0 1 0 115492018 225341440 49394 33554432000 4194304 6058637 140735998762544 140735998761320 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 49394 186 456 0 54551 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 220060
[startup+582.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 26001
/proc/meminfo: memFree=29590308/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=582.17 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 36401 0 0 0 58189 28 0 0 20 0 1 0 115492018 225341440 45812 33554432000 4194304 6058637 140735998762544 140735998761320 4278328 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 45812 186 456 0 54551 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 220060
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 26021
/proc/meminfo: memFree=29553004/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=882.13 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 40915 0 0 0 88174 39 0 0 20 0 1 0 115492018 256901120 52540 33554432000 4194304 6058637 140735998762544 140735998761576 4278190 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 52540 186 456 0 62256 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 250880
[startup+942.3 s]
/proc/loadavg: 2.26 2.22 2.18 4/177 26022
/proc/meminfo: memFree=29552016/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=942.11 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 41704 0 0 0 94170 41 0 0 20 0 1 0 115492018 256901120 53052 33554432000 4194304 6058637 140735998762544 140735998761576 4278197 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 53052 186 456 0 62256 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 250880
[startup+1002.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 26023
/proc/meminfo: memFree=29548864/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=1002.1 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 42492 0 0 0 100167 43 0 0 20 0 1 0 115492018 256901120 54588 33554432000 4194304 6058637 140735998762544 140735998761576 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 54588 186 456 0 62256 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 250880
[startup+1062.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 26024
/proc/meminfo: memFree=29556888/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=1062.09 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 43278 0 0 0 106165 44 0 0 20 0 1 0 115492018 256901120 53564 33554432000 4194304 6058637 140735998762544 140735998761576 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 53564 186 456 0 62256 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 250880
[startup+1122.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/177 26026
/proc/meminfo: memFree=29544560/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=1122.09 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 44063 0 0 0 112162 47 0 0 20 0 1 0 115492018 256901120 52028 33554432000 4194304 6058637 140735998762544 140735998761576 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 52028 186 456 0 62256 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 250880
[startup+1182.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 26027
/proc/meminfo: memFree=29556112/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=1182.08 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 44981 0 0 0 118159 49 0 0 20 0 1 0 115492018 256901120 50491 33554432000 4194304 6058637 140735998762544 140735998761576 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 50491 186 456 0 62256 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 250880
[startup+1242.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/178 26031
/proc/meminfo: memFree=29566804/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=1242.07 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 45244 0 0 0 124156 51 0 0 20 0 1 0 115492018 225341440 50480 33554432000 4194304 6058637 140735998762544 140735998761320 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 50480 186 456 0 54551 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 220060
[startup+1302.3 s]
/proc/loadavg: 2.33 2.27 2.20 4/178 26055
/proc/meminfo: memFree=29578040/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=220060 CPUtime=1302.06 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 46798 0 0 0 130152 54 0 0 20 0 1 0 115492018 225341440 47353 33554432000 4194304 6058637 140735998762544 140735998761320 4278096 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55015 47353 186 456 0 54551 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 220060
[startup+1362.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 26056
/proc/meminfo: memFree=29533692/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=250880 CPUtime=1362.05 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 47400 0 0 0 136150 55 0 0 20 0 1 0 115492018 256901120 57660 33554432000 4194304 6058637 140735998762544 140735998761576 4246130 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62720 57660 186 456 0 62256 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 250880
[startup+1422.3 s]
/proc/loadavg: 2.18 2.25 2.19 3/177 26058
/proc/meminfo: memFree=29540276/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=251412 CPUtime=1422.04 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 49135 0 0 0 142147 57 0 0 20 0 1 0 115492018 257445888 54713 33554432000 4194304 6058637 140735998762544 140735998761576 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 62853 54713 186 456 0 62389 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 251412
[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/177 26059
/proc/meminfo: memFree=29555508/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=221028 CPUtime=1482.03 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 50264 0 0 0 148143 60 0 0 20 0 1 0 115492018 226332672 50147 33554432000 4194304 6058637 140735998762544 140735998761320 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 55257 50147 186 456 0 54793 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 221028
[startup+1542.31 s]
/proc/loadavg: 2.37 2.29 2.20 3/177 26060
/proc/meminfo: memFree=29513012/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=301936 CPUtime=1542.03 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 51687 0 0 0 154141 62 0 0 20 0 1 0 115492018 309182464 60755 33554432000 4194304 6058637 140735998762544 140735998761576 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 75484 60755 186 456 0 75020 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 301936
[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 26061
/proc/meminfo: memFree=29534044/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=252548 CPUtime=1602.02 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 52651 0 0 0 160138 64 0 0 20 0 1 0 115492018 258609152 56021 33554432000 4194304 6058637 140735998762544 140735998761576 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 63137 56021 186 456 0 62673 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 252548
[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 2.20 4/177 26062
/proc/meminfo: memFree=29548940/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=252884 CPUtime=1662.01 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 54343 0 0 0 166134 67 0 0 20 0 1 0 115492018 258953216 52009 33554432000 4194304 6058637 140735998762544 140735998761576 4852930 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 63221 52009 186 456 0 62757 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 252884
[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.19 4/177 26064
/proc/meminfo: memFree=29519112/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=302972 CPUtime=1721.99 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 55186 0 0 0 172131 68 0 0 20 0 1 0 115492018 310243328 62038 33554432000 4194304 6058637 140735998762544 140735998761576 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 75743 62038 186 456 0 75279 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 302972
[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 26065
/proc/meminfo: memFree=29527516/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=253484 CPUtime=1781.98 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 56133 0 0 0 178129 69 0 0 20 0 1 0 115492018 259567616 56767 33554432000 4194304 6058637 140735998762544 140735998761576 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 63371 56767 186 456 0 62907 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 253484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.25 2.24 2.19 3/178 26069
/proc/meminfo: memFree=29526040/32872528 swapFree=18240/1696364
[pid=25853] ppid=25850 vsize=303572 CPUtime=1800.08 cores=0,2,4,6
/proc/25853/stat : 25853 (open-wbo-lsu) R 25850 25853 24657 0 -1 4202496 56898 0 0 0 179937 71 0 0 20 0 1 0 115492018 310857728 59567 33554432000 4194304 6058637 140735998762544 140735998761576 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/25853/statm: 75893 59567 186 456 0 75429 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 303572
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 25853 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.38
CPU system time (s): 0.71789
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 303572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.71789
maximum resident set size= 250456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56900
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= 51
involuntary context switches= 1883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83542 second user time and 7.64184 second system time
The end