Trace number 4107070

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.62 1800.93

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
MD5SUM8fe120f02e998b2f2f763372a647b0f9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark814752
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables641998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint64
Maximum length of a constraint2817
Number of terms in the objective function 640000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 22177598784
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 22177598784
Number of bits of the biggest sum of numbers35
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-18T22:32:07+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-4107070-1466281926.opb"]
0.00/0.01	c use --random-gen="3765371719 3849645737 852728631 117561102 929864314 3767842739 1538471351 228819212 1978075038 1625323751 2696684169 243716413 1489904260 1808044295 3961259448 197550575 3251169341 2603860798 8739105 2731739107 3523600730 383050761 4030194682 2537096322 400722329 3302643485 2142461256 4076040096 403513460 1171582208 2973326385 2711572821 1086937531 316888837 4040005877 2970317437 290748431 2189432381 3032348950 1694972967 2235189791 2831932401 1110127283 1108519064 3007401347 213189528 3404390411 1737634279 3489860255 735988919 3514735133 2642099498 2634664119 4266362088 736363092 2196083835 211495673 1582519514 2204385916 1268145228 2429232265 3935208248 2752654574 2000775554 3516032608 3018577036 2674342887 511872074 2483829096 3894808586 4279353843 260506719 3662470990 3797427620 3033383594 2096437782 2898711192 3819388552 2414921853 1673691495 1518249569 1520228523 3828159077 926367779 2532555934 809478869 3187832652 3957055233 2406615657 2623147546 3287631691 1839442008 2669094368 2868555412 4086530419 1258892914 3115559684 2997728304 4136209161 3075717097 4284218717 2645605615 2316185168 227658867 1819897055 3705683806 3353184707 2438558887 3038502774 3207029597 3355790419 1578087464 3418455658 177859925 3417097735 4061196681 3931932623 2608059159 3769017361 3035456095 1378245315 1405905857 1337769327 4075272442 1502974609 3690013905 4122684769 601579713 124748606 2992461628 3129275025 1567566394 13267889 980127689 2978908096 3305046715 3804008314 1762036910 4126269685 2253931415 1681887810 2586747772 1117215449 1302702737 2121716960 1234693996 343167941 95990088 4249594428 2363275387 1936545890 3318456229 4128600541 3790109597 802260589 4258019491 2648273160 3465625941 3132960938 4146861655 1105983812 642107349 576759772 368383016 4280042436 2563100865 1641136532 3996082607 2884086708 2557663954 824622716 3187282779 665388045 237773547 3154885324 222173248 3687623321 1597818511 1640196634 3475384092 174222438 33140835 261573678 1373629481 1454899737 2893034669 503980054 425624348 615656681 709990118 1870429133 852528290 1995656757 3252696334 636907660 3877371646 928582415 4183813216 3805347306 1712675475 2873831573 1276120498 679673015 3937709045 2862411781 1109476929 1437960277 4038862036 620362797 1463196156 3711258427 1392150095 1150563132 3234501666 3887006106 2621662526 3237683512 4261013224 3024218069 3879388890 155303766 548147531 1871877561 3689694242 86887664 754541619 2798244981 395910010 325153317 1479594158 1650321981 1267366494 2193509756 4045256170 666775872 686479345 517371036 2695805949 2488750987 177763716 3731854155 3145553998 1386763215 391640666 454445436 362448720 51359216 3057708182 772296014 1312640170 2508432089 350788133 3893458964 691156574 2449363306 823248372 255 362436" option to reproduce the execution
4.28/4.32	c #vars 641998
4.28/4.32	c #constraints 12000
15.28/15.38	c BCD2: Hardening is enabled.
15.28/15.38	c BCD2: BiasedSearch is enabled.
15.28/15.38	c Solving starts ...
15.28/15.38	c ============================[ Search Statistics ]============================
15.28/15.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.28/15.38	c       |         |          |          |    Limit     GC | Var      | Constra 
15.28/15.38	c =============================================================================
15.28/15.38	c  0.0s |       0 |        0 |        0 |   218666      0 |        0 |        0
17.08/17.11	c  1.7s |       1 |     4219 |      100 |   218666      0 |        0 |        0
19.08/19.15	c  3.8s |       1 |    13445 |      200 |   240533      0 |        0 |        0
19.78/19.84	c  4.5s |       2 |    14988 |      250 |   240533      0 |        0 |        0
21.98/22.10	c  6.7s |       2 |    37025 |      450 |   264587      0 |        0 |        0
22.59/22.61	c  7.2s |       3 |    37025 |      475 |   264587      0 |        0 |        0
24.78/24.85	c  9.5s |       3 |    70508 |      675 |   291046      0 |        0 |        0
25.88/25.98	c 10.6s |       4 |    84435 |      813 |   291046      0 |        0 |        0
28.69/28.76	c 13.4s |       4 |   131187 |     1013 |   320151      0 |        0 |        0
31.08/31.14	c 15.8s |       4 |   162365 |     1313 |   320151      0 |        0 |        0
31.58/31.67	c 16.3s |       5 |   162365 |     1320 |   320151      0 |        0 |        0
34.78/34.84	c 19.5s |       5 |   224193 |     1420 |   352167      0 |        0 |        0
36.88/36.93	c 21.5s |       5 |   260421 |     1720 |   352167      0 |        0 |        0
39.08/39.18	c 23.8s |       5 |   262667 |     1920 |   352167      0 |        0 |        0
40.88/40.93	c 25.6s |       6 |   286028 |     2081 |   387384      0 |        0 |        0
43.09/43.16	c 27.8s |       6 |   414962 |     2181 |   387384      0 |        0 |        0
45.78/45.88	c 30.5s |       6 |   426117 |     2481 |   387384      0 |        0 |        0
48.28/48.33	c 32.9s |       6 |   468376 |     2781 |   387384      0 |        0 |        0
52.58/52.64	c 37.3s |       6 |   507644 |     2981 |   387384      0 |        0 |        0
54.67/54.79	c 39.4s |       6 |   512196 |     3181 |   387384      0 |        0 |        0
55.68/55.72	c 40.3s |       7 |   512284 |     3223 |   426123      0 |        0 |        0
57.98/58.03	c 42.6s |       7 |   651126 |     3323 |   426123      0 |        0 |        0
59.97/60.08	c 44.7s |       7 |   653043 |     3523 |   426123      0 |        0 |        0
62.68/62.72	c 47.3s |       7 |   653415 |     3723 |   426123      0 |        0 |        0
65.08/65.15	c 49.8s |       7 |   654953 |     3923 |   426123      0 |        0 |        0
67.28/67.33	c 52.0s |       7 |   656008 |     4123 |   426123      0 |        0 |        0
70.58/70.61	c 55.2s |       7 |   660508 |     4323 |   426123      0 |        0 |        0
73.07/73.16	c 57.8s |       7 |   721331 |     4923 |   468736      0 |        0 |        0
73.67/73.79	c 58.4s |       8 |   721623 |     4936 |   468736      0 |        0 |        0
76.17/76.20	c 60.8s |       8 |   888029 |     5036 |   468736      0 |        0 |        0
78.37/78.45	c 63.1s |       8 |   894821 |     5336 |   468736      0 |        0 |        0
80.48/80.53	c 65.1s |       8 |   896422 |     5736 |   468736      0 |        0 |        0
83.38/83.44	c 68.1s |       8 |   897506 |     6036 |   468736      0 |        0 |        0
86.07/86.14	c 70.8s |       8 |   898156 |     6336 |   468736      0 |        0 |        0
89.87/89.95	c 74.6s |       8 |   898886 |     6636 |   468736      0 |        0 |        0
91.97/92.02	c 76.6s |       8 |   902693 |     6936 |   468736      0 |        0 |        0
94.17/94.22	c 78.8s |       8 |   904239 |     7336 |   468736      0 |        0 |        0
96.47/96.51	c 81.1s |       9 |   906344 |     7506 |   515610      0 |        0 |        0
98.97/99.06	c 83.7s |       9 |  1111400 |     7606 |   515610      0 |        0 |        0
101.37/101.43	c 86.0s |       9 |  1120896 |     8006 |   515610      0 |        0 |        0
103.97/104.05	c 88.7s |       9 |  1121426 |     8306 |   515610      0 |        0 |        0
106.36/106.46	c 91.1s |       9 |  1122255 |     8606 |   515610      0 |        0 |        0
108.77/108.86	c 93.5s |       9 |  1123477 |     8906 |   515610      0 |        0 |        0
111.07/111.12	c 95.7s |       9 |  1124097 |     9106 |   515610      0 |        0 |        0
113.77/113.88	c 98.5s |       9 |  1125485 |     9406 |   515610      0 |        0 |        0
116.26/116.33	c  100s |       9 |  1126900 |     9706 |   515610      0 |        0 |        0
119.17/119.27	c  103s |       9 |  1127903 |    10006 |   515610      0 |        0 |        0
121.57/121.68	c  106s |       9 |  1128221 |    10106 |   515610      0 |        0 |        0
123.76/123.82	c  108s |       9 |  1128794 |    10306 |   515610      0 |        0 |        0
126.67/126.75	c  111s |       9 |  1129693 |    10606 |   515610      0 |        0 |        0
129.67/129.73	c  114s |       9 |  1130650 |    10906 |   515610      0 |        0 |        0
132.66/132.78	c  117s |       9 |  1139671 |    11206 |   515610      0 |        0 |        0
134.76/134.81	c  119s |      10 |  1155781 |    11361 |   567171      0 |        0 |        0
137.96/138.08	c  122s |      10 |  1410325 |    11461 |   567171      0 |        0 |        0
140.27/140.32	c  124s |      10 |  1426305 |    11761 |   567171      0 |        0 |        0
142.66/142.79	c  127s |      10 |  1433143 |    12161 |   567171      0 |        0 |        0
145.47/145.55	c  130s |      10 |  1434251 |    12561 |   567171      0 |        0 |        0
148.16/148.26	c  132s |      10 |  1437346 |    12961 |   567171      0 |        0 |        0
150.87/150.99	c  135s |      10 |  1441468 |    13061 |   567171      0 |        0 |        0
153.46/153.53	c  138s |      10 |  1442524 |    13261 |   567171      0 |        0 |        0
157.36/157.41	c  142s |      10 |  1443171 |    13461 |   567171      0 |        0 |        0
159.36/159.44	c  144s |      10 |  1443606 |    13561 |   567171      0 |        0 |        0
162.06/162.18	c  146s |      10 |  1453339 |    13861 |   567171      0 |        0 |        0
164.56/164.65	c  149s |      10 |  1473598 |    14161 |   567171      0 |        0 |        0
166.96/167.05	c  151s |      10 |  1495702 |    14361 |   567171      0 |        0 |        0
169.96/170.03	c  154s |      10 |  1502251 |    14661 |   567171      0 |        0 |        0
172.86/172.95	c  157s |      10 |  1511873 |    14854 |   567171      0 |        0 |        0
172.86/172.95	c #cpu_time = 156.422s
172.86/172.95	c #wall_clock_time = 156.831s
172.86/172.95	c #decision = 1511873
172.86/172.95	c #random_decision = 4933
172.86/172.95	c #conflict = 14854
172.86/172.95	c #restart = 10
172.86/172.97	o 68836929
175.46/175.53	c BCD2: updating upper bound: 22177598784 -> 68836928
180.57/180.69	c BCD2: 0 <= obj <= 68836928
180.66/180.76	c BCD2: #cores=0, #unrelaxed=640000, #relaxed=0, #hardened=0
180.66/180.76	c BCD2: #sat=1 #unsat=1 bias=1/2
180.66/180.80	c Solving starts ...
180.66/180.80	c ============================[ Search Statistics ]============================
180.66/180.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
180.66/180.80	c       |         |          |          |    Limit     GC | Var      | Constra 
180.66/180.80	c =============================================================================
180.76/180.80	c  0.0s |       0 |        0 |        0 |   567171      0 |        0 |        0
182.25/182.32	c  1.5s |       0 |    67952 |        0 |   567171      0 |        0 |        0
182.25/182.32	c #cpu_time = 1.479s
182.25/182.32	c #wall_clock_time = 1.483s
182.25/182.32	c #decision = 67952
182.25/182.32	c #random_decision = 0
182.25/182.32	c #conflict = 0
182.25/182.32	c #restart = 0
182.25/182.32	c BCD2: found a new core of size 320: cost of the new core is >=8736
182.25/182.32	c lower bound updated to 8736
182.55/182.67	c BCD2: 8736 <= obj <= 68836928
182.55/182.68	c BCD2: #cores=1, #unrelaxed=639680, #relaxed=320, #hardened=0
182.55/182.68	c BCD2: #sat=1 #unsat=2 bias=2/3
193.56/193.67	c Solving starts ...
193.56/193.67	c ============================[ Search Statistics ]============================
193.56/193.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
193.56/193.67	c       |         |          |          |    Limit     GC | Var      | Constra 
193.56/193.67	c =============================================================================
193.56/193.67	c  0.0s |       0 |        0 |        0 |   567171      0 |        0 |        1
195.97/196.07	c  2.4s |       0 |   432830 |        0 |   567171      0 |        0 |        1
195.97/196.07	c #cpu_time = 2.099s
195.97/196.07	c #wall_clock_time = 2.105s
195.97/196.07	c #decision = 432830
195.97/196.07	c #random_decision = 0
195.97/196.07	c #conflict = 0
195.97/196.07	c #restart = 0
195.97/196.07	c BCD2: found a new core of size 1470: cost of the new core is >=806
195.97/196.07	c lower bound updated to 9542
196.36/196.45	c BCD2: 9542 <= obj <= 68836928
196.36/196.45	c BCD2: #cores=2, #unrelaxed=638210, #relaxed=1790, #hardened=0
196.36/196.45	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=24257
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.28 2.28 2.27 3/181 24260
/proc/meminfo: memFree=28821256/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 4 0 30238585 246870016 979 33554432000 4194304 16246674 140734565675216 140734565674640 12874901 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 60271 988 380 2943 0 57165 0
[pid=24260/tid=24261] ppid=24257 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 246870016 1035 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 246870016 1043 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30238586 246870016 1051 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.28 2.28 2.27 3/181 24260
/proc/meminfo: memFree=28821256/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 29237 0 0 0 5 3 0 0 20 0 4 0 30238585 1333334016 29536 33554432000 4194304 16246674 140734565675216 140734565674528 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 325521 29555 800 2943 0 322415 0
[pid=24260/tid=24261] ppid=24257 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1333334016 29567 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1333334016 29579 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1333334016 29590 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.28 2.28 2.27 3/181 24260
/proc/meminfo: memFree=28821256/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1312324 CPUtime=0.18 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 44089 0 0 0 13 5 0 0 20 0 4 0 30238585 1343819776 44898 33554432000 4194304 16246674 140734565675216 140734565674528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 328081 44898 800 2943 0 324975 0
[pid=24260/tid=24261] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 44898 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 44898 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 44898 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300514 s]
/proc/loadavg: 2.28 2.28 2.27 3/181 24260
/proc/meminfo: memFree=28821256/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 44845 0 0 0 23 5 0 0 20 0 4 0 30238585 1343819776 45654 33554432000 4194304 16246674 140734565675216 140734565674528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 328081 45654 800 2943 0 324975 0
[pid=24260/tid=24261] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 45654 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 45654 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 45654 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700387 s]
/proc/loadavg: 2.28 2.28 2.27 3/181 24260
/proc/meminfo: memFree=28821256/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 55844 0 0 0 61 7 0 0 20 0 4 0 30238585 1343819776 56653 33554432000 4194304 16246674 140734565675216 140734565674528 7889637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 328081 56653 801 2943 0 324975 0
[pid=24260/tid=24261] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 56653 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 56653 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1343819776 56653 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.28 2.28 2.27 3/185 24264
/proc/meminfo: memFree=28529704/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 96576 0 0 0 136 12 0 0 20 0 4 0 30238585 1345916928 97385 33554432000 4194304 16246674 140734565675216 140734565673024 8057122 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 328593 97385 802 2943 0 325487 0
[pid=24260/tid=24261] ppid=24257 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1345916928 97385 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1345916928 97385 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1345916928 97385 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 2.28 2.28 2.27 3/185 24264
/proc/meminfo: memFree=28324592/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1338948 CPUtime=3.08 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 135666 0 0 0 290 18 0 0 20 0 4 0 30238585 1371082752 141585 33554432000 4194304 16246674 140734565675216 140734565657088 7440114 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 334737 141585 803 2943 0 331631 0
[pid=24260/tid=24261] ppid=24257 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1371082752 141585 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30238586 1371082752 141585 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1371082752 141585 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1338948

