Trace number 4079349

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.32 1800.63

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
MD5SUMf237ff2f989182870e968c2b9cf3aa98
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26153579
Best CPU time to get the best result obtained on this benchmark1800.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 193470682570
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 193470682570
Number of bits of the biggest sum of numbers38
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-07T18:49:27+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-4079349-1465318164.opb"]
0.00/0.01	c use --random-gen="3233271032 3777322713 1510371068 3440682570 692872601 4231754289 1686509204 2699848033 966689231 3015517414 1549659439 1102878900 3473190896 1428205616 463120533 286208693 1693137473 2645167445 2958343992 1637896139 1716476386 334750031 935373983 4008837671 1568066876 1606031050 2808504361 4008218287 1252519078 106540384 2855001257 184638754 1014520544 3288195989 218893159 2760535505 2407600253 1825861453 292959869 3573109281 1812071387 3996526250 3838812675 186378106 1466000831 3433412019 1913728359 3616966265 3907372530 1342535801 438487937 651275679 2014748809 45576288 829087168 1098369683 1844870222 1670690977 1233891144 3682712389 816196156 2045999677 4123705862 3493855951 4257962572 2123730107 2567015185 2984581625 911015306 2290210067 3537070221 3161790319 378911002 3267213475 4235372208 2095967727 1757548562 2243786614 3692068564 337142980 2137187888 594652684 1973224404 1517762190 1489481367 1731551974 739353892 743682794 1825153637 3406800100 3964695526 1397044318 3303685210 3728176075 3725846294 2981264198 1857304823 1948586497 2843656834 962816392 2494189327 1310103119 4048687793 3996007847 837366318 3553412913 2150204577 4082866689 2185799476 476491833 3883432900 2843735151 2087158128 3547857877 2495752111 4051377356 2491358335 2646325082 3675131991 3715863734 610075128 3823081303 3979037388 3653046742 3350366687 931198916 887042350 3712375179 115724066 1605318852 3713863226 763686948 931825703 1705100452 1118252476 2704617240 4253207723 156558883 2085191419 2246368748 1309057417 549630513 3904723706 595139720 1511663476 2152706083 1949533368 230029541 3201909634 60883356 3945715387 932917638 4261111411 1592670534 2097977276 1001798527 320678655 1913496412 1426667682 3880078284 3305371387 4294451363 1653072292 1553567180 1040579313 3465340317 1819082271 3740117581 1962692843 1230488433 713808951 3553843788 4139183192 2945783937 2690389550 2922483558 1083897028 2946343362 3015469687 154892875 4139228527 146755145 1500842885 962746913 3892189601 1256230740 990526170 1881395556 3196460333 3829633985 3354024806 3317937181 1635928521 2649846798 4048066419 370127300 1481862996 3711917680 1872089742 1865559473 2408727540 760208011 4017109714 1743052480 1242724675 695416332 3567059752 3304962716 1463045503 2512348909 250007089 2916657751 3493204495 1884432196 2799030780 64268044 211806587 3867510020 571182932 764980863 2327941598 3336091660 3346811736 2868228808 393103005 3495456302 2264494543 3055378463 3435618094 3671304974 3425792551 470062050 627779407 571707325 3019662746 3379872525 395632795 4229618867 759964202 2460310365 2012310045 4015416671 2982199586 2334305039 2958906741 2181775152 2042506088 4117226943 3040427018 3584720253 1762765364 3792744523 3860764868 2645455995 3595202002 1584788518 255 362436" option to reproduce the execution
16.69/16.73	c #vars 1000400
16.69/16.73	c #constraints 2000307
58.48/58.51	c BCD2: Hardening is enabled.
58.48/58.51	c BCD2: BiasedSearch is enabled.
58.48/58.51	c Solving starts ...
58.48/58.51	c ============================[ Search Statistics ]============================
58.48/58.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
58.48/58.51	c       |         |          |          |    Limit     GC | Var      | Constra 
58.48/58.51	c =============================================================================
58.48/58.53	c  0.0s |       0 |        0 |        0 |  1010136      0 |      300 |        0
105.27/105.39	c 46.9s |       0 |      184 |      100 |  1010136      0 |      300 |        0
106.18/106.25	c 47.7s |       1 |      184 |      100 |  1010136      0 |      300 |        0
118.08/118.13	c 59.6s |       1 |      456 |      200 |  1111150      0 |      300 |        0
122.97/123.00	c 64.5s |       2 |      507 |      250 |  1111150      0 |      300 |        0
133.17/133.22	c 74.7s |       2 |     1659 |      350 |  1222265      0 |      300 |        0
136.88/136.94	c 78.4s |       3 |     1790 |      475 |  1222265      0 |      300 |        0
146.17/146.24	c 87.7s |       3 |     6752 |      575 |  1344492      0 |      300 |        0
151.46/151.57	c 93.1s |       3 |     6849 |      675 |  1344492      0 |      300 |        0
162.47/162.57	c  104s |       3 |     6950 |      775 |  1344492      0 |      300 |        0
165.57/165.61	c  107s |       4 |     6985 |      813 |  1344492      0 |      300 |        0
190.77/190.82	c  132s |       4 |    11918 |      913 |  1478942      0 |      300 |        0
221.96/222.02	c  163s |       4 |    12062 |     1013 |  1478942      0 |      300 |        0
234.46/234.51	c  175s |       4 |    12275 |     1113 |  1478942      0 |      300 |        0
239.75/239.83	c  181s |       4 |    12431 |     1213 |  1478942      0 |      300 |        0
249.15/249.21	c  190s |       4 |    12549 |     1313 |  1478942      0 |      300 |        0
250.75/250.82	c  192s |       5 |    12564 |     1320 |  1478942      0 |      300 |        0
256.95/257.05	c  198s |       5 |    13011 |     1420 |  1626837      0 |      300 |        0
260.65/260.78	c  202s |       5 |    13236 |     1620 |  1626837      0 |      300 |        0
266.45/266.54	c  208s |       5 |    13346 |     1720 |  1626837      0 |      300 |        0
268.55/268.66	c  210s |       5 |    13450 |     1820 |  1626837      0 |      300 |        0
272.05/272.19	c  213s |       5 |    13672 |     2020 |  1626837      0 |      300 |        0
274.46/274.53	c  216s |       6 |    13728 |     2081 |  1789521      0 |      300 |        0
289.14/289.25	c  230s |       6 |    18700 |     2181 |  1789521      0 |      300 |        0
293.94/294.06	c  235s |       6 |    18827 |     2281 |  1789521      0 |      300 |        0
303.64/303.75	c  245s |       6 |    18931 |     2381 |  1789521      0 |      300 |        0
316.84/316.90	c  258s |       6 |    19052 |     2481 |  1789521      0 |      300 |        0
329.54/329.62	c  271s |       6 |    19188 |     2581 |  1789521      0 |      300 |        0
345.53/345.62	c  287s |       6 |    19300 |     2681 |  1789521      0 |      300 |        0
356.84/356.91	c  298s |       6 |    19423 |     2781 |  1789521      0 |      300 |        0
375.23/375.34	c  316s |       6 |    19531 |     2881 |  1789521      0 |      300 |        0
388.43/388.50	c  329s |       6 |    19656 |     2981 |  1789521      0 |      300 |        0
398.93/399.06	c  340s |       6 |    19764 |     3081 |  1789521      0 |      300 |        0
415.82/415.94	c  357s |       6 |    19879 |     3181 |  1789521      0 |      300 |        0
422.94/423.03	c  364s |       7 |    19926 |     3223 |  1968474      0 |      300 |        0
458.91/459.02	c  400s |       7 |    20130 |     3323 |  1968474      0 |      300 |        0
505.61/505.71	c  447s |       7 |    20231 |     3423 |  1968474      0 |      300 |        0
545.81/545.93	c  487s |       7 |    20346 |     3523 |  1968474      0 |      300 |        0
596.50/596.68	c  538s |       7 |    20463 |     3623 |  1968474      0 |      300 |        0
638.69/638.88	c  580s |       7 |    20579 |     3723 |  1968474      0 |      300 |        0
691.38/691.50	c  632s |       7 |    20705 |     3823 |  1968474      0 |      300 |        0
733.48/733.68	c  675s |       7 |    20822 |     3923 |  1968474      0 |      300 |        0
762.97/763.16	c  704s |       7 |    20945 |     4023 |  1968474      0 |      300 |        0
791.06/791.24	c  732s |       7 |    21067 |     4123 |  1968474      0 |      300 |        0
826.26/826.45	c  767s |       7 |    21194 |     4223 |  1968474      0 |      300 |        0
869.96/870.13	c  811s |       7 |    21318 |     4323 |  1968474      0 |      300 |        0
919.95/920.19	c  861s |       7 |    21426 |     4423 |  1968474      0 |      300 |        0
977.33/977.53	c  919s |       7 |    21536 |     4523 |  1968474      0 |      300 |        0
1022.72/1022.92	c  964s |       7 |    21647 |     4623 |  1968474      0 |      300 |        0
1069.52/1069.74	c 1011s |       7 |    21753 |     4723 |  1968474      0 |      300 |        0
1104.21/1104.41	c 1045s |       7 |    21864 |     4823 |  1968474      0 |      300 |        0
1143.10/1143.40	c 1084s |       7 |    21972 |     4923 |  2165322      0 |      300 |        0
1145.40/1145.66	c 1087s |       8 |    21986 |     4936 |  2165322      0 |      300 |        0
1184.39/1184.66	c 1126s |       8 |    22198 |     5036 |  2165322      0 |      300 |        0
1265.06/1265.38	c 1206s |       8 |    22327 |     5136 |  2165322      0 |      300 |        0
1322.96/1323.24	c 1264s |       8 |    22432 |     5236 |  2165322      0 |      300 |        0
1369.86/1370.15	c 1311s |       8 |    22542 |     5336 |  2165322      0 |      300 |        0
1422.55/1422.83	c 1364s |       8 |    22651 |     5436 |  2165322      0 |      300 |        0
1485.35/1485.67	c 1427s |       8 |    22754 |     5536 |  2165322      0 |      300 |        0
1526.93/1527.21	c 1468s |       8 |    22859 |     5636 |  2165322      0 |      300 |        0
1580.72/1581.07	c 1522s |       8 |    22971 |     5736 |  2165322      0 |      300 |        0
1637.12/1637.45	c 1578s |       8 |    23081 |     5836 |  2165322      0 |      300 |        0
1686.20/1686.52	c 1628s |       8 |    23205 |     5936 |  2165322      0 |      300 |        0
1717.00/1717.35	c 1658s |       8 |    23336 |     6036 |  2165322      0 |      300 |        0
1775.19/1775.57	c 1717s |       8 |    23451 |     6136 |  2165322      0 |      300 |        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-4079349-1465318164/watcher-4079349-1465318164 -o /tmp/evaluation-result-4079349-1465318164/solver-4079349-1465318164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079349-1465318164.opb 

