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-4268203-1502525093/watcher-4268203-1502525093 -o /tmp/evaluation-result-4268203-1502525093/solver-4268203-1502525093 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1544 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268203-1502525093.xml
pid=7338
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.03 2.03 2.05 2/189 7341
/proc/meminfo: memFree=30991248/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7341/stat : 7341 (runsolver) D 7338 7341 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94420585 24240128 106 18446744073709551615 4194304 4338465 140727021407200 140727021404840 140496511759063 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13914112 140727021408450 140727021408841 140727021408841 140727021412298 0
/proc/7341/statm: 5918 106 53 36 0 2156 0
[startup+0.100888 s]
/proc/loadavg: 2.03 2.03 2.05 2/189 7341
/proc/meminfo: memFree=30991248/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=27304 CPUtime=0.02 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 1015 0 0 0 2 0 0 0 20 0 1 0 94420585 27959296 832 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5389043 0 0 1 0 0 0 0 17 7 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 6826 832 713 435 0 189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27304
[startup+0.200887 s]
/proc/loadavg: 2.03 2.03 2.05 2/189 7341
/proc/meminfo: memFree=30991248/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=28736 CPUtime=0.12 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 1445 0 0 0 12 0 0 0 20 0 1 0 94420585 29425664 1090 18446744073709551615 4194304 5972588 140736821491872 140736821486456 5675089 0 0 1 0 0 0 0 17 7 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 7184 1090 713 435 0 547 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 28736
[startup+0.300889 s]
/proc/loadavg: 2.03 2.03 2.05 2/189 7341
/proc/meminfo: memFree=30991248/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=30164 CPUtime=0.22 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 1923 0 0 0 22 0 0 0 20 0 1 0 94420585 30887936 1378 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5420398 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 7541 1378 713 435 0 904 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 30164
[startup+0.700254 s]
/proc/loadavg: 2.03 2.03 2.05 2/189 7341
/proc/meminfo: memFree=30991248/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=38568 CPUtime=0.61 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 4298 0 0 0 61 0 0 0 20 0 1 0 94420585 39493632 3501 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5380104 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 9642 3501 720 435 0 3005 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 38568
[startup+1.50026 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 7342
/proc/meminfo: memFree=30975092/32770624 swapFree=0/481544
[pid=7341] ppid=7338 vsize=46976 CPUtime=1.41 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 6228 0 0 0 141 0 0 0 20 0 1 0 94420585 48103424 5481 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5675324 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 11744 5481 720 435 0 5107 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 46976
[startup+3.10022 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 7342
/proc/meminfo: memFree=30966280/32770624 swapFree=0/481480
[pid=7341] ppid=7338 vsize=61936 CPUtime=3.01 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 11043 0 0 0 301 0 0 0 20 0 1 0 94420585 63422464 8913 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5674131 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 15484 8913 720 435 0 8847 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 61936
[startup+6.30026 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 7342
/proc/meminfo: memFree=30932916/32770624 swapFree=0/481480
[pid=7341] ppid=7338 vsize=97724 CPUtime=6.21 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 21259 0 0 0 620 1 0 0 20 0 1 0 94420585 100069376 17213 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5671493 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 24431 17213 720 435 0 17794 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 97724
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 7342
/proc/meminfo: memFree=30864088/32770624 swapFree=0/481480
[pid=7341] ppid=7338 vsize=166464 CPUtime=12.61 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 38746 0 0 0 1257 4 0 0 20 0 1 0 94420585 170459136 33425 18446744073709551615 4194304 5972588 140736821491872 140736821488440 5675119 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 41616 33425 720 435 0 34979 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 166464
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 7342
/proc/meminfo: memFree=30829352/32770624 swapFree=0/481476
[pid=7341] ppid=7338 vsize=195760 CPUtime=25.41 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 107137 0 0 0 2534 7 0 0 20 0 1 0 94420585 200458240 40817 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4934208 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 40817 765 435 0 42303 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 195760
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7343
/proc/meminfo: memFree=30829228/32770624 swapFree=0/481464
[pid=7341] ppid=7338 vsize=195760 CPUtime=51 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 130950 0 0 0 5092 8 0 0 20 0 1 0 94420585 200458240 41648 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935428 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 41648 765 435 0 42303 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 195760
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7345
/proc/meminfo: memFree=30823940/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=195760 CPUtime=102.2 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 143612 0 0 0 10212 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935435 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 195760
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7347
/proc/meminfo: memFree=30823628/32770624 swapFree=0/481492
[pid=7341] ppid=7338 vsize=195760 CPUtime=162.2 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 144348 0 0 0 16212 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935609 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 195760
[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 7350
/proc/meminfo: memFree=30824108/32770624 swapFree=0/481508
[pid=7341] ppid=7338 vsize=195760 CPUtime=222.21 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 145083 0 0 0 22213 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 195760
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 7353
/proc/meminfo: memFree=30824248/32770624 swapFree=0/481520
[pid=7341] ppid=7338 vsize=195760 CPUtime=282.2 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 145083 0 0 0 28212 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 195760
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 7476
/proc/meminfo: memFree=30925500/32770624 swapFree=0/481532
[pid=7341] ppid=7338 vsize=195760 CPUtime=342.21 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 145818 0 0 0 34213 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 195760
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 7478
/proc/meminfo: memFree=30923208/32770624 swapFree=0/481548
[pid=7341] ppid=7338 vsize=195760 CPUtime=402.21 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 145818 0 0 0 40213 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4934348 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 195760
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 7481
/proc/meminfo: memFree=30923332/32770624 swapFree=0/481548
[pid=7341] ppid=7338 vsize=195760 CPUtime=462.22 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 146553 0 0 0 46214 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935493 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 195760
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 7484
/proc/meminfo: memFree=30922964/32770624 swapFree=0/481564
[pid=7341] ppid=7338 vsize=195760 CPUtime=522.22 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 146553 0 0 0 52214 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 195760
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7500
/proc/meminfo: memFree=30916932/32770624 swapFree=0/481584
[pid=7341] ppid=7338 vsize=195760 CPUtime=582.22 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 147288 0 0 0 58214 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 195760
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.05 3/188 7528
/proc/meminfo: memFree=30915552/32770624 swapFree=0/481584
[pid=7341] ppid=7338 vsize=195760 CPUtime=702.23 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 148023 0 0 0 70215 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935609 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 195760
[startup+762.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 7530
/proc/meminfo: memFree=30918180/32770624 swapFree=0/481592
[pid=7341] ppid=7338 vsize=195760 CPUtime=762.24 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 148023 0 0 0 76216 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 195760
[startup+822.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 7532
/proc/meminfo: memFree=30918336/32770624 swapFree=0/481616
[pid=7341] ppid=7338 vsize=195760 CPUtime=822.24 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 148412 0 0 0 82216 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935456 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 195760
[startup+882.306 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 7535
/proc/meminfo: memFree=30917648/32770624 swapFree=0/481620
[pid=7341] ppid=7338 vsize=195760 CPUtime=882.25 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 148758 0 0 0 88217 8 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 195760
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7537
/proc/meminfo: memFree=30918020/32770624 swapFree=0/481620
[pid=7341] ppid=7338 vsize=195760 CPUtime=942.26 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 149493 0 0 0 94217 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 195760
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7539
/proc/meminfo: memFree=30918392/32770624 swapFree=0/481624
[pid=7341] ppid=7338 vsize=195760 CPUtime=1002.26 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 149493 0 0 0 100217 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 195760
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7541
/proc/meminfo: memFree=30917460/32770624 swapFree=0/481632
[pid=7341] ppid=7338 vsize=195760 CPUtime=1062.26 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 149915 0 0 0 106217 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4934214 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 195760
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7543
/proc/meminfo: memFree=30917328/32770624 swapFree=0/481648
[pid=7341] ppid=7338 vsize=195760 CPUtime=1122.27 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 150228 0 0 0 112218 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 5319872 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 195760
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7560
/proc/meminfo: memFree=30913020/32770624 swapFree=0/481652
[pid=7341] ppid=7338 vsize=195760 CPUtime=1182.27 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 150644 0 0 0 118218 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 195760
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7562
/proc/meminfo: memFree=30913020/32770624 swapFree=0/481676
[pid=7341] ppid=7338 vsize=195760 CPUtime=1242.28 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 150963 0 0 0 124219 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 195760
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7341 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 7562
/proc/meminfo: memFree=30916292/32770624 swapFree=0/481676
[pid=7341] ppid=7338 vsize=195760 CPUtime=1254.38 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 150963 0 0 0 125429 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935506 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1254.38
Current children cumulated vsize (KiB) 195760
[startup+1267.2 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 7562
/proc/meminfo: memFree=30916168/32770624 swapFree=0/481676
[pid=7341] ppid=7338 vsize=195760 CPUtime=1267.18 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 126709 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935478 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1267.18
Current children cumulated vsize (KiB) 195760
[startup+1280 s]
/proc/loadavg: 2.11 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916160/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1279.98 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 127989 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1279.98
Current children cumulated vsize (KiB) 195760
[startup+1286.4 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916160/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1286.38 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 128629 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935471 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1286.38
Current children cumulated vsize (KiB) 195760
[startup+1288 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916160/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1287.98 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 128789 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1287.98
Current children cumulated vsize (KiB) 195760
[startup+1288.8 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916036/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1288.78 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 128869 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1288.78
Current children cumulated vsize (KiB) 195760
[startup+1289.6 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916160/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1289.58 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 128949 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1289.58
Current children cumulated vsize (KiB) 195760
[startup+1289.8 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 7563
/proc/meminfo: memFree=30916160/32770624 swapFree=0/481684
[pid=7341] ppid=7338 vsize=195760 CPUtime=1289.78 cores=1,3,5,7
/proc/7341/stat : 7341 (cosoco) R 7338 7341 1478 0 -1 4202496 151320 0 0 0 128969 9 0 0 20 0 1 0 94420585 200458240 42973 18446744073709551615 4194304 5972588 140736821491872 140736821489176 4936000 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 24915968 140736821494254 140736821494349 140736821494349 140736821497806 0
/proc/7341/statm: 48940 42973 765 435 0 42303 0
Current children cumulated CPU time (s) 1289.78
Current children cumulated vsize (KiB) 195760
Child status: 0
Real time (s): 1289.84
CPU time (s): 1289.83
CPU user time (s): 1289.73
CPU system time (s): 0.092006
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 195760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1289.73
system time used= 0.092006
maximum resident set size= 171972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151413
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= 57
involuntary context switches= 343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47071 second user time and 5.62281 second system time
The end