Trace number 4119708

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.25 1800.55

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
MD5SUMee99ff6a778d02b738f5aa73f46dd648
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark51.5942
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables661504
Total number of constraints5680
Number of constraints which are clauses2583
Number of constraints which are cardinality constraints (but not clauses)2583
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2584
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 935283
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2150318
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T10:38:32+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119708-1467275911.opb"]
0.00/0.01	c use --random-gen="4011148727 3043151449 3886923253 1022841092 2446611353 1777303987 4000883789 1159635250 320076758 455261520 2235995801 3502995616 1961076575 3644565689 2994130030 1694062631 2015870469 2250510083 2170225056 1539295589 4089210997 1457817054 2610700260 354719593 1143544447 1761988249 4022484660 487720972 3164292653 3702966543 2054747055 735132558 239150266 59727249 130493239 2273512830 890105384 3710772363 1950865180 2273645649 914027052 1496416921 1643752515 3701519920 3347353475 1728878586 1758604046 4029008391 4013622777 1969592196 4121779589 3059369424 347817806 1050168977 172373323 1051954002 4282081842 837381801 3498374157 2947904132 2717662244 1230503726 1743832737 2482771693 64556703 311723987 1975202016 2322257434 528790807 3963044964 3128123548 3073403225 2474035961 704965753 2815676665 2422971609 1462241683 3112098137 2403742878 1290311981 1323047936 1381604130 299532718 1392622176 1839728769 3400345269 75039922 2024790789 1690788529 3073645076 1942978795 2236994195 1576222625 3310346114 3888628148 1249738231 3126313499 2033189197 562503324 3118908839 3286495589 1542490356 1060780430 472846282 317244477 4135371252 2022146729 554309258 2059534246 4057970971 3338017647 2996998260 1909151172 3278257015 2911343075 1832987122 3876065460 2862207221 2225531938 3805737780 2071026947 1079302361 2756884907 3324475984 4237019247 1573294579 1365179916 3318366422 3213798425 3328476714 324767740 3107765772 2468039996 3625705078 2150739144 1840408102 3533640235 3941410564 2112650347 2956066539 4133490088 3532044295 223193809 1366006750 3522836239 3482596126 1866671826 3261737966 3897673930 882965164 1465049013 3738388578 3591808392 2600503616 1823267482 125866980 4021261721 3798464133 2514688844 4118703197 3467497524 816096225 1921314312 2743179408 3028017401 9976834 4158729396 1006754765 3198228224 1651618413 4165991811 3769174847 3603069991 3760645564 3123328570 1155474149 3334413677 3245117417 1008328783 805371942 3663930627 4124478936 2068881497 1859643893 228641690 2427039787 1312839934 2482079417 800582047 3342407557 1464363850 548125043 839859574 1709888467 1012193648 443207746 971351050 829301780 516454708 1173368954 4211252277 2262600046 1568913911 927808999 2348256286 1759839794 1023935035 1631927433 1936209038 2547193212 93789853 2082312656 1866818806 3849462145 690427428 3679858517 1560048099 2004254800 973441733 2207348873 506385172 3224257020 4278807992 2342833389 4274817479 1731329046 227639197 2608105442 1614059249 2734400638 1684142160 324738600 2862506910 3631641756 2744761927 1473366602 3379999541 1197707920 4055342130 597289350 970004872 1825332666 1901783115 3870227064 1267610542 2329723462 1151557641 3858727302 2079242729 3497122819 2590786719 661883697 1682347020 1009298811 1879426646 1457272242 255 362436" option to reproduce the execution
4.59/4.65	c #vars 661504
4.59/4.65	c #constraints 5680
14.59/14.66	c Solving starts ...
14.59/14.66	c ============================[ Search Statistics ]============================
14.59/14.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.59/14.66	c       |         |          |          |    Limit     GC | Var      | Constra 
14.59/14.66	c =============================================================================
14.59/14.66	c  0.0s |       0 |        0 |        0 |   222394      0 |     1416 |        0
19.29/19.36	c  4.7s |       0 |     2545 |      100 |   222394      0 |     1416 |        0
19.69/19.78	c  5.1s |       1 |     2545 |      100 |   222394      0 |     1416 |        0
32.28/32.31	c 17.6s |       1 |    13763 |      200 |   244634      0 |     1416 |        0
37.68/37.75	c 23.1s |       2 |    13819 |      250 |   244634      0 |     1416 |        0
44.78/44.81	c 30.2s |       2 |    60080 |      350 |   269098      0 |     1416 |        0
55.88/55.92	c 41.3s |       2 |    60196 |      450 |   269098      0 |     1416 |        0
59.78/59.88	c 45.2s |       3 |    60224 |      475 |   269098      0 |     1416 |        0
71.88/71.96	c 57.3s |       3 |   186334 |      575 |   296008      0 |     1416 |        0
84.28/84.33	c 69.7s |       3 |   186457 |      675 |   296008      0 |     1416 |        0
95.68/95.76	c 81.1s |       3 |   186566 |      775 |   296008      0 |     1416 |        0
100.58/100.68	c 86.0s |       4 |   186608 |      813 |   296008      0 |     1416 |        0
111.87/111.97	c 97.3s |       4 |   310399 |      913 |   325609      0 |     1416 |        0
124.77/124.89	c  110s |       4 |   310528 |     1013 |   325609      0 |     1416 |        0
139.26/139.38	c  124s |       4 |   310646 |     1113 |   325609      0 |     1416 |        0
153.57/153.69	c  139s |       4 |   310766 |     1213 |   325609      0 |     1416 |        0
166.66/166.72	c  152s |       4 |   310879 |     1313 |   325609      0 |     1416 |        0
167.56/167.67	c  153s |       5 |   310886 |     1320 |   325609      0 |     1416 |        0
178.56/178.69	c  164s |       5 |   469953 |     1420 |   358170      0 |     1416 |        0
193.16/193.24	c  178s |       5 |   470059 |     1520 |   358170      0 |     1416 |        0
205.06/205.15	c  190s |       5 |   470181 |     1620 |   358170      0 |     1416 |        0
215.46/215.55	c  200s |       5 |   470308 |     1720 |   358170      0 |     1416 |        0
227.15/227.28	c  212s |       5 |   470414 |     1820 |   358170      0 |     1416 |        0
239.86/239.94	c  225s |       5 |   470539 |     1920 |   358170      0 |     1416 |        0
254.35/254.49	c  239s |       5 |   470657 |     2020 |   358170      0 |     1416 |        0
263.55/263.68	c  249s |       6 |   470732 |     2081 |   393988      0 |     1416 |        0
271.95/272.06	c  257s |       6 |   651872 |     2181 |   393988      0 |     1416 |        0
280.74/280.81	c  266s |       6 |   652011 |     2281 |   393988      0 |     1416 |        0
291.64/291.74	c  277s |       6 |   652163 |     2381 |   393988      0 |     1416 |        0
303.74/303.80	c  289s |       6 |   652279 |     2481 |   393988      0 |     1416 |        0
315.94/316.07	c  301s |       6 |   652396 |     2581 |   393988      0 |     1416 |        0
329.44/329.50	c  314s |       6 |   652560 |     2681 |   393988      0 |     1416 |        0
339.53/339.69	c  325s |       6 |   652686 |     2781 |   393988      0 |     1416 |        0
348.13/348.20	c  333s |       6 |   652858 |     2881 |   393988      0 |     1416 |        0
358.84/358.93	c  344s |       6 |   652967 |     2981 |   393988      0 |     1416 |        0
370.34/370.43	c  355s |       6 |   653082 |     3081 |   393988      0 |     1416 |        0
379.13/379.27	c  364s |       6 |   653235 |     3181 |   393988      0 |     1416 |        0
383.33/383.43	c  368s |       7 |   653285 |     3223 |   433387      0 |     1416 |        0
398.42/398.53	c  383s |       7 |   828924 |     3323 |   433387      0 |     1416 |        0
412.63/412.76	c  398s |       7 |   829044 |     3423 |   433387      0 |     1416 |        0
424.23/424.31	c  409s |       7 |   829151 |     3523 |   433387      0 |     1416 |        0
435.53/435.66	c  421s |       7 |   829291 |     3623 |   433387      0 |     1416 |        0
447.92/448.06	c  433s |       7 |   829426 |     3723 |   433387      0 |     1416 |        0
461.82/461.95	c  447s |       7 |   829577 |     3823 |   433387      0 |     1416 |        0
476.02/476.15	c  461s |       7 |   829724 |     3923 |   433387      0 |     1416 |        0
491.41/491.56	c  476s |       7 |   829838 |     4023 |   433387      0 |     1416 |        0
506.41/506.50	c  491s |       7 |   829980 |     4123 |   433387      0 |     1416 |        0
521.01/521.19	c  506s |       7 |   830100 |     4223 |   433387      0 |     1416 |        0
535.21/535.37	c  520s |       7 |   830218 |     4323 |   433387      0 |     1416 |        0
552.61/552.72	c  538s |       7 |   830344 |     4423 |   433387      0 |     1416 |        0
566.00/566.16	c  551s |       7 |   830487 |     4523 |   433387      0 |     1416 |        0
579.50/579.67	c  565s |       7 |   830641 |     4623 |   433387      0 |     1416 |        0
593.91/594.01	c  579s |       7 |   830765 |     4723 |   433387      0 |     1416 |        0
609.30/609.43	c  594s |       7 |   830877 |     4823 |   433387      0 |     1416 |        0
622.50/622.69	c  608s |       7 |   830988 |     4923 |   476726      0 |     1416 |        0
625.09/625.21	c  610s |       8 |   831003 |     4936 |   476726      0 |     1416 |        0
644.69/644.80	c  630s |       8 |   997439 |     5036 |   476726      0 |     1416 |        0
661.28/661.45	c  646s |       8 |   997553 |     5136 |   476726      0 |     1416 |        0
682.99/683.11	c  668s |       8 |   997705 |     5236 |   476726      0 |     1416 |        0
703.28/703.40	c  688s |       8 |   997837 |     5336 |   476726      0 |     1416 |        0
728.08/728.24	c  713s |       8 |   997973 |     5436 |   476726      0 |     1416 |        0
758.37/758.53	c  743s |       8 |   998087 |     5536 |   476726      0 |     1416 |        0
787.26/787.49	c  772s |       8 |   998227 |     5636 |   476726      0 |     1416 |        0
812.87/813.04	c  798s |       8 |   998337 |     5736 |   476726      0 |     1416 |        0
834.87/835.01	c  820s |       8 |   998461 |     5836 |   476726      0 |     1416 |        0
857.55/857.75	c  843s |       8 |   998569 |     5936 |   476726      0 |     1416 |        0
877.65/877.84	c  863s |       8 |   998689 |     6036 |   476726      0 |     1416 |        0
901.05/901.23	c  886s |       8 |   998810 |     6136 |   476726      0 |     1416 |        0
920.75/920.97	c  906s |       8 |   998928 |     6236 |   476726      0 |     1416 |        0
945.14/945.36	c  930s |       8 |   999043 |     6336 |   476726      0 |     1416 |        0
974.34/974.54	c  959s |       8 |   999154 |     6436 |   476726      0 |     1416 |        0
1006.34/1006.51	c  991s |       8 |   999293 |     6536 |   476726      0 |     1416 |        0
1033.13/1033.33	c 1018s |       8 |   999394 |     6636 |   476726      0 |     1416 |        0
1059.42/1059.64	c 1044s |       8 |   999500 |     6736 |   476726      0 |     1416 |        0
1086.82/1087.01	c 1072s |       8 |   999620 |     6836 |   476726      0 |     1416 |        0
1117.91/1118.12	c 1103s |       8 |   999744 |     6936 |   476726      0 |     1416 |        0
1150.81/1151.00	c 1136s |       8 |   999853 |     7036 |   476726      0 |     1416 |        0
1180.60/1180.85	c 1166s |       8 |   999961 |     7136 |   476726      0 |     1416 |        0
1210.09/1210.36	c 1195s |       8 |  1000084 |     7236 |   476726      0 |     1416 |        0
1239.10/1239.34	c 1224s |       8 |  1000177 |     7336 |   476726      0 |     1416 |        0
1265.59/1265.81	c 1251s |       8 |  1000286 |     7436 |   476726      0 |     1416 |        0
1281.98/1282.28	c 1267s |       9 |  1000374 |     7506 |   524399      0 |     1416 |        0
1297.79/1298.06	c 1283s |       9 |  1150748 |     7606 |   524399      0 |     1416 |        0
1310.78/1311.00	c 1296s |       9 |  1150894 |     7706 |   524399      0 |     1416 |        0
1325.98/1326.25	c 1311s |       9 |  1151000 |     7806 |   524399      0 |     1416 |        0
1340.08/1340.34	c 1325s |       9 |  1151126 |     7906 |   524399      0 |     1416 |        0
1354.68/1354.90	c 1340s |       9 |  1151262 |     8006 |   524399      0 |     1416 |        0
1368.47/1368.79	c 1354s |       9 |  1151379 |     8106 |   524399      0 |     1416 |        0
1384.17/1384.40	c 1369s |       9 |  1151550 |     8206 |   524399      0 |     1416 |        0
1401.17/1401.41	c 1386s |       9 |  1151662 |     8306 |   524399      0 |     1416 |        0
1415.66/1415.96	c 1401s |       9 |  1151794 |     8406 |   524399      0 |     1416 |        0
1432.86/1433.17	c 1418s |       9 |  1151918 |     8506 |   524399      0 |     1416 |        0
1449.67/1449.92	c 1435s |       9 |  1152074 |     8606 |   524399      0 |     1416 |        0
1466.76/1467.05	c 1452s |       9 |  1152200 |     8706 |   524399      0 |     1416 |        0
1483.76/1484.01	c 1469s |       9 |  1152311 |     8806 |   524399      0 |     1416 |        0
1501.36/1501.69	c 1487s |       9 |  1152423 |     8906 |   524399      0 |     1416 |        0
1520.35/1520.61	c 1505s |       9 |  1152537 |     9006 |   524399      0 |     1416 |        0
1535.75/1536.09	c 1521s |       9 |  1152652 |     9106 |   524399      0 |     1416 |        0
1552.95/1553.28	c 1538s |       9 |  1152773 |     9206 |   524399      0 |     1416 |        0
1570.65/1570.92	c 1556s |       9 |  1152891 |     9306 |   524399      0 |     1416 |        0
1588.04/1588.31	c 1573s |       9 |  1153002 |     9406 |   524399      0 |     1416 |        0
1606.44/1606.78	c 1592s |       9 |  1153111 |     9506 |   524399      0 |     1416 |        0
1627.43/1627.74	c 1613s |       9 |  1153243 |     9606 |   524399      0 |     1416 |        0
1644.73/1645.04	c 1630s |       9 |  1153372 |     9706 |   524399      0 |     1416 |        0
1662.23/1662.53	c 1647s |       9 |  1153503 |     9806 |   524399      0 |     1416 |        0
1678.52/1678.87	c 1664s |       9 |  1153610 |     9906 |   524399      0 |     1416 |        0
1697.23/1697.54	c 1682s |       9 |  1153738 |    10006 |   524399      0 |     1416 |        0
1714.32/1714.67	c 1700s |       9 |  1153851 |    10106 |   524399      0 |     1416 |        0
1730.91/1731.20	c 1716s |       9 |  1153981 |    10206 |   524399      0 |     1416 |        0
1748.91/1749.27	c 1734s |       9 |  1154139 |    10306 |   524399      0 |     1416 |        0
1766.41/1766.76	c 1752s |       9 |  1154250 |    10406 |   524399      0 |     1416 |        0
1783.00/1783.32	c 1768s |       9 |  1154367 |    10506 |   524399      0 |     1416 |        0
1799.79/1800.12	c 1785s |       9 |  1154480 |    10606 |   524399      0 |     1416 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4119708-1467275911/watcher-4119708-1467275911 -o /tmp/evaluation-result-4119708-1467275911/solver-4119708-1467275911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17325 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119708-1467275911.opb 

