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-4241866-1500655381/watcher-4241866-1500655381 -o /tmp/evaluation-result-4241866-1500655381/solver-4241866-1500655381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500648174-9864 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241866-1500655381.xml
pid=10595
running on 8 cores: 0,2,4,6,8,10,12,14
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.01 2.02 3/260 10598
/proc/meminfo: memFree=32024832/32770624 swapFree=5872/187292
[pid=10598] ppid=10595 vsize=28048 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 1230 0 0 0 0 0 0 0 20 0 1 0 804937 28721152 1030 33554432000 4194304 5970956 140733015061312 140733015057912 140015540055013 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 7012 1030 702 434 0 376 0
[startup+0.100123 s]
/proc/loadavg: 2.00 2.01 2.02 3/260 10598
/proc/meminfo: memFree=32024832/32770624 swapFree=5872/187292
[pid=10598] ppid=10595 vsize=28952 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 1516 0 0 0 9 0 0 0 20 0 1 0 804937 29646848 1318 33554432000 4194304 5970956 140733015061312 140733015054904 140015540055013 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 7238 1318 788 434 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28952
[startup+0.200307 s]
/proc/loadavg: 2.00 2.01 2.02 3/260 10598
/proc/meminfo: memFree=32024832/32770624 swapFree=5872/187292
[pid=10598] ppid=10595 vsize=30240 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 1855 0 0 0 19 0 0 0 20 0 1 0 804937 30965760 1674 33554432000 4194304 5970956 140733015061312 140733015054904 140015540055013 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 7560 1674 788 434 0 924 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30240
[startup+0.300266 s]
/proc/loadavg: 2.00 2.01 2.02 3/260 10598
/proc/meminfo: memFree=32024832/32770624 swapFree=5872/187292
[pid=10598] ppid=10595 vsize=31808 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 2225 0 0 0 29 0 0 0 20 0 1 0 804937 32571392 2064 33554432000 4194304 5970956 140733015061312 140733015054904 140015540055013 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 7952 2064 788 434 0 1316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31808
[startup+0.70024 s]
/proc/loadavg: 2.00 2.01 2.02 3/260 10598
/proc/meminfo: memFree=32024832/32770624 swapFree=5872/187292
[pid=10598] ppid=10595 vsize=35356 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 3192 0 0 0 69 0 0 0 20 0 1 0 804937 36204544 2989 33554432000 4194304 5970956 140733015061312 140733015057992 140015540055013 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 8839 2989 840 434 0 2203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35356
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32033328/32770624 swapFree=5872/187044
[pid=10598] ppid=10595 vsize=36808 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 3532 0 0 0 149 0 0 0 20 0 1 0 804937 37691392 3319 33554432000 4194304 5970956 140733015061312 140733015058280 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 9202 3319 840 434 0 2566 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36808
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32030276/32770624 swapFree=5872/187240
[pid=10598] ppid=10595 vsize=38404 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 6240 0 0 0 309 0 0 0 20 0 1 0 804937 39325696 3775 33554432000 4194304 5970956 140733015061312 140733015058280 140015540055013 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 9601 3775 840 434 0 2965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38404
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32028444/32770624 swapFree=5872/187300
[pid=10598] ppid=10595 vsize=39592 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 9789 0 0 0 629 0 0 0 20 0 1 0 804937 40542208 4039 33554432000 4194304 5970956 140733015061312 140733015058280 5069968 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 9898 4039 840 434 0 3262 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39592
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32025244/32770624 swapFree=5872/187308
[pid=10598] ppid=10595 vsize=40252 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 13077 0 0 0 1268 0 0 0 20 0 1 0 804937 41218048 4206 33554432000 4194304 5970956 140733015061312 140733015058280 5070861 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10063 4206 840 434 0 3427 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40252
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32024376/32770624 swapFree=5872/187320
[pid=10598] ppid=10595 vsize=40780 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 14830 0 0 0 2548 0 0 0 20 0 1 0 804937 41758720 4360 33554432000 4194304 5970956 140733015061312 140733015058280 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10195 4360 840 434 0 3559 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40780
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10631
/proc/meminfo: memFree=32024128/32770624 swapFree=5872/187328
[pid=10598] ppid=10595 vsize=41044 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 15850 0 0 0 5108 0 0 0 20 0 1 0 804937 42029056 4422 33554432000 4194304 5970956 140733015061312 140733015058280 4970963 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10261 4422 840 434 0 3625 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41044
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10632
/proc/meminfo: memFree=32023072/32770624 swapFree=5872/187368
[pid=10598] ppid=10595 vsize=41308 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 16880 0 0 0 10228 0 0 0 20 0 1 0 804937 42299392 4500 33554432000 4194304 5970956 140733015061312 140733015058280 4967886 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10327 4500 840 434 0 3691 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41308
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10633
/proc/meminfo: memFree=32023504/32770624 swapFree=5872/187400
[pid=10598] ppid=10595 vsize=41308 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 17427 0 0 0 16227 0 0 0 20 0 1 0 804937 42299392 4515 33554432000 4194304 5970956 140733015061312 140733015058280 5071026 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10327 4515 840 434 0 3691 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 41308
[startup+222.308 s]
/proc/loadavg: 2.05 2.03 2.03 3/243 10634
/proc/meminfo: memFree=32023728/32770624 swapFree=5872/187420
[pid=10598] ppid=10595 vsize=41440 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 17990 0 0 0 22227 0 0 0 20 0 1 0 804937 42434560 4531 33554432000 4194304 5970956 140733015061312 140733015058280 4909007 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4531 840 434 0 3724 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 41440
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/243 10635
/proc/meminfo: memFree=32024312/32770624 swapFree=5872/187452
[pid=10598] ppid=10595 vsize=41440 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 18555 0 0 0 28225 0 0 0 20 0 1 0 804937 42434560 4545 33554432000 4194304 5970956 140733015061312 140733015058280 4964629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4545 840 434 0 3724 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 41440
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/243 10636
/proc/meminfo: memFree=32023964/32770624 swapFree=5872/187476
[pid=10598] ppid=10595 vsize=41440 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 19122 0 0 0 34225 0 0 0 20 0 1 0 804937 42434560 4548 33554432000 4194304 5970956 140733015061312 140733015058280 4970957 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4548 840 434 0 3724 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 41440
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/243 10637
/proc/meminfo: memFree=32024348/32770624 swapFree=5872/187500
[pid=10598] ppid=10595 vsize=41440 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 19682 0 0 0 40224 0 0 0 20 0 1 0 804937 42434560 4548 33554432000 4194304 5970956 140733015061312 140733015058280 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4548 840 434 0 3724 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 41440
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/243 10645
/proc/meminfo: memFree=32024088/32770624 swapFree=5872/187544
[pid=10598] ppid=10595 vsize=41440 CPUtime=462.24 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 20250 0 0 0 46224 0 0 0 20 0 1 0 804937 42434560 4551 33554432000 4194304 5970956 140733015061312 140733015058280 4970923 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4551 840 434 0 3724 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 41440
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 10646
/proc/meminfo: memFree=32023840/32770624 swapFree=5872/187568
[pid=10598] ppid=10595 vsize=41440 CPUtime=522.23 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 20809 0 0 0 52223 0 0 0 20 0 1 0 804937 42434560 4552 33554432000 4194304 5970956 140733015061312 140733015058280 4970002 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4552 840 434 0 3724 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 41440
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 10647
/proc/meminfo: memFree=32024036/32770624 swapFree=5872/187600
[pid=10598] ppid=10595 vsize=41440 CPUtime=582.22 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 21173 0 0 0 58222 0 0 0 20 0 1 0 804937 42434560 4555 33554432000 4194304 5970956 140733015061312 140733015058280 5070016 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10360 4555 840 434 0 3724 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 41440
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 10694
/proc/meminfo: memFree=32022080/32770624 swapFree=5872/188068
[pid=10598] ppid=10595 vsize=41572 CPUtime=1542.14 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 29098 0 0 0 154214 0 0 0 20 0 1 0 804937 42569728 4575 33554432000 4194304 5970956 140733015061312 140733015058280 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4575 840 434 0 3757 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 41572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10695
/proc/meminfo: memFree=32022460/32770624 swapFree=5872/188088
[pid=10598] ppid=10595 vsize=41572 CPUtime=1602.12 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 29442 0 0 0 160212 0 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 4967784 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 41572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 10704
/proc/meminfo: memFree=32021060/32770624 swapFree=5872/188132
[pid=10598] ppid=10595 vsize=41572 CPUtime=1662.12 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 30054 0 0 0 166212 0 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 4969776 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 41572
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 10705
/proc/meminfo: memFree=32022340/32770624 swapFree=5872/188160
[pid=10598] ppid=10595 vsize=41572 CPUtime=1722.11 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 30414 0 0 0 172211 0 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 4967831 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 41572
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 10706
/proc/meminfo: memFree=32021800/32770624 swapFree=5872/188180
[pid=10598] ppid=10595 vsize=41572 CPUtime=1782.11 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 31004 0 0 0 178211 0 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 5070768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 41572
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 10707
/proc/meminfo: memFree=32020756/32770624 swapFree=5872/188212
[pid=10598] ppid=10595 vsize=41572 CPUtime=1842.11 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 31378 0 0 0 184210 1 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 5070932 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 41572
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10708
/proc/meminfo: memFree=32023340/32770624 swapFree=5872/188240
[pid=10598] ppid=10595 vsize=41572 CPUtime=1902.1 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 31758 0 0 0 190209 1 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 41572
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10709
/proc/meminfo: memFree=32022348/32770624 swapFree=5872/188268
[pid=10598] ppid=10595 vsize=41572 CPUtime=1962.1 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 32126 0 0 0 196209 1 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 4978199 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 41572
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10710
/proc/meminfo: memFree=32023208/32770624 swapFree=5872/188296
[pid=10598] ppid=10595 vsize=41572 CPUtime=2022.09 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 32486 0 0 0 202208 1 0 0 20 0 1 0 804937 42569728 4576 33554432000 4194304 5970956 140733015061312 140733015058280 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4576 840 434 0 3757 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 41572
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10711
/proc/meminfo: memFree=32021884/32770624 swapFree=5872/188320
[pid=10598] ppid=10595 vsize=41572 CPUtime=2082.09 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 33070 0 0 0 208208 1 0 0 20 0 1 0 804937 42569728 4577 33554432000 4194304 5970956 140733015061312 140733015058280 4970610 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4577 840 434 0 3757 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 41572
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10712
/proc/meminfo: memFree=32023096/32770624 swapFree=5872/188344
[pid=10598] ppid=10595 vsize=41572 CPUtime=2142.08 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 33432 0 0 0 214207 1 0 0 20 0 1 0 804937 42569728 4578 33554432000 4194304 5970956 140733015061312 140733015058280 4969789 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4578 840 434 0 3757 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 41572
[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 10713
/proc/meminfo: memFree=32022572/32770624 swapFree=5872/188372
[pid=10598] ppid=10595 vsize=41572 CPUtime=2202.08 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 33792 0 0 0 220207 1 0 0 20 0 1 0 804937 42569728 4578 33554432000 4194304 5970956 140733015061312 140733015058280 5319616 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4578 840 434 0 3757 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 41572
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 10721
/proc/meminfo: memFree=32021928/32770624 swapFree=5872/188412
[pid=10598] ppid=10595 vsize=41572 CPUtime=2262.07 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 34333 0 0 0 226206 1 0 0 20 0 1 0 804937 42569728 4578 33554432000 4194304 5970956 140733015061312 140733015058280 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4578 840 434 0 3757 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 41572
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 10722
/proc/meminfo: memFree=32023056/32770624 swapFree=5872/188440
[pid=10598] ppid=10595 vsize=41572 CPUtime=2322.06 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 34621 0 0 0 232205 1 0 0 20 0 1 0 804937 42569728 4578 33554432000 4194304 5970956 140733015061312 140733015058280 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4578 840 434 0 3757 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 41572
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 10723
/proc/meminfo: memFree=32022552/32770624 swapFree=5872/188464
[pid=10598] ppid=10595 vsize=41572 CPUtime=2382.05 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 35293 0 0 0 238204 1 0 0 20 0 1 0 804937 42569728 4578 33554432000 4194304 5970956 140733015061312 140733015058280 4976687 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4578 840 434 0 3757 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 41572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 10723
/proc/meminfo: memFree=32022664/32770624 swapFree=5872/188468
[pid=10598] ppid=10595 vsize=41572 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 35635 0 0 0 240005 1 0 0 20 0 1 0 804937 42569728 4579 33554432000 4194304 5970956 140733015061312 140733015058280 4964655 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4579 840 434 0 3757 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 41572
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 10598 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 10723
/proc/meminfo: memFree=32022664/32770624 swapFree=5872/188468
[pid=10598] ppid=10595 vsize=41572 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10598/stat : 10598 (cosoco) R 10595 10598 9833 0 -1 4202496 35635 0 0 0 240005 1 0 0 20 0 1 0 804937 42569728 4579 33554432000 4194304 5970956 140733015061312 140733015058280 4964655 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30154752 140733015069889 140733015070019 140733015070019 140733015072718 0
/proc/10598/statm: 10393 4579 840 434 0 3757 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 41572
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.012998
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 41572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.012998
maximum resident set size= 18360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35662
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= 15
involuntary context switches= 120714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08509 second user time and 9.78033 second system time
The end