pid=20408
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.16 2.20 2.18 4/172 20411
/proc/meminfo: memFree=29303724/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 2830 0 0 0 0 0 0 0 20 0 4 0 113749040 774303744 2679 33554432000 4194304 16246674 140735646228544 140735646227968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 189807 2688 441 2943 0 186701 0
[pid=20411/tid=20412] ppid=20408 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 793178112 2751 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 798420992 2768 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113749040 802615296 2786 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 2.16 2.20 2.18 4/172 20411
/proc/meminfo: memFree=29303724/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 29941 0 0 0 4 5 0 0 20 0 4 0 113749040 1334382592 29729 33554432000 4194304 16246674 140735646228544 140735646227856 8057278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 325777 29746 799 2943 0 322671 0
[pid=20411/tid=20412] ppid=20408 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1334382592 29757 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1334382592 29769 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1334382592 29781 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200549 s]
/proc/loadavg: 2.16 2.20 2.18 4/172 20411
/proc/meminfo: memFree=29303724/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 46578 0 0 0 12 7 0 0 20 0 4 0 113749040 1342771200 46877 33554432000 4194304 16246674 140735646228544 140735646227856 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 327825 46896 800 2943 0 324719 0
[pid=20411/tid=20412] ppid=20408 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1342771200 46907 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1342771200 46918 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1342771200 46930 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300499 s]
/proc/loadavg: 2.16 2.20 2.18 4/172 20411
/proc/meminfo: memFree=29303724/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 54361 0 0 0 21 8 0 0 20 0 4 0 113749040 1343819776 54659 33554432000 4194304 16246674 140735646228544 140735646226432 13923665 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 328081 54659 800 2943 0 324975 0
[pid=20411/tid=20412] ppid=20408 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1343819776 54659 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1343819776 54659 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1343819776 54659 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700379 s]
/proc/loadavg: 2.16 2.20 2.18 4/172 20411
/proc/meminfo: memFree=29303724/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 62830 0 0 0 60 9 0 0 20 0 4 0 113749040 1344868352 63128 33554432000 4194304 16246674 140735646228544 140735646226432 7367776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 328337 63128 801 2943 0 325231 0
[pid=20411/tid=20412] ppid=20408 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1344868352 63128 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1344868352 63128 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1344868352 63128 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 20429
/proc/meminfo: memFree=28694344/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 107319 0 0 0 133 16 0 0 20 0 4 0 113749040 1357451264 109661 33554432000 4194304 16246674 140735646228544 140735646211536 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 331409 109661 802 2943 0 328303 0
[pid=20411/tid=20412] ppid=20408 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1357451264 109661 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1357451264 109661 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1357451264 109661 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10039 s]
/proc/loadavg: 2.39 2.24 2.20 4/183 20429
/proc/meminfo: memFree=28355240/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1350212 CPUtime=3.09 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 145101 0 0 0 286 23 0 0 20 0 4 0 113749040 1382617088 152553 33554432000 4194304 16246674 140735646228544 140735646211536 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 337553 152553 802 2943 0 334447 0
[pid=20411/tid=20412] ppid=20408 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1382617088 152553 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1382617088 152553 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1382617088 152553 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1350212

