Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.03 | 1800.41 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb |
MD5SUM | b561a61efc46169e6f19abce33721598 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 19.745 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.09/0.10 c 2012-05-27T20:09:07+0200 0.09/0.10 c arch = x86_64 0.09/0.10 c os = linux 0.09/0.10 c compiler = ghc 7.4 0.09/0.10 c packages: 0.09/0.10 c OptDir-0.0.1 0.09/0.10 c array-0.4.0.0 0.09/0.10 c base-4.5.0.0 0.09/0.10 c bytestring-0.9.2.1 0.09/0.10 c containers-0.4.2.1 0.09/0.10 c deepseq-1.3.0.0 0.09/0.10 c mtl-2.1.1 0.09/0.10 c old_locale-1.0.0.4 0.09/0.10 c parse_dimacs-1.2 0.09/0.10 c parsec-3.1.2 0.09/0.10 c queue-0.1.2 0.09/0.10 c stm-2.3 0.09/0.10 c time-1.4 0.09/0.10 c command line = ["--pb","HOME/instance-3707359-1338142147.opb"] 0.09/0.10 c #vars 584 0.09/0.10 c #constraints 427 0.09/0.10 c Solving starts ... 6.69/6.75 c solving time = 6.654s 6.69/6.75 c #decision = 13363 6.69/6.75 c #conflict = 10912 6.69/6.75 c #restart = 9 6.69/6.75 o 89 6.69/6.75 c Solving starts ... 6.69/6.78 c learnt constraints deletion: 10903 -> 5452 6.79/6.82 c learnt constraints deletion: 5452 -> 2726 6.79/6.84 c solving time = 0.090s 6.79/6.84 c #decision = 13453 6.79/6.84 c #conflict = 10913 6.79/6.84 c #restart = 9 6.79/6.84 o 87 6.79/6.84 c Solving starts ... 6.79/6.85 c solving time = 0.007s 6.79/6.85 c #decision = 13543 6.79/6.85 c #conflict = 10914 6.79/6.85 c #restart = 9 6.79/6.85 o 85 6.79/6.85 c Solving starts ... 6.79/6.86 c solving time = 0.006s 6.79/6.86 c #decision = 13633 6.79/6.86 c #conflict = 10915 6.79/6.86 c #restart = 9 6.79/6.86 o 83 6.79/6.86 c Solving starts ... 6.79/6.87 c solving time = 0.007s 6.79/6.87 c #decision = 13721 6.79/6.87 c #conflict = 10916 6.79/6.87 c #restart = 9 6.79/6.87 o 81 6.79/6.87 c Solving starts ... 6.79/6.87 c solving time = 0.006s 6.79/6.87 c #decision = 13810 6.79/6.87 c #conflict = 10917 6.79/6.87 c #restart = 9 6.79/6.87 o 79 6.79/6.88 c Solving starts ... 6.79/6.88 c solving time = 0.007s 6.79/6.88 c #decision = 13901 6.79/6.88 c #conflict = 10918 6.79/6.88 c #restart = 9 6.79/6.88 o 77 6.79/6.88 c Solving starts ... 6.79/6.89 c solving time = 0.006s 6.79/6.89 c #decision = 13992 6.79/6.89 c #conflict = 10919 6.79/6.89 c #restart = 9 6.79/6.89 o 75 6.79/6.89 c Solving starts ... 6.89/6.90 c solving time = 0.007s 6.89/6.90 c #decision = 14083 6.89/6.90 c #conflict = 10920 6.89/6.90 c #restart = 9 6.89/6.90 o 73 6.89/6.90 c Solving starts ... 6.89/6.95 c solving time = 0.047s 6.89/6.95 c #decision = 14280 6.89/6.95 c #conflict = 10943 6.89/6.95 c #restart = 9 6.89/6.95 o 71 6.89/6.95 c Solving starts ... 8.19/8.23 c solving time = 1.288s 8.19/8.23 c #decision = 21820 8.19/8.23 c #conflict = 16046 8.19/8.23 c #restart = 17 8.19/8.23 o 70 8.19/8.24 c Solving starts ... 8.19/8.27 c learnt constraints deletion: 7852 -> 3926 8.19/8.29 c solving time = 0.050s 8.19/8.29 c #decision = 21914 8.19/8.29 c #conflict = 16047 8.19/8.29 c #restart = 17 8.19/8.29 o 68 8.19/8.29 c Solving starts ... 8.19/8.29 c solving time = 0.007s 8.19/8.29 c #decision = 22006 8.19/8.29 c #conflict = 16048 8.19/8.29 c #restart = 17 8.19/8.29 o 66 8.19/8.29 c Solving starts ... 8.29/8.30 c solving time = 0.006s 8.29/8.30 c #decision = 22098 8.29/8.30 c #conflict = 16049 8.29/8.30 c #restart = 17 8.29/8.30 o 64 8.29/8.30 c Solving starts ... 8.29/8.31 c solving time = 0.007s 8.29/8.31 c #decision = 22189 8.29/8.31 c #conflict = 16050 8.29/8.31 c #restart = 17 8.29/8.31 o 62 8.29/8.31 c Solving starts ... 8.29/8.32 c solving time = 0.013s 8.29/8.32 c #decision = 22363 8.29/8.32 c #conflict = 16060 8.29/8.32 c #restart = 17 8.29/8.32 o 60 8.29/8.32 c Solving starts ... 8.29/8.33 c solving time = 0.007s 8.29/8.33 c #decision = 22445 8.29/8.33 c #conflict = 16061 8.29/8.33 c #restart = 17 8.29/8.33 o 58 8.29/8.33 c Solving starts ... 8.29/8.37 c solving time = 0.039s 8.29/8.37 c #decision = 22540 8.29/8.37 c #conflict = 16067 8.29/8.37 c #restart = 17 8.29/8.37 o 56 8.29/8.37 c Solving starts ... 8.29/8.38 c solving time = 0.008s 8.29/8.38 c #decision = 22623 8.29/8.38 c #conflict = 16068 8.29/8.38 c #restart = 17 8.29/8.38 o 54 8.29/8.38 c Solving starts ... 8.29/8.40 c solving time = 0.012s 8.29/8.40 c #decision = 22704 8.29/8.40 c #conflict = 16070 8.29/8.40 c #restart = 17 8.29/8.40 o 52 8.39/8.40 c Solving starts ... 8.39/8.40 c solving time = 0.006s 8.39/8.40 c #decision = 22780 8.39/8.40 c #conflict = 16071 8.39/8.40 c #restart = 17 8.39/8.40 o 50 8.39/8.40 c Solving starts ... 8.39/8.41 c solving time = 0.006s 8.39/8.41 c #decision = 22858 8.39/8.41 c #conflict = 16072 8.39/8.41 c #restart = 17 8.39/8.41 o 48 8.39/8.41 c Solving starts ... 8.39/8.42 c solving time = 0.013s 8.39/8.42 c #decision = 22942 8.39/8.42 c #conflict = 16074 8.39/8.42 c #restart = 17 8.39/8.42 o 46 8.39/8.42 c Solving starts ... 16.68/16.74 c learnt constraints deletion: 13093 -> 6547 22.89/22.92 c solving time = 14.496s 22.89/22.92 c #decision = 39139 22.89/22.92 c #conflict = 29923 22.89/22.92 c #restart = 27 22.89/22.92 o 45 22.89/22.92 c Solving starts ... 22.89/23.00 c learnt constraints deletion: 11247 -> 5624 22.99/23.02 c learnt constraints deletion: 5624 -> 2812 22.99/23.04 c solving time = 0.110s 22.99/23.04 c #decision = 39242 22.99/23.04 c #conflict = 29924 22.99/23.04 c #restart = 27 22.99/23.04 o 43 22.99/23.04 c Solving starts ... 22.99/23.07 c solving time = 0.031s 22.99/23.07 c #decision = 39345 22.99/23.07 c #conflict = 29925 22.99/23.07 c #restart = 27 22.99/23.07 o 41 22.99/23.07 c Solving starts ... 22.99/23.08 c solving time = 0.007s 22.99/23.08 c #decision = 39448 22.99/23.08 c #conflict = 29926 22.99/23.08 c #restart = 27 22.99/23.08 o 39 22.99/23.08 c Solving starts ... 22.99/23.08 c solving time = 0.007s 22.99/23.08 c #decision = 39551 22.99/23.08 c #conflict = 29927 22.99/23.08 c #restart = 27 22.99/23.08 o 37 22.99/23.08 c Solving starts ... 22.99/23.09 c solving time = 0.006s 22.99/23.09 c #decision = 39654 22.99/23.09 c #conflict = 29928 22.99/23.09 c #restart = 27 22.99/23.09 o 35 22.99/23.09 c Solving starts ... 22.99/23.10 c solving time = 0.006s 22.99/23.10 c #decision = 39757 22.99/23.10 c #conflict = 29929 22.99/23.10 c #restart = 27 22.99/23.10 o 33 22.99/23.10 c Solving starts ... 23.09/23.11 c solving time = 0.006s 23.09/23.11 c #decision = 39860 23.09/23.11 c #conflict = 29930 23.09/23.11 c #restart = 27 23.09/23.11 o 31 23.09/23.11 c Solving starts ... 23.09/23.11 c solving time = 0.006s 23.09/23.11 c #decision = 39963 23.09/23.11 c #conflict = 29931 23.09/23.11 c #restart = 27 23.09/23.11 o 29 23.09/23.11 c Solving starts ... 23.09/23.12 c solving time = 0.006s 23.09/23.12 c #decision = 40067 23.09/23.12 c #conflict = 29932 23.09/23.12 c #restart = 27 23.09/23.12 o 27 23.09/23.12 c Solving starts ... 31.09/31.10 c learnt constraints deletion: 11767 -> 5884 33.58/33.66 c learnt constraints deletion: 12870 -> 6435 37.68/37.70 c learnt constraints deletion: 14081 -> 7042 42.89/42.97 c learnt constraints deletion: 15499 -> 7750 49.28/49.33 c learnt constraints deletion: 16986 -> 8493 51.78/51.80 c learnt constraints deletion: 16978 -> 8489 55.58/55.64 c learnt constraints deletion: 18475 -> 9238 63.58/63.61 c learnt constraints deletion: 19876 -> 9940 72.78/72.85 c learnt constraints deletion: 19928 -> 9968 82.27/82.31 c learnt constraints deletion: 20289 -> 10145 86.88/86.93 c learnt constraints deletion: 20275 -> 10138 92.87/92.99 c learnt constraints deletion: 20267 -> 10135 100.17/100.27 c learnt constraints deletion: 20279 -> 10142 107.46/107.56 c learnt constraints deletion: 22261 -> 11131 112.86/112.94 c learnt constraints deletion: 22290 -> 11145 119.36/119.47 c learnt constraints deletion: 22287 -> 11145 125.85/125.98 c learnt constraints deletion: 22304 -> 11153 132.15/132.23 c learnt constraints deletion: 22290 -> 11146 139.04/139.12 c learnt constraints deletion: 22287 -> 11145 146.44/146.55 c learnt constraints deletion: 24352 -> 12176 152.43/152.50 c learnt constraints deletion: 24351 -> 12176 159.64/159.70 c learnt constraints deletion: 24357 -> 12180 169.94/170.08 c learnt constraints deletion: 24347 -> 12175 181.44/181.51 c learnt constraints deletion: 24350 -> 12177 190.74/190.83 c learnt constraints deletion: 24333 -> 12167 201.84/201.97 c learnt constraints deletion: 24339 -> 12171 210.53/210.67 c learnt constraints deletion: 24337 -> 12171 221.63/221.72 c learnt constraints deletion: 26707 -> 13354 228.43/228.53 c learnt constraints deletion: 26782 -> 13391 235.03/235.11 c learnt constraints deletion: 26669 -> 13335 241.53/241.61 c learnt constraints deletion: 26693 -> 13347 248.03/248.18 c learnt constraints deletion: 26777 -> 13390 259.12/259.27 c learnt constraints deletion: 27975 -> 13992 271.42/271.58 c learnt constraints deletion: 27971 -> 13990 284.52/284.69 c learnt constraints deletion: 28055 -> 14030 296.92/297.04 c learnt constraints deletion: 26811 -> 13416 308.81/308.92 c learnt constraints deletion: 27953 -> 13984 319.41/319.51 c learnt constraints deletion: 26767 -> 13388 329.51/329.67 c learnt constraints deletion: 29349 -> 14675 338.21/338.30 c learnt constraints deletion: 29327 -> 14664 349.71/349.81 c learnt constraints deletion: 29327 -> 14664 363.50/363.69 c learnt constraints deletion: 29355 -> 14678 378.50/378.65 c learnt constraints deletion: 29326 -> 14663 393.61/393.71 c learnt constraints deletion: 29331 -> 14667 402.40/402.56 c learnt constraints deletion: 29332 -> 14668 416.99/417.15 c learnt constraints deletion: 29313 -> 14657 431.29/431.42 c learnt constraints deletion: 29346 -> 14674 442.89/443.06 c learnt constraints deletion: 29319 -> 14660 455.49/455.68 c learnt constraints deletion: 29314 -> 14658 466.48/466.62 c learnt constraints deletion: 29324 -> 14664 479.98/480.17 c learnt constraints deletion: 29334 -> 14668 490.58/490.76 c learnt constraints deletion: 29397 -> 14699 500.78/500.99 c learnt constraints deletion: 29332 -> 14668 513.37/513.53 c learnt constraints deletion: 32222 -> 16111 526.78/526.93 c learnt constraints deletion: 32278 -> 16141 541.27/541.42 c learnt constraints deletion: 32214 -> 16108 557.17/557.30 c learnt constraints deletion: 33549 -> 16787 576.87/577.06 c learnt constraints deletion: 33420 -> 16720 598.46/598.60 c learnt constraints deletion: 32244 -> 16124 615.56/615.70 c learnt constraints deletion: 32187 -> 16096 632.55/632.75 c learnt constraints deletion: 32244 -> 16126 649.65/649.88 c learnt constraints deletion: 32228 -> 16119 665.54/665.77 c learnt constraints deletion: 32247 -> 16128 683.64/683.83 c learnt constraints deletion: 32276 -> 16140 698.94/699.13 c learnt constraints deletion: 32208 -> 16106 717.34/717.54 c learnt constraints deletion: 33461 -> 16738 732.34/732.53 c learnt constraints deletion: 32669 -> 16338 745.73/745.92 c learnt constraints deletion: 32199 -> 16104 757.93/758.16 c learnt constraints deletion: 32246 -> 16126 774.63/774.87 c learnt constraints deletion: 32231 -> 16123 792.02/792.29 c learnt constraints deletion: 32257 -> 16133 810.32/810.60 c learnt constraints deletion: 32230 -> 16123 826.72/826.96 c learnt constraints deletion: 32260 -> 16136 851.41/851.60 c learnt constraints deletion: 35364 -> 17682 871.21/871.46 c learnt constraints deletion: 35361 -> 17681 892.60/892.88 c learnt constraints deletion: 35500 -> 17750 916.20/916.40 c learnt constraints deletion: 35398 -> 17700 938.40/938.63 c learnt constraints deletion: 35410 -> 17708 961.99/962.25 c learnt constraints deletion: 35284 -> 17642 982.00/982.24 c learnt constraints deletion: 35438 -> 17720 1005.08/1005.35 c learnt constraints deletion: 35325 -> 17668 1028.07/1028.30 c learnt constraints deletion: 35392 -> 17702 1046.98/1047.22 c learnt constraints deletion: 35376 -> 17694 1071.37/1071.65 c learnt constraints deletion: 36395 -> 18212 1093.57/1093.88 c learnt constraints deletion: 35372 -> 17689 1113.17/1113.40 c learnt constraints deletion: 35426 -> 17718 1136.76/1137.02 c learnt constraints deletion: 35436 -> 17724 1158.36/1158.61 c learnt constraints deletion: 35375 -> 17712 1178.35/1178.65 c learnt constraints deletion: 35379 -> 17709 1198.65/1198.91 c learnt constraints deletion: 35357 -> 17700 1215.93/1216.23 c learnt constraints deletion: 35339 -> 17670 1238.53/1238.80 c learnt constraints deletion: 35303 -> 17654 1266.23/1266.55 c learnt constraints deletion: 36216 -> 18131 1283.02/1283.34 c learnt constraints deletion: 35335 -> 17671 1306.82/1307.18 c learnt constraints deletion: 36484 -> 18245 1329.42/1329.79 c learnt constraints deletion: 35608 -> 17811 1349.02/1349.37 c learnt constraints deletion: 35386 -> 17696 1362.81/1363.13 c learnt constraints deletion: 35449 -> 17726 1377.81/1378.11 c learnt constraints deletion: 35388 -> 17695 1398.50/1398.84 c learnt constraints deletion: 35388 -> 17697 1412.80/1413.15 c learnt constraints deletion: 35406 -> 17708 1430.40/1430.73 c learnt constraints deletion: 38736 -> 19368 1442.49/1442.84 c learnt constraints deletion: 38754 -> 19377 1465.19/1465.56 c learnt constraints deletion: 38745 -> 19374 1495.28/1495.61 c learnt constraints deletion: 38744 -> 19372 1513.28/1513.66 c learnt constraints deletion: 38756 -> 19378 1531.08/1531.42 c learnt constraints deletion: 38773 -> 19387 1549.17/1549.51 c learnt constraints deletion: 38819 -> 19412 1564.66/1565.04 c learnt constraints deletion: 38777 -> 19390 1581.36/1581.70 c learnt constraints deletion: 38782 -> 19392 1597.96/1598.37 c learnt constraints deletion: 38798 -> 19401 1613.66/1614.09 c learnt constraints deletion: 39375 -> 19691 1635.26/1635.69 c learnt constraints deletion: 39216 -> 19620 1652.75/1653.12 c learnt constraints deletion: 39001 -> 19501 1669.14/1669.50 c learnt constraints deletion: 38802 -> 19402 1685.95/1686.35 c learnt constraints deletion: 39105 -> 19555 1710.15/1710.52 c learnt constraints deletion: 39124 -> 19571 1730.74/1731.16 c learnt constraints deletion: 39157 -> 19582 1753.62/1754.06 c learnt constraints deletion: 39208 -> 19606 1781.91/1782.34 c learnt constraints deletion: 39363 -> 19686
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3707359-1338142147/watcher-3707359-1338142147 -o /tmp/evaluation-result-3707359-1338142147/solver-3707359-1338142147 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707359-1338142147.opb running on 4 cores: 1,3,5,7 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.00 2.00 2.00 3/178 24377 /proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 280339529 7405568 748 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 1808 748 416 1167 0 589 0 [startup+0.00818611 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24377 /proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 280339529 7405568 798 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 1808 798 416 1167 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7232 [startup+0.100303 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24377 /proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=17472 CPUtime=0.09 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 3541 0 0 0 9 0 0 0 20 0 1 0 280339529 17891328 3461 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 4368 3461 431 1167 0 3149 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17472 [startup+0.30033 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24377 /proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=22592 CPUtime=0.29 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 4948 0 0 0 29 0 0 0 20 0 1 0 280339529 23134208 4868 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 5648 4868 447 1167 0 4429 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22592 [startup+0.700331 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24377 /proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=22592 CPUtime=0.69 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 4948 0 0 0 69 0 0 0 20 0 1 0 280339529 23134208 4868 33554432000 4194304 8973514 140736195019280 140736195018776 4481824 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 5648 4868 447 1167 0 4429 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22592 [startup+1.50037 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29718460/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=24640 CPUtime=1.48 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 5460 0 0 0 148 0 0 0 20 0 1 0 280339529 25231360 5380 33554432000 4194304 8973514 140736195019280 140736195018776 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 6160 5380 447 1167 0 4941 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24640 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29713996/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=29760 CPUtime=3.08 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 6740 0 0 0 307 1 0 0 20 0 1 0 280339529 30474240 6660 33554432000 4194304 8973514 140736195019280 140736195018776 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 7440 6660 447 1167 0 6221 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29760 [startup+6.30033 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29706664/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=36928 CPUtime=6.29 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 8532 0 0 0 626 3 0 0 20 0 1 0 280339529 37814272 8452 33554432000 4194304 8973514 140736195019280 140736195018776 4372420 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 9232 8452 447 1167 0 8013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36928 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29700092/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=40000 CPUtime=12.69 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 9314 0 0 0 1263 6 0 0 20 0 1 0 280339529 40960000 9234 33554432000 4194304 8973514 140736195019280 140736195018776 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 10000 9234 459 1167 0 8781 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40000 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29691272/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=46144 CPUtime=25.49 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 12386 0 0 0 2539 10 0 0 20 0 1 0 280339529 47251456 10770 33554432000 4194304 8973514 140736195019280 140736195018544 4372480 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 11536 10770 459 1167 0 10317 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46144 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24378 /proc/meminfo: memFree=29671632/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=66624 CPUtime=51.08 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 17506 0 0 0 5089 19 0 0 20 0 1 0 280339529 68222976 15890 33554432000 4194304 8973514 140736195019280 140736195018544 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 16656 15890 459 1167 0 15437 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66624 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24381 /proc/meminfo: memFree=29619900/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=112704 CPUtime=102.27 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29041 0 0 0 10194 33 0 0 20 0 1 0 280339529 115408896 27412 33554432000 4194304 8973514 140736195019280 140736195018544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 28176 27412 459 1167 0 26957 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 112704 [startup+162.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24381 /proc/meminfo: memFree=29615496/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=114752 CPUtime=162.23 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29577 0 0 0 16176 47 0 0 20 0 1 0 280339529 117506048 27924 33554432000 4194304 8973514 140736195019280 140736195017216 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 28688 27924 459 1167 0 27469 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 114752 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24382 /proc/meminfo: memFree=29614628/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=115776 CPUtime=222.23 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29833 0 0 0 22166 57 0 0 20 0 1 0 280339529 118554624 28180 33554432000 4194304 8973514 140736195019280 140736195017216 6839464 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 28944 28180 459 1167 0 27725 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 115776 [startup+282.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 24382 /proc/meminfo: memFree=29610292/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=119872 CPUtime=282.22 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 34953 0 0 0 28150 72 0 0 20 0 1 0 280339529 122748928 29204 33554432000 4194304 8973514 140736195019280 140736195018776 4380684 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 29968 29204 459 1167 0 28749 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 119872 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24382 /proc/meminfo: memFree=29602656/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=123968 CPUtime=342.2 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 41102 0 0 0 34133 87 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4208826 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 30992 30229 459 1167 0 29773 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 123968 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24382 /proc/meminfo: memFree=29604516/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=119872 CPUtime=402.2 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 41102 0 0 0 40123 97 0 0 20 0 1 0 280339529 122748928 29205 33554432000 4194304 8973514 140736195019280 140736195018776 4371061 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 29968 29205 459 1167 0 28749 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 119872 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24382 /proc/meminfo: memFree=29609896/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=111680 CPUtime=462.18 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 42132 0 0 0 46108 110 0 0 20 0 1 0 280339529 114360320 27157 33554432000 4194304 8973514 140736195019280 140736195018776 4425112 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 27920 27157 459 1167 0 26701 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 111680 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24383 /proc/meminfo: memFree=29614104/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=107584 CPUtime=522.17 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 42132 0 0 0 52094 123 0 0 20 0 1 0 280339529 110166016 26133 33554432000 4194304 8973514 140736195019280 140736195018776 4211793 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 26896 26133 459 1167 0 25677 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 107584 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24383 /proc/meminfo: memFree=29594260/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=128064 CPUtime=582.16 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 47252 0 0 0 58076 140 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4357460 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 32016 31253 459 1167 0 30797 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 128064 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.06 2.04 2.00 3/179 24387 /proc/meminfo: memFree=29600432/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=116800 CPUtime=822.12 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 58532 0 0 0 82019 193 0 0 20 0 1 0 280339529 119603200 28437 33554432000 4194304 8973514 140736195019280 140736195018776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 29200 28437 459 1167 0 27981 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 116800 [startup+882.3 s] /proc/loadavg: 2.02 2.03 2.00 3/179 24387 /proc/meminfo: memFree=29592868/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=123968 CPUtime=882.1 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 60836 0 0 0 88005 205 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 30992 30229 459 1167 0 29773 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 123968 [startup+942.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 24387 /proc/meminfo: memFree=29589148/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=128064 CPUtime=942.1 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 61860 0 0 0 93994 216 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4459072 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 32016 31253 459 1167 0 30797 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 128064 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 24387 /proc/meminfo: memFree=29576784/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=140352 CPUtime=1002.08 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 64936 0 0 0 99979 229 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 35088 34325 459 1167 0 33869 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 140352 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24387 /proc/meminfo: memFree=29600980/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=115776 CPUtime=1062.08 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 64936 0 0 0 105968 240 0 0 20 0 1 0 280339529 118554624 28181 33554432000 4194304 8973514 140736195019280 140736195018776 4425436 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 28944 28181 459 1167 0 27725 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 115776 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24388 /proc/meminfo: memFree=29573948/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=143424 CPUtime=1122.06 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 71848 0 0 0 111952 254 0 0 20 0 1 0 280339529 146866176 35093 33554432000 4194304 8973514 140736195019280 140736195018776 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 35856 35093 459 1167 0 34637 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 143424 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24388 /proc/meminfo: memFree=29592908/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=123968 CPUtime=1182.05 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 73141 0 0 0 117941 264 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4213915 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 30992 30229 459 1167 0 29773 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 123968 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24388 /proc/meminfo: memFree=29585344/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=128064 CPUtime=1242.03 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 75445 0 0 0 123924 279 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 32016 31253 459 1167 0 30797 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 128064 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24391 /proc/meminfo: memFree=29595016/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=118848 CPUtime=1302.03 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 76725 0 0 0 129912 291 0 0 20 0 1 0 280339529 121700352 28949 33554432000 4194304 8973514 140736195019280 140736195018776 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 29712 28949 459 1167 0 28493 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 118848 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24391 /proc/meminfo: memFree=29571880/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=142400 CPUtime=1362.01 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 86717 0 0 0 135897 304 0 0 20 0 1 0 280339529 145817600 34837 33554432000 4194304 8973514 140736195019280 140736195018544 4208827 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 35600 34837 459 1167 0 34381 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 142400 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24392 /proc/meminfo: memFree=29583532/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=128064 CPUtime=1422 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 90819 0 0 0 141883 317 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4204641 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 32016 31253 459 1167 0 30797 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 128064 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24392 /proc/meminfo: memFree=29571208/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=140352 CPUtime=1481.98 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 98499 0 0 0 147869 329 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018544 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 35088 34325 459 1167 0 33869 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 140352 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24392 /proc/meminfo: memFree=29585032/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=128064 CPUtime=1541.97 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 100555 0 0 0 153857 340 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 6576046 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 32016 31253 459 1167 0 30797 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 128064 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24394 /proc/meminfo: memFree=29580140/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=132160 CPUtime=1601.96 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 103119 0 0 0 159844 352 0 0 20 0 1 0 280339529 135331840 32277 33554432000 4194304 8973514 140736195019280 140736195018776 4213673 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 33040 32277 459 1167 0 31821 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 132160 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24394 /proc/meminfo: memFree=29579912/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=132160 CPUtime=1661.94 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 109519 0 0 0 165829 365 0 0 20 0 1 0 280339529 135331840 32277 33554432000 4194304 8973514 140736195019280 140736195018544 4208906 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 33040 32277 459 1167 0 31821 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 132160 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24394 /proc/meminfo: memFree=29568768/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=140352 CPUtime=1721.94 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 117711 0 0 0 171813 381 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018776 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 35088 34325 459 1167 0 33869 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 140352 [startup+1782.3 s] /proc/loadavg: 1.44 1.85 1.95 2/173 24420 /proc/meminfo: memFree=29744188/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=155712 CPUtime=1781.91 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 121571 0 0 0 177798 393 0 0 20 0 1 0 280339529 159449088 38165 33554432000 4194304 8973514 140736195019280 140736195018776 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 38928 38165 459 1167 0 37709 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 155712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.34 1.81 1.93 2/173 24420 /proc/meminfo: memFree=29737988/32873844 swapFree=7372/7372 [pid=24377] ppid=24375 vsize=158784 CPUtime=1800.02 cores=1,3,5,7 /proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 122339 0 0 0 179605 397 0 0 20 0 1 0 280339529 162594816 38933 33554432000 4194304 8973514 140736195019280 140736195018544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24377/statm: 39696 38933 459 1167 0 38477 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 158784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.03 CPU user time (s): 1796.05 CPU system time (s): 3.9744 CPU usage (%): 99.9789 Max. virtual memory (cumulated for all children) (KiB): 164928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.05 system time used= 3.97439 maximum resident set size= 161876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122339 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= 131 involuntary context switches= 1846 runsolver used 2.79058 second user time and 11.1843 second system time The end
Begin job on node133 at 2012-05-27 20:09:07 IDJOB=3707359 IDBENCH=72483 IDSOLVER=2285 FILE ID=node133/3707359-1338142147 RUNJOBID= node133-1338109544-21814 PBS_JOBID= 14624470 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707359-1338142147/watcher-3707359-1338142147 -o /tmp/evaluation-result-3707359-1338142147/solver-3707359-1338142147 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707359-1338142147.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b561a61efc46169e6f19abce33721598 RANDOM SEED=1091738561 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29736448 kB Buffers: 360156 kB Cached: 1793308 kB SwapCached: 104 kB Active: 776340 kB Inactive: 1532824 kB Active(anon): 146476 kB Inactive(anon): 11368 kB Active(file): 629864 kB Inactive(file): 1521456 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 7400 kB Writeback: 0 kB AnonPages: 164392 kB Mapped: 16196 kB Shmem: 212 kB Slab: 685880 kB SReclaimable: 128052 kB SUnreclaim: 557828 kB KernelStack: 1480 kB PageTables: 4328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 271576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71720 MiB End job on node133 at 2012-05-27 20:39:10