Trace number 4079145

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-libpango-perl.cudf.paranoid.opb
MD5SUMb7b0ef2e50d23764d88cd828dc25ccbd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark176205
Best CPU time to get the best result obtained on this benchmark38.2652
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-07T05:16:41+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-4079145-1465269401.opb"]
0.00/0.01	c use --random-gen="4092022122 1058598550 3733071597 3590446663 1839339109 2149803883 3266643111 1389652638 1254274588 2116271126 2560834580 1819564156 3727945631 1474296407 2619364374 2944537508 3377676603 361093247 890756934 1806849640 1184586422 1239543181 2895185372 2298549494 1837083646 1854750202 2958778458 1976028729 3870518582 217109849 3131562012 2676207660 1742891748 263200746 3721450224 2249568729 2250265367 2626293302 576584247 481801256 712993635 2260626452 381900934 186881227 3576521618 231414284 1906885584 2455398541 1745174178 2825165956 2872228834 1221714744 811181486 2774321013 1032492960 4166316993 2182880705 2635566586 2318269352 3661796497 4174774340 1674897528 2632420361 569615283 3035452169 4108434017 1444620680 3785112159 845151187 3833345567 1135781165 2938192575 774846329 1913389605 2715687086 2114375428 1624912784 4278860511 2105467746 684623423 293141453 961456537 3726803844 544609957 3058759868 439198117 2547048729 956142087 452001166 506336498 1540413655 2058975076 2661711028 2577482299 3462299557 2620013464 1158612575 1794563316 3302341934 1231255900 513168180 2527990226 4018464717 5861629 3506979099 251434711 820781252 1007016231 1467876989 1157445225 1151547082 658422614 987971906 2152327264 2059816650 844790992 4020022801 1281233881 692677368 3367188978 3345347128 372563326 2864516419 39545597 754989986 2808766580 1554011161 662451569 3467994925 2725869519 3887041282 4059681252 3888049943 512923128 3656308998 3405397688 961985249 2731768934 1375022075 1771515220 3208473175 3014190431 960851342 3880415730 1186771790 2739764464 3188219448 2828140549 3009952666 4058924396 966783388 3677385410 270722186 957924944 2956367082 1671452703 2474877001 1340167101 2826096682 2900132544 2990715558 1024446782 1957527777 314972071 463444295 1761038412 3904272068 1670484947 1954097006 370938813 3355889794 2113555815 3649215054 234537662 1272859406 2822039112 3723622690 892404341 2953677468 30650135 3653794019 3041604973 4189739354 2659809896 1139085066 1872229526 74598201 3082919278 2530281970 4215751444 914925935 1835264967 3983848702 797311937 2053170949 601898859 383653228 1879052304 4292236995 1534850082 1424098084 1627279644 3281804761 2278980681 2367812269 2964931549 191138143 132962070 3466914634 3262280107 376745977 1868678474 3456967582 220384340 2803162006 2780383798 836043150 2401618925 441705262 1655003679 4253418972 20227610 1134545941 1159437905 3269279228 3622428668 8250788 3051529226 1015040041 1440860341 1801328911 1304614119 941730356 2159493981 3482764108 174661600 1708902317 476817174 4001580145 3102446850 3164713 3040685367 360787830 4019780079 4222430206 1792633737 3811319724 4056412241 1467719872 1893684301 2907585140 3509724324 1978010175 168631269 1205105124 1480321371 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.20/2.26	c BCD2: Hardening is enabled.
2.20/2.26	c BCD2: BiasedSearch is enabled.
2.20/2.26	c Solving starts ...
2.20/2.26	c ============================[ Search Statistics ]============================
2.20/2.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.26	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.26	c =============================================================================
2.20/2.26	c  0.0s |       0 |        0 |        0 |    38663      0 |       54 |        0
2.89/2.93	c  0.7s |       1 |    98179 |      100 |    38663      0 |      198 |      849
4.59/4.69	c  2.4s |       2 |   295537 |      250 |    42530      0 |      198 |      849
7.39/7.41	c  5.2s |       2 |   624241 |      416 |    46784      0 |      198 |      849
7.39/7.41	c #cpu_time = 5.139s
7.39/7.41	c #wall_clock_time = 5.139s
7.39/7.41	c #decision = 624241
7.39/7.41	c #random_decision = 1985
7.39/7.41	c #conflict = 416
7.39/7.41	c #restart = 2
7.39/7.41	o 6763794
178.86/178.99	c BCD2: updating upper bound: 12717493 -> 6763793
371.60/371.77	c BCD2: 0 <= obj <= 6763793
371.60/371.78	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
371.60/371.78	c BCD2: #sat=1 #unsat=1 bias=1/2
371.60/371.78	c Solving starts ...
371.60/371.78	c ============================[ Search Statistics ]============================
371.60/371.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
371.60/371.78	c       |         |          |          |    Limit     GC | Var      | Constra 
371.60/371.78	c =============================================================================
371.60/371.78	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
371.71/371.83	c  0.1s |       0 |      382 |        0 |    46784      0 |      198 |      849
371.71/371.83	c #cpu_time = 0.057s
371.71/371.83	c #wall_clock_time = 0.057s
371.71/371.83	c #decision = 382
371.71/371.83	c #random_decision = 0
371.71/371.83	c #conflict = 0
371.71/371.83	c #restart = 0
371.71/371.83	c BCD2: found a new core of size 2: cost of the new core is >=1
371.71/371.83	c lower bound updated to 1
584.22/584.44	c BCD2: 1 <= obj <= 6763793
584.22/584.44	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
584.22/584.44	c BCD2: #sat=1 #unsat=2 bias=2/3
584.22/584.44	c Solving starts ...
584.22/584.44	c ============================[ Search Statistics ]============================
584.22/584.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
584.22/584.44	c       |         |          |          |    Limit     GC | Var      | Constra 
584.22/584.44	c =============================================================================
584.22/584.44	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
584.32/584.51	c  0.1s |       0 |      404 |        1 |    46784      0 |      198 |      849
584.32/584.51	c #cpu_time = 0.061s
584.32/584.51	c #wall_clock_time = 0.061s
584.32/584.51	c #decision = 404
584.32/584.51	c #random_decision = 0
584.32/584.51	c #conflict = 1
584.32/584.51	c #restart = 0
584.32/584.51	c BCD2: found a new core of size 2: cost of the new core is >=1
584.32/584.51	c lower bound updated to 2
808.28/808.58	c BCD2: 2 <= obj <= 6763793
808.28/808.58	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
808.28/808.58	c BCD2: #sat=1 #unsat=3 bias=3/4
808.28/808.58	c Solving starts ...
808.28/808.58	c ============================[ Search Statistics ]============================
808.28/808.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
808.28/808.58	c       |         |          |          |    Limit     GC | Var      | Constra 
808.28/808.58	c =============================================================================
808.28/808.58	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
808.38/808.66	c  0.1s |       0 |      832 |        1 |    46784      0 |      198 |      849
808.38/808.66	c #cpu_time = 0.071s
808.38/808.66	c #wall_clock_time = 0.071s
808.38/808.66	c #decision = 832
808.38/808.66	c #random_decision = 0
808.38/808.66	c #conflict = 1
808.38/808.66	c #restart = 0
808.38/808.66	c BCD2: found a new core of size 2: cost of the new core is >=1
808.38/808.66	c lower bound updated to 3
1031.43/1031.71	c BCD2: 3 <= obj <= 6763793
1031.43/1031.71	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
1031.43/1031.71	c BCD2: #sat=1 #unsat=4 bias=4/5
1031.43/1031.71	c Solving starts ...
1031.43/1031.71	c ============================[ Search Statistics ]============================
1031.43/1031.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1031.43/1031.71	c       |         |          |          |    Limit     GC | Var      | Constra 
1031.43/1031.71	c =============================================================================
1031.43/1031.71	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
1031.43/1031.78	c  0.1s |       0 |      663 |        0 |    46784      0 |      198 |      849
1031.43/1031.78	c #cpu_time = 0.069s
1031.43/1031.78	c #wall_clock_time = 0.069s
1031.43/1031.78	c #decision = 663
1031.43/1031.78	c #random_decision = 0
1031.43/1031.78	c #conflict = 0
1031.43/1031.78	c #restart = 0
1031.43/1031.78	c BCD2: found a new core of size 2: cost of the new core is >=1
1031.43/1031.78	c lower bound updated to 4
1260.20/1260.54	c BCD2: 4 <= obj <= 6763793
1260.20/1260.54	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1260.20/1260.54	c BCD2: #sat=1 #unsat=5 bias=5/6
1260.20/1260.54	c Solving starts ...
1260.20/1260.54	c ============================[ Search Statistics ]============================
1260.20/1260.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1260.20/1260.54	c       |         |          |          |    Limit     GC | Var      | Constra 
1260.20/1260.54	c =============================================================================
1260.20/1260.54	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
1260.31/1260.61	c  0.1s |       0 |      702 |        0 |    46784      0 |      198 |      849
1260.31/1260.61	c #cpu_time = 0.070s
1260.31/1260.61	c #wall_clock_time = 0.070s
1260.31/1260.61	c #decision = 702
1260.31/1260.61	c #random_decision = 0
1260.31/1260.61	c #conflict = 0
1260.31/1260.61	c #restart = 0
1260.31/1260.61	c BCD2: found a new core of size 1: cost of the new core is >=1
1260.31/1260.61	c lower bound updated to 5
1475.07/1475.42	c BCD2: 5 <= obj <= 6763793
1475.07/1475.42	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1475.07/1475.42	c BCD2: #sat=1 #unsat=6 bias=6/7
1475.07/1475.42	c Solving starts ...
1475.07/1475.42	c ============================[ Search Statistics ]============================
1475.07/1475.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1475.07/1475.42	c       |         |          |          |    Limit     GC | Var      | Constra 
1475.07/1475.42	c =============================================================================
1475.07/1475.42	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
1475.07/1475.49	c  0.1s |       0 |      703 |        0 |    46784      0 |      198 |      849
1475.07/1475.49	c #cpu_time = 0.070s
1475.07/1475.49	c #wall_clock_time = 0.070s
1475.07/1475.49	c #decision = 703
1475.07/1475.49	c #random_decision = 0
1475.07/1475.49	c #conflict = 0
1475.07/1475.49	c #restart = 0
1475.07/1475.49	c BCD2: found a new core of size 1: cost of the new core is >=1
1475.07/1475.49	c lower bound updated to 6
1705.63/1706.10	c BCD2: 6 <= obj <= 6763793
1705.63/1706.10	c BCD2: #cores=6, #unrelaxed=7243, #relaxed=10, #hardened=0
1705.63/1706.10	c BCD2: #sat=1 #unsat=7 bias=7/8
1705.63/1706.10	c Solving starts ...
1705.63/1706.10	c ============================[ Search Statistics ]============================
1705.63/1706.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1705.63/1706.10	c       |         |          |          |    Limit     GC | Var      | Constra 
1705.63/1706.10	c =============================================================================
1705.63/1706.10	c  0.0s |       0 |        0 |        0 |    46784      0 |      198 |      849
1705.74/1706.17	c  0.1s |       0 |      704 |        0 |    46784      0 |      198 |      849
1705.74/1706.17	c #cpu_time = 0.071s
1705.74/1706.17	c #wall_clock_time = 0.071s
1705.74/1706.17	c #decision = 704
1705.74/1706.17	c #random_decision = 0
1705.74/1706.17	c #conflict = 0
1705.74/1706.17	c #restart = 0
1705.74/1706.17	c BCD2: found a new core of size 1: cost of the new core is >=1
1705.74/1706.17	c lower bound updated to 7

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

