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-4260573-1502255426/watcher-4260573-1502255426 -o /tmp/evaluation-result-4260573-1502255426/solver-4260573-1502255426 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16044 --watchdog 2580 BTD 2520 HOME/instance-4260573-1502255426.xml
pid=21320
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.01 2.05 3/180 21323
/proc/meminfo: memFree=30436124/32770624 swapFree=0/152556
[pid=21323] ppid=21320 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21323/stat : 21323 (runsolver) D 21320 21323 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27738305 24240128 107 18446744073709551615 4194304 4338465 140734253683856 140734253681496 140282714784471 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18210816 140734253686997 140734253687370 140734253687370 140734253690826 0
/proc/21323/statm: 5918 107 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 2.01 2.01 2.05 3/180 21323
/proc/meminfo: memFree=30436124/32770624 swapFree=0/152556
[pid=21323] ppid=21320 vsize=33608 CPUtime=0.03 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1194 0 0 0 3 0 0 0 20 0 1 0 27738305 34414592 1064 18446744073709551615 4194304 35031035 140735972939120 140735972939120 4376383 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8402 1064 305 7529 0 849 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33608
[startup+0.200347 s]
/proc/loadavg: 2.01 2.01 2.05 3/180 21323
/proc/meminfo: memFree=30436124/32770624 swapFree=0/152556
[pid=21323] ppid=21320 vsize=33740 CPUtime=0.13 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1222 0 0 0 13 0 0 0 20 0 1 0 27738305 34549760 1064 18446744073709551615 4194304 35031035 140735972939120 140735972939120 4376360 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8435 1064 305 7529 0 882 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 33740
[startup+0.30032 s]
/proc/loadavg: 2.01 2.01 2.05 3/180 21323
/proc/meminfo: memFree=30436124/32770624 swapFree=0/152556
[pid=21323] ppid=21320 vsize=33740 CPUtime=0.23 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1225 0 0 0 23 0 0 0 20 0 1 0 27738305 34549760 1064 18446744073709551615 4194304 35031035 140735972939120 140735972939120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8435 1064 305 7529 0 882 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 33740
[startup+0.700278 s]
/proc/loadavg: 2.01 2.01 2.05 3/180 21323
/proc/meminfo: memFree=30436124/32770624 swapFree=0/152556
[pid=21323] ppid=21320 vsize=33740 CPUtime=0.63 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1235 0 0 0 62 1 0 0 20 0 1 0 27738305 34549760 1064 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376403 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8435 1064 305 7529 0 882 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 33740
[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21324
/proc/meminfo: memFree=30432452/32770624 swapFree=0/152800
[pid=21323] ppid=21320 vsize=33740 CPUtime=1.43 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1246 0 0 0 142 1 0 0 20 0 1 0 27738305 34549760 1064 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376153 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8435 1064 305 7529 0 882 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 33740
[startup+3.10028 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21324
/proc/meminfo: memFree=30427464/32770624 swapFree=0/152560
[pid=21323] ppid=21320 vsize=33872 CPUtime=3.02 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 1759 0 0 0 299 3 0 0 20 0 1 0 27738305 34684928 1129 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4213184 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8468 1129 305 7529 0 915 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 33872
[startup+6.30028 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21324
/proc/meminfo: memFree=30431488/32770624 swapFree=0/152560
[pid=21323] ppid=21320 vsize=33872 CPUtime=6.23 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 2289 0 0 0 617 6 0 0 20 0 1 0 27738305 34684928 1143 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376729 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8468 1143 305 7529 0 915 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 33872
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21324
/proc/meminfo: memFree=30431212/32770624 swapFree=0/152568
[pid=21323] ppid=21320 vsize=34004 CPUtime=12.62 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 2822 0 0 0 1249 13 0 0 20 0 1 0 27738305 34820096 1159 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7407316 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8501 1159 305 7529 0 948 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 34004
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 21324
/proc/meminfo: memFree=30431212/32770624 swapFree=0/152576
[pid=21323] ppid=21320 vsize=34004 CPUtime=25.43 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 3915 0 0 0 2517 26 0 0 20 0 1 0 27738305 34820096 1184 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7408300 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8501 1184 305 7529 0 948 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 34004
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21325
/proc/meminfo: memFree=30431212/32770624 swapFree=0/152576
[pid=21323] ppid=21320 vsize=34136 CPUtime=51.03 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 4489 0 0 0 5052 51 0 0 20 0 1 0 27738305 34955264 1202 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376319 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8534 1202 305 7529 0 981 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 34136
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21327
/proc/meminfo: memFree=30430592/32770624 swapFree=0/152640
[pid=21323] ppid=21320 vsize=34268 CPUtime=102.23 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 5115 0 0 0 10104 119 0 0 20 0 1 0 27738305 35090432 1223 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8567 1223 305 7529 0 1014 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 34268
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21329
/proc/meminfo: memFree=30430388/32770624 swapFree=0/152660
[pid=21323] ppid=21320 vsize=34400 CPUtime=162.22 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 5750 0 0 0 16022 200 0 0 20 0 1 0 27738305 35225600 1257 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4491611 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8600 1257 305 7529 0 1047 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34400
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 21346
/proc/meminfo: memFree=30427096/32770624 swapFree=0/152732
[pid=21323] ppid=21320 vsize=34400 CPUtime=222.22 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 6411 0 0 0 21933 289 0 0 20 0 1 0 27738305 35225600 1278 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8600 1278 305 7529 0 1047 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34400
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 21373
/proc/meminfo: memFree=30425200/32770624 swapFree=0/152792
[pid=21323] ppid=21320 vsize=34532 CPUtime=282.21 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 7082 0 0 0 27844 377 0 0 20 0 1 0 27738305 35360768 1300 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4213314 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8633 1300 305 7529 0 1080 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34532
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 21375
/proc/meminfo: memFree=30424976/32770624 swapFree=0/152828
[pid=21323] ppid=21320 vsize=34532 CPUtime=342.22 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 7741 0 0 0 33758 464 0 0 20 0 1 0 27738305 35360768 1318 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4541613 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8633 1318 305 7529 0 1080 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 34532
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 21377
/proc/meminfo: memFree=30428496/32770624 swapFree=0/152864
[pid=21323] ppid=21320 vsize=34532 CPUtime=402.21 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 8216 0 0 0 39677 544 0 0 20 0 1 0 27738305 35360768 1329 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4491564 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8633 1329 305 7529 0 1080 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 34532
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 21379
/proc/meminfo: memFree=30428624/32770624 swapFree=0/152888
[pid=21323] ppid=21320 vsize=34664 CPUtime=462.2 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 8701 0 0 0 45598 622 0 0 20 0 1 0 27738305 35495936 1332 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8666 1332 305 7529 0 1113 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 34664
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 21381
/proc/meminfo: memFree=30428500/32770624 swapFree=0/152916
[pid=21323] ppid=21320 vsize=34664 CPUtime=522.2 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 9191 0 0 0 51517 703 0 0 20 0 1 0 27738305 35495936 1347 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4541512 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8666 1347 305 7529 0 1113 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 34664
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 21383
/proc/meminfo: memFree=30428888/32770624 swapFree=0/152948
[pid=21323] ppid=21320 vsize=34664 CPUtime=582.21 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 9696 0 0 0 57436 785 0 0 20 0 1 0 27738305 35495936 1356 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8666 1356 305 7529 0 1113 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 34664
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 21505
/proc/meminfo: memFree=28899980/32770624 swapFree=0/153556
[pid=21323] ppid=21320 vsize=34928 CPUtime=1602.16 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 18269 0 0 0 158072 2144 0 0 20 0 1 0 27738305 35766272 1412 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1412 305 7529 0 1179 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 34928
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 21507
/proc/meminfo: memFree=28899592/32770624 swapFree=0/153580
[pid=21323] ppid=21320 vsize=34928 CPUtime=1662.16 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 18694 0 0 0 164001 2215 0 0 20 0 1 0 27738305 35766272 1417 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376403 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1417 305 7529 0 1179 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 34928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 21510
/proc/meminfo: memFree=28899648/32770624 swapFree=0/153616
[pid=21323] ppid=21320 vsize=34928 CPUtime=1722.16 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 19332 0 0 0 169926 2290 0 0 20 0 1 0 27738305 35766272 1417 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1417 305 7529 0 1179 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 34928
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 21512
/proc/meminfo: memFree=28898892/32770624 swapFree=0/153652
[pid=21323] ppid=21320 vsize=34928 CPUtime=1782.16 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 19840 0 0 0 175848 2368 0 0 20 0 1 0 27738305 35766272 1417 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7406424 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1417 305 7529 0 1179 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 34928
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 21514
/proc/meminfo: memFree=28899704/32770624 swapFree=0/153684
[pid=21323] ppid=21320 vsize=34928 CPUtime=1842.16 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 20338 0 0 0 181754 2462 0 0 20 0 1 0 27738305 35766272 1421 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4545767 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1421 305 7529 0 1179 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 34928
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 21517
/proc/meminfo: memFree=28899460/32770624 swapFree=0/153724
[pid=21323] ppid=21320 vsize=34928 CPUtime=1902.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 20920 0 0 0 187670 2545 0 0 20 0 1 0 27738305 35766272 1421 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1421 305 7529 0 1179 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 34928
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21519
/proc/meminfo: memFree=28899840/32770624 swapFree=0/153748
[pid=21323] ppid=21320 vsize=34928 CPUtime=1962.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 21467 0 0 0 193596 2619 0 0 20 0 1 0 27738305 35766272 1424 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4376670 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1424 305 7529 0 1179 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 34928
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 21536
/proc/meminfo: memFree=28895312/32770624 swapFree=0/153808
[pid=21323] ppid=21320 vsize=34928 CPUtime=2022.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 21929 0 0 0 199523 2692 0 0 20 0 1 0 27738305 35766272 1424 18446744073709551615 4194304 35031035 140735972939120 140735972938120 6458007 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1424 305 7529 0 1179 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 34928
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 21538
/proc/meminfo: memFree=28895812/32770624 swapFree=0/153844
[pid=21323] ppid=21320 vsize=34928 CPUtime=2082.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 22498 0 0 0 205459 2756 0 0 20 0 1 0 27738305 35766272 1424 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1424 305 7529 0 1179 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 34928
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 21540
/proc/meminfo: memFree=28899700/32770624 swapFree=0/153872
[pid=21323] ppid=21320 vsize=34928 CPUtime=2142.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 23033 0 0 0 211388 2827 0 0 20 0 1 0 27738305 35766272 1424 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4541643 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1424 305 7529 0 1179 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 34928
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 21543
/proc/meminfo: memFree=28899492/32770624 swapFree=0/153916
[pid=21323] ppid=21320 vsize=34928 CPUtime=2202.15 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 23608 0 0 0 217301 2914 0 0 20 0 1 0 27738305 35766272 1430 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1430 305 7529 0 1179 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 34928
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 21545
/proc/meminfo: memFree=28898116/32770624 swapFree=0/153932
[pid=21323] ppid=21320 vsize=34928 CPUtime=2262.13 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 23954 0 0 0 223225 2988 0 0 20 0 1 0 27738305 35766272 1430 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1430 305 7529 0 1179 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 34928
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21547
/proc/meminfo: memFree=28897952/32770624 swapFree=0/153956
[pid=21323] ppid=21320 vsize=34928 CPUtime=2322.14 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 24478 0 0 0 229144 3070 0 0 20 0 1 0 27738305 35766272 1430 18446744073709551615 4194304 35031035 140735972939120 140735972938120 6458588 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1430 305 7529 0 1179 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 34928
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 21549
/proc/meminfo: memFree=28896972/32770624 swapFree=0/154000
[pid=21323] ppid=21320 vsize=34928 CPUtime=2382.14 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 24977 0 0 0 235063 3151 0 0 20 0 1 0 27738305 35766272 1430 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1430 305 7529 0 1179 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 34928
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21551
/proc/meminfo: memFree=28897200/32770624 swapFree=0/154016
[pid=21323] ppid=21320 vsize=34928 CPUtime=2442.13 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 25387 0 0 0 240996 3217 0 0 20 0 1 0 27738305 35766272 1433 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1433 305 7529 0 1179 0
Current children cumulated CPU time (s) 2442.13
Current children cumulated vsize (KiB) 34928
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21553
/proc/meminfo: memFree=28897228/32770624 swapFree=0/154040
[pid=21323] ppid=21320 vsize=34928 CPUtime=2502.13 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 25769 0 0 0 246924 3289 0 0 20 0 1 0 27738305 35766272 1433 18446744073709551615 4194304 35031035 140735972939120 140735972938120 7760122 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1433 305 7529 0 1179 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 34928
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21555
/proc/meminfo: memFree=28898080/32770624 swapFree=0/154072
[pid=21323] ppid=21320 vsize=34928 CPUtime=2519.83 cores=0,2,4,6
/proc/21323/stat : 21323 (BTD) R 21320 21323 15981 0 -1 4202496 26141 0 0 0 248670 3313 0 0 20 0 1 0 27738305 35766272 1433 18446744073709551615 4194304 35031035 140735972939120 140735972938120 4213195 0 0 1 0 0 0 0 17 4 0 0 6 0 0 37130264 37226188 52953088 140735972942341 140735972942417 140735972942417 140735972945873 0
/proc/21323/statm: 8732 1433 305 7529 0 1179 0
Current children cumulated CPU time (s) 2519.83
Current children cumulated vsize (KiB) 34928
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 21323 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.84
CPU user time (s): 2486.7
CPU system time (s): 33.1357
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 34928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2486.7
system time used= 33.1357
maximum resident set size= 5732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26141
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= 3
involuntary context switches= 679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44811 second user time and 8.81729 second system time
The end