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-4241908-1502055647/watcher-4241908-1502055647 -o /tmp/evaluation-result-4241908-1502055647/solver-4241908-1502055647 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241908-1502055647.xml
pid=18443
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.20 2.07 2.06 4/180 18446
/proc/meminfo: memFree=31729076/32770624 swapFree=0/379248
[pid=18446] ppid=18443 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18446/stat : 18446 (runsolver) D 18443 18446 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7785670 24240128 108 18446744073709551615 4194304 4338465 140727734398800 140727734396440 139626799829719 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 6680576 140727734403231 140727734403658 140727734403658 140727734407114 0
/proc/18446/statm: 5918 108 54 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 2.20 2.07 2.06 4/180 18446
/proc/meminfo: memFree=31729076/32770624 swapFree=0/379248
[pid=18446] ppid=18443 vsize=26912 CPUtime=0 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4194304 233 0 0 0 0 0 0 0 20 0 1 0 7785670 27557888 93 18446744073709551615 4194304 5970956 140733122879104 140733122875752 139832584447625 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 6728 93 64 434 0 60 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26912
[startup+0.200328 s]
/proc/loadavg: 2.20 2.07 2.06 4/180 18446
/proc/meminfo: memFree=31729076/32770624 swapFree=0/379248
[pid=18446] ppid=18443 vsize=29636 CPUtime=0.09 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 1684 0 0 0 9 0 0 0 20 0 1 0 7785670 30347264 1498 18446744073709551615 4194304 5970956 140733122879104 140733122875752 5337505 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1498 777 434 0 773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29636
[startup+0.30033 s]
/proc/loadavg: 2.20 2.07 2.06 4/180 18446
/proc/meminfo: memFree=31729076/32770624 swapFree=0/379248
[pid=18446] ppid=18443 vsize=29636 CPUtime=0.19 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 1684 0 0 0 19 0 0 0 20 0 1 0 7785670 30347264 1498 18446744073709551615 4194304 5970956 140733122879104 140733122875752 4994584 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1498 777 434 0 773 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29636
[startup+0.700278 s]
/proc/loadavg: 2.20 2.07 2.06 4/180 18446
/proc/meminfo: memFree=31729076/32770624 swapFree=0/379248
[pid=18446] ppid=18443 vsize=29636 CPUtime=0.59 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 1684 0 0 0 59 0 0 0 20 0 1 0 7785670 30347264 1498 18446744073709551615 4194304 5970956 140733122879104 140733122875752 4994614 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1498 777 434 0 773 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 29636
[startup+1.50028 s]
/proc/loadavg: 2.20 2.07 2.06 3/181 18447
/proc/meminfo: memFree=31726224/32770624 swapFree=0/379244
[pid=18446] ppid=18443 vsize=29636 CPUtime=1.39 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 1684 0 0 0 139 0 0 0 20 0 1 0 7785670 30347264 1498 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5327936 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1498 777 434 0 773 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 29636
[startup+3.10027 s]
/proc/loadavg: 2.20 2.07 2.06 3/181 18447
/proc/meminfo: memFree=31725976/32770624 swapFree=0/379244
[pid=18446] ppid=18443 vsize=29636 CPUtime=2.99 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 2261 0 0 0 299 0 0 0 20 0 1 0 7785670 30347264 1531 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5327981 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1531 780 434 0 773 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 29636
[startup+6.30028 s]
/proc/loadavg: 2.18 2.07 2.06 3/181 18447
/proc/meminfo: memFree=31726100/32770624 swapFree=0/379244
[pid=18446] ppid=18443 vsize=29636 CPUtime=6.19 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 3035 0 0 0 619 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934350 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 29636
[startup+12.7003 s]
/proc/loadavg: 2.17 2.07 2.06 3/181 18447
/proc/meminfo: memFree=31725512/32770624 swapFree=0/379260
[pid=18446] ppid=18443 vsize=29636 CPUtime=12.59 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 3714 0 0 0 1259 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4994503 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 29636
[startup+25.5004 s]
/proc/loadavg: 2.13 2.07 2.05 3/181 18448
/proc/meminfo: memFree=31726008/32770624 swapFree=0/379272
[pid=18446] ppid=18443 vsize=29636 CPUtime=25.4 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 5061 0 0 0 2540 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934010 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 29636
[startup+51.1003 s]
/proc/loadavg: 2.09 2.06 2.05 3/181 18448
/proc/meminfo: memFree=31726380/32770624 swapFree=0/379296
[pid=18446] ppid=18443 vsize=29636 CPUtime=51 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 5736 0 0 0 5100 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4976698 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 29636
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 18451
/proc/meminfo: memFree=31725340/32770624 swapFree=0/379372
[pid=18446] ppid=18443 vsize=29636 CPUtime=102.21 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 6409 0 0 0 10221 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934521 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 29636
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 18453
/proc/meminfo: memFree=31725456/32770624 swapFree=0/379424
[pid=18446] ppid=18443 vsize=29636 CPUtime=162.21 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 7082 0 0 0 16221 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5325193 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 29636
[startup+222.306 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 18470
/proc/meminfo: memFree=31721040/32770624 swapFree=0/379516
[pid=18446] ppid=18443 vsize=29636 CPUtime=222.22 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 7755 0 0 0 22222 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5325193 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29636
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 18472
/proc/meminfo: memFree=31720420/32770624 swapFree=0/379580
[pid=18446] ppid=18443 vsize=29636 CPUtime=282.22 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 7758 0 0 0 28222 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934449 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29636
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 18474
/proc/meminfo: memFree=31723332/32770624 swapFree=0/379644
[pid=18446] ppid=18443 vsize=29636 CPUtime=342.23 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 8431 0 0 0 34223 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337501 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29636
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 18476
/proc/meminfo: memFree=31723676/32770624 swapFree=0/379672
[pid=18446] ppid=18443 vsize=29636 CPUtime=402.23 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 8431 0 0 0 40223 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934460 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 29636
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 18478
/proc/meminfo: memFree=31724564/32770624 swapFree=0/379716
[pid=18446] ppid=18443 vsize=29636 CPUtime=462.24 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 9104 0 0 0 46224 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5098910 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 29636
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 18480
/proc/meminfo: memFree=31724456/32770624 swapFree=0/379764
[pid=18446] ppid=18443 vsize=29636 CPUtime=522.24 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 9104 0 0 0 52224 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4974266 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 29636
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18482
/proc/meminfo: memFree=31724676/32770624 swapFree=0/379804
[pid=18446] ppid=18443 vsize=29636 CPUtime=582.25 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 9777 0 0 0 58225 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4994629 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 29636
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18544
/proc/meminfo: memFree=31722856/32770624 swapFree=0/380436
[pid=18446] ppid=18443 vsize=29636 CPUtime=1542.35 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 15169 0 0 0 154235 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4994506 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 29636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 18557
/proc/meminfo: memFree=31721788/32770624 swapFree=0/381040
[pid=18446] ppid=18443 vsize=29636 CPUtime=1602.35 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 15169 0 0 0 160235 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5327872 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 29636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 18559
/proc/meminfo: memFree=31721912/32770624 swapFree=0/381080
[pid=18446] ppid=18443 vsize=29636 CPUtime=1662.35 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 15794 0 0 0 166235 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5098896 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 29636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18562
/proc/meminfo: memFree=31721684/32770624 swapFree=0/381120
[pid=18446] ppid=18443 vsize=29636 CPUtime=1722.36 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 15842 0 0 0 172236 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5327113 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 29636
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 18564
/proc/meminfo: memFree=31721064/32770624 swapFree=0/381160
[pid=18446] ppid=18443 vsize=29636 CPUtime=1782.36 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 16468 0 0 0 178236 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337501 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 29636
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 18566
/proc/meminfo: memFree=31721692/32770624 swapFree=0/381196
[pid=18446] ppid=18443 vsize=29636 CPUtime=1842.37 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 16515 0 0 0 184237 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337501 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 29636
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 18569
/proc/meminfo: memFree=31721476/32770624 swapFree=0/381232
[pid=18446] ppid=18443 vsize=29636 CPUtime=1902.38 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 17138 0 0 0 190238 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934513 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 29636
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 18571
/proc/meminfo: memFree=31721856/32770624 swapFree=0/381276
[pid=18446] ppid=18443 vsize=29636 CPUtime=1962.38 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 17143 0 0 0 196238 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934527 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 29636
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 18587
/proc/meminfo: memFree=31717948/32770624 swapFree=0/381332
[pid=18446] ppid=18443 vsize=29636 CPUtime=2022.39 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 17771 0 0 0 202239 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5098896 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 29636
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 18616
/proc/meminfo: memFree=31717152/32770624 swapFree=0/381404
[pid=18446] ppid=18443 vsize=29636 CPUtime=2082.4 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 17819 0 0 0 208240 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337501 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 29636
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 18618
/proc/meminfo: memFree=31717688/32770624 swapFree=0/381448
[pid=18446] ppid=18443 vsize=29636 CPUtime=2142.4 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 18478 0 0 0 214240 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5321041 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 29636
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18620
/proc/meminfo: memFree=31721836/32770624 swapFree=0/381480
[pid=18446] ppid=18443 vsize=29636 CPUtime=2202.41 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 18479 0 0 0 220241 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4975651 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 29636
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 18622
/proc/meminfo: memFree=31721596/32770624 swapFree=0/381508
[pid=18446] ppid=18443 vsize=29636 CPUtime=2262.41 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 19138 0 0 0 226241 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337505 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 29636
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18624
/proc/meminfo: memFree=31721208/32770624 swapFree=0/381548
[pid=18446] ppid=18443 vsize=29636 CPUtime=2322.42 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 19139 0 0 0 232242 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4930630 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 29636
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18687
/proc/meminfo: memFree=31711388/32770624 swapFree=0/381616
[pid=18446] ppid=18443 vsize=29636 CPUtime=2382.42 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 19798 0 0 0 238242 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 5337501 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 29636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18687
/proc/meminfo: memFree=31711640/32770624 swapFree=0/381632
[pid=18446] ppid=18443 vsize=29636 CPUtime=2400.02 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 19798 0 0 0 240002 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934527 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 29636
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 18446 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/181 18687
/proc/meminfo: memFree=31711640/32770624 swapFree=0/381632
[pid=18446] ppid=18443 vsize=29636 CPUtime=2400.02 cores=0,2,4,6
/proc/18446/stat : 18446 (cosoco) R 18443 18446 9955 0 -1 4202496 19798 0 0 0 240002 0 0 0 20 0 1 0 7785670 30347264 1533 18446744073709551615 4194304 5970956 140733122879104 140733122876440 4934527 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32100352 140733122879948 140733122880078 140733122880078 140733122883534 0
/proc/18446/statm: 7409 1533 780 434 0 773 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 29636
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2400.03
CPU system time (s): 0.007
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 29636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.007
maximum resident set size= 6176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19825
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= 9
involuntary context switches= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17592 second user time and 7.68018 second system time
The end