[startup+6.30043 s]
/proc/loadavg: 2.39 2.24 2.20 3/183 20429
/proc/meminfo: memFree=27383152/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1399364 CPUtime=6.29 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 216939 0 0 0 595 34 0 0 20 0 4 0 113749040 1432948736 235122 33554432000 4194304 16246674 140735646228544 140735646227640 4220982 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 349841 235122 802 2943 0 346735 0
[pid=20411/tid=20412] ppid=20408 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1432948736 235122 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1432948736 235122 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1432948736 235122 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1399364

[startup+12.7075 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 20429
/proc/meminfo: memFree=26748252/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=1481284 CPUtime=12.7 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 290422 0 0 0 1224 46 0 0 20 0 4 0 113749040 1516834816 311160 33554432000 4194304 16246674 140735646228544 140735646227640 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 370321 311168 802 2943 0 367215 0
[pid=20411/tid=20412] ppid=20408 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 1516834816 311172 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 1516834816 311176 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 1516834816 311180 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1481284

[startup+25.5004 s]
/proc/loadavg: 2.28 2.22 2.19 4/183 20429
/proc/meminfo: memFree=22499832/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=3611204 CPUtime=25.49 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 822997 0 0 0 2431 118 0 0 20 0 4 0 113749040 3697872896 843735 33554432000 4194304 16246674 140735646228544 140735646227720 5926544 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 902801 843735 847 2943 0 899695 0
[pid=20411/tid=20412] ppid=20408 vsize=3611204 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 3697872896 843735 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=3611204 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 3697872896 843735 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=3611204 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 3697872896 843735 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3611204

[startup+51.1004 s]
/proc/loadavg: 2.39 2.25 2.20 3/184 20432
/proc/meminfo: memFree=18041072/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=5473860 CPUtime=51.09 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1288665 0 0 0 4924 185 0 0 20 0 4 0 113749040 5605232640 1309402 33554432000 4194304 16246674 140735646228544 140735646227720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1368465 1309402 848 2943 0 1365359 0
[pid=20411/tid=20412] ppid=20408 vsize=5473860 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 5605232640 1309402 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=5473860 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 5605232640 1309402 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=5473860 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 5605232640 1309402 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 5473860

[startup+102.3 s]
/proc/loadavg: 2.39 2.27 2.21 3/183 20433
/proc/meminfo: memFree=16351112/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7083588 CPUtime=102.27 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1691148 0 0 0 9979 248 0 0 20 0 4 0 113749040 7253594112 1711885 33554432000 4194304 16246674 140735646228544 140735646227720 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1770897 1711885 898 2943 0 1767791 0
[pid=20411/tid=20412] ppid=20408 vsize=7083588 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7253594112 1711885 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7083588 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7253594112 1711885 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7083588 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7253594112 1711885 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 7083588


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

[pid=20411] ppid=20408 vsize=7114308 CPUtime=1362.06 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698877 0 0 0 135833 373 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646226496 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 7114308

[startup+1422.3 s]
/proc/loadavg: 2.35 2.30 2.21 3/183 20490
/proc/meminfo: memFree=15078628/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1422.04 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698877 0 0 0 141826 378 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227720 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 7114308

[startup+1482.31 s]
/proc/loadavg: 2.36 2.31 2.22 3/183 20491
/proc/meminfo: memFree=15078400/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1482.04 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698877 0 0 0 147821 383 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227720 5822298 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 7114308

[startup+1542.3 s]
/proc/loadavg: 2.42 2.34 2.24 3/183 20492
/proc/meminfo: memFree=15078340/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1542.03 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698879 0 0 0 153815 388 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227640 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 7114308

[startup+1602.3 s]
/proc/loadavg: 2.22 2.29 2.23 3/183 20493
/proc/meminfo: memFree=13557372/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1602.01 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698879 0 0 0 159809 392 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646226560 13880325 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039335952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 7114308

[startup+1662.3 s]
/proc/loadavg: 2.18 2.27 2.22 3/183 20495
/proc/meminfo: memFree=12766192/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1662 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698880 0 0 0 165803 397 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227720 13907028 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 7114308

[startup+1722.3 s]
/proc/loadavg: 2.18 2.25 2.21 4/183 20496
/proc/meminfo: memFree=12634276/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1722 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698880 0 0 0 171796 404 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227640 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 7114308

[startup+1782.3 s]
/proc/loadavg: 2.17 2.23 2.21 4/183 20497
/proc/meminfo: memFree=12633736/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1781.99 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698880 0 0 0 177791 408 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646227720 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 7114308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 20498
/proc/meminfo: memFree=12642788/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=7114308 CPUtime=1800.08 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) R 20408 20411 2168 0 -1 4202496 1698880 0 0 0 179599 409 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 140735646210432 13906983 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 1778577 1719565 898 2943 0 1775471 0
[pid=20411/tid=20412] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) S 20408 20411 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978049826032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20411/tid=20413] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20413/stat : 20413 (toysat) S 20408 20411 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978039336176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20411/tid=20414] ppid=20408 vsize=7114308 CPUtime=0 cores=1,3,5,7
/proc/20411/task/20414/stat : 20414 (toysat) S 20408 20411 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113749040 7285051392 1719565 33554432000 4194304 16246674 140735646228544 139978028862640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 7114308

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 20498
/proc/meminfo: memFree=12642788/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) Z 20408 20411 2168 0 -1 4203532 1698880 0 0 0 179599 419 0 0 20 0 2 0 113749040 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 0 0 0 0 0 0 0
[pid=20411/tid=20412] ppid=20408 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) R 20408 20411 2168 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 113749040 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.18
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 20498
/proc/meminfo: memFree=12642788/32872528 swapFree=16636/1570076
[pid=20411] ppid=20408 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/20411/stat : 20411 (toysat) Z 20408 20411 2168 0 -1 4203532 1698880 0 0 0 179599 429 0 0 20 0 2 0 113749040 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20411/statm: 0 0 0 0 0 0 0
[pid=20411/tid=20412] ppid=20408 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/20411/task/20412/stat : 20412 (toysat) R 20408 20411 2168 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 113749040 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.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.32
CPU user time (s): 1796
CPU system time (s): 4.31834
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 7114308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 4.31834
maximum resident set size= 6878260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1698880
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= 206
involuntary context switches= 1991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81027 second user time and 6.66099 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 18:49:27
IDJOB=4079349
IDBENCH=92638
IDSOLVER=2542
FILE ID=node140/4079349-1465318164
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71560 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079349-1465318164/watcher-4079349-1465318164 -o /tmp/evaluation-result-4079349-1465318164/solver-4079349-1465318164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079349-1465318164.opb

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

MD5SUM BENCH= f237ff2f989182870e968c2b9cf3aa98
RANDOM SEED=1639194134

node140.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.768
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.53
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.768
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.768
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.768
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.56
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.768
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.55
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29305368 kB
Buffers:          174396 kB
Cached:          1056508 kB
SwapCached:         1676 kB
Active:           341272 kB
Inactive:         898276 kB
Active(anon):       8116 kB
Inactive(anon):     2744 kB
Active(file):     333156 kB
Inactive(file):   895532 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:            206732 kB
Writeback:             0 kB
AnonPages:       1580384 kB
Mapped:             7064 kB
Shmem:                 0 kB
Slab:             622748 kB
SReclaimable:      65972 kB
SUnreclaim:       556776 kB
KernelStack:        1408 kB
PageTables:         7088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1673328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1560576 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= 71516 MiB
End job on node140 at 2016-06-07 19:19:28