[startup+6.30041 s]
/proc/loadavg: 2.26 2.27 2.26 3/185 24264
/proc/meminfo: memFree=27760588/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=1613380 CPUtime=6.28 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 268763 0 0 0 592 36 0 0 20 0 4 0 30238585 1652101120 286946 33554432000 4194304 16246674 140734565675216 140734565674528 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 403345 286952 839 2943 0 400239 0
[pid=24260/tid=24261] ppid=24257 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 1652101120 286955 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 1652101120 286959 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 1652101120 286963 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1613380

[startup+12.7004 s]
/proc/loadavg: 2.23 2.27 2.26 4/185 24264
/proc/meminfo: memFree=27288328/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=2048580 CPUtime=12.68 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 435260 0 0 0 1209 59 0 0 20 0 4 0 30238585 2097745920 453443 33554432000 4194304 16246674 140734565675216 140734565673024 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 512145 453451 842 2943 0 509039 0
[pid=24260/tid=24261] ppid=24257 vsize=2048580 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 2097745920 453454 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=2048580 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 2097745920 453458 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=2048580 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 2097745920 453462 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2048580

[startup+25.5075 s]
/proc/loadavg: 2.18 2.26 2.26 3/185 24264
/proc/meminfo: memFree=26487428/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=2566724 CPUtime=25.49 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 564967 0 0 0 2470 79 0 0 20 0 4 0 30238585 2628325376 583150 33554432000 4194304 16246674 140734565675216 140734565674392 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 641681 583150 892 2943 0 638575 0
[pid=24260/tid=24261] ppid=24257 vsize=2566724 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 2628325376 583150 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=2566724 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 2628325376 583150 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=2566724 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 2628325376 583150 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2566724

