Trace number 4103589

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUMd322c8ef05198e65a211d45af91a5272
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
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-18T10:20:13+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-4103589-1466238012.opb"]
0.00/0.01	c use --random-gen="1088160809 202162314 2545347676 424601189 2596499794 2694041179 4270048173 1640661740 3371154703 2721831128 947827199 523263576 509644263 377788330 2994051416 1893234481 45218477 1264848549 1929063303 2737626001 1394487470 1885106179 1511478475 3838676054 710662499 2001327947 1699279624 1122249642 1048491397 3922542427 366274089 123398627 3992775755 4190676961 2736889265 1323656195 2720999688 2198168785 2378866453 2999780440 1183912473 1710653513 4248475939 2480585548 882520395 1029896546 763002204 2322321519 2761097491 892189219 1869639414 3245464783 1385049139 3569674138 1991025960 1925713309 4082920782 2111948822 3596741671 1182704018 1359522425 2871142921 112868673 2759455583 795227807 2303357289 4099417733 3932274601 1287969761 2379728396 2741831013 3655824145 2704867968 1946126487 170236928 4210748293 3508203958 2810587233 491057827 2551418957 3624308150 3126554429 3594035886 2366163769 3116884691 2574281913 134659383 4287659021 3393201410 1079286911 291650380 3721961667 775866316 304193177 3031749088 2165326212 3419955653 3915931369 4278427457 1538633941 2282804640 2537992270 986499616 2714254894 2118346486 1756313047 3831219649 1469255212 4041669892 3032437546 275366285 2209310589 2013024746 2795104709 4181368857 1468237287 3150047670 1701908737 4034344106 2415962175 419177453 2575797479 1345897799 2479654185 299478335 1125919004 660395856 4178973205 2837941587 1147948847 116311082 3991052722 1257239472 2363696768 1436124099 489067447 2390659606 1601638379 3401332783 1148867739 3785771721 3796064565 667158117 10677256 2784114043 562242483 3042505265 2512762576 1224715581 242471267 2762062994 4181832061 588218659 102996287 4122625978 3987215443 3411405816 2784087379 3592985181 1129329535 2765344539 884546567 4069707422 3065930930 2404587540 3699110200 3540613381 3144174291 2628211372 4191778207 4238358721 1227896022 3519951824 1346938768 1725501348 2927374875 2332410898 4192187339 2674856327 2880077739 486287503 1265329802 2948253742 3564708019 3933290200 135690512 1959787568 1072740288 1620956638 1786808016 56094603 238723894 3003570027 1707055919 293516380 70340180 1774262635 1254875834 234134678 2382415658 931388154 402891025 1886580866 1645227327 3265469308 3168516625 147093735 3381491654 3006248745 2993944027 3783441516 572681287 3783561192 3726391122 1772159851 1025046783 2159147244 770236671 2406565779 391191621 3275746076 3650449989 320188036 2193951394 975979830 3922958615 818022837 2518359848 3226402249 4072042456 3050548722 1374055046 3208390976 142279865 1280304575 697775589 4207955815 715204839 2452718828 3868761873 135380798 3148577542 327192597 419120160 2550681906 3960911092 702466584 2709876607 3187666054 3815075858 3881303538 502482426 2195181969 305617688 2694987080 2223946683 255 362436" option to reproduce the execution
2.59/2.62	c #vars 185520
2.59/2.62	c #constraints 404
65.88/66.00	c BCD2: Hardening is enabled.
65.88/66.00	c BCD2: BiasedSearch is enabled.
65.88/66.00	c Solving starts ...
65.88/66.00	c ============================[ Search Statistics ]============================
65.88/66.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
65.88/66.00	c       |         |          |          |    Limit     GC | Var      | Constra 
65.88/66.00	c =============================================================================
65.99/66.01	c  0.0s |       0 |        0 |        0 |    62109      0 |    65188 |        0
88.47/88.59	c 22.6s |       0 |      157 |      100 |    62109      0 |    65188 |        2
88.67/88.70	c 22.7s |       1 |      157 |      100 |    62109      0 |    65188 |        2
120.17/120.27	c 54.3s |       1 |      275 |      200 |    68320      0 |    65188 |        2
134.87/134.96	c 68.9s |       2 |      323 |      250 |    68320      0 |    65188 |        2
164.06/164.17	c 98.2s |       2 |      439 |      350 |    75152      0 |    65188 |        2
193.86/193.91	c  127s |       2 |      544 |      450 |    75152      0 |    65188 |        2
201.26/201.40	c  135s |       3 |      590 |      475 |    75152      0 |    65188 |        2
241.85/241.98	c  175s |       3 |      717 |      575 |    82668      0 |    65188 |        2
285.24/285.35	c  219s |       3 |      856 |      675 |    82668      0 |    65188 |        2
327.22/327.34	c  261s |       3 |     1004 |      775 |    82668      0 |    65188 |        2
341.72/341.88	c  275s |       4 |     1048 |      813 |    82668      0 |    65188 |        2
386.02/386.12	c  320s |       4 |     1161 |      913 |    90935      0 |    65188 |        2
421.11/421.21	c  355s |       4 |     1274 |     1013 |    90935      0 |    65188 |        2
460.60/460.75	c  394s |       4 |     1388 |     1113 |    90935      0 |    65188 |        2
502.79/502.90	c  436s |       4 |     1497 |     1213 |    90935      0 |    65188 |        2
544.18/544.34	c  478s |       4 |     1624 |     1313 |    90935      0 |    65188 |        2
547.38/547.54	c  481s |       5 |     1635 |     1320 |    90935      0 |    65188 |        2
591.09/591.24	c  525s |       5 |     1750 |     1420 |   100029      0 |    65188 |        2
635.37/635.58	c  569s |       5 |     1876 |     1520 |   100029      0 |    65188 |        2
683.66/683.85	c  617s |       5 |     1978 |     1620 |   100029      0 |    65188 |        2
729.26/729.43	c  663s |       5 |     2110 |     1720 |   100029      0 |    65188 |        2
775.54/775.70	c  709s |       5 |     2233 |     1820 |   100029      0 |    65188 |        2
819.14/819.35	c  753s |       5 |     2349 |     1920 |   100029      0 |    65188 |        2
860.14/860.37	c  794s |       5 |     2512 |     2020 |   100029      0 |    65188 |        2
890.22/890.40	c  824s |       6 |     2613 |     2081 |   110032      0 |    65188 |        2
933.82/934.06	c  868s |       6 |     2768 |     2181 |   110032      0 |    65188 |        2
981.21/981.44	c  915s |       6 |     2941 |     2281 |   110032      0 |    65188 |        2
1025.70/1025.93	c  959s |       6 |     3102 |     2381 |   110032      0 |    65188 |        2
1072.70/1072.90	c 1006s |       6 |     3223 |     2481 |   110032      0 |    65188 |        2
1114.39/1114.60	c 1048s |       6 |     3326 |     2581 |   110032      0 |    65188 |        2
1158.19/1158.46	c 1092s |       6 |     3462 |     2681 |   110032      0 |    65188 |        2
1198.67/1198.97	c 1132s |       6 |     3576 |     2781 |   110032      0 |    65188 |        2
1238.17/1238.47	c 1172s |       6 |     3676 |     2881 |   110032      0 |    65188 |        2
1283.06/1283.31	c 1217s |       6 |     3800 |     2981 |   110032      0 |    65188 |        2
1331.25/1331.57	c 1265s |       6 |     3959 |     3081 |   110032      0 |    65188 |        2
1372.15/1372.42	c 1306s |       6 |     4089 |     3181 |   110032      0 |    65188 |        2
1386.85/1387.15	c 1321s |       7 |     4138 |     3223 |   121036      0 |    65188 |        2
1423.04/1423.35	c 1357s |       7 |     4287 |     3323 |   121036      0 |    65188 |        2
1454.64/1454.93	c 1388s |       7 |     9267 |     3423 |   121036      0 |    65189 |        2
1463.53/1463.81	c 1397s |       7 |     9382 |     3523 |   121036      0 |    65189 |        2
1471.43/1471.77	c 1405s |       7 |     9482 |     3623 |   121036      0 |    65189 |        2
1480.73/1481.01	c 1414s |       7 |     9596 |     3723 |   121036      0 |    65189 |        2
1500.83/1501.10	c 1435s |       7 |     9721 |     3823 |   121036      0 |    65189 |        2
1514.12/1514.48	c 1448s |       7 |     9826 |     3923 |   121036      0 |    65189 |        2
1528.62/1528.93	c 1462s |       7 |     9928 |     4023 |   121036      0 |    65189 |        2
1542.32/1542.62	c 1476s |       7 |    10036 |     4123 |   121036      0 |    65189 |        2
1554.72/1555.08	c 1489s |       7 |    10142 |     4223 |   121036      0 |    65189 |        2
1564.82/1565.19	c 1499s |       7 |    10249 |     4323 |   121036      0 |    65189 |        2
1573.52/1573.87	c 1507s |       7 |    10358 |     4423 |   121036      0 |    65189 |        2
1584.41/1584.75	c 1518s |       7 |    10461 |     4523 |   121036      0 |    65189 |        2
1596.21/1596.55	c 1530s |       7 |    10568 |     4623 |   121036      0 |    65189 |        2
1605.61/1605.93	c 1539s |       7 |    10685 |     4723 |   121036      0 |    65189 |        2
1615.30/1615.60	c 1549s |       7 |    10787 |     4823 |   121036      0 |    65189 |        2
1625.30/1625.70	c 1559s |       7 |    10887 |     4923 |   133140      0 |    65189 |        2
1626.50/1626.82	c 1560s |       8 |    10904 |     4936 |   133140      0 |    65189 |        2
1635.79/1636.16	c 1570s |       8 |    11056 |     5036 |   133140      0 |    65189 |        2
1644.19/1644.56	c 1578s |       8 |    11169 |     5136 |   133140      0 |    65189 |        2
1651.58/1651.93	c 1585s |       8 |    11277 |     5236 |   133140      0 |    65189 |        2
1659.59/1659.95	c 1593s |       8 |    11380 |     5336 |   133140      0 |    65189 |        2
1666.67/1667.00	c 1600s |       8 |    11502 |     5436 |   133140      0 |    65189 |        2
1675.87/1676.28	c 1610s |       8 |    11620 |     5536 |   133140      0 |    65189 |        2
1684.16/1684.50	c 1618s |       8 |    11732 |     5636 |   133140      0 |    65189 |        2
1692.16/1692.55	c 1626s |       8 |    11837 |     5736 |   133140      0 |    65189 |        2
1700.27/1700.68	c 1634s |       8 |    11950 |     5836 |   133140      0 |    65189 |        2
1708.45/1708.85	c 1642s |       8 |    12055 |     5936 |   133140      0 |    65189 |        2
1718.96/1719.32	c 1653s |       8 |    12162 |     6036 |   133140      0 |    65189 |        2
1727.45/1727.83	c 1661s |       8 |    12263 |     6136 |   133140      0 |    65189 |        2
1734.94/1735.37	c 1669s |       8 |    12365 |     6236 |   133140      0 |    65189 |        2
1742.54/1742.90	c 1676s |       8 |    12478 |     6336 |   133140      0 |    65189 |        2
1750.64/1751.00	c 1684s |       8 |    12594 |     6436 |   133140      0 |    65189 |        2
1759.13/1759.56	c 1693s |       8 |    12698 |     6536 |   133140      0 |    65189 |        2
1768.73/1769.17	c 1703s |       8 |    12806 |     6636 |   133140      0 |    65189 |        2
1778.13/1778.56	c 1712s |       8 |    12910 |     6736 |   133140      0 |    65189 |        2
1786.43/1786.88	c 1720s |       8 |    13025 |     6836 |   133140      0 |    65189 |        2
1795.53/1795.97	c 1729s |       8 |    13133 |     6936 |   133140      0 |    65189 |        2

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

