Trace number 4103193

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.24 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3356672
Best CPU time to get the best result obtained on this benchmark1801.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
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-18T09:06:47+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-4103193-1466233607.opb"]
0.00/0.01	c use --random-gen="3545296683 443813035 1249627112 1083358734 796323763 1607251928 3498923781 593783421 496523441 2901297073 832516798 1382765108 3085269759 2448403204 1097056762 4013243708 1003368608 760699033 1144135292 3316534658 2409966664 753924790 2388295770 4259074147 2699258417 2794097768 551776204 3859575210 624458470 3626128110 3883451911 1264984126 1448101487 3175851416 684288414 1458842713 2410380119 2180564001 2872546665 3190167404 1433779621 2790414896 2208666351 2934021321 3932413366 4055175365 3754167471 4272070581 1355906719 3787615199 1558218291 1440022118 4035996757 2148453977 1892244994 3281071848 3478328540 2047080503 2370451645 1279311648 2538110888 1569835231 730540992 1581190838 2043192094 2499521341 1140793763 42790250 547763310 2452221876 3305886199 1909647164 1893957308 3705551183 1693124737 1518961098 386524696 3553409603 959521760 3040743369 2562889195 4063146038 3967165081 2239847292 2784793994 2659617416 2647183486 1005053851 2475519675 118917022 3938677779 2278702969 4016096305 2993413776 4222419157 3911088507 620253466 2227080131 2199658390 2135112813 3193683087 2938555066 985224005 1476509794 1066204836 1235868340 106649842 277211554 1202968396 1807833700 2080498193 3016334196 326656806 3770481852 4027632312 54924262 3760621580 128449581 253366333 198962821 3663315167 2883285999 1817189282 373111516 4104292026 1180449874 1679228373 779618357 3124250637 3186383950 7084404 102705023 3989500322 1491662751 3567493919 2671741666 4081937210 3805511651 3827312873 1930533728 1398590805 825026731 1307751847 3895147729 2330296831 51630222 2503483575 3227252022 722275297 2393728084 154244762 4080025141 2302701690 2123300217 303371288 1504005781 434174271 3677885326 151993547 810470529 2549513088 1479850372 579613338 4176675362 3311828687 4045976585 1440357694 2835325309 323582530 595660174 540613046 2516356979 1908140918 1505720859 260370645 2806325680 3121819187 1688780895 1346619597 3265317556 3115595248 2684136626 4240566517 3017418186 688506968 2842155882 1983769214 2411393047 4022542576 3815825104 1653420770 106353920 3850955317 3916800964 3328733528 1896789220 1146996151 4105898287 3503458032 1220865142 2748118651 664422988 3022350276 3340897999 1851876949 592145724 717767732 401506444 1631392818 544058083 2879766536 1316034846 2529822551 2164033962 716052281 3953448456 2317094085 4096748802 3840569020 2496905247 2329628892 804671045 451953085 594345159 3141707925 1369419059 1460847300 2376152690 147489482 190752637 3323606715 1258227176 2779858644 3138551589 1305991947 1675106264 3477941182 2102529352 1777095522 3702264274 1459632193 1871301426 2726104982 3646330208 25990065 955325898 324608820 2949978279 947752030 2007178630 970253757 2094020795 257568758 3770901940 3713917139 4237418296 255 362436" option to reproduce the execution
0.00/0.05	c #vars 4464
0.00/0.05	c #constraints 168
0.19/0.25	c BCD2: Hardening is enabled.
0.19/0.25	c BCD2: BiasedSearch is enabled.
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
0.19/0.27	c  0.0s |       0 |      223 |        0 |     1552      0 |     2332 |        0
0.19/0.27	c #cpu_time = 0.021s
0.19/0.27	c #wall_clock_time = 0.021s
0.19/0.27	c #decision = 223
0.19/0.27	c #random_decision = 0
0.19/0.27	c #conflict = 0
0.19/0.27	c #restart = 0
0.19/0.27	o 19557376
274.65/274.71	c BCD2: hardening fixes 1063 literals
274.65/274.71	c BCD2: updating upper bound: 856864234722 -> 19557375
274.65/274.72	c BCD2: 0 <= obj <= 19557375
274.65/274.72	c BCD2: #cores=0, #unrelaxed=3401, #relaxed=0, #hardened=1063
274.65/274.72	c BCD2: #sat=1 #unsat=1 bias=1/2
274.65/274.72	c Solving starts ...
274.65/274.72	c ============================[ Search Statistics ]============================
274.65/274.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
274.65/274.72	c       |         |          |          |    Limit     GC | Var      | Constra 
274.65/274.72	c =============================================================================
274.65/274.72	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
274.65/274.73	c  0.0s |       0 |       15 |        1 |     1552      0 |     2332 |        0
274.65/274.73	c #cpu_time = 0.003s
274.65/274.73	c #wall_clock_time = 0.003s
274.65/274.73	c #decision = 15
274.65/274.73	c #random_decision = 0
274.65/274.73	c #conflict = 1
274.65/274.73	c #restart = 0
274.65/274.73	c BCD2: found a new core of size 10: cost of the new core is >=56320
274.65/274.73	c lower bound updated to 56320
550.30/550.45	c BCD2: 56320 <= obj <= 19557375
550.30/550.45	c BCD2: #cores=1, #unrelaxed=3391, #relaxed=10, #hardened=1063
550.30/550.45	c BCD2: #sat=1 #unsat=2 bias=2/3
550.30/550.45	c Solving starts ...
550.30/550.45	c ============================[ Search Statistics ]============================
550.30/550.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
550.30/550.45	c       |         |          |          |    Limit     GC | Var      | Constra 
550.30/550.45	c =============================================================================
550.30/550.45	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
550.30/550.45	c  0.0s |       0 |       19 |        0 |     1552      0 |     2332 |        0
550.30/550.45	c #cpu_time = 0.003s
550.30/550.45	c #wall_clock_time = 0.003s
550.30/550.45	c #decision = 19
550.30/550.45	c #random_decision = 0
550.30/550.45	c #conflict = 0
550.30/550.45	c #restart = 0
550.30/550.45	c BCD2: found a new core of size 11: cost of the new core is >=89088
550.30/550.45	c lower bound updated to 145408
826.45/826.66	c BCD2: 145408 <= obj <= 19557375
826.45/826.66	c BCD2: #cores=2, #unrelaxed=3380, #relaxed=21, #hardened=1063
826.45/826.66	c BCD2: #sat=1 #unsat=3 bias=3/4
826.45/826.66	c Solving starts ...
826.45/826.66	c ============================[ Search Statistics ]============================
826.45/826.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
826.45/826.66	c       |         |          |          |    Limit     GC | Var      | Constra 
826.45/826.66	c =============================================================================
826.45/826.66	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
826.45/826.66	c  0.0s |       0 |       22 |        1 |     1552      0 |     2332 |        0
826.45/826.66	c #cpu_time = 0.003s
826.45/826.66	c #wall_clock_time = 0.003s
826.45/826.66	c #decision = 22
826.45/826.66	c #random_decision = 0
826.45/826.66	c #conflict = 1
826.45/826.66	c #restart = 0
826.45/826.66	c BCD2: found a new core of size 10: cost of the new core is >=63488
826.45/826.66	c lower bound updated to 208896
1100.82/1101.05	c BCD2: 208896 <= obj <= 19557375
1100.82/1101.05	c BCD2: #cores=3, #unrelaxed=3370, #relaxed=31, #hardened=1063
1100.82/1101.05	c BCD2: #sat=1 #unsat=4 bias=4/5
1100.82/1101.05	c Solving starts ...
1100.82/1101.05	c ============================[ Search Statistics ]============================
1100.82/1101.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1100.82/1101.05	c       |         |          |          |    Limit     GC | Var      | Constra 
1100.82/1101.05	c =============================================================================
1100.82/1101.05	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
1100.82/1101.05	c  0.0s |       0 |       28 |        0 |     1552      0 |     2332 |        0
1100.82/1101.05	c #cpu_time = 0.003s
1100.82/1101.05	c #wall_clock_time = 0.003s
1100.82/1101.05	c #decision = 28
1100.82/1101.05	c #random_decision = 0
1100.82/1101.05	c #conflict = 0
1100.82/1101.05	c #restart = 0
1100.82/1101.05	c BCD2: found a new core of size 12: cost of the new core is >=64512
1100.82/1101.05	c lower bound updated to 273408
1375.58/1375.89	c BCD2: 273408 <= obj <= 19557375
1375.58/1375.89	c BCD2: #cores=4, #unrelaxed=3358, #relaxed=43, #hardened=1063
1375.58/1375.89	c BCD2: #sat=1 #unsat=5 bias=5/6
1375.58/1375.89	c Solving starts ...
1375.58/1375.89	c ============================[ Search Statistics ]============================
1375.58/1375.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1375.58/1375.89	c       |         |          |          |    Limit     GC | Var      | Constra 
1375.58/1375.89	c =============================================================================
1375.58/1375.89	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
1375.58/1375.89	c  0.0s |       0 |       29 |        1 |     1552      0 |     2332 |        0
1375.58/1375.89	c #cpu_time = 0.003s
1375.58/1375.89	c #wall_clock_time = 0.003s
1375.58/1375.89	c #decision = 29
1375.58/1375.89	c #random_decision = 0
1375.58/1375.89	c #conflict = 1
1375.58/1375.89	c #restart = 0
1375.58/1375.89	c BCD2: found a new core of size 10: cost of the new core is >=54272
1375.58/1375.89	c lower bound updated to 327680
1650.94/1651.29	c BCD2: 327680 <= obj <= 19557375
1650.94/1651.29	c BCD2: #cores=5, #unrelaxed=3348, #relaxed=53, #hardened=1063
1650.94/1651.29	c BCD2: #sat=1 #unsat=6 bias=6/7
1650.94/1651.29	c Solving starts ...
1650.94/1651.29	c ============================[ Search Statistics ]============================
1650.94/1651.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1650.94/1651.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1650.94/1651.29	c =============================================================================
1650.94/1651.29	c  0.0s |       0 |        0 |        0 |     1552      0 |     2332 |        0
1650.94/1651.29	c  0.0s |       0 |       33 |        1 |     1552      0 |     2332 |        0
1650.94/1651.29	c #cpu_time = 0.003s
1650.94/1651.29	c #wall_clock_time = 0.003s
1650.94/1651.29	c #decision = 33
1650.94/1651.29	c #random_decision = 0
1650.94/1651.29	c #conflict = 1
1650.94/1651.29	c #restart = 0
1650.94/1651.29	c BCD2: found a new core of size 10: cost of the new core is >=70656
1650.94/1651.29	c lower bound updated to 398336

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

