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-4252918-1501979035/watcher-4252918-1501979035 -o /tmp/evaluation-result-4252918-1501979035/solver-4252918-1501979035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17166 --watchdog 2560 miniBTD 2400 HOME/instance-4252918-1501979035.xml
pid=17303
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.04 1.88 1/179 17306
/proc/meminfo: memFree=31606416/32770624 swapFree=0/376600
[pid=17306] ppid=17303 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17306/stat : 17306 (runsolver) D 17303 17306 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45409513 24240128 106 18446744073709551615 4194304 4338465 140729166112768 140729166110408 139678724006615 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 19324928 140729166119120 140729166119497 140729166119497 140729166122954 0
/proc/17306/statm: 5918 106 53 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 2.00 2.04 1.88 1/179 17306
/proc/meminfo: memFree=31606416/32770624 swapFree=0/376600
[pid=17306] ppid=17303 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17306/stat : 17306 (runsolver) D 17303 17306 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45409513 24240128 106 18446744073709551615 4194304 4338465 140729166112768 140729166110408 139678724006615 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 19324928 140729166119120 140729166119497 140729166119497 140729166122954 0
/proc/17306/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200282 s]
/proc/loadavg: 2.00 2.04 1.88 1/179 17306
/proc/meminfo: memFree=31606416/32770624 swapFree=0/376600
[pid=17306] ppid=17303 vsize=28880 CPUtime=0.07 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 1574 0 0 0 7 0 0 0 20 0 1 0 45409513 29573120 1393 18446744073709551615 4194304 4832315 140730137614208 140730137611208 4312288 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7220 1393 581 156 0 862 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28880
[startup+0.304877 s]
/proc/loadavg: 2.00 2.04 1.88 1/179 17306
/proc/meminfo: memFree=31606416/32770624 swapFree=0/376600
[pid=17306] ppid=17303 vsize=29012 CPUtime=0.18 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 1586 0 0 0 18 0 0 0 20 0 1 0 45409513 29708288 1393 18446744073709551615 4194304 4832315 140730137614208 140730137611208 4342252 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7253 1393 581 156 0 895 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 29012
[startup+0.700172 s]
/proc/loadavg: 2.00 2.04 1.88 1/179 17306
/proc/meminfo: memFree=31606416/32770624 swapFree=0/376600
[pid=17306] ppid=17303 vsize=29012 CPUtime=0.57 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 1596 0 0 0 57 0 0 0 20 0 1 0 45409513 29708288 1393 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517066608 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7253 1393 581 156 0 895 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 29012
[startup+1.50017 s]
/proc/loadavg: 2.00 2.04 1.88 3/186 17322
/proc/meminfo: memFree=31588600/32770624 swapFree=0/376616
[pid=17306] ppid=17303 vsize=29012 CPUtime=1.37 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 1607 0 0 0 136 1 0 0 20 0 1 0 45409513 29708288 1393 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4312288 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7253 1393 581 156 0 895 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 29012
[startup+3.10017 s]
/proc/loadavg: 2.00 2.04 1.88 3/186 17323
/proc/meminfo: memFree=31587856/32770624 swapFree=0/376616
[pid=17306] ppid=17303 vsize=29144 CPUtime=2.97 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 2118 0 0 0 295 2 0 0 20 0 1 0 45409513 29843456 1455 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4342351 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7286 1455 581 156 0 928 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 29144
[startup+6.30017 s]
/proc/loadavg: 2.00 2.04 1.88 3/190 17338
/proc/meminfo: memFree=31583068/32770624 swapFree=0/376616
[pid=17306] ppid=17303 vsize=29144 CPUtime=6.16 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 2384 0 0 0 612 4 0 0 20 0 1 0 45409513 29843456 1470 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7286 1470 581 156 0 928 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 29144
[startup+12.7002 s]
/proc/loadavg: 2.08 2.06 1.89 3/190 17338
/proc/meminfo: memFree=31583216/32770624 swapFree=0/376632
[pid=17306] ppid=17303 vsize=29276 CPUtime=12.57 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 2646 0 0 0 1247 10 0 0 20 0 1 0 45409513 29978624 1486 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517081987 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7319 1486 581 156 0 961 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 29276
[startup+25.5002 s]
/proc/loadavg: 2.06 2.05 1.89 3/190 17338
/proc/meminfo: memFree=31583820/32770624 swapFree=0/376636
[pid=17306] ppid=17303 vsize=29276 CPUtime=25.37 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 3197 0 0 0 2518 19 0 0 20 0 1 0 45409513 29978624 1512 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 0 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7319 1512 581 156 0 961 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 29276
[startup+51.1003 s]
/proc/loadavg: 1.98 2.03 1.89 3/190 17338
/proc/meminfo: memFree=31583844/32770624 swapFree=0/376644
[pid=17306] ppid=17303 vsize=29408 CPUtime=50.97 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 3520 0 0 0 5052 45 0 0 20 0 1 0 45409513 30113792 1529 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517069327 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7352 1529 581 156 0 994 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 29408
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 1.89 3/190 17340
/proc/meminfo: memFree=31583028/32770624 swapFree=0/376660
[pid=17306] ppid=17303 vsize=29540 CPUtime=102.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 3886 0 0 0 10114 103 0 0 20 0 1 0 45409513 30248960 1556 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7385 1556 581 156 0 1027 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 29540
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.90 3/186 17342
/proc/meminfo: memFree=31586276/32770624 swapFree=0/376688
[pid=17306] ppid=17303 vsize=29672 CPUtime=162.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 4272 0 0 0 16042 175 0 0 20 0 1 0 45409513 30384128 1593 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517071363 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7418 1593 581 156 0 1060 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 29672
[startup+222.306 s]
/proc/loadavg: 2.10 2.05 1.92 3/186 17344
/proc/meminfo: memFree=31586524/32770624 swapFree=0/376712
[pid=17306] ppid=17303 vsize=29672 CPUtime=222.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 4680 0 0 0 21974 243 0 0 20 0 1 0 45409513 30384128 1612 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7418 1612 581 156 0 1060 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 29672
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 1.92 3/186 17347
/proc/meminfo: memFree=31586228/32770624 swapFree=0/376732
[pid=17306] ppid=17303 vsize=29804 CPUtime=282.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 5091 0 0 0 27895 322 0 0 20 0 1 0 45409513 30519296 1628 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7451 1628 581 156 0 1093 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 29804
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/185 17349
/proc/meminfo: memFree=31586264/32770624 swapFree=0/376744
[pid=17306] ppid=17303 vsize=29804 CPUtime=342.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 5508 0 0 0 33821 396 0 0 20 0 1 0 45409513 30519296 1640 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7451 1640 581 156 0 1093 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 29804
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/184 17351
/proc/meminfo: memFree=31587040/32770624 swapFree=0/376764
[pid=17306] ppid=17303 vsize=29936 CPUtime=402.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 5942 0 0 0 39751 466 0 0 20 0 1 0 45409513 30654464 1655 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4340784 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7484 1655 581 156 0 1126 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 29936
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/185 17354
/proc/meminfo: memFree=31586880/32770624 swapFree=0/376776
[pid=17306] ppid=17303 vsize=29936 CPUtime=462.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 6378 0 0 0 45678 539 0 0 20 0 1 0 45409513 30654464 1664 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517064235 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7484 1664 581 156 0 1126 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 29936
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/186 17357
/proc/meminfo: memFree=31586116/32770624 swapFree=0/376800
[pid=17306] ppid=17303 vsize=29936 CPUtime=522.17 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 6820 0 0 0 51609 608 0 0 20 0 1 0 45409513 30654464 1673 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4312488 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7484 1673 581 156 0 1126 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 29936
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/185 17359
/proc/meminfo: memFree=31586284/32770624 swapFree=0/376812
[pid=17306] ppid=17303 vsize=29936 CPUtime=582.18 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 7263 0 0 0 57539 679 0 0 20 0 1 0 45409513 30654464 1673 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7484 1673 581 156 0 1126 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 29936
################
# More data... #
################
/proc/loadavg: 2.01 2.03 1.98 3/186 17432
/proc/meminfo: memFree=31584264/32770624 swapFree=0/377260
[pid=17306] ppid=17303 vsize=30200 CPUtime=1722.21 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 16051 0 0 0 170096 2125 0 0 20 0 1 0 45409513 30924800 1739 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517069962 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1739 581 156 0 1192 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 30200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/186 17434
/proc/meminfo: memFree=31584156/32770624 swapFree=0/377284
[pid=17306] ppid=17303 vsize=30200 CPUtime=1782.21 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 16529 0 0 0 176018 2203 0 0 20 0 1 0 45409513 30924800 1742 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1742 581 156 0 1192 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 30200
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 17452
/proc/meminfo: memFree=31580124/32770624 swapFree=0/377308
[pid=17306] ppid=17303 vsize=30200 CPUtime=1842.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 16988 0 0 0 181951 2271 0 0 20 0 1 0 45409513 30924800 1742 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044526518819 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1742 581 156 0 1192 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 30200
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/189 17454
/proc/meminfo: memFree=31579688/32770624 swapFree=0/377332
[pid=17306] ppid=17303 vsize=30200 CPUtime=1902.21 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 17545 0 0 0 187875 2346 0 0 20 0 1 0 45409513 30924800 1742 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4311885 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1742 581 156 0 1192 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 30200
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 17456
/proc/meminfo: memFree=31583056/32770624 swapFree=0/377356
[pid=17306] ppid=17303 vsize=30200 CPUtime=1962.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 17901 0 0 0 193807 2415 0 0 20 0 1 0 45409513 30924800 1747 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1747 581 156 0 1192 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 30200
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 17459
/proc/meminfo: memFree=31582928/32770624 swapFree=0/377368
[pid=17306] ppid=17303 vsize=30200 CPUtime=2022.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 18208 0 0 0 199732 2490 0 0 20 0 1 0 45409513 30924800 1747 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1747 581 156 0 1192 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 30200
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 17461
/proc/meminfo: memFree=31583308/32770624 swapFree=0/377380
[pid=17306] ppid=17303 vsize=30200 CPUtime=2082.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 18775 0 0 0 205658 2564 0 0 20 0 1 0 45409513 30924800 1747 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4340814 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1747 581 156 0 1192 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 30200
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/185 17463
/proc/meminfo: memFree=31582868/32770624 swapFree=0/377400
[pid=17306] ppid=17303 vsize=30200 CPUtime=2142.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 19083 0 0 0 211595 2627 0 0 20 0 1 0 45409513 30924800 1751 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1751 581 156 0 1192 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 30200
[startup+2202.31 s]
/proc/loadavg: 2.13 2.04 1.99 3/185 17465
/proc/meminfo: memFree=31583264/32770624 swapFree=0/377420
[pid=17306] ppid=17303 vsize=30200 CPUtime=2202.23 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 19399 0 0 0 217529 2694 0 0 20 0 1 0 45409513 30924800 1751 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1751 581 156 0 1192 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 30200
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/186 17468
/proc/meminfo: memFree=31583516/32770624 swapFree=0/377436
[pid=17306] ppid=17303 vsize=30200 CPUtime=2262.22 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 19993 0 0 0 223462 2760 0 0 20 0 1 0 45409513 30924800 1751 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7550 1751 581 156 0 1192 0
Current children cumulated CPU time (s) 2262.22
Current children cumulated vsize (KiB) 30200
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/186 17470
/proc/meminfo: memFree=31583012/32770624 swapFree=0/377448
[pid=17306] ppid=17303 vsize=30332 CPUtime=2322.23 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 20526 0 0 0 229391 2832 0 0 20 0 1 0 45409513 31059968 1755 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1755 581 156 0 1225 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 30332
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/185 17472
/proc/meminfo: memFree=31583036/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2382.23 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 20918 0 0 0 235319 2904 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 30332
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17306 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.01 2.03 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2393.54 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 20918 0 0 0 236439 2915 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517070820 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2393.54
Current children cumulated vsize (KiB) 30332
[startup+2396.8 s]
/proc/loadavg: 2.01 2.03 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2396.73 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 21190 0 0 0 236754 2919 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2396.73
Current children cumulated vsize (KiB) 30332
[startup+2398.4 s]
/proc/loadavg: 2.00 2.02 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2398.33 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 21227 0 0 0 236911 2922 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 140044517335420 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2398.33
Current children cumulated vsize (KiB) 30332
[startup+2399.21 s]
/proc/loadavg: 2.00 2.02 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2399.13 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 21227 0 0 0 236990 2923 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4340802 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2399.13
Current children cumulated vsize (KiB) 30332
[startup+2399.6 s]
/proc/loadavg: 2.00 2.02 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2399.53 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 21227 0 0 0 237029 2924 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4312266 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2399.53
Current children cumulated vsize (KiB) 30332
[startup+2400 s]
/proc/loadavg: 2.00 2.02 1.99 3/185 17472
/proc/meminfo: memFree=31583160/32770624 swapFree=0/377472
[pid=17306] ppid=17303 vsize=30332 CPUtime=2399.93 cores=0,2,4,6
/proc/17306/stat : 17306 (miniBTD) R 17303 17306 15278 0 -1 4202496 21227 0 0 0 237069 2924 0 0 20 0 1 0 45409513 31059968 1756 18446744073709551615 4194304 4832315 140730137614208 140730137611928 4312702 0 0 1 0 0 0 0 17 2 0 0 12 0 0 6932504 6936608 22450176 140730137620988 140730137621068 140730137621068 140730137624525 0
/proc/17306/statm: 7583 1756 581 156 0 1225 0
Current children cumulated CPU time (s) 2399.93
Current children cumulated vsize (KiB) 30332
Child status: 0
Real time (s): 2400.07
CPU time (s): 2400.01
CPU user time (s): 2370.76
CPU system time (s): 29.2507
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 30332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2370.76
system time used= 29.2507
maximum resident set size= 7072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21559
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= 7
involuntary context switches= 754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58176 second user time and 8.48922 second system time
The end