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-4260232-1502025158/watcher-4260232-1502025158 -o /tmp/evaluation-result-4260232-1502025158/solver-4260232-1502025158 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260232-1502025158.xml
pid=24466
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.02 2.02 2.05 3/180 24469
/proc/meminfo: memFree=31672876/32770624 swapFree=0/341296
[pid=24469] ppid=24466 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24469/stat : 24469 (runsolver) D 24466 24469 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4711642 24240128 106 18446744073709551615 4194304 4338465 140728454515168 140728454512808 140070983819991 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 34017280 140728454516930 140728454517322 140728454517322 140728454520778 0
/proc/24469/statm: 5918 106 53 36 0 2156 0
[startup+0.103276 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 24469
/proc/meminfo: memFree=31672876/32770624 swapFree=0/341296
[pid=24469] ppid=24466 vsize=26912 CPUtime=0 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 4711642 27557888 759 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5172073 0 0 1 0 0 0 0 17 6 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 6728 759 678 380 0 146 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26912
[startup+0.200275 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 24469
/proc/meminfo: memFree=31672876/32770624 swapFree=0/341296
[pid=24469] ppid=24466 vsize=28384 CPUtime=0.1 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 1401 0 0 0 10 0 0 0 20 0 1 0 4711642 29065216 1078 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5478402 0 0 1 0 0 0 0 17 6 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 7096 1078 702 380 0 514 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28384
[startup+0.300274 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 24469
/proc/meminfo: memFree=31672876/32770624 swapFree=0/341296
[pid=24469] ppid=24466 vsize=29944 CPUtime=0.2 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 1880 0 0 0 20 0 0 0 20 0 1 0 4711642 30662656 1366 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5478390 0 0 1 0 0 0 0 17 6 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 7486 1366 702 380 0 904 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29944
[startup+0.700197 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 24469
/proc/meminfo: memFree=31672876/32770624 swapFree=0/341296
[pid=24469] ppid=24466 vsize=38572 CPUtime=0.6 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 4315 0 0 0 60 0 0 0 20 0 1 0 4711642 39497728 3561 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5477604 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 9643 3561 705 380 0 3061 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 38572
[startup+1.50018 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24470
/proc/meminfo: memFree=31658340/32770624 swapFree=0/341464
[pid=24469] ppid=24466 vsize=46080 CPUtime=1.39 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 6066 0 0 0 139 0 0 0 20 0 1 0 4711642 47185920 5343 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5478119 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 11520 5343 705 380 0 4938 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 46080
[startup+3.10019 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24470
/proc/meminfo: memFree=31647964/32770624 swapFree=0/341260
[pid=24469] ppid=24466 vsize=65484 CPUtime=3 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 12038 0 0 0 299 1 0 0 20 0 1 0 4711642 67055616 9648 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5186938 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 16371 9648 705 380 0 9789 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 65484
[startup+6.30019 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24470
/proc/meminfo: memFree=31614372/32770624 swapFree=0/341268
[pid=24469] ppid=24466 vsize=99264 CPUtime=6.2 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 21201 0 0 0 615 5 0 0 20 0 1 0 4711642 101646336 17200 18446744073709551615 4194304 5747388 140728253775040 140728253769752 5476818 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 24816 17200 706 380 0 18234 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 99264
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24470
/proc/meminfo: memFree=31548452/32770624 swapFree=0/341268
[pid=24469] ppid=24466 vsize=166936 CPUtime=12.6 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 38830 0 0 0 1253 7 0 0 20 0 1 0 4711642 170942464 33084 18446744073709551615 4194304 5747388 140728253775040 140728253771688 5181225 0 0 1 0 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 41734 33084 706 380 0 35152 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 166936
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24471
/proc/meminfo: memFree=31514700/32770624 swapFree=0/341288
[pid=24469] ppid=24466 vsize=196988 CPUtime=25.39 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 118920 0 0 0 2528 11 0 0 20 0 1 0 4711642 201715712 40409 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892873 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 40409 749 380 0 42665 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 196988
[startup+51.1004 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 24471
/proc/meminfo: memFree=31514700/32770624 swapFree=0/341324
[pid=24469] ppid=24466 vsize=196988 CPUtime=50.99 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 157879 0 0 0 5087 12 0 0 20 0 1 0 4711642 201715712 40409 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892736 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 40409 749 380 0 42665 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 196988
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 24488
/proc/meminfo: memFree=31504108/32770624 swapFree=0/341416
[pid=24469] ppid=24466 vsize=196988 CPUtime=102.18 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 191115 0 0 0 10205 13 0 0 20 0 1 0 4711642 201715712 41709 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893982 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 41709 749 380 0 42665 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 196988
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 24515
/proc/meminfo: memFree=31495460/32770624 swapFree=0/341508
[pid=24469] ppid=24466 vsize=196988 CPUtime=162.15 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 205887 0 0 0 16201 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 196988
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31496996/32770624 swapFree=0/341568
[pid=24469] ppid=24466 vsize=196988 CPUtime=222.15 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 206442 0 0 0 22201 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 196988
[startup+282.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/183 24579
/proc/meminfo: memFree=31501612/32770624 swapFree=0/341652
[pid=24469] ppid=24466 vsize=196988 CPUtime=282.14 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 206997 0 0 0 28200 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893984 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 196988
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 24581
/proc/meminfo: memFree=31501772/32770624 swapFree=0/341736
[pid=24469] ppid=24466 vsize=196988 CPUtime=342.14 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 207552 0 0 0 34200 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 196988
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 24583
/proc/meminfo: memFree=31502492/32770624 swapFree=0/341812
[pid=24469] ppid=24466 vsize=196988 CPUtime=402.13 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 208107 0 0 0 40199 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 196988
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24585
/proc/meminfo: memFree=31502232/32770624 swapFree=0/341856
[pid=24469] ppid=24466 vsize=196988 CPUtime=462.12 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 208662 0 0 0 46198 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 196988
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 24587
/proc/meminfo: memFree=31502484/32770624 swapFree=0/341904
[pid=24469] ppid=24466 vsize=196988 CPUtime=522.12 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 209217 0 0 0 52198 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892817 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 196988
[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 24589
/proc/meminfo: memFree=31502220/32770624 swapFree=0/341948
[pid=24469] ppid=24466 vsize=196988 CPUtime=582.11 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 209772 0 0 0 58197 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 196988
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 24649
/proc/meminfo: memFree=31499608/32770624 swapFree=0/342608
[pid=24469] ppid=24466 vsize=196988 CPUtime=1482.03 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 216308 0 0 0 148189 14 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893982 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 196988
[startup+1542.31 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 24651
/proc/meminfo: memFree=31499584/32770624 swapFree=0/342652
[pid=24469] ppid=24466 vsize=196988 CPUtime=1542.04 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 216802 0 0 0 154189 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 196988
[startup+1602.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/181 24654
/proc/meminfo: memFree=31499624/32770624 swapFree=0/342684
[pid=24469] ppid=24466 vsize=196988 CPUtime=1602.03 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 217051 0 0 0 160188 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892736 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 196988
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/181 24656
/proc/meminfo: memFree=31499724/32770624 swapFree=0/342716
[pid=24469] ppid=24466 vsize=196988 CPUtime=1662.02 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 217606 0 0 0 166187 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 196988
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/181 24658
/proc/meminfo: memFree=31499980/32770624 swapFree=0/342748
[pid=24469] ppid=24466 vsize=196988 CPUtime=1722.02 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 217821 0 0 0 172187 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 196988
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 24661
/proc/meminfo: memFree=31499976/32770624 swapFree=0/342796
[pid=24469] ppid=24466 vsize=196988 CPUtime=1782.01 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 218034 0 0 0 178186 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893982 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 196988
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 24663
/proc/meminfo: memFree=31499692/32770624 swapFree=0/342828
[pid=24469] ppid=24466 vsize=196988 CPUtime=1842.01 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 218589 0 0 0 184186 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4894096 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 196988
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 24680
/proc/meminfo: memFree=31495928/32770624 swapFree=0/342892
[pid=24469] ppid=24466 vsize=196988 CPUtime=1902 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 218845 0 0 0 190185 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 196988
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 24682
/proc/meminfo: memFree=31495936/32770624 swapFree=0/342936
[pid=24469] ppid=24466 vsize=196988 CPUtime=1962 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 219076 0 0 0 196185 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 196988
[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 24684
/proc/meminfo: memFree=31498944/32770624 swapFree=0/342972
[pid=24469] ppid=24466 vsize=196988 CPUtime=2021.99 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 219631 0 0 0 202184 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4894018 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 196988
[startup+2082.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 24686
/proc/meminfo: memFree=31498904/32770624 swapFree=0/343004
[pid=24469] ppid=24466 vsize=196988 CPUtime=2081.99 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 219879 0 0 0 208184 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893982 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 196988
[startup+2142.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/182 24688
/proc/meminfo: memFree=31499524/32770624 swapFree=0/343040
[pid=24469] ppid=24466 vsize=196988 CPUtime=2141.98 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 220123 0 0 0 214183 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 196988
[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 24690
/proc/meminfo: memFree=31499732/32770624 swapFree=0/343076
[pid=24469] ppid=24466 vsize=196988 CPUtime=2201.98 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 220651 0 0 0 220183 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893982 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 196988
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 24692
/proc/meminfo: memFree=31499872/32770624 swapFree=0/343104
[pid=24469] ppid=24466 vsize=196988 CPUtime=2261.97 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 220866 0 0 0 226182 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892813 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 196988
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 24694
/proc/meminfo: memFree=31499588/32770624 swapFree=0/343136
[pid=24469] ppid=24466 vsize=196988 CPUtime=2321.97 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 221114 0 0 0 232182 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 196988
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 24696
/proc/meminfo: memFree=31499596/32770624 swapFree=0/343168
[pid=24469] ppid=24466 vsize=196988 CPUtime=2381.96 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 221669 0 0 0 238181 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 196988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.02 2.05 4/182 24697
/proc/meminfo: memFree=31499332/32770624 swapFree=0/343180
[pid=24469] ppid=24466 vsize=196988 CPUtime=2400.06 cores=0,2,4,6
/proc/24469/stat : 24469 (cosoco) R 24466 24469 21827 0 -1 4202496 221886 0 0 0 239991 15 0 0 20 0 1 0 4711642 201715712 43303 18446744073709551615 4194304 5747388 140728253775040 140728253772440 4892815 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 36937728 140728253780463 140728253780558 140728253780558 140728253784014 0
/proc/24469/statm: 49247 43303 749 380 0 42665 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 196988
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 24469 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2399.91
CPU system time (s): 0.151986
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 196988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.151986
maximum resident set size= 173280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221936
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= 58
involuntary context switches= 3019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34633 second user time and 9.07317 second system time
The end