pid=17694
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.27 2.23 2.43 3/181 17697
/proc/meminfo: memFree=27852372/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 2860 0 0 0 0 0 0 0 20 0 4 0 8543756 782692352 3221 33554432000 4194304 16246674 140735451234944 140735451234368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 191855 3230 441 2943 0 188749 0
[pid=17697/tid=17698] ppid=17694 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 801566720 3293 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 806809600 3310 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8543757 811003904 3328 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100152 s]
/proc/loadavg: 2.27 2.23 2.43 3/181 17697
/proc/meminfo: memFree=27852372/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 28707 0 0 0 5 4 0 0 20 0 4 0 8543756 1332285440 29006 33554432000 4194304 16246674 140735451234944 140735451234256 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 325265 29023 801 2943 0 322159 0
[pid=17697/tid=17698] ppid=17694 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1332285440 29035 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1332285440 29046 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1332285440 29057 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200542 s]
/proc/loadavg: 2.27 2.23 2.43 3/181 17697
/proc/meminfo: memFree=27852372/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 44112 0 0 0 13 6 0 0 20 0 4 0 8543756 1344868352 44922 33554432000 4194304 16246674 140735451234944 140735451217936 8058600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 328337 44922 801 2943 0 325231 0
[pid=17697/tid=17698] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 44922 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 44922 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 44922 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300509 s]
/proc/loadavg: 2.27 2.23 2.43 3/181 17697
/proc/meminfo: memFree=27852372/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 47620 0 0 0 23 6 0 0 20 0 4 0 8543756 1344868352 48430 33554432000 4194304 16246674 140735451234944 140735451217936 7364396 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 328337 48430 802 2943 0 325231 0
[pid=17697/tid=17698] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 48430 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 48430 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 48430 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700433 s]
/proc/loadavg: 2.27 2.23 2.43 3/181 17697
/proc/meminfo: memFree=27852372/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 62760 0 0 0 60 9 0 0 20 0 4 0 8543756 1344868352 63570 33554432000 4194304 16246674 140735451234944 140735451217936 8055443 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 328337 63570 803 2943 0 325231 0
[pid=17697/tid=17698] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 63570 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 63570 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 63570 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.27 2.23 2.43 3/185 17701
/proc/meminfo: memFree=27586092/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 77196 0 0 0 138 11 0 0 20 0 4 0 8543756 1344868352 78006 33554432000 4194304 16246674 140735451234944 140735451217936 7439648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 328337 78006 803 2943 0 325231 0
[pid=17697/tid=17698] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 78006 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 78006 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1344868352 78006 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.27 2.23 2.43 3/185 17701
/proc/meminfo: memFree=27405268/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 154955 0 0 0 287 22 0 0 20 0 4 0 8543756 1370034176 160875 33554432000 4194304 16246674 140735451234944 140735451217936 4206607 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 334481 160875 803 2943 0 331375 0
[pid=17697/tid=17698] ppid=17694 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1370034176 160875 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8543757 1370034176 160875 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1370034176 160875 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.33 2.25 2.44 3/185 17701
/proc/meminfo: memFree=26690448/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1622596 CPUtime=6.29 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 281562 0 0 0 589 40 0 0 20 0 4 0 8543756 1661538304 296169 33554432000 4194304 16246674 140735451234944 140735451232832 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 405649 296169 834 2943 0 402543 0
[pid=17697/tid=17698] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 296169 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 296169 33554432000 4194304 16246674 140735451234944 140440357542928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 296169 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1622596