pid=21820
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.17 2.10 2.09 3/180 21823
/proc/meminfo: memFree=17783580/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=782916 CPUtime=0 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 2936 0 0 0 0 0 0 0 20 0 4 0 25851255 801705984 2786 33554432000 4194304 16246674 140735983950016 140735983949440 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 196497 2796 442 2943 0 193391 0
[pid=21823/tid=21824] ppid=21820 vsize=801348 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 820580352 2857 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=805444 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 824774656 2873 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=810564 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25851255 830017536 2891 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 21823
/proc/meminfo: memFree=17783580/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 29487 0 0 0 5 4 0 0 20 0 4 0 25851255 1334382592 29275 33554432000 4194304 16246674 140735983950016 140735983949328 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 325777 29289 799 2943 0 322671 0
[pid=21823/tid=21824] ppid=21820 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1334382592 29299 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1334382592 29313 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1334382592 29324 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1303108

[startup+0.200521 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 21823
/proc/meminfo: memFree=17783580/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 46383 0 0 0 12 7 0 0 20 0 4 0 25851255 1343819776 46681 33554432000 4194304 16246674 140735983950016 140735983947840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 328081 46681 800 2943 0 324975 0
[pid=21823/tid=21824] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46681 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46681 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46681 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1312324

[startup+0.300473 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 21823
/proc/meminfo: memFree=17783580/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 46393 0 0 0 22 7 0 0 20 0 4 0 25851255 1343819776 46691 33554432000 4194304 16246674 140735983950016 140735983947840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 328081 46691 800 2943 0 324975 0
[pid=21823/tid=21824] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46691 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46691 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 46691 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1312324

[startup+0.70048 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 21823
/proc/meminfo: memFree=17783580/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 55644 0 0 0 61 8 0 0 20 0 4 0 25851255 1343819776 55942 33554432000 4194304 16246674 140735983950016 140735983947840 7440114 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 328081 55942 803 2943 0 324975 0
[pid=21823/tid=21824] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 55942 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 55942 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1343819776 55942 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1312324

[startup+1.50041 s]
/proc/loadavg: 2.17 2.10 2.09 3/184 21827
/proc/meminfo: memFree=17503336/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1324612 CPUtime=1.49 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 93029 0 0 0 136 13 0 0 20 0 4 0 25851255 1356402688 96393 33554432000 4194304 16246674 140735983950016 140735983931904 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 331153 96393 803 2943 0 328047 0
[pid=21823/tid=21824] ppid=21820 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1356402688 96393 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1356402688 96393 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1356402688 96393 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1324612

[startup+3.10052 s]
/proc/loadavg: 2.17 2.10 2.09 3/184 21827
/proc/meminfo: memFree=17380664/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1395268 CPUtime=3.09 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 147681 0 0 0 288 21 0 0 20 0 4 0 25851255 1428754432 156155 33554432000 4194304 16246674 140735983950016 140735983947840 4225124 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 348817 156155 838 2943 0 345711 0
[pid=21823/tid=21824] ppid=21820 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1428754432 156155 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25851255 1428754432 156155 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1428754432 156155 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1395268

[startup+6.30046 s]
/proc/loadavg: 2.15 2.10 2.09 3/184 21827
/proc/meminfo: memFree=16860644/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1431108 CPUtime=6.28 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 271452 0 0 0 591 37 0 0 20 0 4 0 25851255 1465454592 280948 33554432000 4194304 16246674 140735983950016 140735983931904 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 357777 280954 838 2943 0 354671 0
[pid=21823/tid=21824] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 280958 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 280962 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 280966 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1431108

[startup+12.7005 s]
/proc/loadavg: 2.14 2.09 2.09 3/184 21827
/proc/meminfo: memFree=16590632/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=1431108 CPUtime=12.69 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 289208 0 0 0 1229 40 0 0 20 0 4 0 25851255 1465454592 298704 33554432000 4194304 16246674 140735983950016 140735983947840 12654383 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 357777 298704 838 2943 0 354671 0
[pid=21823/tid=21824] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 298704 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 298704 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=1431108 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 1465454592 298704 33554432000 4194304 16246674 140735983950016 140290458373296 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) 1431108

[startup+25.5005 s]
/proc/loadavg: 2.11 2.09 2.09 3/184 21827
/proc/meminfo: memFree=15864692/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2155076 CPUtime=25.48 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 470200 0 0 0 2484 64 0 0 20 0 4 0 25851255 2206797824 479696 33554432000 4194304 16246674 140735983950016 140735983931904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 538769 479696 838 2943 0 535663 0
[pid=21823/tid=21824] ppid=21820 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 2206797824 479696 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 2206797824 479696 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 2206797824 479696 33554432000 4194304 16246674 140735983950016 140290458373296 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) 2155076

[startup+51.1005 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 21827
/proc/meminfo: memFree=15346604/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2672196 CPUtime=51.08 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 599480 0 0 0 5025 83 0 0 20 0 4 0 25851255 2736328704 608976 33554432000 4194304 16246674 140735983950016 140735983949112 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 668049 608976 838 2943 0 664943 0
[pid=21823/tid=21824] ppid=21820 vsize=2672196 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 2736328704 608976 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2672196 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 2736328704 608976 33554432000 4194304 16246674 140735983950016 140290468846608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2672196 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 2736328704 608976 33554432000 4194304 16246674 140735983950016 140290458373296 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) 2672196

[startup+102.301 s]
/proc/loadavg: 2.31 2.14 2.10 3/183 21878
/proc/meminfo: memFree=27555668/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=102.28 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677873 0 0 0 10133 95 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140735983931904 13775084 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687624 894 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290458373296 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) 2985540


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

