Trace number 4107482

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.03 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-system-config-printer.cudf.paranoid.opb
MD5SUM34d8d39dcb7c4ddb4c17123e34f94e75
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141781
Best CPU time to get the best result obtained on this benchmark23.3175
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
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-18T23:30:17+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-4107482-1466285417.opb"]
0.00/0.01	c use --random-gen="1418555132 2736746581 1824758488 971762673 1670313449 2009688088 788183698 1358797369 1508680983 2803070109 2827387373 2355456060 1170716379 1799102581 3482395324 1848878871 2142447477 4249753809 2371949616 4205533305 2921858791 868210575 918091693 3330993286 1837659107 3408638713 3829335613 1541448816 1240393371 2270141616 2198626602 4134119063 4225690650 257879849 3994742301 1246097235 1326594068 3781446641 10051559 2615631135 2956482149 3077138110 1006799054 2126842773 1539199444 2420931808 1580029682 1193730100 3893892969 2936986506 1043283401 3703306400 1757755568 3077762534 1903714104 2601398513 921763123 3775430662 3523909617 3674983414 4209813403 780442603 2440042466 1190950595 589409079 3588885731 491784126 3069313573 171208623 272613642 850822425 1694010131 701012574 1851778599 3674172602 3793403242 874517282 2615461529 4247549606 2353642669 1310890831 3197793885 2359259274 1348607977 1261035818 853092608 4040004226 2204457306 102847802 1112846951 291467921 1205748059 2315755241 1924024789 1570667264 1142451577 2051997565 2734137837 629428921 550408284 4259445527 1448063576 208884308 1321378192 3691179740 1453115227 2037385542 3131119187 390208848 291860252 3924356347 3956141981 426168811 3489744290 1820346699 3481719475 2974332457 4245840991 3648711229 3348031461 1467099525 406637088 2010748692 1401320260 3635944935 2770050805 341532678 1495997820 335506748 597907729 393546886 4220467249 2099057671 2965666781 2420208196 3928716803 2375951278 3612070137 2299978134 1109253623 107897468 2106826942 4217841204 967278389 2893313197 3586224807 1797245436 2824054663 3210524480 2659062487 2053104805 2184595667 3219905320 2229154409 2112032506 1050217072 2096519764 2095103728 2086310879 2338454984 3974702137 1873188121 1735334781 1208208115 1054482205 2573034584 3445125824 3192156108 4192083672 2288302672 1072369909 2506798230 2381917008 3443444830 154435534 4067073355 1140058149 918829308 3659050461 656874676 1930195772 1967485686 3685998398 2097303323 1158498817 2339534990 582290632 188227347 1987440962 2020930679 3971525613 3031733609 3017843224 1144984547 2790870774 2694408727 794522642 1957124007 1050367422 2406016810 191279853 1087610757 560456411 725181981 279439022 683397137 344983573 2908919254 3700242160 3999427118 2455973269 2018758543 155786474 3441689365 1118426602 2706961425 2997297965 378377510 439795362 944834546 1788023773 3534929951 360474911 1763018740 4215500406 2334021393 434502166 2498739751 1637583193 3516900442 3884701396 656671243 3779522099 1238168179 3260061465 2421677705 4033121631 1347605148 840694651 1783652350 1451520081 3986079862 2246604546 281199089 2678291146 2797859067 970511840 2405883733 858504769 3363491241 2953690899 4210312753 1611612590 1499188513 351805985 466501229 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.19/2.24	c BCD2: Hardening is enabled.
2.19/2.24	c BCD2: BiasedSearch is enabled.
2.19/2.24	c Solving starts ...
2.19/2.24	c ============================[ Search Statistics ]============================
2.19/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.24	c =============================================================================
2.19/2.24	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.79/2.81	c  0.6s |       1 |    81187 |      100 |    38664      0 |       52 |      141
4.29/4.36	c  2.1s |       2 |   279067 |      250 |    42531      0 |       52 |      141
7.29/7.38	c  5.1s |       2 |   634409 |      444 |    46785      0 |       52 |      141
7.29/7.38	c #cpu_time = 5.123s
7.29/7.38	c #wall_clock_time = 5.123s
7.29/7.38	c #decision = 634409
7.29/7.38	c #random_decision = 1949
7.29/7.38	c #conflict = 444
7.29/7.38	c #restart = 2
7.29/7.38	o 6398627
228.96/229.07	c BCD2: updating upper bound: 12717493 -> 6398626
477.42/477.56	c BCD2: 0 <= obj <= 6398626
477.42/477.56	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
477.42/477.56	c BCD2: #sat=1 #unsat=1 bias=1/2
477.42/477.56	c Solving starts ...
477.42/477.56	c ============================[ Search Statistics ]============================
477.42/477.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
477.42/477.56	c       |         |          |          |    Limit     GC | Var      | Constra 
477.42/477.56	c =============================================================================
477.42/477.56	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
477.51/477.62	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
477.51/477.62	c #cpu_time = 0.057s
477.51/477.62	c #wall_clock_time = 0.057s
477.51/477.62	c #decision = 382
477.51/477.62	c #random_decision = 0
477.51/477.62	c #conflict = 0
477.51/477.62	c #restart = 0
477.51/477.62	c BCD2: found a new core of size 2: cost of the new core is >=1
477.51/477.62	c lower bound updated to 1
741.91/742.12	c BCD2: 1 <= obj <= 6398626
741.91/742.12	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
741.91/742.12	c BCD2: #sat=1 #unsat=2 bias=2/3
741.91/742.13	c Solving starts ...
741.91/742.13	c ============================[ Search Statistics ]============================
741.91/742.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
741.91/742.13	c       |         |          |          |    Limit     GC | Var      | Constra 
741.91/742.13	c =============================================================================
741.91/742.13	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
742.01/742.24	c  0.1s |       0 |      783 |        1 |    46785      0 |       53 |      144
742.01/742.24	c #cpu_time = 0.114s
742.01/742.24	c #wall_clock_time = 0.114s
742.01/742.24	c #decision = 783
742.01/742.24	c #random_decision = 0
742.01/742.24	c #conflict = 1
742.01/742.24	c #restart = 0
742.01/742.24	c BCD2: found a new core of size 1: cost of the new core is >=1
742.01/742.24	c lower bound updated to 2
1005.63/1005.97	c BCD2: 2 <= obj <= 6398626
1005.63/1005.97	c BCD2: #cores=2, #unrelaxed=7250, #relaxed=3, #hardened=0
1005.63/1005.97	c BCD2: #sat=1 #unsat=3 bias=3/4
1005.63/1005.97	c Solving starts ...
1005.63/1005.97	c ============================[ Search Statistics ]============================
1005.63/1005.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1005.63/1005.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1005.63/1005.97	c =============================================================================
1005.63/1005.97	c  0.0s |       0 |        0 |        0 |    46785      0 |       53 |      144
1005.73/1006.03	c  0.1s |       0 |      726 |        1 |    46785      0 |       53 |      144
1005.73/1006.03	c #cpu_time = 0.062s
1005.73/1006.03	c #wall_clock_time = 0.062s
1005.73/1006.03	c #decision = 726
1005.73/1006.03	c #random_decision = 0
1005.73/1006.03	c #conflict = 1
1005.73/1006.03	c #restart = 0
1005.73/1006.03	c BCD2: found a new core of size 2: cost of the new core is >=1
1005.73/1006.03	c lower bound updated to 3
1278.69/1279.06	c BCD2: 3 <= obj <= 6398626
1278.69/1279.06	c BCD2: #cores=3, #unrelaxed=7248, #relaxed=5, #hardened=0
1278.69/1279.06	c BCD2: #sat=1 #unsat=4 bias=4/5
1278.69/1279.06	c Solving starts ...
1278.69/1279.06	c ============================[ Search Statistics ]============================
1278.69/1279.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1278.69/1279.06	c       |         |          |          |    Limit     GC | Var      | Constra 
1278.69/1279.06	c =============================================================================
1278.69/1279.06	c  0.0s |       0 |        0 |        0 |    46785      0 |       53 |      144
1278.79/1279.12	c  0.1s |       0 |      650 |        1 |    46785      0 |       53 |      144
1278.79/1279.12	c #cpu_time = 0.059s
1278.79/1279.12	c #wall_clock_time = 0.059s
1278.79/1279.12	c #decision = 650
1278.79/1279.12	c #random_decision = 0
1278.79/1279.12	c #conflict = 1
1278.79/1279.12	c #restart = 0
1278.79/1279.12	c BCD2: found a new core of size 3: cost of the new core is >=1
1278.79/1279.12	c lower bound updated to 4
1539.36/1539.70	c BCD2: 4 <= obj <= 6398626
1539.36/1539.70	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1539.36/1539.70	c BCD2: #sat=1 #unsat=5 bias=5/6
1539.36/1539.70	c Solving starts ...
1539.36/1539.70	c ============================[ Search Statistics ]============================
1539.36/1539.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1539.36/1539.70	c       |         |          |          |    Limit     GC | Var      | Constra 
1539.36/1539.70	c =============================================================================
1539.36/1539.70	c  0.0s |       0 |        0 |        0 |    46785      0 |       53 |      144
1539.36/1539.76	c  0.1s |       0 |      647 |        1 |    46785      0 |       53 |      144
1539.36/1539.76	c #cpu_time = 0.059s
1539.36/1539.76	c #wall_clock_time = 0.059s
1539.36/1539.76	c #decision = 647
1539.36/1539.76	c #random_decision = 0
1539.36/1539.76	c #conflict = 1
1539.36/1539.76	c #restart = 0
1539.36/1539.76	c BCD2: found a new core of size 2: cost of the new core is >=1
1539.36/1539.76	c lower bound updated to 5
1799.11/1799.58	c BCD2: 5 <= obj <= 6398626
1799.11/1799.58	c BCD2: #cores=5, #unrelaxed=7243, #relaxed=10, #hardened=0
1799.11/1799.58	c BCD2: #sat=1 #unsat=6 bias=6/7
1799.11/1799.58	c Solving starts ...
1799.11/1799.58	c ============================[ Search Statistics ]============================
1799.11/1799.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1799.11/1799.58	c       |         |          |          |    Limit     GC | Var      | Constra 
1799.11/1799.58	c =============================================================================
1799.11/1799.58	c  0.0s |       0 |        0 |        0 |    46785      0 |       53 |      144
1799.22/1799.65	c  0.1s |       0 |      759 |        0 |    46785      0 |       53 |      144
1799.22/1799.65	c #cpu_time = 0.064s
1799.22/1799.65	c #wall_clock_time = 0.064s
1799.22/1799.65	c #decision = 759
1799.22/1799.65	c #random_decision = 0
1799.22/1799.65	c #conflict = 0
1799.22/1799.65	c #restart = 0
1799.22/1799.65	c BCD2: found a new core of size 2: cost of the new core is >=1
1799.22/1799.65	c lower bound updated to 6

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