[startup+12.7004 s]
/proc/loadavg: 2.31 2.24 2.43 3/185 17701
/proc/meminfo: memFree=26464820/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1622596 CPUtime=12.69 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 327889 0 0 0 1224 45 0 0 20 0 4 0 8543756 1661538304 347095 33554432000 4194304 16246674 140735451234944 140735451234120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 405649 347095 848 2943 0 402543 0
[pid=17697/tid=17698] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347095 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347095 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347095 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1622596

[startup+25.5005 s]
/proc/loadavg: 2.32 2.25 2.43 4/185 17701
/proc/meminfo: memFree=26465688/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=1622596 CPUtime=25.48 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 327928 0 0 0 2500 48 0 0 20 0 4 0 8543756 1661538304 347134 33554432000 4194304 16246674 140735451234944 140735451234120 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 405649 347134 887 2943 0 402543 0
[pid=17697/tid=17698] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347134 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347134 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=1622596 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 1661538304 347134 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1622596

[startup+51.1005 s]
/proc/loadavg: 2.21 2.22 2.42 3/185 17701
/proc/meminfo: memFree=25646512/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=2255428 CPUtime=51.08 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 486141 0 0 0 5040 68 0 0 20 0 4 0 8543756 2309558272 505347 33554432000 4194304 16246674 140735451234944 140735451216832 5711552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 563857 505347 891 2943 0 560751 0
[pid=17697/tid=17698] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2255428