/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2985540

[startup+1302.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 21956
/proc/meminfo: memFree=16975008/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1302.06 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677925 0 0 0 130110 96 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140735983931904 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687624 894 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2985540

[startup+1362.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 22006
/proc/meminfo: memFree=28464844/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1362.05 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677925 0 0 0 136109 96 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140735983931904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687624 894 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2985540

[startup+1422.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 22007
/proc/meminfo: memFree=27821132/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1422.05 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677925 0 0 0 142109 96 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140735983931904 5600176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687624 894 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687624 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2985540

[startup+1482.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 22008
/proc/meminfo: memFree=27821364/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1482.03 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677928 0 0 0 148107 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2985540

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 22009
/proc/meminfo: memFree=27820752/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1542.03 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677928 0 0 0 154107 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2985540

[startup+1602.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 22011
/proc/meminfo: memFree=27821264/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1602.01 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677939 0 0 0 160105 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2985540

[startup+1662.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 22012
/proc/meminfo: memFree=27820844/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1661.98 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 677982 0 0 0 166102 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2985540

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 22013
/proc/meminfo: memFree=27821008/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1721.95 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 678016 0 0 0 172099 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5829752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2985540

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 22014
/proc/meminfo: memFree=27820972/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1781.93 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 678028 0 0 0 178097 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2985540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.10 2.09 3/184 22017
/proc/meminfo: memFree=27821120/32872528 swapFree=163656/177964
[pid=21823] ppid=21820 vsize=2985540 CPUtime=1800.03 cores=1,3,5,7
/proc/21823/stat : 21823 (toysat) R 21820 21823 20760 0 -1 4202496 678028 0 0 0 179907 96 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140735983931904 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21823/statm: 746385 687627 897 2943 0 743279 0
[pid=21823/tid=21824] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21824/stat : 21824 (toysat) S 21820 21823 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290479336688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21823/tid=21825] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21825/stat : 21825 (toysat) S 21820 21823 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290468846832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21823/tid=21826] ppid=21820 vsize=2985540 CPUtime=0 cores=1,3,5,7
/proc/21823/task/21826/stat : 21826 (toysat) S 21820 21823 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25851255 3057192960 687627 33554432000 4194304 16246674 140735983950016 140290458373296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2985540

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 21823 sig 9
??? end of watcher thread
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.04
CPU user time (s): 1799.08
CPU system time (s): 0.968852
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 2985540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 0.968852
maximum resident set size= 2750508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678028
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= 228
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79527 second user time and 6.84696 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 10:20:13
IDJOB=4103589
IDBENCH=2403
IDSOLVER=2542
FILE ID=node105/4103589-1466238012
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103589-1466238012/watcher-4103589-1466238012 -o /tmp/evaluation-result-4103589-1466238012/solver-4103589-1466238012 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103589-1466238012.opb

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

MD5SUM BENCH= d322c8ef05198e65a211d45af91a5272
RANDOM SEED=686410118

node105.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.561
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.12
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.561
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	: 5332.55
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.561
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.561
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.561
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17784216 kB
Buffers:           90440 kB
Cached:           206640 kB
SwapCached:         1664 kB
Active:         13956436 kB
Inactive:         189636 kB
Active(anon):   13846744 kB
Inactive(anon):     4408 kB
Active(file):     109692 kB
Inactive(file):   185228 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             34944 kB
Writeback:             0 kB
AnonPages:      14026340 kB
Mapped:            10488 kB
Shmem:                 0 kB
Slab:             604536 kB
SReclaimable:      47940 kB
SUnreclaim:       556596 kB
KernelStack:        1464 kB
PageTables:        31464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14170136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71696 MiB
End job on node105 at 2016-06-18 10:50:14