pid=21118
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.29 2.32 2.27 3/179 21121
/proc/meminfo: memFree=24561048/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=547260 CPUtime=0 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 2010 0 0 0 0 0 0 0 20 0 4 0 25406228 560394240 2370 33554432000 4194304 16246674 140735812135456 140735812134880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 137327 2380 441 2943 0 134221 0
[pid=21121/tid=21122] ppid=21118 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 578220032 2440 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=568764 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 582414336 2456 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=573884 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25406229 587657216 2474 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.29 2.32 2.27 3/179 21121
/proc/meminfo: memFree=24561048/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 26080 0 0 0 5 3 0 0 20 0 4 0 25406228 1249447936 26379 33554432000 4194304 16246674 140735812135456 140735812134768 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 305041 26395 831 2943 0 301935 0
[pid=21121/tid=21122] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 26406 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 26416 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 26426 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200555 s]
/proc/loadavg: 2.29 2.32 2.27 3/179 21121
/proc/meminfo: memFree=24561048/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 55182 0 0 0 12 7 0 0 20 0 4 0 25406228 1249447936 55480 33554432000 4194304 16246674 140735812135456 140735812134768 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 305041 55498 831 2943 0 301935 0
[pid=21121/tid=21122] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 55507 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 55516 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25406229 1249447936 55528 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300476 s]
/proc/loadavg: 2.29 2.32 2.27 3/179 21121
/proc/meminfo: memFree=24561048/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1300036 CPUtime=0.29 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 73086 0 0 0 19 10 0 0 20 0 4 0 25406228 1331236864 73384 33554432000 4194304 16246674 140735812135456 140735812134768 12449273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 325009 73402 868 2943 0 321903 0
[pid=21121/tid=21122] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 73410 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 73419 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 73429 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1300036

