Trace number 4079990

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.06 1800.44

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-datt256.opb
MD5SUMeff0b252efd7ad849119636cdcc0cdec
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 variables262144
Total number of constraints11077
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)516
Number of constraints which are nor clauses,nor cardinality constraints10561
Minimum length of a constraint1
Maximum length of a constraint57840
Number of terms in the objective function 262144
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 262144
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 262144
Number of bits of the biggest sum of numbers19
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-07T07:52:43+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-4079990-1465278763.opb"]
0.00/0.01	c use --random-gen="3969863848 1103962398 868504113 1704660803 449662192 1313446544 130093082 3089726903 1891409658 231280033 2273276146 1577480055 1431087472 3311526959 1530732563 1387158421 3459801800 502324951 1947495107 3105440803 2010807139 299360079 1972676391 1262458269 2359062811 217363272 1658635826 4001347206 4242886474 2843230621 3300616213 985086947 2214996068 2152531330 3380726353 3431717793 235186637 190403735 2539376221 131191473 1043332178 2052337118 1434553992 1967049611 2492229901 1200420705 2673101276 4274818905 4140495806 2428750579 2470647796 1767945364 2911020893 3916487774 755063798 658135017 3384368440 297083558 594667014 2873119439 1129231027 1613719466 1059610484 1748825648 1796774386 4271888383 541525569 388654601 1018245497 1248045463 3866686401 1535281843 752024085 2076660714 2499890095 2531733240 2537945636 1021904092 4145060540 1780854333 1720937936 3238020125 1767055163 1284002367 3363092943 664986828 1257456537 3484632350 2099416229 295163554 562123207 1136330895 2181040154 1928323929 2958643565 2980711275 3441840797 1282115151 951262848 2311024124 2627808117 345648107 3940796132 3783832930 2029849170 2673087615 2537626167 840007596 1592512856 4143067453 2153648685 2775458926 3836131096 936694429 272374031 2351177020 2274882739 2554594423 1712698 1653551840 504489250 1081638263 2747511372 1504840595 3201762938 943534964 1412278308 3351754064 3164680114 2390176930 2722223394 4114899662 3100314693 539680839 3464128705 760308203 2557416703 4064313749 4260747348 391214387 3568568955 603738457 2542130995 2478133008 3773715645 2053488725 1796221754 4023419223 1784355834 2659660621 3958684524 2808344712 2924627111 874725535 1266349413 1717264773 3789179521 2450302238 646925483 3121481822 3938444578 350849064 2853312617 3880121010 2453607743 2688942605 4258277251 2846120962 1883755863 2543118690 519686761 2879840673 3549920210 1154118069 2030214466 2114870467 2487575591 2270645866 4228835296 2751160694 3723570093 667841854 3276787178 3295074476 3211704468 3778574453 2386369128 702289244 3679345678 2676309181 4055755354 3330689716 3741345243 4232768501 542730864 2923896763 1793142929 2475301100 2650841070 418939152 1151330936 1058016526 2084770233 1492703862 3991040008 2243718740 2292122810 2616278605 389192677 1520355906 1303707323 3826656123 1383628108 2622238178 1411388689 3852679966 1514491933 1951227105 1842442721 1689740830 2006410196 661659960 2977503390 2211676449 933469926 4265705993 3744486922 2208218508 3264500713 3689576156 2352753713 2377584033 316862432 3199036522 2698992483 2209388104 1678431804 456253102 329479756 1230714915 1023086832 3875387868 584917807 2945521115 3438956528 2782072539 1799544515 2117783190 412341239 4140898802 2441151931 1727820318 2941439668 3255144283 694607749 1290767839 255 362436" option to reproduce the execution
2.99/3.05	c #vars 262144
2.99/3.05	c #constraints 11077
12.20/12.21	c BCD2: Hardening is enabled.
12.20/12.21	c BCD2: BiasedSearch is enabled.
12.20/12.21	c Solving starts ...
12.20/12.21	c ============================[ Search Statistics ]============================
12.20/12.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.20/12.21	c       |         |          |          |    Limit     GC | Var      | Constra 
12.20/12.21	c =============================================================================
12.20/12.23	c  0.0s |       0 |        0 |        0 |    94763      0 |    65997 |        0
17.08/17.13	c  4.9s |       0 |     3429 |      100 |    94763      0 |    65997 |     2415
17.18/17.22	c  5.0s |       1 |     3429 |      100 |    94763      0 |    65997 |     2415
20.38/20.43	c  8.2s |       2 |     9682 |      250 |   104240      0 |    65997 |     2415
23.78/23.80	c 11.6s |       2 |    13973 |      350 |   114665      0 |    65997 |     2415
37.58/37.63	c 25.4s |       2 |    15050 |      450 |   114665      0 |    65997 |     2415
40.08/40.10	c 27.9s |       3 |    15550 |      475 |   114665      0 |    65997 |     2415
43.58/43.69	c 31.5s |       3 |    22162 |      575 |   126132      0 |    65997 |     2415
55.18/55.28	c 43.0s |       3 |    23062 |      675 |   126132      0 |    65997 |     2415
69.48/69.55	c 57.3s |       3 |    25013 |      775 |   126132      0 |    65997 |     2415
75.88/75.94	c 63.7s |       4 |    26597 |      813 |   126132      0 |    65997 |     2415
79.19/79.21	c 67.0s |       4 |    45030 |      913 |   138746      0 |    65998 |     2415
84.47/84.56	c 72.3s |       4 |    46399 |     1013 |   138746      0 |    65998 |     2415
88.58/88.65	c 76.4s |       4 |    47850 |     1113 |   138746      0 |    65998 |     2415
103.57/103.67	c 91.4s |       4 |    47964 |     1213 |   138746      0 |    65998 |     2415
111.77/111.80	c 99.6s |       4 |    49663 |     1313 |   138746      0 |    65998 |     2415
112.28/112.34	c  100s |       5 |    50529 |     1320 |   138746      0 |    65998 |     2415
159.96/160.02	c  147s |       5 |    56431 |     1420 |   152621      0 |    65998 |     2415
302.55/302.68	c  290s |       5 |    56594 |     1520 |   152621      0 |    65998 |     2415
452.02/452.17	c  439s |       5 |    56774 |     1620 |   152621      0 |    65998 |     2415
739.08/739.20	c  726s |       5 |    59504 |     1720 |   152621      0 |    65998 |     2415
750.78/750.90	c  738s |       5 |    63147 |     1820 |   152621      0 |    65998 |     2415
758.77/758.99	c  746s |       5 |    67396 |     1920 |   152621      0 |    65998 |     2415
766.47/766.65	c  754s |       5 |    70056 |     2020 |   152621      0 |    65998 |     2415
780.47/780.65	c  768s |       6 |    71192 |     2081 |   167884      0 |    65998 |     2415
785.67/785.85	c  773s |       6 |    79692 |     2181 |   167884      0 |    65998 |     2415
788.47/788.60	c  776s |       6 |    81173 |     2281 |   167884      0 |    65998 |     2415
791.76/791.92	c  779s |       6 |    83502 |     2381 |   167884      0 |    65998 |     2415
794.56/794.75	c  782s |       6 |    85252 |     2481 |   167884      0 |    65998 |     2415
798.37/798.58	c  786s |       6 |    90880 |     2581 |   167884      0 |    65998 |     2415
803.56/803.71	c  791s |       6 |    91568 |     2681 |   167884      0 |    65998 |     2415
810.67/810.87	c  798s |       6 |    93635 |     2781 |   167884      0 |    66000 |     2415
832.66/832.85	c  820s |       6 |    97010 |     2881 |   167884      0 |    66000 |     2415
847.06/847.23	c  835s |       6 |    98305 |     2981 |   167884      0 |    66000 |     2415
852.56/852.75	c  840s |       6 |   101245 |     3081 |   167884      0 |    66000 |     2415
854.86/855.03	c  842s |       6 |   102599 |     3181 |   167884      0 |    66000 |     2415
855.76/855.97	c  843s |       7 |   102704 |     3223 |   184673      0 |    66000 |     2415
858.85/859.08	c  846s |       7 |   109060 |     3323 |   184673      0 |    66000 |     2415
864.47/864.67	c  852s |       7 |   115764 |     3423 |   184673      0 |    66026 |     2417
868.96/869.12	c  856s |       7 |   120031 |     3623 |   184673      0 |    66052 |     2419
875.76/875.97	c  863s |       7 |   124434 |     3723 |   184673      0 |    66052 |     2419
887.16/887.35	c  875s |       7 |   129694 |     3823 |   184673      0 |    66052 |     2419
929.24/929.43	c  917s |       7 |   130861 |     3923 |   184673      0 |    66052 |     2419
943.94/944.19	c  931s |       7 |   134516 |     4023 |   184673      0 |    66052 |     2419
952.74/952.99	c  940s |       7 |   138377 |     4123 |   184673      0 |    66052 |     2419
965.75/965.96	c  953s |       7 |   143666 |     4223 |   184673      0 |    66052 |     2419
978.73/978.98	c  966s |       7 |   144464 |     4323 |   184673      0 |    66052 |     2419
990.34/990.57	c  978s |       7 |   146098 |     4423 |   184673      0 |    66052 |     2419
1008.93/1009.10	c  996s |       7 |   148428 |     4523 |   184673      0 |    66052 |     2419
1013.94/1014.14	c 1001s |       7 |   151427 |     4623 |   184673      0 |    66052 |     2419
1027.63/1027.84	c 1015s |       7 |   151518 |     4723 |   184673      0 |    66052 |     2419
1055.93/1056.17	c 1043s |       7 |   151640 |     4823 |   184673      0 |    66052 |     2419
1082.62/1082.81	c 1070s |       7 |   156853 |     4923 |   203141      0 |    66053 |     2419
1083.02/1083.23	c 1070s |       8 |   156888 |     4936 |   203141      0 |    66053 |     2419
1088.11/1088.32	c 1076s |       8 |   162599 |     5036 |   203141      0 |    66053 |     2419
1091.42/1091.64	c 1079s |       8 |   167570 |     5136 |   203141      0 |    66053 |     2419
1106.41/1106.66	c 1094s |       8 |   170133 |     5236 |   203141      0 |    66053 |     2419
1141.39/1141.62	c 1129s |       8 |   170786 |     5336 |   203141      0 |    66053 |     2419
1175.99/1176.23	c 1163s |       8 |   175640 |     5436 |   203141      0 |    66053 |     2419
1184.29/1184.57	c 1172s |       8 |   178700 |     5536 |   203141      0 |    66053 |     2419
1189.00/1189.22	c 1176s |       8 |   194190 |     5636 |   203141      0 |    66053 |     2419
1193.29/1193.52	c 1181s |       8 |   196039 |     5736 |   203141      0 |    66053 |     2419
1197.99/1198.21	c 1185s |       8 |   196157 |     5836 |   203141      0 |    66053 |     2419
1208.48/1208.78	c 1196s |       8 |   196292 |     5936 |   203141      0 |    66053 |     2419
1212.48/1212.72	c 1200s |       8 |   197313 |     6036 |   203141      0 |    66053 |     2419
1215.98/1216.25	c 1204s |       8 |   197894 |     6136 |   203141      0 |    66053 |     2419
1224.68/1224.96	c 1212s |       8 |   198663 |     6236 |   203141      0 |    66053 |     2419
1238.77/1239.03	c 1226s |       8 |   198828 |     6336 |   203141      0 |    66053 |     2419
1251.37/1251.63	c 1239s |       8 |   199191 |     6436 |   203141      0 |    66053 |     2419
1262.26/1262.54	c 1250s |       8 |   200311 |     6536 |   203141      0 |    66053 |     2419
1266.46/1266.78	c 1254s |       8 |   208982 |     6636 |   203141      0 |    66053 |     2419
1280.56/1280.89	c 1268s |       8 |   214835 |     6736 |   203141      0 |    66053 |     2419
1293.75/1294.02	c 1281s |       8 |   216079 |     6836 |   203141      0 |    66053 |     2419
1303.15/1303.48	c 1291s |       8 |   216477 |     6936 |   203141      0 |    66053 |     2419
1358.83/1359.18	c 1346s |       8 |   216973 |     7036 |   203141      0 |    66053 |     2419
1531.08/1531.44	c 1519s |       8 |   218783 |     7136 |   203141      0 |    66053 |     2419
1574.07/1574.48	c 1562s |       8 |   219419 |     7236 |   203141      0 |    66053 |     2419
1692.14/1692.51	c 1680s |       8 |   219884 |     7336 |   203141      0 |    66053 |     2419
1710.53/1710.90	c 1698s |       8 |   224479 |     7436 |   203141      0 |    66053 |     2419
1765.43/1765.80	c 1753s |       9 |   224856 |     7506 |   223456      0 |    66053 |     2419
1771.63/1772.04	c 1759s |       9 |   239949 |     7606 |   223456      0 |    66053 |     2419
1776.63/1777.08	c 1764s |       9 |   245661 |     7806 |   223456      0 |    66053 |     2419
1780.32/1780.77	c 1768s |       9 |   247898 |     7906 |   223456      0 |    66053 |     2419

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

