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-4259974-1502034933/watcher-4259974-1502034933 -o /tmp/evaluation-result-4259974-1502034933/solver-4259974-1502034933 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259974-1502034933.xml
pid=27440
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.01 2.05 2/183 27443
/proc/meminfo: memFree=31743200/32770624 swapFree=0/329464
[pid=27443] ppid=27440 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27443/stat : 27443 (runsolver) D 27440 27443 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5687049 24240128 107 18446744073709551615 4194304 4338465 140733540975648 140733540973288 139951634146007 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 23003136 140733540982978 140733540983370 140733540983370 140733540986826 0
/proc/27443/statm: 5918 107 54 36 0 2156 0
[startup+0.100163 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 27443
/proc/meminfo: memFree=31743200/32770624 swapFree=0/329464
[pid=27443] ppid=27440 vsize=26776 CPUtime=0 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 965 0 0 0 0 0 0 0 20 0 1 0 5687049 27418624 759 18446744073709551615 4194304 5747388 140728442373568 140728442370216 5180172 0 0 1 0 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6694 759 677 380 0 112 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26776
[startup+0.200331 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 27443
/proc/meminfo: memFree=31743200/32770624 swapFree=0/329464
[pid=27443] ppid=27440 vsize=27032 CPUtime=0.1 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1077 0 0 0 10 0 0 0 20 0 1 0 5687049 27680768 862 18446744073709551615 4194304 5747388 140728442373568 140728442370216 5025371 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 862 725 380 0 176 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27032
[startup+0.300318 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 27443
/proc/meminfo: memFree=31743200/32770624 swapFree=0/329464
[pid=27443] ppid=27440 vsize=27032 CPUtime=0.2 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1077 0 0 0 20 0 0 0 20 0 1 0 5687049 27680768 862 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4946829 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 862 725 380 0 176 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27032
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 2/183 27443
/proc/meminfo: memFree=31743200/32770624 swapFree=0/329464
[pid=27443] ppid=27440 vsize=27032 CPUtime=0.6 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1077 0 0 0 60 0 0 0 20 0 1 0 5687049 27680768 862 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4873198 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 862 725 380 0 176 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 27032
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27444
/proc/meminfo: memFree=31742752/32770624 swapFree=0/329436
[pid=27443] ppid=27440 vsize=27032 CPUtime=1.4 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1077 0 0 0 140 0 0 0 20 0 1 0 5687049 27680768 862 18446744073709551615 4194304 5747388 140728442373568 140728442371096 5025413 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 862 725 380 0 176 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 27032
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27444
/proc/meminfo: memFree=31742412/32770624 swapFree=0/329484
[pid=27443] ppid=27440 vsize=27032 CPUtime=3 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1161 0 0 0 300 0 0 0 20 0 1 0 5687049 27680768 918 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4947159 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 918 760 380 0 176 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 27032
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27444
/proc/meminfo: memFree=31742144/32770624 swapFree=0/329492
[pid=27443] ppid=27440 vsize=27032 CPUtime=6.2 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1241 0 0 0 620 0 0 0 20 0 1 0 5687049 27680768 918 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4948706 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 918 760 380 0 176 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 27032
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27445
/proc/meminfo: memFree=31742276/32770624 swapFree=0/329492
[pid=27443] ppid=27440 vsize=27032 CPUtime=12.6 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1321 0 0 0 1260 0 0 0 20 0 1 0 5687049 27680768 918 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4947159 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 918 760 380 0 176 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 27032
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27445
/proc/meminfo: memFree=31745192/32770624 swapFree=0/329508
[pid=27443] ppid=27440 vsize=27032 CPUtime=25.4 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1486 0 0 0 2540 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4947744 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 27032
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27445
/proc/meminfo: memFree=31745192/32770624 swapFree=0/329520
[pid=27443] ppid=27440 vsize=27032 CPUtime=51 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1572 0 0 0 5100 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442371096 4947728 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27032
[startup+102.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 27447
/proc/meminfo: memFree=31744844/32770624 swapFree=0/329556
[pid=27443] ppid=27440 vsize=27032 CPUtime=102.2 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1653 0 0 0 10220 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442371096 5025579 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 27032
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 27449
/proc/meminfo: memFree=31744724/32770624 swapFree=0/329596
[pid=27443] ppid=27440 vsize=27032 CPUtime=162.18 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1757 0 0 0 16218 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025418 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27032
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 27451
/proc/meminfo: memFree=31744732/32770624 swapFree=0/329624
[pid=27443] ppid=27440 vsize=27032 CPUtime=222.18 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1842 0 0 0 22218 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025579 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 27032
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27453
/proc/meminfo: memFree=31745276/32770624 swapFree=0/329656
[pid=27443] ppid=27440 vsize=27032 CPUtime=282.17 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 1923 0 0 0 28217 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947744 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 27032
[startup+342.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 27455
/proc/meminfo: memFree=31744904/32770624 swapFree=0/329684
[pid=27443] ppid=27440 vsize=27032 CPUtime=342.17 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 2004 0 0 0 34217 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025413 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27032
[startup+402.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 27457
/proc/meminfo: memFree=31744764/32770624 swapFree=0/329708
[pid=27443] ppid=27440 vsize=27032 CPUtime=402.16 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 2085 0 0 0 40216 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947953 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 27032
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 27459
/proc/meminfo: memFree=31744764/32770624 swapFree=0/329740
[pid=27443] ppid=27440 vsize=27032 CPUtime=462.16 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 2170 0 0 0 46216 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946833 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 27032
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 27475
/proc/meminfo: memFree=31740224/32770624 swapFree=0/329796
[pid=27443] ppid=27440 vsize=27032 CPUtime=522.15 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 2251 0 0 0 52215 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946829 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 27032
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27477
/proc/meminfo: memFree=31740148/32770624 swapFree=0/329840
[pid=27443] ppid=27440 vsize=27032 CPUtime=582.15 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 2336 0 0 0 58215 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025404 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 27032
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 27550
/proc/meminfo: memFree=31742328/32770624 swapFree=0/330420
[pid=27443] ppid=27440 vsize=27032 CPUtime=1542.07 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 3621 0 0 0 154207 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947728 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 27032
[startup+1602.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 27552
/proc/meminfo: memFree=31742528/32770624 swapFree=0/330444
[pid=27443] ppid=27440 vsize=27032 CPUtime=1602.07 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 3702 0 0 0 160207 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025392 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 27032
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/182 27555
/proc/meminfo: memFree=31742216/32770624 swapFree=0/330476
[pid=27443] ppid=27440 vsize=27032 CPUtime=1662.06 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 3781 0 0 0 166206 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946959 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 27032
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 27572
/proc/meminfo: memFree=31737496/32770624 swapFree=0/330528
[pid=27443] ppid=27440 vsize=27032 CPUtime=1722.06 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 3861 0 0 0 172206 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947744 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 27032
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 27574
/proc/meminfo: memFree=31738256/32770624 swapFree=0/330564
[pid=27443] ppid=27440 vsize=27032 CPUtime=1782.06 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 3942 0 0 0 178206 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947272 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 27032
[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 27576
/proc/meminfo: memFree=31740692/32770624 swapFree=0/330596
[pid=27443] ppid=27440 vsize=27032 CPUtime=1842.06 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4022 0 0 0 184206 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946841 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 27032
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 27578
/proc/meminfo: memFree=31741640/32770624 swapFree=0/330628
[pid=27443] ppid=27440 vsize=27032 CPUtime=1902.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4102 0 0 0 190205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025404 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 27032
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 27580
/proc/meminfo: memFree=31742376/32770624 swapFree=0/330656
[pid=27443] ppid=27440 vsize=27032 CPUtime=1962.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4182 0 0 0 196205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025392 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 27032
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27582
/proc/meminfo: memFree=31742768/32770624 swapFree=0/330696
[pid=27443] ppid=27440 vsize=27032 CPUtime=2022.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4263 0 0 0 202205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025361 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 27032
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27584
/proc/meminfo: memFree=31742608/32770624 swapFree=0/330720
[pid=27443] ppid=27440 vsize=27032 CPUtime=2082.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4343 0 0 0 208205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947728 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 27032
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 27586
/proc/meminfo: memFree=31743012/32770624 swapFree=0/330752
[pid=27443] ppid=27440 vsize=27032 CPUtime=2142.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4423 0 0 0 214205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4949673 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 27032
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 27649
/proc/meminfo: memFree=31742092/32770624 swapFree=0/330728
[pid=27443] ppid=27440 vsize=27032 CPUtime=2202.05 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4503 0 0 0 220205 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025361 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 27032
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 27651
/proc/meminfo: memFree=31742612/32770624 swapFree=0/330888
[pid=27443] ppid=27440 vsize=27032 CPUtime=2262.04 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4584 0 0 0 226204 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947976 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 27032
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27668
/proc/meminfo: memFree=31736224/32770624 swapFree=0/330952
[pid=27443] ppid=27440 vsize=27032 CPUtime=2322.04 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4668 0 0 0 232204 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 5025404 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 27032
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27670
/proc/meminfo: memFree=31736528/32770624 swapFree=0/330980
[pid=27443] ppid=27440 vsize=27032 CPUtime=2382.04 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4748 0 0 0 238204 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4947470 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 27032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27670
/proc/meminfo: memFree=31736528/32770624 swapFree=0/330984
[pid=27443] ppid=27440 vsize=27032 CPUtime=2400.04 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4828 0 0 0 240004 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946833 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 27032
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 27443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27670
/proc/meminfo: memFree=31736528/32770624 swapFree=0/330984
[pid=27443] ppid=27440 vsize=27032 CPUtime=2400.04 cores=0,2,4,6
/proc/27443/stat : 27443 (cosoco) R 27440 27443 20633 0 -1 4202496 4828 0 0 0 240004 0 0 0 20 0 1 0 5687049 27680768 919 18446744073709551615 4194304 5747388 140728442373568 140728442360840 4946833 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 40624128 140728442380783 140728442380878 140728442380878 140728442384334 0
/proc/27443/statm: 6758 919 760 380 0 176 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 27032
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.005999
CPU usage (%): 99.9894
Max. virtual memory (cumulated for all children) (KiB): 27032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.005999
maximum resident set size= 3752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4885
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= 2601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2864 second user time and 8.5839 second system time
The end