[startup+0.700422 s]
/proc/loadavg: 2.29 2.32 2.27 3/179 21121
/proc/meminfo: memFree=24561048/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1300036 CPUtime=0.68 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 127870 0 0 0 52 16 0 0 20 0 4 0 25406228 1331236864 128169 33554432000 4194304 16246674 140735812135456 140735812117376 12655109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 325009 128184 868 2943 0 321903 0
[pid=21121/tid=21122] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 128193 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 128202 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1331236864 128211 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1300036

[startup+1.50042 s]
/proc/loadavg: 2.29 2.32 2.27 4/183 21125
/proc/meminfo: memFree=23688248/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1397316 CPUtime=1.49 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 290343 0 0 0 111 38 0 0 20 0 4 0 25406228 1430851584 290641 33554432000 4194304 16246674 140735812135456 140735812134120 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 349329 290649 869 2943 0 346223 0
[pid=21121/tid=21122] ppid=21118 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1430851584 290652 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1430851584 290655 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1430851584 290659 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1397316

[startup+3.10043 s]
/proc/loadavg: 2.29 2.32 2.27 4/183 21125
/proc/meminfo: memFree=22563568/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1521220 CPUtime=3.09 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 321472 0 0 0 267 42 0 0 20 0 4 0 25406228 1557729280 321770 33554432000 4194304 16246674 140735812135456 140735812117376 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 380305 321770 869 2943 0 377199 0
[pid=21121/tid=21122] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1521220

