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-4267624-1502527762/watcher-4267624-1502527762 -o /tmp/evaluation-result-4267624-1502527762/solver-4267624-1502527762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22047 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267624-1502527762.xml
pid=29146
running on 4 cores: 0,2,4,6
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 2.01 2.05 2/180 29149
/proc/meminfo: memFree=31226836/32770624 swapFree=0/522716
[pid=29149] ppid=29146 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29149/stat : 29149 (runsolver) D 29146 29149 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 54996910 24240128 108 18446744073709551615 4194304 4338465 140729429978288 140729429975928 139635341267671 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 13873152 140729429983425 140729429983817 140729429983817 140729429987274 0
/proc/29149/statm: 5918 108 54 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 29149
/proc/meminfo: memFree=31226836/32770624 swapFree=0/522716
[pid=29149] ppid=29146 vsize=27128 CPUtime=0.01 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 992 0 0 0 1 0 0 0 20 0 1 0 54996910 27779072 832 18446744073709551615 4194304 5972588 140732135557008 140732135553656 5675326 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 6782 832 716 435 0 145 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27128
[startup+0.200339 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 29149
/proc/meminfo: memFree=31226836/32770624 swapFree=0/522716
[pid=29149] ppid=29146 vsize=27588 CPUtime=0.11 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 1106 0 0 0 11 0 0 0 20 0 1 0 54996910 28250112 898 18446744073709551615 4194304 5972588 140732135557008 140732135553656 5401421 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 6897 898 716 435 0 260 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27588
[startup+0.300318 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 29149
/proc/meminfo: memFree=31226836/32770624 swapFree=0/522716
[pid=29149] ppid=29146 vsize=30164 CPUtime=0.21 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 1809 0 0 0 21 0 0 0 20 0 1 0 54996910 30887936 1558 18446744073709551615 4194304 5972588 140732135557008 140732135553656 140093777528669 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 7541 1558 786 435 0 904 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 30164
[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 29149
/proc/meminfo: memFree=31226836/32770624 swapFree=0/522716
[pid=29149] ppid=29146 vsize=41736 CPUtime=0.61 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 4713 0 0 0 61 0 0 0 20 0 1 0 54996910 42737664 4462 18446744073709551615 4194304 5972588 140732135557008 140732135550568 140093777538021 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 10434 4462 786 435 0 3797 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 41736
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29150
/proc/meminfo: memFree=31200492/32770624 swapFree=0/522720
[pid=29149] ppid=29146 vsize=64996 CPUtime=1.41 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 10531 0 0 0 140 1 0 0 20 0 1 0 54996910 66555904 10270 18446744073709551615 4194304 5972588 140732135557008 140732135550568 140093777538021 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 16249 10270 786 435 0 9612 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 64996
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29150
/proc/meminfo: memFree=31168004/32770624 swapFree=0/522720
[pid=29149] ppid=29146 vsize=111396 CPUtime=3.01 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 22202 0 0 0 299 2 0 0 20 0 1 0 54996910 114069504 21872 18446744073709551615 4194304 5972588 140732135557008 140732135550568 140093777535773 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 27849 21872 786 435 0 21212 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 111396
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29150
/proc/meminfo: memFree=31072392/32770624 swapFree=0/522720
[pid=29149] ppid=29146 vsize=203780 CPUtime=6.2 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 45422 0 0 0 614 6 0 0 20 0 1 0 54996910 208670720 44986 18446744073709551615 4194304 5972588 140732135557008 140732135550568 4967517 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 50945 44986 786 435 0 44308 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 203780
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29150
/proc/meminfo: memFree=30820112/32770624 swapFree=0/522712
[pid=29149] ppid=29146 vsize=432820 CPUtime=12.6 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 138193 0 0 0 1244 16 0 0 20 0 1 0 54996910 443207680 102365 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965342 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 108205 102365 832 435 0 101568 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 432820
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29150
/proc/meminfo: memFree=30745464/32770624 swapFree=0/522712
[pid=29149] ppid=29146 vsize=507136 CPUtime=25.41 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 226623 0 0 0 2519 22 0 0 20 0 1 0 54996910 519307264 120939 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4909643 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 126784 120939 832 435 0 120147 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 507136
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 29151
/proc/meminfo: memFree=30715076/32770624 swapFree=0/522712
[pid=29149] ppid=29146 vsize=536836 CPUtime=51.01 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 314915 0 0 0 5075 26 0 0 20 0 1 0 54996910 549720064 128327 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4909584 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 134209 128327 832 435 0 127572 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 536836
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29152
/proc/meminfo: memFree=30582916/32770624 swapFree=0/522728
[pid=29149] ppid=29146 vsize=669100 CPUtime=102.21 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 456270 0 0 0 10186 35 0 0 20 0 1 0 54996910 685158400 161445 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4909660 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 167275 161445 832 435 0 160638 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 669100
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29154
/proc/meminfo: memFree=30558772/32770624 swapFree=0/522736
[pid=29149] ppid=29146 vsize=693256 CPUtime=162.21 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 546107 0 0 0 16180 41 0 0 20 0 1 0 54996910 709894144 167489 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4962387 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 173314 167489 833 435 0 166677 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 693256
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 29156
/proc/meminfo: memFree=30549256/32770624 swapFree=0/522748
[pid=29149] ppid=29146 vsize=703024 CPUtime=222.21 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 655179 0 0 0 22174 47 0 0 20 0 1 0 54996910 719896576 169909 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 175756 169909 833 435 0 169119 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 703024
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29158
/proc/meminfo: memFree=30546568/32770624 swapFree=0/522752
[pid=29149] ppid=29146 vsize=705004 CPUtime=282.21 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 700537 0 0 0 28172 49 0 0 20 0 1 0 54996910 721924096 170439 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4962376 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 176251 170439 833 435 0 169614 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 705004
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 29175
/proc/meminfo: memFree=30539864/32770624 swapFree=0/522780
[pid=29149] ppid=29146 vsize=706456 CPUtime=342.2 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 759018 0 0 0 34168 52 0 0 20 0 1 0 54996910 723410944 170800 18446744073709551615 4194304 5972588 140732135557008 140732135553864 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 176614 170800 833 435 0 169977 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 706456
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 29177
/proc/meminfo: memFree=30541348/32770624 swapFree=0/522784
[pid=29149] ppid=29146 vsize=708964 CPUtime=402.19 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 792505 0 0 0 40164 55 0 0 20 0 1 0 54996910 725979136 171410 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965339 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 177241 171410 833 435 0 170604 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 708964
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 29179
/proc/meminfo: memFree=30540772/32770624 swapFree=0/522800
[pid=29149] ppid=29146 vsize=709624 CPUtime=462.19 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 796319 0 0 0 46164 55 0 0 20 0 1 0 54996910 726654976 171563 18446744073709551615 4194304 5972588 140732135557008 140732135553864 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 177406 171563 833 435 0 170769 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 709624
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 29181
/proc/meminfo: memFree=30540336/32770624 swapFree=0/522812
[pid=29149] ppid=29146 vsize=710020 CPUtime=522.19 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 796879 0 0 0 52164 55 0 0 20 0 1 0 54996910 727060480 171652 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965342 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 177505 171652 833 435 0 170868 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 710020
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 29183
/proc/meminfo: memFree=30540336/32770624 swapFree=0/522824
[pid=29149] ppid=29146 vsize=710152 CPUtime=582.19 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 797604 0 0 0 58164 55 0 0 20 0 1 0 54996910 727195648 171719 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965760 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 177538 171719 833 435 0 170901 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 710152
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29271
/proc/meminfo: memFree=30533480/32770624 swapFree=0/523072
[pid=29149] ppid=29146 vsize=712660 CPUtime=1602.28 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 806422 0 0 0 160171 57 0 0 20 0 1 0 54996910 729763840 172351 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965744 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178165 172351 833 435 0 171528 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 712660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29273
/proc/meminfo: memFree=30536504/32770624 swapFree=0/523072
[pid=29149] ppid=29146 vsize=712792 CPUtime=1662.29 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 806869 0 0 0 166172 57 0 0 20 0 1 0 54996910 729899008 172362 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965342 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178198 172362 833 435 0 171561 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 712792
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 29275
/proc/meminfo: memFree=30536928/32770624 swapFree=0/523084
[pid=29149] ppid=29146 vsize=712792 CPUtime=1722.29 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 807312 0 0 0 172172 57 0 0 20 0 1 0 54996910 729899008 172364 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178198 172364 833 435 0 171561 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 712792
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 29277
/proc/meminfo: memFree=30536556/32770624 swapFree=0/523088
[pid=29149] ppid=29146 vsize=712792 CPUtime=1782.3 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 807759 0 0 0 178173 57 0 0 20 0 1 0 54996910 729899008 172365 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4962170 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178198 172365 833 435 0 171561 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 712792
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29340
/proc/meminfo: memFree=30429500/32770624 swapFree=0/523212
[pid=29149] ppid=29146 vsize=713584 CPUtime=1842.3 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 808886 0 0 0 184173 57 0 0 20 0 1 0 54996910 730710016 172560 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178396 172560 833 435 0 171759 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 713584
[startup+1902.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 29342
/proc/meminfo: memFree=30429620/32770624 swapFree=0/523232
[pid=29149] ppid=29146 vsize=713584 CPUtime=1902.3 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 809831 0 0 0 190173 57 0 0 20 0 1 0 54996910 730710016 172577 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4965342 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178396 172577 833 435 0 171759 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 713584
[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 29344
/proc/meminfo: memFree=30428660/32770624 swapFree=0/523232
[pid=29149] ppid=29146 vsize=713584 CPUtime=1962.3 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 810295 0 0 0 196173 57 0 0 20 0 1 0 54996910 730710016 172583 18446744073709551615 4194304 5972588 140732135557008 140732135553864 5070704 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178396 172583 833 435 0 171759 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 713584
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 29346
/proc/meminfo: memFree=30428916/32770624 swapFree=0/523232
[pid=29149] ppid=29146 vsize=713716 CPUtime=2022.31 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 810835 0 0 0 202174 57 0 0 20 0 1 0 54996910 730845184 172590 18446744073709551615 4194304 5972588 140732135557008 140732135553864 4909657 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172590 833 435 0 171792 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 713716
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29348
/proc/meminfo: memFree=30429184/32770624 swapFree=0/523240
[pid=29149] ppid=29146 vsize=713716 CPUtime=2082.32 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 811229 0 0 0 208175 57 0 0 20 0 1 0 54996910 730845184 172592 18446744073709551615 4194304 5972588 140732135557008 140732135544200 5328649 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172592 833 435 0 171792 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 713716
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29364
/proc/meminfo: memFree=30425284/32770624 swapFree=0/523264
[pid=29149] ppid=29146 vsize=713716 CPUtime=2142.32 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 811619 0 0 0 214175 57 0 0 20 0 1 0 54996910 730845184 172592 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965416 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172592 833 435 0 171792 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 713716
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29366
/proc/meminfo: memFree=30428420/32770624 swapFree=0/523280
[pid=29149] ppid=29146 vsize=713716 CPUtime=2202.34 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 812020 0 0 0 220176 58 0 0 20 0 1 0 54996910 730845184 172594 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172594 833 435 0 171792 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 713716
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29368
/proc/meminfo: memFree=30428792/32770624 swapFree=0/523272
[pid=29149] ppid=29146 vsize=713716 CPUtime=2262.34 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 812426 0 0 0 226176 58 0 0 20 0 1 0 54996910 730845184 172596 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965342 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172596 833 435 0 171792 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 713716
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29370
/proc/meminfo: memFree=30428916/32770624 swapFree=0/523280
[pid=29149] ppid=29146 vsize=713716 CPUtime=2322.34 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 812849 0 0 0 232176 58 0 0 20 0 1 0 54996910 730845184 172599 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172599 833 435 0 171792 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 713716
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29372
/proc/meminfo: memFree=30429164/32770624 swapFree=0/523288
[pid=29149] ppid=29146 vsize=713716 CPUtime=2382.35 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 813227 0 0 0 238177 58 0 0 20 0 1 0 54996910 730845184 172600 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965349 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172600 833 435 0 171792 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 713716
[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 29374
/proc/meminfo: memFree=30429384/32770624 swapFree=0/523304
[pid=29149] ppid=29146 vsize=713716 CPUtime=2442.35 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 813608 0 0 0 244177 58 0 0 20 0 1 0 54996910 730845184 172600 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4909657 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172600 833 435 0 171792 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 713716
[startup+2502.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 29376
/proc/meminfo: memFree=30429292/32770624 swapFree=0/523316
[pid=29149] ppid=29146 vsize=713716 CPUtime=2502.36 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 814037 0 0 0 250178 58 0 0 20 0 1 0 54996910 730845184 172604 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4909635 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172604 833 435 0 171792 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 713716
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 29377
/proc/meminfo: memFree=30429292/32770624 swapFree=0/523320
[pid=29149] ppid=29146 vsize=713716 CPUtime=2520.06 cores=0,2,4,6
/proc/29149/stat : 29149 (cosoco) R 29146 29149 21984 0 -1 4202496 814201 0 0 0 251948 58 0 0 20 0 1 0 54996910 730845184 172604 18446744073709551615 4194304 5972588 140732135557008 140732135544200 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 29052928 140732135559662 140732135559757 140732135559757 140732135563214 0
/proc/29149/statm: 178429 172604 833 435 0 171792 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 713716
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 29149 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.07
CPU user time (s): 2519.48
CPU system time (s): 0.585048
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 713716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.585048
maximum resident set size= 690480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814249
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= 101
involuntary context switches= 2323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91347 second user time and 10.4612 second system time
The end