pid=3491
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: 1.11 1.36 1.70 3/179 3494
/proc/meminfo: memFree=30080576/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 3003 0 0 0 0 0 0 0 20 0 4 0 109808904 821489664 3875 33554432000 4194304 16246674 140737169723232 140737169722656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3494/statm: 201071 3886 441 2943 0 197965 0
[pid=3494/tid=3495] ppid=3491 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 840364032 3948 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=824764 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 844558336 3966 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=828860 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 848752640 3982 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100189 s]
/proc/loadavg: 1.11 1.36 1.70 3/179 3494
/proc/meminfo: memFree=30080576/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 29114 0 0 0 4 5 0 0 20 0 4 0 109808904 1332285440 29925 33554432000 4194304 16246674 140737169723232 140737169722544 8056990 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3494/statm: 325265 29943 799 2943 0 322159 0
[pid=3494/tid=3495] ppid=3491 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1332285440 29954 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1332285440 29966 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1332285440 29977 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1301060

[startup+0.200543 s]
/proc/loadavg: 1.11 1.36 1.70 3/179 3494
/proc/meminfo: memFree=30080576/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1315396 CPUtime=0.19 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 46452 0 0 0 12 7 0 0 20 0 4 0 109808904 1346965504 47773 33554432000 4194304 16246674 140737169723232 140737169722544 7378120 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3494/statm: 328849 47773 799 2943 0 325743 0
[pid=3494/tid=3495] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 47773 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 47773 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 47773 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1315396