[startup+102.301 s]
/proc/loadavg: 2.22 2.22 2.41 3/186 17706
/proc/meminfo: memFree=25646228/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=2255428 CPUtime=102.28 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 486141 0 0 0 10159 69 0 0 20 0 4 0 8543756 2309558272 505347 33554432000 4194304 16246674 140735451234944 140735451232896 5754872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17697/statm: 563857 505347 891 2943 0 560751 0
[pid=17697/tid=17698] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=2255428 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 2309558272 505347 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2255428


################
# More data... #
################

/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3050901504 686145 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=2979396 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3050901504 686145 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=2979396 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3050901504 686145 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2979396

[startup+1362.3 s]
/proc/loadavg: 2.19 2.25 2.27 3/186 17760
/proc/meminfo: memFree=24242304/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3004996 CPUtime=1362.08 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 673426 0 0 0 136041 167 0 0 20 0 4 0 8543756 3077115904 692632 33554432000 4194304 16246674 140735451234944 140735451234120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 751249 692632 891 2943 0 748143 0
[pid=17697/tid=17698] ppid=17694 vsize=3004996 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3077115904 692632 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3004996 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3077115904 692632 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3004996 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3077115904 692632 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3004996

[startup+1422.3 s]
/proc/loadavg: 2.38 2.30 2.28 4/185 17761
/proc/meminfo: memFree=24185424/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3033668 CPUtime=1422.07 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 680630 0 0 0 142033 174 0 0 20 0 4 0 8543756 3106476032 699836 33554432000 4194304 16246674 140735451234944 140735451234120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 758417 699836 891 2943 0 755311 0
[pid=17697/tid=17698] ppid=17694 vsize=3033668 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3106476032 699836 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3033668 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3106476032 699836 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3033668 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3106476032 699836 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3033668

