Trace number 4079139

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.41 1800.75

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__64.opb
MD5SUMcc9e86bf563f6565193c3e6b50384be6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark3.08353
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6448
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint64
Maximum length of a constraint577
Number of terms in the objective function 6400
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 214818240
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 214818240
Number of bits of the biggest sum of numbers28
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-07T04:55:09+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-4079139-1465268109.opb"]
0.00/0.01	c use --random-gen="4219925712 2899961805 1007571821 2199607205 2218524162 1110308008 3544305218 763350514 1422636999 3999380400 3197709896 572538151 3674198821 1972240784 1937865973 810071410 2489219932 117349284 3081126674 937698236 124552707 4225538063 2487054602 739969198 2652946174 204341550 3998035073 446564857 951117895 649241259 1777377297 1010565221 1047622770 2434407240 1665999710 1864392771 3647548957 3971036817 1022777995 3800630723 3050743651 1448813326 3780432927 2779435282 2154613027 1657949755 3225585546 3859525912 499150344 3007153312 1933050117 846378070 2173389105 2261918905 3538456976 3352457207 3535120979 2704288621 4158225610 3684756759 1924757337 3870311614 17055766 3879901013 2402821266 1482113275 1262365283 634334337 2272332120 3189932721 307166592 1109081691 2433274033 2667420528 3549507236 2789787714 2824517827 3579689665 1423073890 1002674412 1818426382 488528523 3635829061 520437901 955042243 1336336114 1509764093 1337619810 1039929993 2127814866 1433582598 147095389 1700437270 2075129674 1906113030 882503501 2423520050 1116724316 2119074825 1353342520 1021284949 4139682653 2989077717 3427320917 4067228013 3047133875 1644834893 2873507969 3537650016 2391488344 2059799395 3626812040 788956659 1615954768 3151632983 1431948553 144078742 1008253229 826366226 511152818 1677670746 4214614147 208446846 2162854156 1865819698 2398887408 3696632127 201328228 4134768402 145601319 1515951043 1593585442 4118756248 194224885 1350581032 2310360285 3505588840 2599630413 866274464 1612010051 4017914240 2112766945 3670762333 4119982521 3525868426 1578355452 1189369881 229250479 4251192489 4127587511 4111526061 2711954287 493583968 3450237763 3525241230 3593384496 303631543 2985435781 1773710506 1640197503 2583968849 115125484 500078478 2273440772 4266289834 775021150 1721519789 2911857414 269251264 4245316660 1301723136 1427356590 1438391581 1210530518 3110650818 1538217170 1311230610 130749215 3072806823 619551949 3652849723 2860072590 2406686249 405854324 626760355 84818465 1437137322 2735288355 2466244715 55104395 218247467 4108462469 2462160211 4289423303 2522898072 1648298588 1986270582 490725053 3545072017 2724862956 3022471902 4041515167 4176958363 1670861716 1916254617 4156362824 1416848426 4279651374 4241812272 1207958574 1510159587 3412549310 3201289713 4161491481 4034895111 629236892 1757504037 3456968150 2278012511 3979418372 3261905522 3529469579 3460174332 289287346 1861788487 3495321021 3447801897 1083729633 561004074 2046851036 1649931546 758248349 631770168 3372324779 2862439513 3313857319 1424982710 1747229915 2688223298 2764707821 3850626620 3557513931 3099969915 1965675120 487677747 3887839556 2730663581 492532446 1491716681 3508263334 4222549055 4228749796 2771550704 4194273852 1435137311 3389014688 255 362436" option to reproduce the execution
0.00/0.06	c #vars 6448
0.00/0.06	c #constraints 150
0.08/0.15	c BCD2: Hardening is enabled.
0.08/0.15	c BCD2: BiasedSearch is enabled.
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.17	c  0.0s |       0 |        0 |        0 |     2216      0 |        0 |        0
0.19/0.26	c  0.1s |       1 |      265 |      100 |     2216      0 |        0 |        0
0.49/0.55	c  0.4s |       2 |     3838 |      250 |     2438      0 |        0 |        0
0.58/0.64	c  0.5s |       2 |     8936 |      402 |     2682      0 |        0 |        0
0.58/0.64	c #cpu_time = 0.488s
0.58/0.64	c #wall_clock_time = 0.489s
0.58/0.64	c #decision = 8936
0.58/0.64	c #random_decision = 21
0.58/0.64	c #conflict = 402
0.58/0.64	c #restart = 2
0.58/0.64	o 1162558
0.69/0.74	c BCD2: updating upper bound: 214818240 -> 1162557
0.79/0.86	c BCD2: 0 <= obj <= 1162557
0.79/0.86	c BCD2: #cores=0, #unrelaxed=6400, #relaxed=0, #hardened=0
0.79/0.86	c BCD2: #sat=1 #unsat=1 bias=1/2
0.79/0.86	c Solving starts ...
0.79/0.86	c ============================[ Search Statistics ]============================
0.79/0.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.86	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.86	c =============================================================================
0.79/0.86	c  0.0s |       0 |        0 |        0 |     2682      0 |        0 |        0
0.79/0.87	c  0.0s |       0 |      891 |        0 |     2682      0 |        0 |        0
0.79/0.87	c #cpu_time = 0.008s
0.79/0.87	c #wall_clock_time = 0.008s
0.79/0.87	c #decision = 891
0.79/0.87	c #random_decision = 0
0.79/0.87	c #conflict = 0
0.79/0.87	c #restart = 0
0.79/0.87	c BCD2: found a new core of size 128: cost of the new core is >=10131
0.79/0.87	c lower bound updated to 10131
0.89/0.96	c BCD2: 10131 <= obj <= 1162557
0.89/0.96	c BCD2: #cores=1, #unrelaxed=6272, #relaxed=128, #hardened=0
0.89/0.96	c BCD2: #sat=1 #unsat=2 bias=2/3
0.89/0.97	c Solving starts ...
0.89/0.97	c ============================[ Search Statistics ]============================
0.89/0.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.97	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.97	c =============================================================================
0.89/0.97	c  0.0s |       0 |        0 |        0 |     2682      0 |        0 |        1
0.89/0.98	c  0.0s |       0 |     5399 |        0 |     2682      0 |        0 |        1
0.89/0.98	c #cpu_time = 0.014s
0.89/0.98	c #wall_clock_time = 0.014s
0.89/0.98	c #decision = 5399
0.89/0.98	c #random_decision = 0
0.89/0.98	c #conflict = 0
0.89/0.98	c #restart = 0
0.89/0.98	c BCD2: found a new core of size 703: cost of the new core is >=9426
0.89/0.98	c lower bound updated to 19557
0.99/1.07	c BCD2: 19557 <= obj <= 1162557
0.99/1.07	c BCD2: #cores=2, #unrelaxed=5569, #relaxed=831, #hardened=0
0.99/1.07	c BCD2: #sat=1 #unsat=3 bias=3/4

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079139-1465268109/watcher-4079139-1465268109 -o /tmp/evaluation-result-4079139-1465268109/solver-4079139-1465268109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079139-1465268109.opb 