[startup+51.1004 s]
/proc/loadavg: 2.26 2.27 2.26 3/185 24264
/proc/meminfo: memFree=26144532/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=3169860 CPUtime=51.07 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 715549 0 0 0 5002 105 0 0 20 0 4 0 30238585 3245936640 733733 33554432000 4194304 16246674 140734565675216 140734565673880 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 792465 733739 895 2943 0 789359 0
[pid=24260/tid=24261] ppid=24257 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 3245936640 733744 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 3245936640 733748 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 3245936640 733752 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3169860

[startup+102.3 s]
/proc/loadavg: 2.26 2.27 2.26 4/185 24265
/proc/meminfo: memFree=25396568/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=3655236 CPUtime=102.27 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 836963 0 0 0 10097 130 0 0 20 0 4 0 30238585 3742961664 855146 33554432000 4194304 16246674 140734565675216 140734565674392 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 913809 855146 896 2943 0 910703 0
[pid=24260/tid=24261] ppid=24257 vsize=3655236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 3742961664 855146 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=3655236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 3742961664 855146 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=3655236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 3742961664 855146 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3655236


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

[pid=24260] ppid=24257 vsize=10413636 CPUtime=1362.06 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2526776 0 0 0 135681 525 0 0 20 0 4 0 30238585 10663563264 2544937 33554432000 4194304 16246674 140734565675216 140734565674312 4220921 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2603409 2544937 923 2943 0 2600303 0
[pid=24260/tid=24261] ppid=24257 vsize=10413636 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 10663563264 2544937 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=10413636 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 10663563264 2544937 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=10413636 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 10663563264 2544937 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 10413636