[startup+6.30044 s]
/proc/loadavg: 2.35 2.33 2.28 3/183 21125
/proc/meminfo: memFree=22284124/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1521220 CPUtime=6.29 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 321472 0 0 0 586 43 0 0 20 0 4 0 25406228 1557729280 321770 33554432000 4194304 16246674 140735812135456 140735812134768 4206607 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 380305 321770 869 2943 0 377199 0
[pid=21121/tid=21122] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1521220 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1557729280 321770 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1521220

[startup+12.7004 s]
/proc/loadavg: 2.32 2.32 2.28 3/183 21125
/proc/meminfo: memFree=19888840/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1599044 CPUtime=12.69 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 340928 0 0 0 1224 45 0 0 20 0 4 0 25406228 1637421056 341226 33554432000 4194304 16246674 140735812135456 140735812117376 4226064 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 399761 341226 869 2943 0 396655 0
[pid=21121/tid=21122] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1599044

[startup+25.5005 s]
/proc/loadavg: 2.40 2.34 2.28 4/183 21125
/proc/meminfo: memFree=16749020/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1599044 CPUtime=25.48 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 340928 0 0 0 2503 45 0 0 20 0 4 0 25406228 1637421056 341226 33554432000 4194304 16246674 140735812135456 140735812117376 4206952 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21121/statm: 399761 341226 869 2943 0 396655 0
[pid=21121/tid=21122] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1599044 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1637421056 341226 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1599044

[startup+51.1005 s]
/proc/loadavg: 2.26 2.31 2.27 3/183 21125
/proc/meminfo: memFree=21045792/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=3885636 CPUtime=51.08 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 912347 0 0 0 4986 122 0 0 20 0 4 0 25406228 3978891264 912645 33554432000 4194304 16246674 140735812135456 140735812134120 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 971409 912654 870 2943 0 968303 0
[pid=21121/tid=21122] ppid=21118 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 3978891264 912662 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 3978891264 912666 33554432000 4194304 16246674 140735812135456 140627579739152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=3885636 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 3978891264 912671 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3885636

[startup+102.301 s]
/proc/loadavg: 2.34 2.32 2.28 3/183 21127
/proc/meminfo: memFree=18866600/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=5363268 CPUtime=102.28 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 1281986 0 0 0 10054 174 0 0 20 0 4 0 25406228 5491986432 1282284 33554432000 4194304 16246674 140735812135456 140735812133264 4220982 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1340817 1282284 870 2943 0 1337711 0
[pid=21121/tid=21122] ppid=21118 vsize=5363268 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5491986432 1282284 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=5363268 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5491986432 1282284 33554432000 4194304 16246674 140735812135456 140627579739152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=5363268 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5491986432 1282284 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5363268


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

