runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462372-1307184453/watcher-3462372-1307184453 -o /tmp/evaluation-result-3462372-1307184453/solver-3462372-1307184453 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462372-1307184453.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.06 2.01 2/561 5791
/proc/meminfo: memFree=29888904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=11336 CPUtime=0 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 445 0 0 0 0 0 0 0 25 0 1 0 830043958 11608064 395 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 2834 395 185 642 0 2190 0
[startup+0.036107 s]
/proc/loadavg: 2.05 2.06 2.01 2/561 5791
/proc/meminfo: memFree=29888904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=11336 CPUtime=0.03 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 446 0 0 0 3 0 0 0 25 0 1 0 830043958 11608064 396 33554432000 134512640 137138936 4289466048 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 2834 396 185 642 0 2190 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11336
[startup+0.10116 s]
/proc/loadavg: 2.05 2.06 2.01 2/561 5791
/proc/meminfo: memFree=29888904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=11336 CPUtime=0.1 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 446 0 0 0 10 0 0 0 25 0 1 0 830043958 11608064 396 33554432000 134512640 137138936 4289466048 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 2834 396 185 642 0 2190 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11336
[startup+0.30112 s]
/proc/loadavg: 2.05 2.06 2.01 2/561 5791
/proc/meminfo: memFree=29888904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=11732 CPUtime=0.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 550 0 0 0 30 0 0 0 25 0 1 0 830043958 12013568 500 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 2933 500 192 642 0 2289 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11732
[startup+0.701053 s]
/proc/loadavg: 2.05 2.06 2.01 2/561 5791
/proc/meminfo: memFree=29888904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=13572 CPUtime=0.69 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 1021 0 0 0 69 0 0 0 25 0 1 0 830043958 13897728 971 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 3393 971 192 642 0 2749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13572
[startup+1.50081 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5792
/proc/meminfo: memFree=29883812/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=16264 CPUtime=1.49 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 1690 0 0 0 149 0 0 0 25 0 1 0 830043958 16654336 1640 33554432000 134512640 137138936 4289466048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 4066 1640 192 642 0 3422 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16264
[startup+3.10061 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5792
/proc/meminfo: memFree=29878852/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=20272 CPUtime=3.09 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 2676 0 0 0 308 1 0 0 25 0 1 0 830043958 20758528 2626 33554432000 134512640 137138936 4289466048 18446744073709551615 134543091 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 5068 2626 192 642 0 4424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20272
[startup+6.30106 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5792
/proc/meminfo: memFree=29872148/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=25808 CPUtime=6.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 4059 0 0 0 627 3 0 0 25 0 1 0 830043958 26427392 4009 33554432000 134512640 137138936 4289466048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 6452 4009 192 642 0 5808 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25808
[startup+12.701 s]
/proc/loadavg: 2.04 2.06 2.01 3/562 5792
/proc/meminfo: memFree=29861700/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=35100 CPUtime=12.69 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 6378 0 0 0 1265 4 0 0 25 0 1 0 830043958 35942400 6328 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 8775 6328 192 642 0 8131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35100
[startup+25.5009 s]
/proc/loadavg: 2.19 2.09 2.02 3/562 5792
/proc/meminfo: memFree=29849904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=46868 CPUtime=25.49 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 9333 0 0 0 2543 6 0 0 25 0 1 0 830043958 47992832 9283 33554432000 134512640 137138936 4289466048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 11717 9283 192 642 0 11073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46868
[startup+51.1006 s]
/proc/loadavg: 2.13 2.08 2.02 3/562 5793
/proc/meminfo: memFree=29844372/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=51844 CPUtime=51.09 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 10641 0 0 0 5099 10 0 0 25 0 1 0 830043958 53088256 10539 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 12961 10539 192 642 0 12317 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51844
[startup+102.321 s]
/proc/loadavg: 2.11 2.08 2.02 3/562 5794
/proc/meminfo: memFree=29839156/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=56532 CPUtime=102.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 11856 0 0 0 10214 17 0 0 25 0 1 0 830043958 57888768 11698 33554432000 134512640 137138936 4289466048 18446744073709551615 134603223 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 14133 11698 192 642 0 13489 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 56532
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/562 5796
/proc/meminfo: memFree=29831828/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=64296 CPUtime=162.29 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 13851 0 0 0 16206 23 0 0 25 0 1 0 830043958 65839104 13631 33554432000 134512640 137138936 4289466048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 16074 13631 192 642 0 15430 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 64296
[startup+222.301 s]
/proc/loadavg: 2.14 2.08 2.01 3/562 5798
/proc/meminfo: memFree=29822640/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=67524 CPUtime=222.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 14741 0 0 0 22201 29 0 0 25 0 1 0 830043958 69144576 14453 33554432000 134512640 137138936 4289466048 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 16881 14453 192 642 0 16237 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 67524
[startup+282.301 s]
/proc/loadavg: 2.11 2.08 2.01 3/562 5799
/proc/meminfo: memFree=29819020/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=72744 CPUtime=282.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 16112 0 0 0 28195 35 0 0 25 0 1 0 830043958 74489856 15749 33554432000 134512640 137138936 4289466048 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 18186 15749 192 642 0 17542 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 72744
[startup+342.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/562 5801
/proc/meminfo: memFree=29818504/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=73100 CPUtime=342.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 16183 0 0 0 34190 40 0 0 25 0 1 0 830043958 74854400 15820 33554432000 134512640 137138936 4289466048 18446744073709551615 134603223 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 18275 15820 192 642 0 17631 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 73100
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/562 5802
/proc/meminfo: memFree=29797904/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=78452 CPUtime=402.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 17547 0 0 0 40186 44 0 0 25 0 1 0 830043958 80334848 17184 33554432000 134512640 137138936 4289466048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 19613 17184 192 642 0 18969 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 78452
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 5804
/proc/meminfo: memFree=29797132/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=78716 CPUtime=462.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 17671 0 0 0 46181 49 0 0 25 0 1 0 830043958 80605184 17226 33554432000 134512640 137138936 4289466048 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 19679 17226 192 642 0 19035 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 78716
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5805
/proc/meminfo: memFree=29795004/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=80832 CPUtime=522.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 18199 0 0 0 52176 54 0 0 25 0 1 0 830043958 82771968 17754 33554432000 134512640 137138936 4289466048 18446744073709551615 134551034 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 20208 17754 192 642 0 19564 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 80832
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5807
/proc/meminfo: memFree=29794368/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=80832 CPUtime=582.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 18199 0 0 0 58171 59 0 0 25 0 1 0 830043958 82771968 17754 33554432000 134512640 137138936 4289466048 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 20208 17754 192 642 0 19564 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 80832
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/562 5822
/proc/meminfo: memFree=29766172/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=86812 CPUtime=822.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 19784 0 0 0 82155 76 0 0 25 0 1 0 830043958 88895488 19249 33554432000 134512640 137138936 4289466048 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 21703 19249 192 642 0 21059 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 86812
[startup+882.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/562 5824
/proc/meminfo: memFree=29765172/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=86812 CPUtime=882.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 19784 0 0 0 88150 81 0 0 25 0 1 0 830043958 88895488 19249 33554432000 134512640 137138936 4289466048 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 21703 19249 192 642 0 21059 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 86812
[startup+942.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/562 5826
/proc/meminfo: memFree=29764288/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=88816 CPUtime=942.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 20315 0 0 0 94146 85 0 0 25 0 1 0 830043958 90947584 19780 33554432000 134512640 137138936 4289466048 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 22204 19780 192 642 0 21560 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 88816
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5829
/proc/meminfo: memFree=29757088/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=92152 CPUtime=1002.3 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21229 0 0 0 100141 89 0 0 25 0 1 0 830043958 94363648 20595 33554432000 134512640 137138936 4289466048 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23038 20595 192 642 0 22394 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 92152
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5832
/proc/meminfo: memFree=29756624/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=92152 CPUtime=1062.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21229 0 0 0 106139 92 0 0 25 0 1 0 830043958 94363648 20595 33554432000 134512640 137138936 4289466048 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23038 20595 192 642 0 22394 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 92152
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5833
/proc/meminfo: memFree=29754496/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95020 CPUtime=1122.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21935 0 0 0 112135 96 0 0 25 0 1 0 830043958 97300480 21301 33554432000 134512640 137138936 4289466048 18446744073709551615 136502594 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23755 21301 192 642 0 23111 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 95020
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5862
/proc/meminfo: memFree=29973648/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95020 CPUtime=1182.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21935 0 0 0 118131 100 0 0 25 0 1 0 830043958 97300480 21301 33554432000 134512640 137138936 4289466048 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23755 21301 192 642 0 23111 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 95020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5864
/proc/meminfo: memFree=29974248/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95228 CPUtime=1242.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21987 0 0 0 124127 104 0 0 25 0 1 0 830043958 97513472 21353 33554432000 134512640 137138936 4289466048 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23807 21353 192 642 0 23163 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 95228
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5865
/proc/meminfo: memFree=29971500/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95228 CPUtime=1302.32 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 21987 0 0 0 130123 109 0 0 25 0 1 0 830043958 97513472 21353 33554432000 134512640 137138936 4289466048 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23807 21353 192 642 0 23163 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 95228
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5867
/proc/meminfo: memFree=29972340/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95736 CPUtime=1362.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 22114 0 0 0 136120 111 0 0 25 0 1 0 830043958 98033664 21480 33554432000 134512640 137138936 4289466048 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23934 21480 192 642 0 23290 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 95736
[startup+1422.32 s]
/proc/loadavg: 2.08 2.03 2.01 3/562 5869
/proc/meminfo: memFree=29957684/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=95736 CPUtime=1422.34 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 22114 0 0 0 142115 119 0 0 25 0 1 0 830043958 98033664 21480 33554432000 134512640 137138936 4289466048 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 23934 21480 192 642 0 23290 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 95736
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/562 5870
/proc/meminfo: memFree=29952472/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=98552 CPUtime=1482.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 22848 0 0 0 148107 124 0 0 25 0 1 0 830043958 100917248 22214 33554432000 134512640 137138936 4289466048 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 24638 22214 192 642 0 23994 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 98552
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/562 5872
/proc/meminfo: memFree=29948852/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=101772 CPUtime=1542.32 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 23759 0 0 0 154101 131 0 0 25 0 1 0 830043958 104214528 23016 33554432000 134512640 137138936 4289466048 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25443 23016 192 642 0 24799 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 101772
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/562 5873
/proc/meminfo: memFree=29950192/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=101772 CPUtime=1602.31 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 23759 0 0 0 160094 137 0 0 25 0 1 0 830043958 104214528 23016 33554432000 134512640 137138936 4289466048 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25443 23016 192 642 0 24799 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 101772
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/562 5875
/proc/meminfo: memFree=29949812/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=102308 CPUtime=1662.32 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 23866 0 0 0 166091 141 0 0 25 0 1 0 830043958 104763392 23123 33554432000 134512640 137138936 4289466048 18446744073709551615 134599992 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25577 23123 192 642 0 24933 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 102308
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/562 5876
/proc/meminfo: memFree=29948536/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=102308 CPUtime=1722.32 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 23866 0 0 0 172084 148 0 0 25 0 1 0 830043958 104763392 23123 33554432000 134512640 137138936 4289466048 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25577 23123 192 642 0 24933 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 102308
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 5878
/proc/meminfo: memFree=29949264/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=102308 CPUtime=1782.32 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 23866 0 0 0 178080 152 0 0 25 0 1 0 830043958 104763392 23123 33554432000 134512640 137138936 4289466048 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25577 23123 192 642 0 24933 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 102308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5879
/proc/meminfo: memFree=29948008/32950928 swapFree=41528364/67111528
[pid=5791] ppid=5789 vsize=103420 CPUtime=1800.03 cores=0,2,4,6
/proc/5791/stat : 5791 (bsolo) R 5789 5791 3716 0 -1 4202496 24144 0 0 0 179851 152 0 0 25 0 1 0 830043958 105902080 23401 33554432000 134512640 137138936 4289466048 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5791/statm: 25855 23401 192 642 0 25211 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 103420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1798.53
CPU system time (s): 1.53077
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 103420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.53077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24144
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= 5
involuntary context switches= 2985
runsolver used 10.8743 second user time and 23.0905 second system time
The end