[startup+1422.3 s]
/proc/loadavg: 2.25 2.24 2.24 3/185 24347
/proc/meminfo: memFree=16397504/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=10609220 CPUtime=1422.05 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2575672 0 0 0 141665 540 0 0 20 0 4 0 30238585 10863841280 2593833 33554432000 4194304 16246674 140734565675216 140734565674312 4206877 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2652305 2593833 923 2943 0 2649199 0
[pid=24260/tid=24261] ppid=24257 vsize=10609220 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 10863841280 2593833 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=10609220 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 10863841280 2593833 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=10609220 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 10863841280 2593833 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 10609220

[startup+1482.3 s]
/proc/loadavg: 2.35 2.27 2.25 3/185 24348
/proc/meminfo: memFree=16229284/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=10951236 CPUtime=1482.04 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2661080 0 0 0 147646 558 0 0 20 0 4 0 30238585 11214065664 2679241 33554432000 4194304 16246674 140734565675216 140734565673024 13881032 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2737809 2679241 923 2943 0 2734703 0
[pid=24260/tid=24261] ppid=24257 vsize=10951236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 11214065664 2679241 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=10951236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 11214065664 2679241 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=10951236 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 11214065664 2679241 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 10951236

[startup+1542.3 s]
/proc/loadavg: 2.29 2.27 2.25 4/185 24349
/proc/meminfo: memFree=15338116/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11146820 CPUtime=1542.04 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2710072 0 0 0 153630 574 0 0 20 0 4 0 30238585 11414343680 2728233 33554432000 4194304 16246674 140734565675216 140734565674312 12429788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2786705 2728233 923 2943 0 2783599 0
[pid=24260/tid=24261] ppid=24257 vsize=11146820 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 11414343680 2728233 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11146820 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 11414343680 2728233 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11146820 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 11414343680 2728233 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 11146820