[pid=21121] ppid=21118 vsize=4528708 CPUtime=1362.08 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 6672878 0 0 0 135058 1150 0 0 20 0 4 0 25406228 4637396992 1073688 33554432000 4194304 16246674 140735812135456 140735812134552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1132177 1073688 908 2943 0 1129071 0
[pid=21121/tid=21122] ppid=21118 vsize=4528708 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 4637396992 1073688 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=4528708 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 4637396992 1073688 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=4528708 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 4637396992 1073688 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4528708

[startup+1422.3 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 21162
/proc/meminfo: memFree=24265984/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=3001924 CPUtime=1422.07 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 7143288 0 0 0 140971 1236 0 0 20 0 4 0 25406228 3073970176 691874 33554432000 4194304 16246674 140735812135456 140735812133136 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 750481 691877 908 2943 0 747375 0
[pid=21121/tid=21122] ppid=21118 vsize=3001924 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 3073970176 691906 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=3001924 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 3073970176 691913 33554432000 4194304 16246674 140735812135456 140627579739152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=3001924 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 3073970176 691920 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3001924

[startup+1482.3 s]
/proc/loadavg: 2.37 2.31 2.28 3/183 21163
/proc/meminfo: memFree=21892412/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=5365316 CPUtime=1482.06 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 7747311 0 0 0 146881 1325 0 0 20 0 4 0 25406228 5494083584 1282841 33554432000 4194304 16246674 140735812135456 140735812134552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1341329 1282841 908 2943 0 1338223 0
[pid=21121/tid=21122] ppid=21118 vsize=5365316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5494083584 1282841 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=5365316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5494083584 1282841 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=5365316 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5494083584 1282841 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 5365316

[startup+1542.31 s]
/proc/loadavg: 2.37 2.31 2.28 3/183 21164
/proc/meminfo: memFree=21863296/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=5393988 CPUtime=1542.06 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 7754479 0 0 0 152874 1332 0 0 20 0 4 0 25406228 5523443712 1290009 33554432000 4194304 16246674 140735812135456 140735812134552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1348497 1290009 908 2943 0 1345391 0
[pid=21121/tid=21122] ppid=21118 vsize=5393988 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5523443712 1290009 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=5393988 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5523443712 1290009 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=5393988 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5523443712 1290009 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 5393988

[startup+1602.3 s]
/proc/loadavg: 2.42 2.33 2.28 4/183 21165
/proc/meminfo: memFree=21861336/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=5395012 CPUtime=1602.04 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 7754735 0 0 0 158865 1339 0 0 20 0 4 0 25406228 5524492288 1290265 33554432000 4194304 16246674 140735812135456 140735812134632 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1348753 1290265 908 2943 0 1345647 0
[pid=21121/tid=21122] ppid=21118 vsize=5395012 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5524492288 1290265 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=5395012 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5524492288 1290265 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=5395012 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5524492288 1290265 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 5395012

[startup+1662.3 s]
/proc/loadavg: 2.42 2.34 2.28 3/183 21216
/proc/meminfo: memFree=27636492/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=1702468 CPUtime=1662.03 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 7982321 0 0 0 164802 1401 0 0 20 0 4 0 25406228 1743327232 367386 33554432000 4194304 16246674 140735812135456 140735812133312 4225301 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 425617 367386 908 2943 0 422511 0
[pid=21121/tid=21122] ppid=21118 vsize=1702468 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 1743327232 367386 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=1702468 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 1743327232 367386 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=1702468 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 1743327232 367386 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1702468

[startup+1722.3 s]
/proc/loadavg: 2.46 2.36 2.29 3/183 21217
/proc/meminfo: memFree=24387512/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=4945476 CPUtime=1722.03 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 8793074 0 0 0 170689 1514 0 0 20 0 4 0 25406228 5064167424 1178138 33554432000 4194304 16246674 140735812135456 140735812134632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1236369 1178138 908 2943 0 1233263 0
[pid=21121/tid=21122] ppid=21118 vsize=4945476 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5064167424 1178138 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=4945476 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5064167424 1178138 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=4945476 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5064167424 1178138 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4945476

[startup+1782.3 s]
/proc/loadavg: 2.33 2.33 2.28 4/183 21218
/proc/meminfo: memFree=24149916/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=5182020 CPUtime=1782.01 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 9080819 0 0 0 176637 1564 0 0 20 0 4 0 25406228 5306388480 1237275 33554432000 4194304 16246674 140735812135456 140735812133200 4206692 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1295505 1237275 908 2943 0 1292399 0
[pid=21121/tid=21122] ppid=21118 vsize=5182020 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 5306388480 1237275 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=5182020 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 5306388480 1237275 33554432000 4194304 16246674 140735812135456 140627579739152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=5182020 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 5306388480 1237275 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 5182020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.37 2.34 2.28 4/183 21218
/proc/meminfo: memFree=25110040/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=4221508 CPUtime=1800.01 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) R 21118 21121 16189 0 -1 4202496 9129971 0 0 0 178422 1579 0 0 20 0 4 0 25406228 4322824192 997147 33554432000 4194304 16246674 140735812135456 140735812134632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 1055377 997147 908 2943 0 1052271 0
[pid=21121/tid=21122] ppid=21118 vsize=4221508 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) S 21118 21121 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25406229 4322824192 997147 33554432000 4194304 16246674 140735812135456 140627590229232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21121/tid=21123] ppid=21118 vsize=4221508 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21123/stat : 21123 (toysat) S 21118 21121 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25406229 4322824192 997147 33554432000 4194304 16246674 140735812135456 140627579739376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21121/tid=21124] ppid=21118 vsize=4221508 CPUtime=0 cores=1,3,5,7
/proc/21121/task/21124/stat : 21124 (toysat) S 21118 21121 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25406229 4322824192 997147 33554432000 4194304 16246674 140735812135456 140627496922288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4221508

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

