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-4259976-1502034195/watcher-4259976-1502034195 -o /tmp/evaluation-result-4259976-1502034195/solver-4259976-1502034195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30675 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259976-1502034195.xml
pid=1256
running on 4 cores: 1,3,5,7
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: 1.99 2.00 2.03 3/185 1259
/proc/meminfo: memFree=31467596/32770624 swapFree=0/446756
[pid=1259] ppid=1256 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (runsolver) D 1256 1259 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50925520 24240128 106 18446744073709551615 4194304 4338465 140731293481888 140731293479528 140540008927959 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18042880 140731293487297 140731293487689 140731293487689 140731293491146 0
/proc/1259/statm: 5918 106 53 36 0 2156 0
[startup+0.10087 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 1259
/proc/meminfo: memFree=31467596/32770624 swapFree=0/446756
[pid=1259] ppid=1256 vsize=29136 CPUtime=0.04 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 1548 0 0 0 4 0 0 0 20 0 1 0 50925520 29835264 1356 18446744073709551615 4194304 5747388 140725888759184 140725888752904 5274419 0 0 1 0 0 0 0 17 7 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 7284 1356 727 380 0 702 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29136
[startup+0.200868 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 1259
/proc/meminfo: memFree=31467596/32770624 swapFree=0/446756
[pid=1259] ppid=1256 vsize=29664 CPUtime=0.14 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 1687 0 0 0 14 0 0 0 20 0 1 0 50925520 30375936 1518 18446744073709551615 4194304 5747388 140725888759184 140725888754680 5011167 0 0 1 0 0 0 0 17 7 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 7416 1518 729 380 0 834 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 29664
[startup+0.300868 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 1259
/proc/meminfo: memFree=31467596/32770624 swapFree=0/446756
[pid=1259] ppid=1256 vsize=29796 CPUtime=0.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 1772 0 0 0 24 0 0 0 20 0 1 0 50925520 30511104 1584 18446744073709551615 4194304 5747388 140725888759184 140725888746472 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 7449 1584 735 380 0 867 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 29796
[startup+0.700248 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 1259
/proc/meminfo: memFree=31467596/32770624 swapFree=0/446756
[pid=1259] ppid=1256 vsize=37080 CPUtime=0.64 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 3573 0 0 0 64 0 0 0 20 0 1 0 50925520 37969920 3366 18446744073709551615 4194304 5747388 140725888759184 140725888756200 4947292 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 9270 3366 761 380 0 2688 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 37080
[startup+1.50022 s]
/proc/loadavg: 1.99 2.00 2.03 3/186 1260
/proc/meminfo: memFree=31456932/32770624 swapFree=0/446768
[pid=1259] ppid=1256 vsize=37344 CPUtime=1.44 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 3656 0 0 0 144 0 0 0 20 0 1 0 50925520 38240256 3432 18446744073709551615 4194304 5747388 140725888759184 140725888755912 4942460 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 9336 3432 761 380 0 2754 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 37344
[startup+3.10022 s]
/proc/loadavg: 1.99 2.00 2.03 3/186 1260
/proc/meminfo: memFree=31456188/32770624 swapFree=0/446768
[pid=1259] ppid=1256 vsize=41488 CPUtime=3.03 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 7177 0 0 0 303 0 0 0 20 0 1 0 50925520 42483712 4494 18446744073709551615 4194304 5747388 140725888759184 140725888755912 5025344 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 10372 4494 761 380 0 3790 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 41488
[startup+6.30022 s]
/proc/loadavg: 1.99 2.00 2.03 3/186 1260
/proc/meminfo: memFree=31450448/32770624 swapFree=0/446768
[pid=1259] ppid=1256 vsize=42956 CPUtime=6.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 10571 0 0 0 623 1 0 0 20 0 1 0 50925520 43986944 4887 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4995152 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 10739 4887 761 380 0 4157 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 42956
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.03 3/186 1261
/proc/meminfo: memFree=31448376/32770624 swapFree=0/446776
[pid=1259] ppid=1256 vsize=44556 CPUtime=12.64 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 14697 0 0 0 1263 1 0 0 20 0 1 0 50925520 45625344 5309 18446744073709551615 4194304 5747388 140725888759184 140725888755912 5142932 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11139 5309 761 380 0 4557 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 44556
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.03 3/186 1261
/proc/meminfo: memFree=31447880/32770624 swapFree=0/446788
[pid=1259] ppid=1256 vsize=45088 CPUtime=25.44 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 21652 0 0 0 2543 1 0 0 20 0 1 0 50925520 46170112 5415 18446744073709551615 4194304 5747388 140725888759184 140725888755928 4940624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11272 5415 761 380 0 4690 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45088
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 1275
/proc/meminfo: memFree=31443568/32770624 swapFree=0/446820
[pid=1259] ppid=1256 vsize=45356 CPUtime=51.03 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 24844 0 0 0 5102 1 0 0 20 0 1 0 50925520 46444544 5499 18446744073709551615 4194304 5747388 140725888759184 140725888755912 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11339 5499 761 380 0 4757 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 45356
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 1277
/proc/meminfo: memFree=31442928/32770624 swapFree=0/446840
[pid=1259] ppid=1256 vsize=45896 CPUtime=102.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 25547 0 0 0 10223 1 0 0 20 0 1 0 50925520 46997504 5581 18446744073709551615 4194304 5747388 140725888759184 140725888755912 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11474 5581 761 380 0 4892 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 45896
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 1279
/proc/meminfo: memFree=31445960/32770624 swapFree=0/446864
[pid=1259] ppid=1256 vsize=46032 CPUtime=162.23 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 26186 0 0 0 16222 1 0 0 20 0 1 0 50925520 47136768 5642 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4947292 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5642 761 380 0 4926 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 46032
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 1281
/proc/meminfo: memFree=31446200/32770624 swapFree=0/446896
[pid=1259] ppid=1256 vsize=46032 CPUtime=222.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 26783 0 0 0 22223 1 0 0 20 0 1 0 50925520 47136768 5650 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025380 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5650 761 380 0 4926 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46032
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 1283
/proc/meminfo: memFree=31446464/32770624 swapFree=0/446932
[pid=1259] ppid=1256 vsize=46032 CPUtime=282.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 27349 0 0 0 28223 1 0 0 20 0 1 0 50925520 47136768 5653 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025344 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5653 761 380 0 4926 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 1286
/proc/meminfo: memFree=31446448/32770624 swapFree=0/446960
[pid=1259] ppid=1256 vsize=46032 CPUtime=342.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 27895 0 0 0 34223 1 0 0 20 0 1 0 50925520 47136768 5655 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5655 761 380 0 4926 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 46032
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/186 1289
/proc/meminfo: memFree=31446440/32770624 swapFree=0/446972
[pid=1259] ppid=1256 vsize=46032 CPUtime=402.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 28418 0 0 0 40223 1 0 0 20 0 1 0 50925520 47136768 5655 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940334 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5655 761 380 0 4926 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 46032
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 1413
/proc/meminfo: memFree=31455040/32770624 swapFree=0/447060
[pid=1259] ppid=1256 vsize=46032 CPUtime=462.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 28940 0 0 0 46223 1 0 0 20 0 1 0 50925520 47136768 5655 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4947288 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5655 761 380 0 4926 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 46032
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 1415
/proc/meminfo: memFree=31454812/32770624 swapFree=0/447072
[pid=1259] ppid=1256 vsize=46032 CPUtime=522.24 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 29431 0 0 0 52223 1 0 0 20 0 1 0 50925520 47136768 5655 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940172 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5655 761 380 0 4926 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 46032
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1417
/proc/meminfo: memFree=31454192/32770624 swapFree=0/447092
[pid=1259] ppid=1256 vsize=46032 CPUtime=582.25 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 29915 0 0 0 58224 1 0 0 20 0 1 0 50925520 47136768 5655 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025371 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5655 761 380 0 4926 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 46032
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 1480
/proc/meminfo: memFree=31451936/32770624 swapFree=0/447444
[pid=1259] ppid=1256 vsize=46032 CPUtime=1482.28 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 35936 0 0 0 148226 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4947624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 46032
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1483
/proc/meminfo: memFree=31452308/32770624 swapFree=0/447472
[pid=1259] ppid=1256 vsize=46032 CPUtime=1542.29 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 36423 0 0 0 154227 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940680 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 46032
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1486
/proc/meminfo: memFree=31452256/32770624 swapFree=0/447492
[pid=1259] ppid=1256 vsize=46032 CPUtime=1602.29 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 36785 0 0 0 160227 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940172 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 46032
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1488
/proc/meminfo: memFree=31452280/32770624 swapFree=0/447520
[pid=1259] ppid=1256 vsize=46032 CPUtime=1662.29 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 37267 0 0 0 166227 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4947288 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 46032
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1490
/proc/meminfo: memFree=31452040/32770624 swapFree=0/447552
[pid=1259] ppid=1256 vsize=46032 CPUtime=1722.29 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 37635 0 0 0 172227 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940175 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 46032
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 1493
/proc/meminfo: memFree=31452296/32770624 swapFree=0/447592
[pid=1259] ppid=1256 vsize=46032 CPUtime=1782.29 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 37937 0 0 0 178227 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 46032
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 1496
/proc/meminfo: memFree=31451932/32770624 swapFree=0/447600
[pid=1259] ppid=1256 vsize=46032 CPUtime=1842.3 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 38424 0 0 0 184228 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025344 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 46032
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1513
/proc/meminfo: memFree=31448644/32770624 swapFree=0/447672
[pid=1259] ppid=1256 vsize=46032 CPUtime=1902.3 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 38429 0 0 0 190228 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025344 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 46032
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 1540
/proc/meminfo: memFree=31447196/32770624 swapFree=0/447724
[pid=1259] ppid=1256 vsize=46032 CPUtime=1962.3 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 38789 0 0 0 196228 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940532 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 46032
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1542
/proc/meminfo: memFree=31451344/32770624 swapFree=0/447768
[pid=1259] ppid=1256 vsize=46032 CPUtime=2022.3 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 39144 0 0 0 202228 2 0 0 20 0 1 0 50925520 47136768 5659 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5000090 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5659 761 380 0 4926 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 46032
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1544
/proc/meminfo: memFree=31451208/32770624 swapFree=0/447788
[pid=1259] ppid=1256 vsize=46032 CPUtime=2082.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 39636 0 0 0 208229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025409 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 46032
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1546
/proc/meminfo: memFree=31451728/32770624 swapFree=0/447812
[pid=1259] ppid=1256 vsize=46032 CPUtime=2142.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 39645 0 0 0 214229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 46032
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1548
/proc/meminfo: memFree=31451504/32770624 swapFree=0/447824
[pid=1259] ppid=1256 vsize=46032 CPUtime=2202.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 40009 0 0 0 220229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4947292 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 46032
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/184 1550
/proc/meminfo: memFree=31451404/32770624 swapFree=0/447848
[pid=1259] ppid=1256 vsize=46032 CPUtime=2262.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 40495 0 0 0 226229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4942478 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 46032
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 1553
/proc/meminfo: memFree=31451024/32770624 swapFree=0/447852
[pid=1259] ppid=1256 vsize=46032 CPUtime=2322.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 40975 0 0 0 232229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025581 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 46032
[startup+2382.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/186 1556
/proc/meminfo: memFree=31451516/32770624 swapFree=0/447868
[pid=1259] ppid=1256 vsize=46032 CPUtime=2382.31 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 41269 0 0 0 238229 2 0 0 20 0 1 0 50925520 47136768 5667 18446744073709551615 4194304 5747388 140725888759184 140725888756040 5025392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5667 761 380 0 4926 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 46032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 1556
/proc/meminfo: memFree=31451396/32770624 swapFree=0/447876
[pid=1259] ppid=1256 vsize=46032 CPUtime=2400.01 cores=1,3,5,7
/proc/1259/stat : 1259 (cosoco) R 1256 1259 25139 0 -1 4202496 41533 0 0 0 239999 2 0 0 20 0 1 0 50925520 47136768 5672 18446744073709551615 4194304 5747388 140725888759184 140725888756040 4940186 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7845728 7850568 9383936 140725888762350 140725888762445 140725888762445 140725888765902 0
/proc/1259/statm: 11508 5672 761 380 0 4926 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 46032
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 1259 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.02
CPU user time (s): 2400
CPU system time (s): 0.022
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 46032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.022
maximum resident set size= 22764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41585
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= 18
involuntary context switches= 902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39171 second user time and 7.26105 second system time
The end