[startup+0.300515 s]
/proc/loadavg: 1.11 1.36 1.70 3/179 3494
/proc/meminfo: memFree=30080576/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1315396 CPUtime=0.29 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 52171 0 0 0 21 8 0 0 20 0 4 0 109808904 1346965504 53492 33554432000 4194304 16246674 140737169723232 140737169722544 4220489 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3494/statm: 328849 53492 799 2943 0 325743 0
[pid=3494/tid=3495] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 53492 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 53492 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 53492 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1315396

[startup+0.700417 s]
/proc/loadavg: 1.11 1.36 1.70 3/179 3494
/proc/meminfo: memFree=30080576/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 73428 0 0 0 58 11 0 0 20 0 4 0 109808904 1346965504 74749 33554432000 4194304 16246674 140737169723232 140737169721024 7376992 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3494/statm: 328849 74749 801 2943 0 325743 0
[pid=3494/tid=3495] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 74749 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 74749 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 74749 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1315396

[startup+1.50043 s]
/proc/loadavg: 1.18 1.37 1.70 3/183 3498
/proc/meminfo: memFree=29783488/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 89173 0 0 0 136 13 0 0 20 0 4 0 109808904 1346965504 90494 33554432000 4194304 16246674 140737169723232 140737169706224 4206613 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 328849 90494 802 2943 0 325743 0
[pid=3494/tid=3495] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 90494 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 90494 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1346965504 90494 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1315396