pid=25479
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.00 2.01 2.00 3/180 25482
/proc/meminfo: memFree=30364492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 30587375 742846464 3068 33554432000 4194304 16246674 140733381967760 140733381967184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 182127 3077 441 2943 0 179021 0
[pid=25482/tid=25483] ppid=25479 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 761720832 3139 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 765915136 3156 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 770109440 3172 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25482
/proc/meminfo: memFree=30364492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 28744 0 0 0 5 4 0 0 20 0 4 0 30587375 1333334016 29043 33554432000 4194304 16246674 140733381967760 140733381967072 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 325521 29058 800 2943 0 322415 0
[pid=25482/tid=25483] ppid=25479 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1333334016 29067 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1333334016 29079 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1333334016 29090 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25482
/proc/meminfo: memFree=30364492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 48627 0 0 0 12 7 0 0 20 0 4 0 30587375 1344868352 49436 33554432000 4194304 16246674 140733381967760 140733381967072 7376596 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 328337 49436 800 2943 0 325231 0
[pid=25482/tid=25483] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 49436 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 49436 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 49436 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25482
/proc/meminfo: memFree=30364492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 63290 0 0 0 20 9 0 0 20 0 4 0 30587375 1344868352 64099 33554432000 4194304 16246674 140733381967760 140733381967072 7361367 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 328337 64099 800 2943 0 325231 0
[pid=25482/tid=25483] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 64099 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 64099 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 64099 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700397 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 25482
/proc/meminfo: memFree=30364492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 73133 0 0 0 58 11 0 0 20 0 4 0 30587375 1344868352 73942 33554432000 4194304 16246674 140733381967760 140733381967072 7393585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 328337 73942 800 2943 0 325231 0
[pid=25482/tid=25483] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 73942 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 73942 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 73942 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 25486
/proc/meminfo: memFree=29912732/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 192521 0 0 0 121 28 0 0 20 0 4 0 30587375 1344868352 193331 33554432000 4194304 16246674 140733381967760 140733381949632 7206249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 328337 193342 840 2943 0 325231 0
[pid=25482/tid=25483] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 193349 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 193354 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1344868352 193361 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 25486
/proc/meminfo: memFree=29275240/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 273779 0 0 0 270 39 0 0 20 0 4 0 30587375 1389957120 274588 33554432000 4194304 16246674 140733381967760 140733381949632 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 274599 889 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 274605 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 274611 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 274616 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 25486
/proc/meminfo: memFree=29242436/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280026 0 0 0 590 39 0 0 20 0 4 0 30587375 1389957120 280835 33554432000 4194304 16246674 140733381967760 140733381949632 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 280835 895 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280835 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280835 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280835 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 25486
/proc/meminfo: memFree=29243812/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280035 0 0 0 1230 39 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140733381949632 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 280844 904 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 25486
/proc/meminfo: memFree=29240816/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=25.49 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280035 0 0 0 2510 39 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140733381949632 12654434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 280844 904 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140634946006192 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) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25486
/proc/meminfo: memFree=29208428/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=51.08 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280035 0 0 0 5069 39 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140733381949632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 280844 904 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25487
/proc/meminfo: memFree=29111172/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=102.29 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280035 0 0 0 10189 40 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140733381949632 4206697 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 339345 280844 904 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 280844 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1357380


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