[startup+1482.3 s]
/proc/loadavg: 2.30 2.29 2.28 3/185 17762
/proc/meminfo: memFree=24146832/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3048004 CPUtime=1482.06 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 684285 0 0 0 148025 181 0 0 20 0 4 0 8543756 3121156096 703491 33554432000 4194304 16246674 140735451234944 140735451232832 13881710 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 762001 703491 891 2943 0 758895 0
[pid=17697/tid=17698] ppid=17694 vsize=3048004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3121156096 703491 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3048004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3121156096 703491 33554432000 4194304 16246674 140735451234944 140440357542928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3048004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3121156096 703491 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3048004

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.27 4/185 17763
/proc/meminfo: memFree=24083496/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3084868 CPUtime=1542.05 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 693403 0 0 0 154017 188 0 0 20 0 4 0 8543756 3158904832 712609 33554432000 4194304 16246674 140735451234944 140735451234120 5712622 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 771217 712609 891 2943 0 768111 0
[pid=17697/tid=17698] ppid=17694 vsize=3084868 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3158904832 712609 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3084868 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3158904832 712609 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3084868 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3158904832 712609 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3084868

[startup+1602.3 s]
/proc/loadavg: 2.27 2.27 2.27 4/185 17764
/proc/meminfo: memFree=24031816/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3107396 CPUtime=1602.04 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 699133 0 0 0 160009 195 0 0 20 0 4 0 8543756 3181973504 718339 33554432000 4194304 16246674 140735451234944 140735451234120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 776849 718339 891 2943 0 773743 0
[pid=17697/tid=17698] ppid=17694 vsize=3107396 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3181973504 718339 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3107396 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3181973504 718339 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3107396 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3181973504 718339 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3107396