[startup+3.10043 s]
/proc/loadavg: 1.18 1.37 1.70 3/183 3498
/proc/meminfo: memFree=29576208/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1339972 CPUtime=3.09 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 129539 0 0 0 290 19 0 0 20 0 4 0 109808904 1372131328 135459 33554432000 4194304 16246674 140737169723232 140737169706224 5704392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 334993 135459 809 2943 0 331887 0
[pid=3494/tid=3495] ppid=3491 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1372131328 135459 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1372131328 135459 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1372131328 135459 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1339972

[startup+6.30044 s]
/proc/loadavg: 1.18 1.37 1.70 3/183 3498
/proc/meminfo: memFree=28883128/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1432132 CPUtime=6.28 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 292513 0 0 0 590 38 0 0 20 0 4 0 109808904 1466503168 299966 33554432000 4194304 16246674 140737169723232 140737169721216 7204470 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 358033 299966 833 2943 0 354927 0
[pid=3494/tid=3495] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 299966 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 299966 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 299966 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1432132

[startup+12.7004 s]
/proc/loadavg: 1.30 1.39 1.70 3/183 3498
/proc/meminfo: memFree=28884700/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1432132 CPUtime=12.69 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 292568 0 0 0 1230 39 0 0 20 0 4 0 109808904 1466503168 300021 33554432000 4194304 16246674 140737169723232 140737169705152 13963975 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 358033 300021 883 2943 0 354927 0
[pid=3494/tid=3495] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300021 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300021 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300021 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1432132

