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-4260028-1502036060/watcher-4260028-1502036060 -o /tmp/evaluation-result-4260028-1502036060/solver-4260028-1502036060 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10661 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260028-1502036060.xml
pid=15467
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.02 2.05 3/183 15470
/proc/meminfo: memFree=31392904/32770624 swapFree=0/327504
[pid=15470] ppid=15467 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15470/stat : 15470 (runsolver) D 15467 15470 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5826989 24240128 107 18446744073709551615 4194304 4338465 140735059055760 140735059053400 139920101016279 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32837632 140735059058882 140735059059274 140735059059274 140735059062730 0
/proc/15470/statm: 5918 107 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 15470
/proc/meminfo: memFree=31392904/32770624 swapFree=0/327504
[pid=15470] ppid=15467 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15470/stat : 15470 (runsolver) D 15467 15470 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5826989 24240128 107 18446744073709551615 4194304 4338465 140735059055760 140735059053400 139920101016279 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32837632 140735059058882 140735059059274 140735059059274 140735059062730 0
/proc/15470/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.201174 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 15470
/proc/meminfo: memFree=31392904/32770624 swapFree=0/327504
[pid=15470] ppid=15467 vsize=28192 CPUtime=0.08 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 1367 0 0 0 8 0 0 0 20 0 1 0 5826989 28868608 1155 18446744073709551615 4194304 5747388 140731429117888 140731429105160 5025392 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1155 722 380 0 466 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28192
[startup+0.301169 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 15470
/proc/meminfo: memFree=31392904/32770624 swapFree=0/327504
[pid=15470] ppid=15467 vsize=28192 CPUtime=0.18 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 1370 0 0 0 18 0 0 0 20 0 1 0 5826989 28868608 1155 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4894030 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1155 722 380 0 466 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 28192
[startup+0.700275 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 15470
/proc/meminfo: memFree=31392904/32770624 swapFree=0/327504
[pid=15470] ppid=15467 vsize=28192 CPUtime=0.58 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 1372 0 0 0 58 0 0 0 20 0 1 0 5826989 28868608 1155 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4894021 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1155 722 380 0 466 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 28192
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 15471
/proc/meminfo: memFree=31391236/32770624 swapFree=0/327512
[pid=15470] ppid=15467 vsize=28192 CPUtime=1.38 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 1373 0 0 0 138 0 0 0 20 0 1 0 5826989 28868608 1155 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1155 722 380 0 466 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 28192
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 15471
/proc/meminfo: memFree=31390988/32770624 swapFree=0/327512
[pid=15470] ppid=15467 vsize=28192 CPUtime=2.98 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 1751 0 0 0 298 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915034 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 28192
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 15471
/proc/meminfo: memFree=31390488/32770624 swapFree=0/327520
[pid=15470] ppid=15467 vsize=28192 CPUtime=6.18 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 2144 0 0 0 618 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894202 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 28192
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15471
/proc/meminfo: memFree=31390740/32770624 swapFree=0/327524
[pid=15470] ppid=15467 vsize=28192 CPUtime=12.58 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 2537 0 0 0 1258 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4894018 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 28192
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15471
/proc/meminfo: memFree=31390740/32770624 swapFree=0/327532
[pid=15470] ppid=15467 vsize=28192 CPUtime=25.39 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 3110 0 0 0 2539 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429105160 5141407 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 28192
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15495
/proc/meminfo: memFree=31389176/32770624 swapFree=0/327604
[pid=15470] ppid=15467 vsize=28192 CPUtime=50.99 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 3685 0 0 0 5099 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4893984 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 28192
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15497
/proc/meminfo: memFree=31389492/32770624 swapFree=0/327652
[pid=15470] ppid=15467 vsize=28192 CPUtime=102.2 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 4063 0 0 0 10220 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894124 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28192
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15560
/proc/meminfo: memFree=31787268/32770624 swapFree=0/327740
[pid=15470] ppid=15467 vsize=28192 CPUtime=162.2 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 4456 0 0 0 16220 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4892872 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 28192
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15562
/proc/meminfo: memFree=31788092/32770624 swapFree=0/327788
[pid=15470] ppid=15467 vsize=28192 CPUtime=222.21 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 4836 0 0 0 22221 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4893982 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28192
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15564
/proc/meminfo: memFree=31788340/32770624 swapFree=0/327840
[pid=15470] ppid=15467 vsize=28192 CPUtime=282.21 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 4851 0 0 0 28221 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429105160 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28192
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15566
/proc/meminfo: memFree=31788228/32770624 swapFree=0/327880
[pid=15470] ppid=15467 vsize=28192 CPUtime=342.22 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 5229 0 0 0 34222 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894133 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 28192
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15568
/proc/meminfo: memFree=31787748/32770624 swapFree=0/327908
[pid=15470] ppid=15467 vsize=28192 CPUtime=402.22 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 5234 0 0 0 40222 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915533 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28192
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15570
/proc/meminfo: memFree=31788108/32770624 swapFree=0/327940
[pid=15470] ppid=15467 vsize=28192 CPUtime=462.23 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 5612 0 0 0 46223 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915339 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 28192
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 15572
/proc/meminfo: memFree=31787740/32770624 swapFree=0/327968
[pid=15470] ppid=15467 vsize=28192 CPUtime=522.23 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 5612 0 0 0 52223 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894528 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 28192
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 15574
/proc/meminfo: memFree=31787608/32770624 swapFree=0/328004
[pid=15470] ppid=15467 vsize=28192 CPUtime=582.24 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 5991 0 0 0 58224 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 28192
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 15658
/proc/meminfo: memFree=31785600/32770624 swapFree=0/328588
[pid=15470] ppid=15467 vsize=28192 CPUtime=1542.34 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 8875 0 0 0 154234 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4918710 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 28192
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15660
/proc/meminfo: memFree=31785724/32770624 swapFree=0/328612
[pid=15470] ppid=15467 vsize=28192 CPUtime=1602.34 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 8875 0 0 0 160234 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915624 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 28192
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15662
/proc/meminfo: memFree=31785712/32770624 swapFree=0/328644
[pid=15470] ppid=15467 vsize=28192 CPUtime=1662.34 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9228 0 0 0 166234 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894528 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 28192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15665
/proc/meminfo: memFree=31785588/32770624 swapFree=0/328684
[pid=15470] ppid=15467 vsize=28192 CPUtime=1722.35 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9236 0 0 0 172235 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4893984 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 28192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15667
/proc/meminfo: memFree=31786160/32770624 swapFree=0/328720
[pid=15470] ppid=15467 vsize=28192 CPUtime=1782.35 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9442 0 0 0 178235 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 28192
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15683
/proc/meminfo: memFree=31782412/32770624 swapFree=0/328792
[pid=15470] ppid=15467 vsize=28192 CPUtime=1842.36 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9614 0 0 0 184236 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894014 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 28192
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15685
/proc/meminfo: memFree=31785024/32770624 swapFree=0/328820
[pid=15470] ppid=15467 vsize=28192 CPUtime=1902.36 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9838 0 0 0 190236 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4948604 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 28192
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15687
/proc/meminfo: memFree=31785172/32770624 swapFree=0/328852
[pid=15470] ppid=15467 vsize=28192 CPUtime=1962.37 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 9843 0 0 0 196237 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 5126745 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 28192
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15689
/proc/meminfo: memFree=31785692/32770624 swapFree=0/328884
[pid=15470] ppid=15467 vsize=28192 CPUtime=2022.38 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10072 0 0 0 202238 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894528 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2022.38
Current children cumulated vsize (KiB) 28192
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15691
/proc/meminfo: memFree=31786040/32770624 swapFree=0/328912
[pid=15470] ppid=15467 vsize=28192 CPUtime=2082.39 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10072 0 0 0 208239 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2082.39
Current children cumulated vsize (KiB) 28192
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15693
/proc/meminfo: memFree=31785916/32770624 swapFree=0/328944
[pid=15470] ppid=15467 vsize=28192 CPUtime=2142.39 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10450 0 0 0 214239 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4918505 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 28192
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15695
/proc/meminfo: memFree=31785992/32770624 swapFree=0/328972
[pid=15470] ppid=15467 vsize=28192 CPUtime=2202.4 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10450 0 0 0 220240 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894170 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 28192
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15697
/proc/meminfo: memFree=31786116/32770624 swapFree=0/329000
[pid=15470] ppid=15467 vsize=28192 CPUtime=2262.4 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10680 0 0 0 226240 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4918665 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2262.4
Current children cumulated vsize (KiB) 28192
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15699
/proc/meminfo: memFree=31786344/32770624 swapFree=0/329032
[pid=15470] ppid=15467 vsize=28192 CPUtime=2322.41 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10680 0 0 0 232241 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4894191 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 28192
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15701
/proc/meminfo: memFree=31786220/32770624 swapFree=0/329060
[pid=15470] ppid=15467 vsize=28192 CPUtime=2382.41 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10912 0 0 0 238241 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4893991 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 28192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15715
/proc/meminfo: memFree=31782240/32770624 swapFree=0/329092
[pid=15470] ppid=15467 vsize=28192 CPUtime=2400.01 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10912 0 0 0 240001 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915144 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 28192
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 15470 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15715
/proc/meminfo: memFree=31782240/32770624 swapFree=0/329092
[pid=15470] ppid=15467 vsize=28192 CPUtime=2400.01 cores=0,2,4,6
/proc/15470/stat : 15470 (cosoco) R 15467 15470 9955 0 -1 4202496 10912 0 0 0 240001 0 0 0 20 0 1 0 5826989 28868608 1214 18446744073709551615 4194304 5747388 140731429117888 140731429115416 4915144 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 22556672 140731429126639 140731429126734 140731429126734 140731429130190 0
/proc/15470/statm: 7048 1214 763 380 0 466 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 28192
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.007
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 28192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.007
maximum resident set size= 4932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10966
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= 10
involuntary context switches= 610
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29292 second user time and 8.59845 second system time
The end