pid=4255
running on 4 cores: 0,2,4,6

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.32 2.22 2.19 3/179 4258
/proc/meminfo: memFree=24453592/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=650684 CPUtime=0 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 2411 0 0 0 0 0 0 0 20 0 4 0 108744078 666300416 2771 33554432000 4194304 16246674 140733372427472 140733372426896 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 163183 2781 441 2943 0 160077 0
[pid=4258/tid=4259] ppid=4255 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 684126208 2843 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 689369088 2860 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108744078 693563392 2879 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 4258
/proc/meminfo: memFree=24453592/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1300036 CPUtime=0.08 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 26744 0 0 0 5 3 0 0 20 0 4 0 108744078 1331236864 27043 33554432000 4194304 16246674 140733372427472 140733372426784 6771081 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 325009 27052 837 2943 0 321903 0
[pid=4258/tid=4259] ppid=4255 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1331236864 27055 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1331236864 27061 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1331236864 27070 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1300036

[startup+0.200504 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 4258
/proc/meminfo: memFree=24453592/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 44292 0 0 0 14 5 0 0 20 0 4 0 108744078 1342771200 44590 33554432000 4194304 16246674 140733372427472 140733372426784 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 327825 44590 889 2943 0 324719 0
[pid=4258/tid=4259] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44590 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44590 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44590 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300466 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 4258
/proc/meminfo: memFree=24453592/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 44294 0 0 0 24 5 0 0 20 0 4 0 108744078 1342771200 44592 33554432000 4194304 16246674 140733372427472 140733372426784 5669575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 327825 44592 889 2943 0 324719 0
[pid=4258/tid=4259] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44592 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44592 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 44592 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.7004 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 4258
/proc/meminfo: memFree=24453592/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 113251 0 0 0 54 15 0 0 20 0 4 0 108744078 1342771200 113549 33554432000 4194304 16246674 140733372427472 140733372426784 12655228 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 327825 113549 897 2943 0 324719 0
[pid=4258/tid=4259] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 113549 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 113549 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 113549 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50039 s]
/proc/loadavg: 2.32 2.22 2.19 3/183 4262
/proc/meminfo: memFree=24000896/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 143421 0 0 0 129 20 0 0 20 0 4 0 108744078 1342771200 143720 33554432000 4194304 16246674 140733372427472 140733372409344 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 327825 143733 916 2943 0 324719 0
[pid=4258/tid=4259] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 143743 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 143752 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1342771200 143759 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10031 s]
/proc/loadavg: 2.38 2.23 2.19 3/183 4262
/proc/meminfo: memFree=23360188/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1328708 CPUtime=3.09 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 273391 0 0 0 273 36 0 0 20 0 4 0 108744078 1360596992 273689 33554432000 4194304 16246674 140733372427472 140733372409344 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 332177 273689 916 2943 0 329071 0
[pid=4258/tid=4259] ppid=4255 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1360596992 273689 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1360596992 273689 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1360596992 273689 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.3004 s]
/proc/loadavg: 2.38 2.23 2.19 3/183 4262
/proc/meminfo: memFree=23313212/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1375812 CPUtime=6.28 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 285167 0 0 0 591 37 0 0 20 0 4 0 108744078 1408831488 285465 33554432000 4194304 16246674 140733372427472 140733372425280 12430122 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 343953 285465 916 2943 0 340847 0
[pid=4258/tid=4259] ppid=4255 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1408831488 285465 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1408831488 285465 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1408831488 285465 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1375812