[startup+25.5005 s]
/proc/loadavg: 1.41 1.41 1.70 3/183 3498
/proc/meminfo: memFree=28885320/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1432132 CPUtime=25.49 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 292581 0 0 0 2509 40 0 0 20 0 4 0 109808904 1466503168 300034 33554432000 4194304 16246674 140737169723232 140737169722408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 358033 300034 895 2943 0 354927 0
[pid=3494/tid=3495] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643804376240 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) 1432132

[startup+51.1005 s]
/proc/loadavg: 1.64 1.47 1.71 3/183 3498
/proc/meminfo: memFree=28883804/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1432132 CPUtime=51.08 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 292581 0 0 0 5065 43 0 0 20 0 4 0 109808904 1466503168 300034 33554432000 4194304 16246674 140737169723232 140737169705152 12483230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 358033 300034 895 2943 0 354927 0
[pid=3494/tid=3495] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1432132 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1466503168 300034 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1432132

[startup+102.3 s]
/proc/loadavg: 1.84 1.55 1.73 3/183 3499
/proc/meminfo: memFree=28693400/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1621572 CPUtime=102.28 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 339945 0 0 0 10172 56 0 0 20 0 4 0 109808904 1660489728 347398 33554432000 4194304 16246674 140737169723232 140737169722408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 405393 347398 899 2943 0 402287 0
[pid=3494/tid=3495] ppid=3491 vsize=1621572 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1660489728 347398 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1621572 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1660489728 347398 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1621572 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1660489728 347398 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1621572


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

/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1800998912 381705 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1758788

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 1.95 3/183 3554
/proc/meminfo: memFree=28524192/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1768004 CPUtime=1302.05 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 376604 0 0 0 130035 170 0 0 20 0 4 0 109808904 1810436096 383993 33554432000 4194304 16246674 140737169723232 140737169722408 5667484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 442001 383993 899 2943 0 438895 0
[pid=3494/tid=3495] ppid=3491 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1810436096 383993 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1810436096 383993 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1768004 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1810436096 383993 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1768004

[startup+1362.3 s]
/proc/loadavg: 2.18 2.10 1.97 3/183 3555
/proc/meminfo: memFree=28466948/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1825348 CPUtime=1362.02 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 390967 0 0 0 136020 182 0 0 20 0 4 0 109808904 1869156352 398345 33554432000 4194304 16246674 140737169723232 140737169705152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 456337 398345 899 2943 0 453231 0
[pid=3494/tid=3495] ppid=3491 vsize=1825348 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1869156352 398345 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1825348 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1869156352 398345 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1825348 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1869156352 398345 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1825348

[startup+1422.3 s]
/proc/loadavg: 2.22 2.11 1.98 3/183 3556
/proc/meminfo: memFree=28419496/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1860164 CPUtime=1422.01 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 399690 0 0 0 142011 190 0 0 20 0 4 0 109808904 1904807936 407049 33554432000 4194304 16246674 140737169723232 140737169722408 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 465041 407049 899 2943 0 461935 0
[pid=3494/tid=3495] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1860164

[startup+1482.3 s]
/proc/loadavg: 2.13 2.10 1.99 3/183 3557
/proc/meminfo: memFree=28418104/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1860164 CPUtime=1481.99 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 399709 0 0 0 148008 191 0 0 20 0 4 0 109808904 1904807936 407049 33554432000 4194304 16246674 140737169723232 140737169705152 12483341 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 465041 407049 899 2943 0 461935 0
[pid=3494/tid=3495] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1860164 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1904807936 407049 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1860164

[startup+1542.31 s]
/proc/loadavg: 2.08 2.10 1.99 3/183 3559
/proc/meminfo: memFree=28409592/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1869380 CPUtime=1541.98 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 401887 0 0 0 154001 197 0 0 20 0 4 0 109808904 1914245120 409219 33554432000 4194304 16246674 140737169723232 140737169722408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 467345 409219 899 2943 0 464239 0
[pid=3494/tid=3495] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1869380

