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-4267664-1502540688/watcher-4267664-1502540688 -o /tmp/evaluation-result-4267664-1502540688/solver-4267664-1502540688 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267664-1502540688.xml
pid=30756
running on 4 cores: 1,3,5,7
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: 1.92 1.98 2.03 4/184 30759
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30759/stat : 30759 (runsolver) D 30756 30759 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56289500 24240128 106 18446744073709551615 4194304 4338465 140737371162528 140737371160168 140296775148247 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 28893184 140737371164865 140737371165257 140737371165257 140737371168714 0
/proc/30759/statm: 5918 106 53 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 1.92 1.98 2.03 4/184 30759
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=0.04 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1035 0 0 0 4 0 0 0 20 0 1 0 56289500 27643904 832 18446744073709551615 4194304 5972588 140725968345888 140725968342536 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 832 736 435 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26996
[startup+0.200266 s]
/proc/loadavg: 1.92 1.98 2.03 4/184 30759
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=0.14 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1035 0 0 0 14 0 0 0 20 0 1 0 56289500 27643904 832 18446744073709551615 4194304 5972588 140725968345888 140725968342536 5046668 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 832 736 435 0 112 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26996
[startup+0.300257 s]
/proc/loadavg: 1.92 1.98 2.03 4/184 30759
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=0.24 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1035 0 0 0 24 0 0 0 20 0 1 0 56289500 27643904 832 18446744073709551615 4194304 5972588 140725968345888 140725968342536 5048586 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 832 736 435 0 112 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 26996
[startup+0.700215 s]
/proc/loadavg: 1.92 1.98 2.03 4/184 30759
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=0.64 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1035 0 0 0 64 0 0 0 20 0 1 0 56289500 27643904 832 18446744073709551615 4194304 5972588 140725968345888 140725968342536 5046613 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 832 736 435 0 112 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 26996
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 2.03 3/185 30760
/proc/meminfo: memFree=31222736/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=1.44 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1035 0 0 0 144 0 0 0 20 0 1 0 56289500 27643904 832 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5046624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 832 736 435 0 112 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 26996
[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 2.03 3/185 30760
/proc/meminfo: memFree=31221816/32770624 swapFree=0/524984
[pid=30759] ppid=30756 vsize=26996 CPUtime=3.04 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1077 0 0 0 304 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5048049 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 26996
[startup+6.30022 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 30760
/proc/meminfo: memFree=31221816/32770624 swapFree=0/524980
[pid=30759] ppid=30756 vsize=26996 CPUtime=6.24 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1119 0 0 0 624 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5139281 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 26996
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 2.03 3/185 30760
/proc/meminfo: memFree=31221444/32770624 swapFree=0/524976
[pid=30759] ppid=30756 vsize=26996 CPUtime=12.64 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1145 0 0 0 1264 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 26996
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 2.03 3/185 30760
/proc/meminfo: memFree=31221444/32770624 swapFree=0/524976
[pid=30759] ppid=30756 vsize=26996 CPUtime=25.44 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1212 0 0 0 2544 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 26996
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.04 3/185 30760
/proc/meminfo: memFree=31221324/32770624 swapFree=0/524964
[pid=30759] ppid=30756 vsize=26996 CPUtime=51.04 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1255 0 0 0 5104 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5328503 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26996
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 30762
/proc/meminfo: memFree=31224992/32770624 swapFree=0/524972
[pid=30759] ppid=30756 vsize=26996 CPUtime=102.25 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1297 0 0 0 10225 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 30764
/proc/meminfo: memFree=31224992/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=162.26 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1323 0 0 0 16226 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26996
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 30766
/proc/meminfo: memFree=31225364/32770624 swapFree=0/524984
[pid=30759] ppid=30756 vsize=26996 CPUtime=222.27 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1349 0 0 0 22227 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5046280 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 26996
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 30768
/proc/meminfo: memFree=31225752/32770624 swapFree=0/524988
[pid=30759] ppid=30756 vsize=26996 CPUtime=282.27 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1349 0 0 0 28227 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5046613 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 26996
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 30770
/proc/meminfo: memFree=31225716/32770624 swapFree=0/524992
[pid=30759] ppid=30756 vsize=26996 CPUtime=342.28 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1391 0 0 0 34228 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5046600 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 26996
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 30772
/proc/meminfo: memFree=31225468/32770624 swapFree=0/525000
[pid=30759] ppid=30756 vsize=26996 CPUtime=402.28 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1391 0 0 0 40228 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5320795 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 26996
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 30774
/proc/meminfo: memFree=31225468/32770624 swapFree=0/525004
[pid=30759] ppid=30756 vsize=26996 CPUtime=462.29 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1417 0 0 0 46229 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5139324 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 26996
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30776
/proc/meminfo: memFree=31225592/32770624 swapFree=0/525016
[pid=30759] ppid=30756 vsize=26996 CPUtime=522.29 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1417 0 0 0 52229 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5338586 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26996
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30792
/proc/meminfo: memFree=31220900/32770624 swapFree=0/525004
[pid=30759] ppid=30756 vsize=26996 CPUtime=582.3 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1443 0 0 0 58230 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5047423 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26996
################
# More data... #
################
/proc/loadavg: 2.01 2.05 2.05 3/181 30868
/proc/meminfo: memFree=31225512/32770624 swapFree=0/525112
[pid=30759] ppid=30756 vsize=26996 CPUtime=1002.35 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1553 0 0 0 100235 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139274 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 26996
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 30871
/proc/meminfo: memFree=31225324/32770624 swapFree=0/525100
[pid=30759] ppid=30756 vsize=26996 CPUtime=1062.35 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1594 0 0 0 106235 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5046148 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 26996
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 30873
/proc/meminfo: memFree=31225520/32770624 swapFree=0/525108
[pid=30759] ppid=30756 vsize=26996 CPUtime=1122.36 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1595 0 0 0 112236 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5045833 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 26996
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 30889
/proc/meminfo: memFree=31219708/32770624 swapFree=0/525120
[pid=30759] ppid=30756 vsize=26996 CPUtime=1182.37 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1621 0 0 0 118237 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5046440 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 26996
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 30891
/proc/meminfo: memFree=31219724/32770624 swapFree=0/525144
[pid=30759] ppid=30756 vsize=26996 CPUtime=1242.37 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1636 0 0 0 124237 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5312304 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1242.37
Current children cumulated vsize (KiB) 26996
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30893
/proc/meminfo: memFree=31223228/32770624 swapFree=0/525132
[pid=30759] ppid=30756 vsize=26996 CPUtime=1302.38 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1663 0 0 0 130238 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968333080 5047423 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1302.38
Current children cumulated vsize (KiB) 26996
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30895
/proc/meminfo: memFree=31223732/32770624 swapFree=0/525164
[pid=30759] ppid=30756 vsize=26996 CPUtime=1362.38 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1678 0 0 0 136238 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139499 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1362.38
Current children cumulated vsize (KiB) 26996
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30897
/proc/meminfo: memFree=31223840/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1422.4 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1704 0 0 0 142240 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5048027 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1422.4
Current children cumulated vsize (KiB) 26996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30899
/proc/meminfo: memFree=31223844/32770624 swapFree=0/525156
[pid=30759] ppid=30756 vsize=26996 CPUtime=1482.4 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1704 0 0 0 148240 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5327968 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1482.4
Current children cumulated vsize (KiB) 26996
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30759 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30899
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1484.9 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1704 0 0 0 148490 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5099674 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1484.9
Current children cumulated vsize (KiB) 26996
[startup+1510.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1510.51 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 151051 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5048580 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1510.51
Current children cumulated vsize (KiB) 26996
[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1523.3 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152330 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139324 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1523.3
Current children cumulated vsize (KiB) 26996
[startup+1526.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1526.5 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152650 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5046945 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1526.5
Current children cumulated vsize (KiB) 26996
[startup+1528.01 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1528.11 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152811 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5139281 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1528.11
Current children cumulated vsize (KiB) 26996
[startup+1528.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1528.9 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152890 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5046019 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1528.9
Current children cumulated vsize (KiB) 26996
[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1529.7 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152970 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5047658 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1529.7
Current children cumulated vsize (KiB) 26996
[startup+1529.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1529.9 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 152990 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5046148 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1529.9
Current children cumulated vsize (KiB) 26996
[startup+1529.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30900
/proc/meminfo: memFree=31223972/32770624 swapFree=0/525172
[pid=30759] ppid=30756 vsize=26996 CPUtime=1530 cores=1,3,5,7
/proc/30759/stat : 30759 (cosoco) R 30756 30759 21984 0 -1 4202496 1730 0 0 0 153000 0 0 0 20 0 1 0 56289500 27643904 876 18446744073709551615 4194304 5972588 140725968345888 140725968343336 5048586 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 17715200 140725968351726 140725968351821 140725968351821 140725968355278 0
/proc/30759/statm: 6749 876 776 435 0 112 0
Current children cumulated CPU time (s) 1530
Current children cumulated vsize (KiB) 26996
Child status: 0
Real time (s): 1529.96
CPU time (s): 1530.07
CPU user time (s): 1530.07
CPU system time (s): 0.001558
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 26996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1530.07
system time used= 0.001558
maximum resident set size= 3584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1786
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= 8
involuntary context switches= 385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46532 second user time and 5.1521 second system time
The end