[startup+1602.3 s]
/proc/loadavg: 2.23 2.26 2.25 3/185 24350
/proc/meminfo: memFree=14946864/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11293252 CPUtime=1602.02 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2866232 0 0 0 159599 603 0 0 20 0 4 0 30238585 11564290048 2764841 33554432000 4194304 16246674 140734565675216 140734565673024 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2823313 2764841 923 2943 0 2820207 0
[pid=24260/tid=24261] ppid=24257 vsize=11293252 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 11564290048 2764841 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11293252 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 11564290048 2764841 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11293252 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 11564290048 2764841 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 11293252

[startup+1662.31 s]
/proc/loadavg: 2.28 2.27 2.25 3/185 24352
/proc/meminfo: memFree=14548536/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11488836 CPUtime=1662.02 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2915128 0 0 0 165586 616 0 0 20 0 4 0 30238585 11764568064 2813737 33554432000 4194304 16246674 140734565675216 140734565674528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2872209 2813737 923 2943 0 2869103 0
[pid=24260/tid=24261] ppid=24257 vsize=11488836 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 11764568064 2813737 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11488836 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 11764568064 2813737 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11488836 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 11764568064 2813737 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 11488836

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.24 3/186 24356
/proc/meminfo: memFree=14091296/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11732548 CPUtime=1722 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 2976057 0 0 0 171567 633 0 0 20 0 4 0 30238585 12014129152 2874665 33554432000 4194304 16246674 140734565675216 140734565674312 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2933137 2874665 923 2943 0 2930031 0
[pid=24260/tid=24261] ppid=24257 vsize=11732548 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 12014129152 2874665 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11732548 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 12014129152 2874665 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11732548 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 12014129152 2874665 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 11732548