[startup+1800.4 s]
/proc/loadavg: 2.37 2.34 2.28 4/183 21218
/proc/meminfo: memFree=25110040/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) Z 21118 21121 16189 0 -1 4203532 9129971 0 0 0 178423 1589 0 0 20 0 2 0 25406228 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 0 0 0 0 0 0 0
[pid=21121/tid=21122] ppid=21118 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) R 21118 21121 16189 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 25406229 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 2.37 2.34 2.28 4/183 21218
/proc/meminfo: memFree=25110040/32872528 swapFree=1459628/1655852
[pid=21121] ppid=21118 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/21121/stat : 21121 (toysat) Z 21118 21121 16189 0 -1 4203532 9129971 0 0 0 178423 1599 0 0 20 0 2 0 25406228 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21121/statm: 0 0 0 0 0 0 0
[pid=21121/tid=21122] ppid=21118 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/21121/task/21122/stat : 21122 (toysat) R 21118 21121 16189 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 25406229 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.24
CPU user time (s): 1784.23
CPU system time (s): 16.0076
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 5395012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.23
system time used= 16.0076
maximum resident set size= 5161060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9129971
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= 1992
involuntary context switches= 3772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09192 second user time and 9.31458 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 09:06:47
IDJOB=4103193
IDBENCH=2294
IDSOLVER=2542
FILE ID=node136/4103193-1466233607
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103193-1466233607/watcher-4103193-1466233607 -o /tmp/evaluation-result-4103193-1466233607/solver-4103193-1466233607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103193-1466233607.opb

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

MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e
RANDOM SEED=1254977334

node136.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.278
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.55
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.278
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.278
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.56
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.278
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.278
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.278
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.56
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.278
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.67
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.278
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:        24561336 kB
Buffers:          106860 kB
Cached:           160264 kB
SwapCached:            0 kB
Active:          5716888 kB
Inactive:         186144 kB
Active(anon):    5616572 kB
Inactive(anon):    21792 kB
Active(file):     100316 kB
Inactive(file):   164352 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       7291556 kB
Mapped:            16472 kB
Shmem:               204 kB
Slab:             608324 kB
SReclaimable:      52500 kB
SUnreclaim:       555824 kB
KernelStack:        1496 kB
PageTables:        18488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7429340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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= 71704 MiB
End job on node136 at 2016-06-18 09:36:48