pid=7714
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.14 2.10 2.05 3/179 7717
/proc/meminfo: memFree=30500436/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 2604 0 0 0 0 0 0 0 20 0 4 0 108874867 715583488 2964 33554432000 4194304 16246674 140737090872000 140737090871424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 175471 2977 441 2943 0 172365 0
[pid=7717/tid=7718] ppid=7714 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 735506432 3041 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 739700736 3057 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 744943616 3074 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.14 2.10 2.05 3/179 7717
/proc/meminfo: memFree=30500436/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 28666 0 0 0 5 4 0 0 20 0 4 0 108874867 1333334016 28964 33554432000 4194304 16246674 140737090872000 140737090871312 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 325521 28977 801 2943 0 322415 0
[pid=7717/tid=7718] ppid=7714 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1333334016 28987 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1333334016 28998 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1333334016 29010 33554432000 4194304 16246674 140737090872000 140435699788976 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.200528 s]
/proc/loadavg: 2.14 2.10 2.05 3/179 7717
/proc/meminfo: memFree=30500436/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 48630 0 0 0 12 7 0 0 20 0 4 0 108874867 1344868352 49439 33554432000 4194304 16246674 140737090872000 140737090871312 7853052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 328337 49439 801 2943 0 325231 0
[pid=7717/tid=7718] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 49439 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 49439 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 49439 33554432000 4194304 16246674 140737090872000 140435699788976 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.300481 s]
/proc/loadavg: 2.14 2.10 2.05 3/179 7717
/proc/meminfo: memFree=30500436/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 63293 0 0 0 20 9 0 0 20 0 4 0 108874867 1344868352 64102 33554432000 4194304 16246674 140737090872000 140737090871312 8057245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 328337 64102 801 2943 0 325231 0
[pid=7717/tid=7718] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 64102 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 64102 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 64102 33554432000 4194304 16246674 140737090872000 140435699788976 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.700392 s]
/proc/loadavg: 2.14 2.10 2.05 3/179 7717
/proc/meminfo: memFree=30500436/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 73136 0 0 0 58 11 0 0 20 0 4 0 108874867 1344868352 73945 33554432000 4194304 16246674 140737090872000 140737090871312 7371646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 328337 73945 801 2943 0 325231 0
[pid=7717/tid=7718] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 73945 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 73945 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 73945 33554432000 4194304 16246674 140737090872000 140435699788976 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.50038 s]
/proc/loadavg: 2.14 2.10 2.05 3/183 7721
/proc/meminfo: memFree=30052528/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 190930 0 0 0 122 27 0 0 20 0 4 0 108874867 1344868352 191739 33554432000 4194304 16246674 140737090872000 140737090853888 5889452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 328337 191747 841 2943 0 325231 0
[pid=7717/tid=7718] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 191753 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 191758 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1344868352 191764 33554432000 4194304 16246674 140737090872000 140435699788976 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.1004 s]
/proc/loadavg: 2.14 2.10 2.05 3/183 7721
/proc/meminfo: memFree=29411324/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 271750 0 0 0 270 39 0 0 20 0 4 0 108874867 1389957120 272559 33554432000 4194304 16246674 140737090872000 140737090869824 4220994 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 272559 891 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 272559 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 272559 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 272559 33554432000 4194304 16246674 140737090872000 140435699788976 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.3004 s]
/proc/loadavg: 2.13 2.10 2.05 3/183 7721
/proc/meminfo: memFree=29377984/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280030 0 0 0 589 40 0 0 20 0 4 0 108874867 1389957120 280839 33554432000 4194304 16246674 140737090872000 140737090853888 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280839 897 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280839 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280839 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280839 33554432000 4194304 16246674 140737090872000 140435699788976 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.20 2.11 2.05 3/183 7721
/proc/meminfo: memFree=29378364/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280039 0 0 0 1229 40 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140737090853888 12654366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280848 906 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435699788976 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.15 2.11 2.05 3/183 7770
/proc/meminfo: memFree=29339580/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=25.48 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280039 0 0 0 2508 40 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140737090853888 12429245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280848 906 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.10 2.10 2.05 3/183 7770
/proc/meminfo: memFree=29339276/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=51.09 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280039 0 0 0 5068 41 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140737090853888 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280848 906 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.09 2.09 2.05 3/183 7771
/proc/meminfo: memFree=29339804/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280041 0 0 0 10187 41 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140737090853888 12654426 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280848 906 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280848 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.03 4/183 7801
/proc/meminfo: memFree=29337948/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1301.99 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 130155 44 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.06 2.06 2.03 3/183 7802
/proc/meminfo: memFree=29337788/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1361.98 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 136154 44 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 12654215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.12 2.08 2.04 3/184 7807
/proc/meminfo: memFree=29337936/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1421.98 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 142154 44 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090869824 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.09 2.08 2.04 4/183 7808
/proc/meminfo: memFree=29337668/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1481.97 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 148152 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 12429784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.08 2.08 2.04 3/183 7809
/proc/meminfo: memFree=29337788/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1541.97 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 154152 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 12654386 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.04 4/183 7810
/proc/meminfo: memFree=29337904/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1601.95 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 160150 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090869824 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.07 2.07 2.04 3/183 7811
/proc/meminfo: memFree=29338304/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1661.94 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 166149 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 13892995 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.03 2.06 2.03 3/183 7813
/proc/meminfo: memFree=29338384/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1721.93 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 172148 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090869888 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.01 2.04 2.02 3/183 7814
/proc/meminfo: memFree=29338252/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1781.92 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 178147 45 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 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.00 2.04 2.02 3/183 7814
/proc/meminfo: memFree=29338004/32872528 swapFree=12744/274376
[pid=7717] ppid=7714 vsize=1357380 CPUtime=1800.02 cores=1,3,5,7
/proc/7717/stat : 7717 (toysat) R 7714 7717 5566 0 -1 4202496 280204 0 0 0 179956 46 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140737090853888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 339345 280865 922 2943 0 336239 0
[pid=7717/tid=7718] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7718/stat : 7718 (toysat) S 7714 7717 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435797290224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7717/tid=7719] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7719/stat : 7719 (toysat) S 7714 7717 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435786800368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7717/tid=7720] ppid=7714 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/7717/task/7720/stat : 7720 (toysat) S 7714 7717 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108874867 1389957120 280865 33554432000 4194304 16246674 140737090872000 140435699788976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 7717 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.57
CPU system time (s): 0.460929
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.460929
maximum resident set size= 1123460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280204
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= 174
involuntary context switches= 2049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54331 second user time and 6.92995 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 05:16:41
IDJOB=4079145
IDBENCH=72202
IDSOLVER=2542
FILE ID=node107/4079145-1465269401
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpango-perl.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-4079145-1465269401/watcher-4079145-1465269401 -o /tmp/evaluation-result-4079145-1465269401/solver-4079145-1465269401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079145-1465269401.opb

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

MD5SUM BENCH= b7b0ef2e50d23764d88cd828dc25ccbd
RANDOM SEED=1547897481

node107.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.441
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.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        30501088 kB
Buffers:          106304 kB
Cached:           165516 kB
SwapCached:         1676 kB
Active:          1216980 kB
Inactive:         141740 kB
Active(anon):    1088784 kB
Inactive(anon):      468 kB
Active(file):     128196 kB
Inactive(file):   141272 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             19848 kB
Writeback:             0 kB
AnonPages:       1367152 kB
Mapped:            10936 kB
Shmem:                 0 kB
Slab:             600200 kB
SReclaimable:      43572 kB
SUnreclaim:       556628 kB
KernelStack:        1520 kB
PageTables:         6768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1507756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 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 node107 at 2016-06-07 05:46:42