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-4241221-1500648177/watcher-4241221-1500648177 -o /tmp/evaluation-result-4241221-1500648177/solver-4241221-1500648177 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500648174-2507 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241221-1500648177.xml
pid=2519
running on 8 cores: 1,3,5,7,9,11,13,15
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: 0.00 0.06 0.13 2/241 2523
/proc/meminfo: memFree=32095264/32770624 swapFree=5496/195152
[pid=2523] ppid=2519 vsize=5512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) D 2519 2523 2474 0 -1 1077936128 159 0 2 0 0 0 0 0 20 0 1 0 85189 5644288 36 33554432000 4194304 5970956 140737215363936 140737215361128 140075165599431 0 0 4096 0 18446744072101670436 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 1378 36 27 434 0 40 0
[startup+0.100146 s]
/proc/loadavg: 0.00 0.06 0.13 2/241 2523
/proc/meminfo: memFree=32095264/32770624 swapFree=5496/195152
[pid=2523] ppid=2519 vsize=27464 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1046 0 3 0 7 0 0 0 20 0 1 0 85189 28123136 829 33554432000 4194304 5970956 140737215363936 140737215359336 140075159438880 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 6866 829 703 434 0 230 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27464
[startup+0.200304 s]
/proc/loadavg: 0.00 0.06 0.13 2/241 2523
/proc/meminfo: memFree=32095264/32770624 swapFree=5496/195152
[pid=2523] ppid=2519 vsize=27660 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1125 0 3 0 17 0 0 0 20 0 1 0 85189 28323840 961 33554432000 4194304 5970956 140737215363936 140737215360536 5670807 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 6915 961 710 434 0 279 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 27660
[startup+0.300265 s]
/proc/loadavg: 0.00 0.06 0.13 2/241 2523
/proc/meminfo: memFree=32095264/32770624 swapFree=5496/195152
[pid=2523] ppid=2519 vsize=28248 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1282 0 3 0 27 0 0 0 20 0 1 0 85189 28925952 1048 33554432000 4194304 5970956 140737215363936 140737215360536 5670641 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 7062 1048 710 434 0 426 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 28248
[startup+0.700243 s]
/proc/loadavg: 0.00 0.06 0.13 2/241 2523
/proc/meminfo: memFree=32095264/32770624 swapFree=5496/195152
[pid=2523] ppid=2519 vsize=44924 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5587 0 3 0 66 1 0 0 20 0 1 0 85189 46002176 5284 33554432000 4194304 5970956 140737215363936 140737215355320 140075149495269 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 11231 5284 782 434 0 4595 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 44924
[startup+1.50019 s]
/proc/loadavg: 0.00 0.06 0.13 2/242 2524
/proc/meminfo: memFree=32051316/32770624 swapFree=5496/196772
[pid=2523] ppid=2519 vsize=90948 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 17084 0 3 0 144 3 0 0 20 0 1 0 85189 93130752 16768 33554432000 4194304 5970956 140737215363936 140737215357528 140075149487871 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 22737 16768 782 434 0 16101 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 90948
[startup+3.10019 s]
/proc/loadavg: 0.00 0.06 0.13 3/248 2539
/proc/meminfo: memFree=31968252/32770624 swapFree=5956/194048
[pid=2523] ppid=2519 vsize=182576 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 40073 0 3 0 301 6 0 0 20 0 1 0 85189 186957824 39651 33554432000 4194304 5970956 140737215363936 140737215355320 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 45644 39651 782 434 0 39008 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 182576
[startup+6.30019 s]
/proc/loadavg: 0.16 0.09 0.14 3/248 2539
/proc/meminfo: memFree=31680800/32770624 swapFree=5956/194148
[pid=2523] ppid=2519 vsize=365468 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 85940 0 3 0 616 11 0 0 20 0 1 0 85189 374239232 85397 33554432000 4194304 5970956 140737215363936 140737215355544 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 91367 85397 782 434 0 84731 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 365468
[startup+12.7002 s]
/proc/loadavg: 0.31 0.13 0.15 3/248 2539
/proc/meminfo: memFree=31106296/32770624 swapFree=5956/194160
[pid=2523] ppid=2519 vsize=730960 CPUtime=12.66 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 177428 0 3 0 1244 22 0 0 20 0 1 0 85189 748503040 176721 33554432000 4194304 5970956 140737215363936 140737215357528 140075149495269 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 182740 176721 782 434 0 176104 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 730960
[startup+25.5004 s]
/proc/loadavg: 0.68 0.22 0.18 3/248 2539
/proc/meminfo: memFree=29190968/32770624 swapFree=5956/194180
[pid=2523] ppid=2519 vsize=2128240 CPUtime=25.46 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 530342 0 3 0 2483 63 0 0 20 0 1 0 85189 2179317760 514609 33554432000 4194304 5970956 140737215363936 140737215360904 140075149495269 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 532060 514609 839 434 0 525424 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2128240
[startup+51.1004 s]
/proc/loadavg: 1.13 0.36 0.23 3/248 2539
/proc/meminfo: memFree=28348148/32770624 swapFree=5956/194196
[pid=2523] ppid=2519 vsize=2849572 CPUtime=51.03 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 898039 0 3 0 5009 94 0 0 20 0 1 0 85189 2917961728 694945 33554432000 4194304 5970956 140737215363936 140737215360904 4964721 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 712393 694945 839 434 0 705757 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 2849572
[startup+102.3 s]
/proc/loadavg: 1.62 0.61 0.32 3/249 2543
/proc/meminfo: memFree=28102548/32770624 swapFree=5956/196024
[pid=2523] ppid=2519 vsize=3058528 CPUtime=102.2 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1232612 0 3 0 10106 114 0 0 20 0 1 0 85189 3131932672 747191 33554432000 4194304 5970956 140737215363936 140737215360904 4964406 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 764632 747191 839 434 0 757996 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 3058528
[startup+162.3 s]
/proc/loadavg: 1.86 0.87 0.43 3/247 2544
/proc/meminfo: memFree=27913872/32770624 swapFree=5956/196052
[pid=2523] ppid=2519 vsize=3202672 CPUtime=162.15 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1553680 0 3 0 16082 133 0 0 20 0 1 0 85189 3279536128 783242 33554432000 4194304 5970956 140737215363936 140737215360904 5070322 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 800668 783242 839 434 0 794032 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 3202672
[startup+222.308 s]
/proc/loadavg: 2.04 1.10 0.54 3/247 2545
/proc/meminfo: memFree=27869688/32770624 swapFree=5956/196076
[pid=2523] ppid=2519 vsize=3227356 CPUtime=222.13 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1673848 0 3 0 22073 140 0 0 20 0 1 0 85189 3304812544 789408 33554432000 4194304 5970956 140737215363936 140737215360904 4964371 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 806839 789408 839 434 0 800203 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 3227356
[startup+282.3 s]
/proc/loadavg: 2.02 1.27 0.63 3/247 2546
/proc/meminfo: memFree=27783920/32770624 swapFree=5956/196104
[pid=2523] ppid=2519 vsize=3300220 CPUtime=282.08 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 1982952 0 3 0 28051 157 0 0 20 0 1 0 85189 3379425280 807612 33554432000 4194304 5970956 140737215363936 140737215360904 140075149495269 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 825055 807612 839 434 0 818419 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 3300220
[startup+342.3 s]
/proc/loadavg: 2.01 1.40 0.71 3/244 2547
/proc/meminfo: memFree=27769216/32770624 swapFree=5956/196136
[pid=2523] ppid=2519 vsize=3312628 CPUtime=342.03 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 2255025 0 3 0 34034 169 0 0 20 0 1 0 85189 3392131072 810709 33554432000 4194304 5970956 140737215363936 140737215360904 5070106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 828157 810709 839 434 0 821521 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 3312628
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.79 3/243 2548
/proc/meminfo: memFree=27730108/32770624 swapFree=5956/196168
[pid=2523] ppid=2519 vsize=3353152 CPUtime=402 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 2513124 0 3 0 40019 181 0 0 20 0 1 0 85189 3433627648 820854 33554432000 4194304 5970956 140737215363936 140737215360904 140075149495269 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 838288 820854 839 434 0 831652 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 3353152
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.87 3/243 2556
/proc/meminfo: memFree=27680996/32770624 swapFree=5956/196228
[pid=2523] ppid=2519 vsize=3375460 CPUtime=461.97 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 2837331 0 3 0 45999 198 0 0 20 0 1 0 85189 3456471040 826426 33554432000 4194304 5970956 140737215363936 140737215360904 4964373 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 843865 826426 840 434 0 837229 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 3375460
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.94 3/243 2557
/proc/meminfo: memFree=27674116/32770624 swapFree=5956/196260
[pid=2523] ppid=2519 vsize=3378760 CPUtime=521.93 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 3015283 0 3 0 51987 206 0 0 20 0 1 0 85189 3459850240 827256 33554432000 4194304 5970956 140737215363936 140737215360904 4964389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 844690 827256 840 434 0 838054 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 3378760
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 1.01 3/243 2558
/proc/meminfo: memFree=27656816/32770624 swapFree=5956/196284
[pid=2523] ppid=2519 vsize=3394468 CPUtime=581.89 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 3303727 0 3 0 57968 221 0 0 20 0 1 0 85189 3475935232 831165 33554432000 4194304 5970956 140737215363936 140737215360904 4964389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 848617 831165 840 434 0 841981 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 3394468
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/243 2605
/proc/meminfo: memFree=27587532/32770624 swapFree=5956/196724
[pid=2523] ppid=2519 vsize=3428260 CPUtime=1481.4 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5640247 0 3 0 147803 337 0 0 20 0 1 0 85189 3510538240 839676 33554432000 4194304 5970956 140737215363936 140737215360904 5052062 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 857065 839676 840 434 0 850429 0
Current children cumulated CPU time (s) 1481.4
Current children cumulated vsize (KiB) 3428260
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.65 3/243 2606
/proc/meminfo: memFree=27585460/32770624 swapFree=5956/196752
[pid=2523] ppid=2519 vsize=3428788 CPUtime=1541.38 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5738309 0 3 0 153797 341 0 0 20 0 1 0 85189 3511078912 839789 33554432000 4194304 5970956 140737215363936 140737215360904 4964386 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 857197 839789 840 434 0 850561 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 3428788
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/243 2607
/proc/meminfo: memFree=27585172/32770624 swapFree=5956/196780
[pid=2523] ppid=2519 vsize=3429184 CPUtime=1601.34 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5832332 0 3 0 159788 346 0 0 20 0 1 0 85189 3511484416 839904 33554432000 4194304 5970956 140737215363936 140737215360904 4961400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 857296 839904 840 434 0 850660 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 3429184
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/244 2616
/proc/meminfo: memFree=27582440/32770624 swapFree=5956/196820
[pid=2523] ppid=2519 vsize=3429844 CPUtime=1661.31 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5927721 0 3 0 165779 352 0 0 20 0 1 0 85189 3512160256 840066 33554432000 4194304 5970956 140737215363936 140737215360904 4964389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 857461 840066 840 434 0 850825 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 3429844
[startup+1722.3 s]
/proc/loadavg: 2.11 2.02 1.72 3/244 2617
/proc/meminfo: memFree=27579780/32770624 swapFree=5956/196840
[pid=2523] ppid=2519 vsize=3432220 CPUtime=1721.27 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 5972626 0 3 0 171773 354 0 0 20 0 1 0 85189 3514593280 840650 33554432000 4194304 5970956 140737215363936 140737215360904 4967728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 858055 840650 840 434 0 851419 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 3432220
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.74 3/244 2618
/proc/meminfo: memFree=27567592/32770624 swapFree=5956/196872
[pid=2523] ppid=2519 vsize=3442516 CPUtime=1781.25 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6012002 0 3 0 177768 357 0 0 20 0 1 0 85189 3525136384 843219 33554432000 4194304 5970956 140737215363936 140737215360904 4908967 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 860629 843219 840 434 0 853993 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (KiB) 3442516
[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 1.76 3/244 2619
/proc/meminfo: memFree=27566248/32770624 swapFree=5956/196900
[pid=2523] ppid=2519 vsize=3443968 CPUtime=1841.22 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6032725 0 3 0 183763 359 0 0 20 0 1 0 85189 3526623232 843597 33554432000 4194304 5970956 140737215363936 140737215360904 4964666 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 860992 843597 840 434 0 854356 0
Current children cumulated CPU time (s) 1841.22
Current children cumulated vsize (KiB) 3443968
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.77 3/244 2620
/proc/meminfo: memFree=27566136/32770624 swapFree=5956/196936
[pid=2523] ppid=2519 vsize=3444628 CPUtime=1901.18 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6063261 0 3 0 189758 360 0 0 20 0 1 0 85189 3527299072 843754 33554432000 4194304 5970956 140737215363936 140737215360904 4964366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 861157 843754 840 434 0 854521 0
Current children cumulated CPU time (s) 1901.18
Current children cumulated vsize (KiB) 3444628
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/244 2621
/proc/meminfo: memFree=27545772/32770624 swapFree=5956/196968
[pid=2523] ppid=2519 vsize=3465088 CPUtime=1961.14 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6071970 0 3 0 195752 362 0 0 20 0 1 0 85189 3548250112 848849 33554432000 4194304 5970956 140737215363936 140737215360904 5070064 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 866272 848849 840 434 0 859636 0
Current children cumulated CPU time (s) 1961.14
Current children cumulated vsize (KiB) 3465088
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/244 2622
/proc/meminfo: memFree=27541068/32770624 swapFree=5956/196996
[pid=2523] ppid=2519 vsize=3469312 CPUtime=2021.11 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6075236 0 3 0 201748 363 0 0 20 0 1 0 85189 3552575488 849937 33554432000 4194304 5970956 140737215363936 140737215360904 4964371 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 867328 849937 840 434 0 860692 0
Current children cumulated CPU time (s) 2021.11
Current children cumulated vsize (KiB) 3469312
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/244 2623
/proc/meminfo: memFree=27535896/32770624 swapFree=5956/197028
[pid=2523] ppid=2519 vsize=3470764 CPUtime=2081.09 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6078500 0 3 0 207746 363 0 0 20 0 1 0 85189 3554062336 850296 33554432000 4194304 5970956 140737215363936 140737215360904 4964477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 867691 850296 840 434 0 861055 0
Current children cumulated CPU time (s) 2081.09
Current children cumulated vsize (KiB) 3470764
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/244 2624
/proc/meminfo: memFree=27531448/32770624 swapFree=5956/197056
[pid=2523] ppid=2519 vsize=3470764 CPUtime=2141.05 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6079985 0 3 0 213742 363 0 0 20 0 1 0 85189 3554062336 850298 33554432000 4194304 5970956 140737215363936 140737215360904 4964444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 867691 850298 840 434 0 861055 0
Current children cumulated CPU time (s) 2141.05
Current children cumulated vsize (KiB) 3470764
[startup+2202.31 s]
/proc/loadavg: 2.12 2.04 1.84 3/243 2625
/proc/meminfo: memFree=27519684/32770624 swapFree=5956/197096
[pid=2523] ppid=2519 vsize=3482512 CPUtime=2201.04 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6085009 0 3 0 219740 364 0 0 20 0 1 0 85189 3566092288 853154 33554432000 4194304 5970956 140737215363936 140737215360904 4908988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 870628 853154 840 434 0 863992 0
Current children cumulated CPU time (s) 2201.04
Current children cumulated vsize (KiB) 3482512
[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 1.86 3/243 2633
/proc/meminfo: memFree=27517052/32770624 swapFree=5956/197096
[pid=2523] ppid=2519 vsize=3484624 CPUtime=2261.01 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6089512 0 3 0 225735 366 0 0 20 0 1 0 85189 3568254976 853772 33554432000 4194304 5970956 140737215363936 140737215360904 4964355 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 871156 853772 840 434 0 864520 0
Current children cumulated CPU time (s) 2261.01
Current children cumulated vsize (KiB) 3484624
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 1.87 3/243 2634
/proc/meminfo: memFree=27517220/32770624 swapFree=5956/197124
[pid=2523] ppid=2519 vsize=3484888 CPUtime=2320.98 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6091232 0 3 0 231732 366 0 0 20 0 1 0 85189 3568525312 853811 33554432000 4194304 5970956 140737215363936 140737215360904 4908985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 871222 853811 840 434 0 864586 0
Current children cumulated CPU time (s) 2320.98
Current children cumulated vsize (KiB) 3484888
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/243 2635
/proc/meminfo: memFree=27517048/32770624 swapFree=5956/197156
[pid=2523] ppid=2519 vsize=3484888 CPUtime=2380.96 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6092710 0 3 0 237730 366 0 0 20 0 1 0 85189 3568525312 853812 33554432000 4194304 5970956 140737215363936 140737215360904 4964672 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 871222 853812 840 434 0 864586 0
Current children cumulated CPU time (s) 2380.96
Current children cumulated vsize (KiB) 3484888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.02 1.87 3/243 2635
/proc/meminfo: memFree=27517252/32770624 swapFree=5956/197164
[pid=2523] ppid=2519 vsize=3484888 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/2523/stat : 2523 (cosoco) R 2519 2523 2474 0 -1 4202496 6093142 0 3 0 239640 366 0 0 20 0 1 0 85189 3568525312 853812 33554432000 4194304 5970956 140737215363936 140737215360904 4908985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26746880 140737215370428 140737215370563 140737215370563 140737215373262 0
/proc/2523/statm: 871222 853812 840 434 0 864586 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 3484888
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 2523 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.42
CPU time (s): 2400.08
CPU user time (s): 2396.4
CPU system time (s): 3.67527
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 3484888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.4
system time used= 3.67527
maximum resident set size= 3415288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6093167
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301
involuntary context switches= 121624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91673 second user time and 12.9182 second system time
The end