[startup+12.7004 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 4262
/proc/meminfo: memFree=22133988/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1442372 CPUtime=12.69 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 301807 0 0 0 1229 40 0 0 20 0 4 0 108744078 1476988928 302105 33554432000 4194304 16246674 140733372427472 140733372426784 12449259 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 360593 302105 916 2943 0 357487 0
[pid=4258/tid=4259] ppid=4255 vsize=1442372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1476988928 302105 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1442372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1476988928 302105 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1442372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1476988928 302105 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1442372

[startup+25.5005 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 4262
/proc/meminfo: memFree=22908372/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=1826372 CPUtime=25.49 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 397807 0 0 0 2496 53 0 0 20 0 4 0 108744078 1870204928 398105 33554432000 4194304 16246674 140733372427472 140733372409344 12653039 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 456593 398105 916 2943 0 453487 0
[pid=4258/tid=4259] ppid=4255 vsize=1826372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 1870204928 398105 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=1826372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 1870204928 398105 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=1826372 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 1870204928 398105 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1826372

[startup+51.1005 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 4262
/proc/meminfo: memFree=22688864/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=2044484 CPUtime=51.07 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 452337 0 0 0 5046 61 0 0 20 0 4 0 108744078 2093551616 452635 33554432000 4194304 16246674 140733372427472 140733372425280 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 511121 452635 917 2943 0 508015 0
[pid=4258/tid=4259] ppid=4255 vsize=2044484 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 2093551616 452635 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=2044484 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 2093551616 452635 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=2044484 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 2093551616 452635 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2044484

[startup+102.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 4312
/proc/meminfo: memFree=26727280/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=2542148 CPUtime=102.28 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 576755 0 0 0 10147 81 0 0 20 0 4 0 108744078 2603159552 577051 33554432000 4194304 16246674 140733372427472 140733372425280 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 635537 577051 917 2943 0 632431 0
[pid=4258/tid=4259] ppid=4255 vsize=2542148 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 2603159552 577051 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=2542148 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 2603159552 577051 33554432000 4194304 16246674 140733372427472 140482239765520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=2542148 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 2603159552 577051 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2542148


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

/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 3346198 0 0 0 135596 607 0 0 20 0 4 0 108744078 5585309696 1305118 33554432000 4194304 16246674 140733372427472 140733372426568 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1363601 1305118 917 2943 0 1360495 0
[pid=4258/tid=4259] ppid=4255 vsize=5454404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5585309696 1305118 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5454404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5585309696 1305118 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5454404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5585309696 1305118 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 5454404

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 4367
/proc/meminfo: memFree=19893268/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5609028 CPUtime=1422.03 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 3528215 0 0 0 141558 645 0 0 20 0 4 0 108744078 5743644672 1343774 33554432000 4194304 16246674 140733372427472 140733372425280 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1402257 1343774 917 2943 0 1399151 0
[pid=4258/tid=4259] ppid=4255 vsize=5609028 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5743644672 1343774 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5609028 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5743644672 1343774 33554432000 4194304 16246674 140733372427472 140482239765520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5609028 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5743644672 1343774 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 5609028

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 4368
/proc/meminfo: memFree=19729948/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5662276 CPUtime=1482.01 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 3857689 0 0 0 147502 699 0 0 20 0 4 0 108744078 5798170624 1357087 33554432000 4194304 16246674 140733372427472 140733372426568 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1415569 1357087 917 2943 0 1412463 0
[pid=4258/tid=4259] ppid=4255 vsize=5662276 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5798170624 1357087 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5662276 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5798170624 1357087 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5662276 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5798170624 1357087 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 5662276

[startup+1542.31 s]
/proc/loadavg: 2.25 2.23 2.19 3/184 4372
/proc/meminfo: memFree=19600512/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5710404 CPUtime=1542 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4174617 0 0 0 153447 753 0 0 20 0 4 0 108744078 5847453696 1369119 33554432000 4194304 16246674 140733372427472 140733372425280 4225151 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1427601 1369119 917 2943 0 1424495 0
[pid=4258/tid=4259] ppid=4255 vsize=5710404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5847453696 1369119 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5710404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5847453696 1369119 33554432000 4194304 16246674 140733372427472 140482239765520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5710404 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5847453696 1369119 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 5710404

[startup+1602.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/183 4374
/proc/meminfo: memFree=19827564/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5405252 CPUtime=1601.98 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4178201 0 0 0 159438 760 0 0 20 0 4 0 108744078 5534978048 1292831 33554432000 4194304 16246674 140733372427472 140733372426568 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1351313 1292831 917 2943 0 1348207 0
[pid=4258/tid=4259] ppid=4255 vsize=5405252 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5534978048 1292831 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5405252 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5534978048 1292831 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5405252 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5534978048 1292831 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 5405252

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 4375
/proc/meminfo: memFree=19606392/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5511748 CPUtime=1661.98 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4271387 0 0 0 165416 782 0 0 20 0 4 0 108744078 5644029952 1319455 33554432000 4194304 16246674 140733372427472 140733372426568 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1377937 1319455 917 2943 0 1374831 0
[pid=4258/tid=4259] ppid=4255 vsize=5511748 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5644029952 1319455 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5511748 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5644029952 1319455 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5511748 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5644029952 1319455 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 5511748

[startup+1722.3 s]
/proc/loadavg: 2.34 2.27 2.19 3/183 4376
/proc/meminfo: memFree=19209616/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5831236 CPUtime=1721.96 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4351259 0 0 0 171398 798 0 0 20 0 4 0 108744078 5971185664 1399327 33554432000 4194304 16246674 140733372427472 140733372426568 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1457809 1399327 917 2943 0 1454703 0
[pid=4258/tid=4259] ppid=4255 vsize=5831236 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 5971185664 1399327 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5831236 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 5971185664 1399327 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5831236 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 5971185664 1399327 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 5831236

[startup+1782.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 4377
/proc/meminfo: memFree=19086024/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5876292 CPUtime=1781.95 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4741405 0 0 0 177333 862 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140733372426568 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1469073 1410592 917 2943 0 1465967 0
[pid=4258/tid=4259] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 5876292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.21 2.18 3/183 4378
/proc/meminfo: memFree=19048300/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=5876292 CPUtime=1800.05 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) R 4255 4258 3556 0 -1 4202496 4741405 0 0 0 179141 864 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140733372426568 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 1469073 1410592 917 2943 0 1465967 0
[pid=4258/tid=4259] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) S 4255 4258 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482250255600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4258/tid=4260] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4260/stat : 4260 (toysat) S 4255 4258 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482239765744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4258/tid=4261] ppid=4255 vsize=5876292 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4261/stat : 4261 (toysat) S 4255 4258 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108744078 6017323008 1410592 33554432000 4194304 16246674 140733372427472 140482229292208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5876292

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

[startup+1800.6 s]
/proc/loadavg: 2.13 2.21 2.18 3/183 4378
/proc/meminfo: memFree=19048300/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) Z 4255 4258 3556 0 -1 4203532 4741405 0 0 0 179141 884 0 0 20 0 2 0 108744078 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 0 0 0 0 0 0 0
[pid=4258/tid=4259] ppid=4255 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) R 4255 4258 3556 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 108744078 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.13 2.21 2.18 4/181 4378
/proc/meminfo: memFree=23900984/32872528 swapFree=17892/1720544
[pid=4258] ppid=4255 vsize=0 CPUtime=1800.36 cores=0,2,4,6
/proc/4258/stat : 4258 (toysat) Z 4255 4258 3556 0 -1 4203532 4741405 0 0 0 179141 895 0 0 20 0 2 0 108744078 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4258/statm: 0 0 0 0 0 0 0
[pid=4258/tid=4259] ppid=4255 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/4258/task/4259/stat : 4259 (toysat) R 4255 4258 3556 0 -1 4203588 9 0 0 0 0 29 0 0 20 0 2 0 108744078 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.41
CPU user time (s): 1791.42
CPU system time (s): 8.99063
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 5876292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.42
system time used= 8.99063
maximum resident set size= 5642368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4741405
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= 1302
involuntary context switches= 1928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45287 second user time and 8.78966 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 04:55:09
IDJOB=4079139
IDBENCH=71906
IDSOLVER=2542
FILE ID=node117/4079139-1465268109
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= cc9e86bf563f6565193c3e6b50384be6
RANDOM SEED=1614080278

node117.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.088
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.17
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.088
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.088
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		: 2667.088
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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.088
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:        24454120 kB
Buffers:           79608 kB
Cached:           106728 kB
SwapCached:        55388 kB
Active:          5792804 kB
Inactive:         158548 kB
Active(anon):    5712556 kB
Inactive(anon):    54760 kB
Active(file):      80248 kB
Inactive(file):   103788 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             16564 kB
Writeback:             0 kB
AnonPages:       7431232 kB
Mapped:            10872 kB
Shmem:                 0 kB
Slab:             598520 kB
SReclaimable:      42536 kB
SUnreclaim:       555984 kB
KernelStack:        1472 kB
PageTables:        18944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7572692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1714176 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= 71708 MiB
End job on node117 at 2016-06-07 05:25:10