[startup+1782.3 s]
/proc/loadavg: 2.12 2.21 2.23 3/186 24380
/proc/meminfo: memFree=13742720/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11878980 CPUtime=1782 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 3012665 0 0 0 177554 646 0 0 20 0 4 0 30238585 12164075520 2911273 33554432000 4194304 16246674 140734565675216 140734565674392 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2969745 2911273 923 2943 0 2966639 0
[pid=24260/tid=24261] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774855716080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 11878980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.22 2.23 3/185 24380
/proc/meminfo: memFree=13689760/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=11878980 CPUtime=1800.09 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) R 24257 24260 21389 0 -1 4202496 3012665 0 0 0 179361 648 0 0 20 0 4 0 30238585 12164075520 2911273 33554432000 4194304 16246674 140734565675216 140734565673088 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 2969745 2911273 923 2943 0 2966639 0
[pid=24260/tid=24261] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24261/stat : 24261 (toysat) S 24257 24260 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774866205936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) S 24257 24260 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774855715856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24260/tid=24263] ppid=24257 vsize=11878980 CPUtime=0 cores=1,3,5,7
/proc/24260/task/24263/stat : 24263 (toysat) S 24257 24260 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30238586 12164075520 2911273 33554432000 4194304 16246674 140734565675216 139774845242544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 11878980

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.22 2.23 3/185 24380
/proc/meminfo: memFree=13689760/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) Z 24257 24260 21389 0 -1 4203532 3012665 0 0 0 179362 658 0 0 20 0 2 0 30238585 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 0 0 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) R 24257 24260 21389 0 -1 4203588 10 0 0 0 0 9 0 0 20 0 2 0 30238586 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

