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-4267690-1502512443/watcher-4267690-1502512443 -o /tmp/evaluation-result-4267690-1502512443/solver-4267690-1502512443 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267690-1502512443.xml
pid=29932
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: 2.00 1.99 2.03 4/187 29935
/proc/meminfo: memFree=30789312/32770624 swapFree=0/585300
[pid=29935] ppid=29932 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29935/stat : 29935 (runsolver) D 29932 29935 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98750626 24240128 107 18446744073709551615 4194304 4338465 140721692275888 140721692273528 140023462036183 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 25497600 140721692278977 140721692279369 140721692279369 140721692282826 0
/proc/29935/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.00 1.99 2.03 4/187 29935
/proc/meminfo: memFree=30789312/32770624 swapFree=0/585300
[pid=29935] ppid=29932 vsize=30312 CPUtime=0.03 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 1829 0 0 0 3 0 0 0 20 0 1 0 98750626 31039488 1668 18446744073709551615 4194304 5972588 140730814160816 140730814157464 5457694 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 7578 1668 742 435 0 941 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30312
[startup+0.200297 s]
/proc/loadavg: 2.00 1.99 2.03 4/187 29935
/proc/meminfo: memFree=30789312/32770624 swapFree=0/585300
[pid=29935] ppid=29932 vsize=33536 CPUtime=0.13 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 2683 0 0 0 13 0 0 0 20 0 1 0 98750626 34340864 2483 18446744073709551615 4194304 5972588 140730814160816 140730814157464 139699627469797 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 8384 2483 805 435 0 1747 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 33536
[startup+0.300275 s]
/proc/loadavg: 2.00 1.99 2.03 4/187 29935
/proc/meminfo: memFree=30789312/32770624 swapFree=0/585300
[pid=29935] ppid=29932 vsize=36604 CPUtime=0.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 3464 0 0 0 23 0 0 0 20 0 1 0 98750626 37482496 3248 18446744073709551615 4194304 5972588 140730814160816 140730814157464 139699627469797 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 9151 3248 805 435 0 2514 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 36604
[startup+0.700264 s]
/proc/loadavg: 2.00 1.99 2.03 4/187 29935
/proc/meminfo: memFree=30789312/32770624 swapFree=0/585300
[pid=29935] ppid=29932 vsize=52888 CPUtime=0.62 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 7556 0 0 0 62 0 0 0 20 0 1 0 98750626 54157312 7335 18446744073709551615 4194304 5972588 140730814160816 140730814153880 4962387 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 13222 7335 845 435 0 6585 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 52888
[startup+1.50023 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29936
/proc/meminfo: memFree=30761352/32770624 swapFree=0/585296
[pid=29935] ppid=29932 vsize=57376 CPUtime=1.43 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 8674 0 0 0 142 1 0 0 20 0 1 0 98750626 58753024 8457 18446744073709551615 4194304 5972588 140730814160816 140730814153880 4962387 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 14344 8457 845 435 0 7707 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 57376
[startup+3.10022 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29936
/proc/meminfo: memFree=30755800/32770624 swapFree=0/585308
[pid=29935] ppid=29932 vsize=64372 CPUtime=3.03 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 11153 0 0 0 302 1 0 0 20 0 1 0 98750626 65916928 10239 18446744073709551615 4194304 5972588 140730814160816 140730814157672 139699627469797 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 16093 10239 845 435 0 9456 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 64372
[startup+6.30022 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29936
/proc/meminfo: memFree=30738044/32770624 swapFree=0/585308
[pid=29935] ppid=29932 vsize=82192 CPUtime=6.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 16603 0 0 0 621 1 0 0 20 0 1 0 98750626 84164608 14731 18446744073709551615 4194304 5972588 140730814160816 140730814157672 4965744 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 20548 14731 845 435 0 13911 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 82192
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29936
/proc/meminfo: memFree=30702496/32770624 swapFree=0/585308
[pid=29935] ppid=29932 vsize=115984 CPUtime=12.63 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 26496 0 0 0 1260 3 0 0 20 0 1 0 98750626 118767616 23114 18446744073709551615 4194304 5972588 140730814160816 140730814157672 139699627469797 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 28996 23114 846 435 0 22359 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 115984
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29936
/proc/meminfo: memFree=30632580/32770624 swapFree=0/585312
[pid=29935] ppid=29932 vsize=185548 CPUtime=25.43 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 47262 0 0 0 2537 6 0 0 20 0 1 0 98750626 190001152 40532 18446744073709551615 4194304 5972588 140730814160816 140730814157672 139699627469797 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 46387 40532 846 435 0 39750 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 185548
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 29937
/proc/meminfo: memFree=30496072/32770624 swapFree=0/585320
[pid=29935] ppid=29932 vsize=320584 CPUtime=51.03 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 84590 0 0 0 5090 13 0 0 20 0 1 0 98750626 328278016 74315 18446744073709551615 4194304 5972588 140730814160816 140730814157672 139699627469797 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 80146 74315 846 435 0 73509 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 320584
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 29940
/proc/meminfo: memFree=30452244/32770624 swapFree=0/585336
[pid=29935] ppid=29932 vsize=364012 CPUtime=102.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 163728 0 0 0 10205 18 0 0 20 0 1 0 98750626 372748288 85187 18446744073709551615 4194304 5972588 140730814160816 140730814157672 4965428 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91003 85187 849 435 0 84366 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 364012
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 29942
/proc/meminfo: memFree=30449348/32770624 swapFree=0/585344
[pid=29935] ppid=29932 vsize=364276 CPUtime=162.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 178142 0 0 0 16204 19 0 0 20 0 1 0 98750626 373018624 85238 18446744073709551615 4194304 5972588 140730814160816 140730814157576 4965420 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91069 85238 849 435 0 84432 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 364276
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 29944
/proc/meminfo: memFree=30445904/32770624 swapFree=0/585356
[pid=29935] ppid=29932 vsize=364540 CPUtime=222.24 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 201192 0 0 0 22202 22 0 0 20 0 1 0 98750626 373288960 85279 18446744073709551615 4194304 5972588 140730814160816 140730814157736 5099674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91135 85279 849 435 0 84498 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 364540
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/185 29946
/proc/meminfo: memFree=30442088/32770624 swapFree=0/585364
[pid=29935] ppid=29932 vsize=364936 CPUtime=282.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 221635 0 0 0 28200 23 0 0 20 0 1 0 98750626 373694464 85437 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965744 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91234 85437 849 435 0 84597 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 364936
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/186 29950
/proc/meminfo: memFree=30437088/32770624 swapFree=0/585364
[pid=29935] ppid=29932 vsize=365464 CPUtime=342.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 225287 0 0 0 34200 23 0 0 20 0 1 0 98750626 374235136 85502 18446744073709551615 4194304 5972588 140730814160816 140730814157736 5071463 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91366 85502 849 435 0 84729 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 365464
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29952
/proc/meminfo: memFree=30434376/32770624 swapFree=0/585368
[pid=29935] ppid=29932 vsize=366520 CPUtime=402.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 225641 0 0 0 40199 23 0 0 20 0 1 0 98750626 375316480 85803 18446744073709551615 4194304 5972588 140730814160816 140730814157576 5071499 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91630 85803 849 435 0 84993 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 366520
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29954
/proc/meminfo: memFree=30432516/32770624 swapFree=0/585380
[pid=29935] ppid=29932 vsize=367312 CPUtime=462.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 226013 0 0 0 46199 23 0 0 20 0 1 0 98750626 376127488 85983 18446744073709551615 4194304 5972588 140730814160816 140730814157736 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 91828 85983 849 435 0 85191 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 367312
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29957
/proc/meminfo: memFree=30431424/32770624 swapFree=0/585392
[pid=29935] ppid=29932 vsize=368904 CPUtime=522.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 226490 0 0 0 52198 24 0 0 20 0 1 0 98750626 377757696 86406 18446744073709551615 4194304 5972588 140730814160816 140730814157672 5099674 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 92226 86406 849 435 0 85589 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 368904
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 29960
/proc/meminfo: memFree=30428808/32770624 swapFree=0/585400
[pid=29935] ppid=29932 vsize=370896 CPUtime=582.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 227057 0 0 0 58198 24 0 0 20 0 1 0 98750626 379797504 86868 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965753 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 92724 86868 849 435 0 86087 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 370896
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30026
/proc/meminfo: memFree=30392732/32770624 swapFree=0/585612
[pid=29935] ppid=29932 vsize=403500 CPUtime=1602.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 236706 0 0 0 160195 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4962387 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 403500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30029
/proc/meminfo: memFree=30392728/32770624 swapFree=0/585624
[pid=29935] ppid=29932 vsize=403500 CPUtime=1662.22 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 236829 0 0 0 166195 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965744 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 403500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 30031
/proc/meminfo: memFree=30393056/32770624 swapFree=0/585640
[pid=29935] ppid=29932 vsize=403500 CPUtime=1722.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 236922 0 0 0 172196 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965416 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 403500
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 30033
/proc/meminfo: memFree=30393056/32770624 swapFree=0/585656
[pid=29935] ppid=29932 vsize=403500 CPUtime=1782.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237014 0 0 0 178196 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965428 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 403500
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 30051
/proc/meminfo: memFree=30388596/32770624 swapFree=0/585668
[pid=29935] ppid=29932 vsize=403500 CPUtime=1842.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237088 0 0 0 184196 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4962376 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 403500
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30053
/proc/meminfo: memFree=30392000/32770624 swapFree=0/585672
[pid=29935] ppid=29932 vsize=403500 CPUtime=1902.23 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237199 0 0 0 190196 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5071411 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 403500
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 30055
/proc/meminfo: memFree=30392548/32770624 swapFree=0/585684
[pid=29935] ppid=29932 vsize=403500 CPUtime=1962.24 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237280 0 0 0 196197 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965744 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 403500
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 30057
/proc/meminfo: memFree=30392804/32770624 swapFree=0/585696
[pid=29935] ppid=29932 vsize=403500 CPUtime=2022.24 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237367 0 0 0 202197 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5053069 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 403500
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 30059
/proc/meminfo: memFree=30393184/32770624 swapFree=0/585712
[pid=29935] ppid=29932 vsize=403500 CPUtime=2082.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237476 0 0 0 208198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5070704 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 403500
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 30063
/proc/meminfo: memFree=30392520/32770624 swapFree=0/585728
[pid=29935] ppid=29932 vsize=403500 CPUtime=2142.24 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237549 0 0 0 214197 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5071517 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 403500
[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 30065
/proc/meminfo: memFree=30392772/32770624 swapFree=0/585732
[pid=29935] ppid=29932 vsize=403500 CPUtime=2202.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237629 0 0 0 220198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5099674 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 403500
[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 30067
/proc/meminfo: memFree=30392648/32770624 swapFree=0/585744
[pid=29935] ppid=29932 vsize=403500 CPUtime=2262.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237719 0 0 0 226198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5099674 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 403500
[startup+2322.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/185 30131
/proc/meminfo: memFree=30616108/32770624 swapFree=0/585756
[pid=29935] ppid=29932 vsize=403500 CPUtime=2322.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237755 0 0 0 232198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965744 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 403500
[startup+2382.3 s]
/proc/loadavg: 1.94 2.00 2.03 4/186 30197
/proc/meminfo: memFree=30615472/32770624 swapFree=0/585764
[pid=29935] ppid=29932 vsize=403500 CPUtime=2382.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237849 0 0 0 238198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5070711 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 403500
[startup+2442.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/188 30213
/proc/meminfo: memFree=30611168/32770624 swapFree=0/585784
[pid=29935] ppid=29932 vsize=403500 CPUtime=2442.25 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 237941 0 0 0 244198 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 4965753 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 403500
[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/189 30240
/proc/meminfo: memFree=30609344/32770624 swapFree=0/585788
[pid=29935] ppid=29932 vsize=403500 CPUtime=2502.26 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 238018 0 0 0 250199 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5070704 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 403500
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.01 2.04 3/189 30240
/proc/meminfo: memFree=30609840/32770624 swapFree=0/585788
[pid=29935] ppid=29932 vsize=403500 CPUtime=2519.96 cores=1,3,5,7
/proc/29935/stat : 29935 (cosoco) R 29932 29935 24445 0 -1 4202496 238035 0 0 0 251969 27 0 0 20 0 1 0 98750626 413184000 95055 18446744073709551615 4194304 5972588 140730814160816 140730814157592 5071499 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 14032896 140730814165486 140730814165581 140730814165581 140730814169038 0
/proc/29935/statm: 100875 95055 849 435 0 94238 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 403500
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 29935 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.97
CPU user time (s): 2519.69
CPU system time (s): 0.276004
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 403500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.276004
maximum resident set size= 380292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238087
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= 1930
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27638 second user time and 10.2397 second system time
The end