[startup+1662.3 s]
/proc/loadavg: 2.23 2.26 2.27 3/185 17766
/proc/meminfo: memFree=23986088/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3131972 CPUtime=1662.03 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 705138 0 0 0 166001 202 0 0 20 0 4 0 8543756 3207139328 724344 33554432000 4194304 16246674 140735451234944 140735451234120 5711956 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 782993 724344 891 2943 0 779887 0
[pid=17697/tid=17698] ppid=17694 vsize=3131972 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3207139328 724344 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3131972 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3207139328 724344 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3131972 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3207139328 724344 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3131972

[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.26 3/185 17816
/proc/meminfo: memFree=25929736/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3155524 CPUtime=1722.02 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 710924 0 0 0 171993 209 0 0 20 0 4 0 8543756 3231256576 730130 33554432000 4194304 16246674 140735451234944 140735451216832 5712608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 788881 730130 891 2943 0 785775 0
[pid=17697/tid=17698] ppid=17694 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3231256576 730130 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3231256576 730130 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3231256576 730130 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3155524

[startup+1782.3 s]
/proc/loadavg: 2.15 2.22 2.25 4/185 17817
/proc/meminfo: memFree=25873104/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3176004 CPUtime=1782 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 716174 0 0 0 177985 215 0 0 20 0 4 0 8543756 3252228096 735382 33554432000 4194304 16246674 140735451234944 140735451234120 5712604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 794001 735382 891 2943 0 790895 0
[pid=17697/tid=17698] ppid=17694 vsize=3176004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3252228096 735382 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3176004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3252228096 735382 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3176004 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3252228096 735382 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3176004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.25 2.26 4/185 17817
/proc/meminfo: memFree=25861172/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=3188292 CPUtime=1800.09 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) R 17694 17697 15921 0 -1 4202496 719221 0 0 0 179792 217 0 0 20 0 4 0 8543756 3264811008 738429 33554432000 4194304 16246674 140735451234944 140735451234040 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 797073 738429 891 2943 0 793967 0
[pid=17697/tid=17698] ppid=17694 vsize=3188292 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17698/stat : 17698 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3264811008 738429 33554432000 4194304 16246674 140735451234944 140440368033008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17697/tid=17699] ppid=17694 vsize=3188292 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17699/stat : 17699 (toysat) S 17694 17697 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8543757 3264811008 738429 33554432000 4194304 16246674 140735451234944 140440357543152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=3188292 CPUtime=0 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) S 17694 17697 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8543757 3264811008 738429 33554432000 4194304 16246674 140735451234944 140440347069616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3188292

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 17697 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.26 4/185 17817
/proc/meminfo: memFree=25861172/32872528 swapFree=1484408/1662236
[pid=17697] ppid=17694 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/17697/stat : 17697 (toysat) Z 17694 17697 15921 0 -1 4203532 719221 0 0 0 179793 227 0 0 20 0 2 0 8543756 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17697/statm: 0 0 0 0 0 0 0
[pid=17697/tid=17700] ppid=17694 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/17697/task/17700/stat : 17700 (toysat) R 17694 17697 15921 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 8543757 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.25
CPU user time (s): 1797.93
CPU system time (s): 2.31765
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 3188292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 2.31765
maximum resident set size= 2953716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719221
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= 182
involuntary context switches= 2848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36234 second user time and 7.10092 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 10:38:32
IDJOB=4119708
IDBENCH=111793
IDSOLVER=2542
FILE ID=node134/4119708-1467275911
RUNJOBID= node134-1467274001-17325
PBS_JOBID= 20004500
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119708-1467275911/watcher-4119708-1467275911 -o /tmp/evaluation-result-4119708-1467275911/solver-4119708-1467275911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17325 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119708-1467275911.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ee99ff6a778d02b738f5aa73f46dd648
RANDOM SEED=218341135

node134.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.738
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.47
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.738
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	: 7358.89
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.738
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	: 5332.55
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.738
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	: 5332.55
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.738
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	: 5332.54
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.738
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	: 5332.55
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.738
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	: 5332.55
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.738
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	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27852768 kB
Buffers:          146500 kB
Cached:           353672 kB
SwapCached:            0 kB
Active:          2312652 kB
Inactive:         294412 kB
Active(anon):    2102776 kB
Inactive(anon):     6428 kB
Active(file):     209876 kB
Inactive(file):   287984 kB
Unevictable:     1662236 kB
Mlocked:         1484408 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             46628 kB
Writeback:             0 kB
AnonPages:       3772924 kB
Mapped:            16960 kB
Shmem:               216 kB
Slab:             611800 kB
SReclaimable:      55176 kB
SUnreclaim:       556624 kB
KernelStack:        1480 kB
PageTables:        11388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3901600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node134 at 2016-06-30 11:08:33