/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 25566
/proc/meminfo: memFree=28863828/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1301.99 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 130157 42 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 25567
/proc/meminfo: memFree=28863732/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1361.98 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 136156 42 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 12429216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/184 25580
/proc/meminfo: memFree=28863288/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1421.98 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 142156 42 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 13901579 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/183 25581
/proc/meminfo: memFree=28863192/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1481.96 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 148154 42 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381965568 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 25582
/proc/meminfo: memFree=28863084/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1541.96 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 154153 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 25583
/proc/meminfo: memFree=28863052/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1601.95 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 160152 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 12655144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 25584
/proc/meminfo: memFree=28863652/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1661.94 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 166151 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 12429736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/183 25586
/proc/meminfo: memFree=28863900/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1721.93 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 172150 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/183 25587
/proc/meminfo: memFree=28863776/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1781.92 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 178149 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381965632 12429087 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.02 3/184 25591
/proc/meminfo: memFree=28863492/32872528 swapFree=534252/566956
[pid=25482] ppid=25479 vsize=1357380 CPUtime=1800.01 cores=1,3,5,7
/proc/25482/stat : 25482 (toysat) R 25479 25482 24407 0 -1 4202496 280229 0 0 0 179958 43 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140733381949632 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25482/statm: 339345 281117 920 2943 0 336239 0
[pid=25482/tid=25483] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25483/stat : 25483 (toysat) S 25479 25482 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635079159024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25482/tid=25484] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25484/stat : 25484 (toysat) S 25479 25482 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140635068669168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25482/tid=25485] ppid=25479 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25485/stat : 25485 (toysat) S 25479 25482 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30587375 1389957120 281117 33554432000 4194304 16246674 140733381967760 140634946006192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1357380

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.59
CPU system time (s): 0.433934
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.433934
maximum resident set size= 1124468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280229
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= 200
involuntary context switches= 2051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51431 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 23:30:17
IDJOB=4107482
IDBENCH=72217
IDSOLVER=2542
FILE ID=node138/4107482-1466285417
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-system-config-printer.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107482-1466285417/watcher-4107482-1466285417 -o /tmp/evaluation-result-4107482-1466285417/solver-4107482-1466285417 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107482-1466285417.opb

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

MD5SUM BENCH= 34d8d39dcb7c4ddb4c17123e34f94e75
RANDOM SEED=681748000

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30365020 kB
Buffers:          154864 kB
Cached:           291984 kB
SwapCached:         1060 kB
Active:           891576 kB
Inactive:         304864 kB
Active(anon):     750244 kB
Inactive(anon):     1696 kB
Active(file):     141332 kB
Inactive(file):   303168 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             19892 kB
Writeback:             0 kB
AnonPages:       1315980 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             608908 kB
SReclaimable:      52292 kB
SUnreclaim:       556616 kB
KernelStack:        1464 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71692 MiB
End job on node138 at 2016-06-19 00:00:18