[startup+1602.3 s]
/proc/loadavg: 2.11 2.11 2.00 3/183 3560
/proc/meminfo: memFree=28409756/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1869380 CPUtime=1601.97 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 401890 0 0 0 159992 205 0 0 20 0 4 0 109808904 1914245120 409219 33554432000 4194304 16246674 140737169723232 140737169722408 13874572 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 467345 409219 899 2943 0 464239 0
[pid=3494/tid=3495] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1869380 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1914245120 409219 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1869380

[startup+1662.3 s]
/proc/loadavg: 2.08 2.10 2.00 3/184 3564
/proc/meminfo: memFree=28402056/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1876548 CPUtime=1661.95 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 403825 0 0 0 165984 211 0 0 20 0 4 0 109808904 1921585152 411145 33554432000 4194304 16246674 140737169723232 140737169722408 12483391 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 469137 411145 899 2943 0 466031 0
[pid=3494/tid=3495] ppid=3491 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1921585152 411145 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1921585152 411145 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1921585152 411145 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1876548

[startup+1722.3 s]
/proc/loadavg: 2.08 2.09 2.00 3/183 3565
/proc/meminfo: memFree=28388456/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1890884 CPUtime=1721.93 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 407166 0 0 0 171972 221 0 0 20 0 4 0 109808904 1936265216 414479 33554432000 4194304 16246674 140737169723232 140737169722408 5722816 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 472721 414479 899 2943 0 469615 0
[pid=3494/tid=3495] ppid=3491 vsize=1890884 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1936265216 414479 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1890884 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1936265216 414479 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1890884 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1936265216 414479 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1890884

[startup+1782.3 s]
/proc/loadavg: 2.11 2.10 2.01 3/183 3566
/proc/meminfo: memFree=28371632/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1906244 CPUtime=1781.92 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 411154 0 0 0 177960 232 0 0 20 0 4 0 109808904 1951993856 418462 33554432000 4194304 16246674 140737169723232 140737169722408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 476561 418462 899 2943 0 473455 0
[pid=3494/tid=3495] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1906244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.08 2.00 3/183 3615
/proc/meminfo: memFree=28930888/32872528 swapFree=12328/568296
[pid=3494] ppid=3491 vsize=1906244 CPUtime=1800.03 cores=1,3,5,7
/proc/3494/stat : 3494 (toysat) R 3491 3494 3396 0 -1 4202496 411154 0 0 0 179769 234 0 0 20 0 4 0 109808904 1951993856 418462 33554432000 4194304 16246674 140737169723232 140737169705152 12483286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3494/statm: 476561 418462 899 2943 0 473455 0
[pid=3494/tid=3495] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3495/stat : 3495 (toysat) S 3491 3494 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643900828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3494/tid=3496] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3496/stat : 3496 (toysat) S 3491 3494 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643890339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3494/tid=3497] ppid=3491 vsize=1906244 CPUtime=0 cores=1,3,5,7
/proc/3494/task/3497/stat : 3497 (toysat) S 3491 3494 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808905 1951993856 418462 33554432000 4194304 16246674 140737169723232 140643804376240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1906244

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 3494 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.44
CPU time (s): 1800.06
CPU user time (s): 1797.7
CPU system time (s): 2.35964
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1906244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.35964
maximum resident set size= 1673848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411154
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= 252
involuntary context switches= 1925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71298 second user time and 9.53455 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 07:52:43
IDJOB=4079990
IDBENCH=89871
IDSOLVER=2542
FILE ID=node138/4079990-1465278763
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-datt256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079990-1465278763/watcher-4079990-1465278763 -o /tmp/evaluation-result-4079990-1465278763/solver-4079990-1465278763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079990-1465278763.opb

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

MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec
RANDOM SEED=1558415475

node138.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.807
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.61
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.807
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.56
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.807
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.807
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.807
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.807
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.807
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.807
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30081104 kB
Buffers:           97740 kB
Cached:           263672 kB
SwapCached:        46740 kB
Active:          1228948 kB
Inactive:         254512 kB
Active(anon):    1076612 kB
Inactive(anon):    47688 kB
Active(file):     152336 kB
Inactive(file):   206824 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             51700 kB
Writeback:             0 kB
AnonPages:       1646776 kB
Mapped:            11832 kB
Shmem:                 0 kB
Slab:             605024 kB
SReclaimable:      46880 kB
SUnreclaim:       558144 kB
KernelStack:        1464 kB
PageTables:         7372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1789912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 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= 71680 MiB
End job on node138 at 2016-06-07 08:22:44