[startup+1800.91 s]
/proc/loadavg: 2.15 2.22 2.23 3/183 24380
/proc/meminfo: memFree=22996496/32872528 swapFree=1505436/1685308
[pid=24260] ppid=24257 vsize=0 CPUtime=1800.6 cores=1,3,5,7
/proc/24260/stat : 24260 (toysat) Z 24257 24260 21389 0 -1 4203532 3012665 0 0 0 179362 698 0 0 20 0 2 0 30238585 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24260/statm: 0 0 0 0 0 0 0
[pid=24260/tid=24262] ppid=24257 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/24260/task/24262/stat : 24262 (toysat) R 24257 24260 21389 0 -1 4203588 10 0 0 0 0 49 0 0 20 0 2 0 30238586 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.62
CPU user time (s): 1793.62
CPU system time (s): 7.00094
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 11878980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.62
system time used= 7.00094
maximum resident set size= 11645092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3012665
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= 633
involuntary context switches= 1809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52931 second user time and 6.96994 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 22:32:07
IDJOB=4107070
IDBENCH=71862
IDSOLVER=2542
FILE ID=node135/4107070-1466281926
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71660 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107070-1466281926/watcher-4107070-1466281926 -o /tmp/evaluation-result-4107070-1466281926/solver-4107070-1466281926 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107070-1466281926.opb

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

MD5SUM BENCH= 8fe120f02e998b2f2f763372a647b0f9
RANDOM SEED=309526574

node135.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		: 2667.004
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	: 5334.00
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		: 2667.004
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		: 2667.004
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.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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:        28822040 kB
Buffers:          167312 kB
Cached:           320484 kB
SwapCached:          716 kB
Active:          1303672 kB
Inactive:         313840 kB
Active(anon):    1130668 kB
Inactive(anon):     1308 kB
Active(file):     173004 kB
Inactive(file):   312532 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             45872 kB
Writeback:             0 kB
AnonPages:       2820508 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             607888 kB
SReclaimable:      51428 kB
SUnreclaim:       556460 kB
KernelStack:        1480 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2960664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    729088 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= 71644 MiB
End job on node135 at 2016-06-18 23:02:08