Trace number 4079124

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-02OPT46877 1677.99 1678.25

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__16.opb
MD5SUMd0768977d290c67d2e133f3af763f1d1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark0.992848
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables658
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint16
Maximum length of a constraint129
Number of terms in the objective function 640
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 27912992
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 27912992
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-07T04:52:49+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-4079124-1465267969.opb"]
0.00/0.01	c use --random-gen="3016714889 943882789 2814272380 1871065175 629939521 4077321693 3736778448 3575510669 3137603795 605693028 1457138173 2762212807 82818907 2248524378 3752577052 1509349780 3961678941 3043342450 1249602165 2558594431 3235049658 1730046111 996514973 3013567074 597411197 2373859442 4227164252 2514682393 489182581 3148396532 135553345 1962273028 1350978750 579464092 1547317580 620927916 2891113986 954212454 3161011969 3720126050 2057763398 2817031712 335271744 1758848588 496197589 3055026804 4217624218 3794676372 3153748651 1053426853 2031986196 42794913 2635978251 2376086598 3212600987 138379020 3655784480 1391372688 84705693 260907095 629772815 508090182 3930473710 1744041901 2212389130 2767956444 796786951 3471023440 3512551699 665572700 217326136 3475522452 2116328429 1999843515 1099535360 4082554932 1756634248 3204609332 878182027 3990370550 1636619798 170549629 3520657327 2760116758 205899039 1875321761 1842341492 1817543963 3981739330 2700239874 2841673916 830825023 426311192 683034248 2616263071 2607233527 2956611690 1862503812 427903181 4189047509 4184082572 4099439607 4202197472 3455366318 2011778232 2200916483 417786331 2294526894 3880314599 3401499676 833683103 1584503248 89338981 2780318935 1127524624 926265894 3727066241 727170826 1172359677 3466336556 1438482555 614663639 458588042 1484688387 1004550498 2659540114 2151934598 1208598159 2581950308 2082026060 3228585684 3895768861 3642609430 917646003 199624727 174788267 2867211334 828655420 1526029334 460213058 687246775 1440844795 1073236781 3748016143 3747824430 1252091634 3544335589 2314547645 728301783 390091134 1557261631 761608337 983545859 3390551215 2839193400 2941318141 1224947160 2361939262 2216782055 2521267867 1442037784 633301826 3245789592 3547733052 2793439060 1699721527 3896440833 2749004762 516551123 3603636125 2892495768 2695551002 1954111618 2031337654 965930031 2707093466 369069183 2646022014 307162076 2257901819 1337288966 3139269413 3386729515 1809110037 1198121122 2597287456 1618919044 285009487 3211240835 2931100989 2718721435 4198469721 2525619402 10028663 3742463193 3371969560 3754945953 3253159963 857944134 2034922865 3979871983 2461604036 3955007111 3589430609 2470440385 1072518912 1664139960 3941970398 1581447218 3666793747 4171234045 1026970133 156167414 4184300476 1126933461 1667427228 45439271 2660297735 3320246790 3103280989 151615746 1611265095 2626468891 2391025169 2838934828 387190028 3424226757 752863278 3131342340 4161176846 2990489494 2610765496 1673791433 682315024 2899079205 407499716 2326273368 3464200436 2864271017 1589353323 696912738 4238769431 994639808 1988712770 47640195 213105515 4076069951 1991658139 2999798206 311362359 1799935423 4161842116 3422071381 133714802 3580715773 2809689629 255 362436" option to reproduce the execution
0.00/0.01	c #vars 658
0.00/0.01	c #constraints 60
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      246      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      420 |      100 |      246      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      766 |      104 |      271      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.032s
0.00/0.06	c #wall_clock_time = 0.032s
0.00/0.06	c #decision = 766
0.00/0.06	c #random_decision = 4
0.00/0.06	c #conflict = 104
0.00/0.06	c #restart = 1
0.00/0.06	o 577474
0.00/0.06	c BCD2: updating upper bound: 27912992 -> 577473
0.00/0.06	c BCD2: 0 <= obj <= 577473
0.00/0.06	c BCD2: #cores=0, #unrelaxed=640, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      271      0 |        0 |        0
0.00/0.07	c  0.0s |       0 |      157 |        0 |      271      0 |        0 |        0
0.00/0.07	c #cpu_time = 0.002s
0.00/0.07	c #wall_clock_time = 0.002s
0.00/0.07	c #decision = 157
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 0
0.00/0.07	c #restart = 0
0.00/0.07	c BCD2: found a new core of size 32: cost of the new core is >=8301
0.00/0.07	c lower bound updated to 8301
0.00/0.07	c BCD2: 8301 <= obj <= 577473
0.00/0.07	c BCD2: #cores=1, #unrelaxed=608, #relaxed=32, #hardened=0
0.00/0.07	c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      271      0 |        0 |        1
0.00/0.07	c  0.0s |       0 |      281 |        0 |      271      0 |        0 |        1
0.00/0.07	c #cpu_time = 0.002s
0.00/0.07	c #wall_clock_time = 0.002s
0.00/0.07	c #decision = 281
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 0
0.00/0.07	c #restart = 0
0.00/0.07	c BCD2: found a new core of size 126: cost of the new core is >=1005
0.00/0.07	c lower bound updated to 9306
0.00/0.08	c BCD2: 9306 <= obj <= 577473
0.00/0.08	c BCD2: #cores=2, #unrelaxed=482, #relaxed=158, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=3 bias=3/4
28.69/28.76	c Solving starts ...
28.69/28.76	c ============================[ Search Statistics ]============================
28.69/28.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.69/28.76	c       |         |          |          |    Limit     GC | Var      | Constra 
28.69/28.76	c =============================================================================
28.69/28.76	c  0.0s |       0 |        0 |        0 |      271      0 |        0 |        1
28.69/28.77	c  0.0s |       0 |      954 |       48 |      271      0 |        0 |        1
28.69/28.77	c #cpu_time = 0.011s
28.69/28.77	c #wall_clock_time = 0.011s
28.69/28.77	c #decision = 954
28.69/28.77	c #random_decision = 0
28.69/28.77	c #conflict = 48
28.69/28.77	c #restart = 0
28.69/28.77	c BCD2: relaxing 331 and merging with 2 cores into a new core of size 489: cost of the new core is >=20172
28.69/28.77	c lower bound updated to 20172
28.69/28.78	c BCD2: 20172 <= obj <= 577473
28.69/28.78	c BCD2: #cores=1, #unrelaxed=151, #relaxed=489, #hardened=0
28.69/28.78	c BCD2: #sat=1 #unsat=4 bias=4/5
28.69/28.78	c Solving starts ...
28.69/28.78	c ============================[ Search Statistics ]============================
28.69/28.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.69/28.78	c       |         |          |          |    Limit     GC | Var      | Constra 
28.69/28.78	c =============================================================================
28.69/28.78	c  0.0s |       0 |        0 |        0 |      271      0 |        3 |        1
28.69/28.79	c  0.0s |       0 |      519 |       14 |      271      0 |        3 |        5
28.69/28.79	c #cpu_time = 0.006s
28.69/28.79	c #wall_clock_time = 0.006s
28.69/28.79	c #decision = 519
28.69/28.79	c #random_decision = 3
28.69/28.79	c #conflict = 14
28.69/28.79	c #restart = 0
28.69/28.79	o 209652
28.78/28.86	c BCD2: updating upper bound: 577473 -> 209651
28.88/28.94	c BCD2: 20172 <= obj <= 209651
28.88/28.94	c BCD2: #cores=1, #unrelaxed=151, #relaxed=489, #hardened=0
28.88/28.94	c BCD2: #sat=2 #unsat=4 bias=4/6
54.18/54.24	c Solving starts ...
54.18/54.24	c ============================[ Search Statistics ]============================
54.18/54.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
54.18/54.24	c       |         |          |          |    Limit     GC | Var      | Constra 
54.18/54.24	c =============================================================================
54.18/54.24	c  0.0s |       0 |        0 |        0 |      271      0 |        3 |        6
54.18/54.25	c  0.0s |       0 |      469 |        1 |      271      0 |        3 |        6
54.18/54.25	c #cpu_time = 0.003s
54.18/54.25	c #wall_clock_time = 0.003s
54.18/54.25	c #decision = 469
54.18/54.25	c #random_decision = 3
54.18/54.25	c #conflict = 1
54.18/54.25	c #restart = 0
54.18/54.25	o 109648
54.18/54.26	c BCD2: hardening fixes 17 literals
54.18/54.26	c BCD2: updating upper bound: 209651 -> 109647
54.18/54.26	c BCD2: 20172 <= obj <= 109647
54.18/54.26	c BCD2: #cores=1, #unrelaxed=134, #relaxed=489, #hardened=17
54.18/54.26	c BCD2: #sat=3 #unsat=4 bias=4/7
676.99/677.13	c Solving starts ...
676.99/677.13	c ============================[ Search Statistics ]============================
676.99/677.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
676.99/677.13	c       |         |          |          |    Limit     GC | Var      | Constra 
676.99/677.13	c =============================================================================
676.99/677.13	c  0.0s |       0 |        0 |        0 |      271      0 |       20 |        7
676.99/677.19	c  0.1s |       1 |     1878 |      100 |      299      0 |       20 |        8
677.09/677.26	c  0.1s |       1 |     2598 |      243 |      299      0 |       20 |        8
677.09/677.26	c #cpu_time = 0.125s
677.09/677.26	c #wall_clock_time = 0.126s
677.09/677.26	c #decision = 2598
677.09/677.26	c #random_decision = 6
677.09/677.26	c #conflict = 243
677.09/677.26	c #restart = 1
677.09/677.26	o 46877
677.09/677.27	c BCD2: hardening fixes 352 literals
677.09/677.27	c BCD2: updating upper bound: 109647 -> 46876
677.09/677.27	c BCD2: 20172 <= obj <= 46876
677.09/677.27	c BCD2: #cores=1, #unrelaxed=35, #relaxed=236, #hardened=369
677.09/677.27	c BCD2: #sat=4 #unsat=4 bias=4/8
681.69/681.84	c Solving starts ...
681.69/681.84	c ============================[ Search Statistics ]============================
681.69/681.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
681.69/681.84	c       |         |          |          |    Limit     GC | Var      | Constra 
681.69/681.84	c =============================================================================
681.69/681.84	c  0.0s |       0 |        0 |        0 |      299      0 |      375 |        9
681.69/681.86	c  0.0s |       0 |      406 |       46 |      299      0 |      376 |       39
681.69/681.86	c #cpu_time = 0.017s
681.69/681.86	c #wall_clock_time = 0.017s
681.69/681.86	c #decision = 406
681.69/681.86	c #random_decision = 0
681.69/681.86	c #conflict = 46
681.69/681.86	c #restart = 0
681.69/681.86	c BCD2: updating lower bound of a core
681.69/681.86	c BCD2: refineLB: 33525 -> 33527
681.69/681.86	c lower bound updated to 33527
681.69/681.87	c BCD2: hardening fixes 2 literals
681.69/681.87	c BCD2: 33527 <= obj <= 46876
681.69/681.87	c BCD2: #cores=1, #unrelaxed=33, #relaxed=236, #hardened=371
681.69/681.87	c BCD2: #sat=4 #unsat=5 bias=5/9
684.99/685.10	c Solving starts ...
684.99/685.10	c ============================[ Search Statistics ]============================
684.99/685.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
684.99/685.10	c       |         |          |          |    Limit     GC | Var      | Constra 
684.99/685.10	c =============================================================================
684.99/685.10	c  0.0s |       0 |        0 |        0 |      299      0 |      378 |       39
684.99/685.13	c  0.0s |       1 |      742 |      100 |      329      0 |      378 |       39
684.99/685.18	c  0.1s |       2 |     1581 |      250 |      329      0 |      378 |       39
685.09/685.23	c  0.1s |       3 |     2246 |      475 |      362      0 |      378 |       39
685.09/685.27	c  0.2s |       3 |     2516 |      583 |      362      1 |      379 |       41
685.09/685.27	c #cpu_time = 0.171s
685.09/685.27	c #wall_clock_time = 0.171s
685.09/685.27	c #decision = 2516
685.09/685.27	c #random_decision = 4
685.09/685.27	c #conflict = 583
685.09/685.27	c #restart = 3
685.09/685.27	c BCD2: updating lower bound of a core
685.09/685.28	c BCD2: refineLB: 40944 -> 40945
685.09/685.28	c lower bound updated to 40945
685.09/685.29	c BCD2: hardening fixes 32 literals
685.09/685.29	c BCD2: 40945 <= obj <= 46876
685.09/685.29	c BCD2: #cores=1, #unrelaxed=1, #relaxed=236, #hardened=403
685.09/685.29	c BCD2: #sat=4 #unsat=6 bias=6/10
729.28/729.41	c Solving starts ...
729.28/729.41	c ============================[ Search Statistics ]============================
729.28/729.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
729.28/729.41	c       |         |          |          |    Limit     GC | Var      | Constra 
729.28/729.41	c =============================================================================
729.28/729.41	c  0.0s |       0 |        0 |        0 |      362      0 |      412 |       42
729.28/729.45	c  0.0s |       1 |      208 |      100 |      362      0 |      412 |       46
729.37/729.50	c  0.1s |       2 |      690 |      250 |      362      0 |      412 |       46
729.37/729.56	c  0.1s |       3 |     1114 |      475 |      399      0 |      412 |       46
729.37/729.59	c  0.2s |       3 |     1249 |      571 |      399      0 |      413 |       48
729.37/729.59	c #cpu_time = 0.177s
729.37/729.59	c #wall_clock_time = 0.177s
729.37/729.59	c #decision = 1249
729.37/729.59	c #random_decision = 2
729.37/729.59	c #conflict = 571
729.37/729.59	c #restart = 3
729.37/729.59	c BCD2: updating lower bound of a core
729.47/729.61	c BCD2: refineLB: 44505 -> 44515
729.47/729.61	c lower bound updated to 44515
729.47/729.61	c BCD2: 44515 <= obj <= 46876
729.47/729.61	c BCD2: #cores=1, #unrelaxed=1, #relaxed=236, #hardened=403
729.47/729.61	c BCD2: #sat=4 #unsat=7 bias=7/11
979.13/979.36	c Solving starts ...
979.13/979.36	c ============================[ Search Statistics ]============================
979.13/979.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
979.13/979.36	c       |         |          |          |    Limit     GC | Var      | Constra 
979.13/979.36	c =============================================================================
979.13/979.36	c  0.0s |       0 |        0 |        0 |      399      0 |      413 |       49
979.13/979.39	c  0.0s |       1 |      247 |      100 |      399      0 |      413 |       49
979.23/979.43	c  0.1s |       2 |      541 |      250 |      399      0 |      413 |       49
979.33/979.51	c  0.1s |       2 |      869 |      471 |      439      0 |      414 |       51
979.33/979.51	c #cpu_time = 0.149s
979.33/979.51	c #wall_clock_time = 0.149s
979.33/979.51	c #decision = 869
979.33/979.51	c #random_decision = 2
979.33/979.51	c #conflict = 471
979.33/979.51	c #restart = 2
979.33/979.51	c BCD2: updating lower bound of a core
979.33/979.52	c BCD2: refineLB: 46019 -> 46020
979.33/979.52	c lower bound updated to 46020
979.33/979.53	c BCD2: hardening fixes 1 literals
979.33/979.53	c BCD2: 46020 <= obj <= 46876
979.33/979.53	c BCD2: #cores=1, #unrelaxed=0, #relaxed=236, #hardened=404
979.33/979.53	c BCD2: #sat=4 #unsat=8 bias=8/12
1303.77/1304.06	c Solving starts ...
1303.77/1304.06	c ============================[ Search Statistics ]============================
1303.77/1304.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1303.77/1304.06	c       |         |          |          |    Limit     GC | Var      | Constra 
1303.77/1304.06	c =============================================================================
1303.77/1304.06	c  0.0s |       0 |        0 |        0 |      439      0 |      415 |       52
1303.77/1304.09	c  0.0s |       1 |      179 |      100 |      439      0 |      415 |       52
1303.87/1304.12	c  0.1s |       2 |      401 |      250 |      439      0 |      415 |       52
1303.87/1304.18	c  0.1s |       2 |      647 |      450 |      439      0 |      416 |       54
1303.87/1304.18	c #cpu_time = 0.114s
1303.87/1304.18	c #wall_clock_time = 0.114s
1303.87/1304.18	c #decision = 647
1303.87/1304.18	c #random_decision = 1
1303.87/1304.18	c #conflict = 450
1303.87/1304.18	c #restart = 2
1303.87/1304.18	c BCD2: updating lower bound of a core
1303.87/1304.18	c lower bound updated to 46592
1303.87/1304.19	c BCD2: 46592 <= obj <= 46876
1303.87/1304.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=236, #hardened=404
1303.87/1304.19	c BCD2: #sat=4 #unsat=9 bias=9/13
1374.45/1374.74	c Solving starts ...
1374.45/1374.74	c ============================[ Search Statistics ]============================
1374.45/1374.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1374.45/1374.74	c       |         |          |          |    Limit     GC | Var      | Constra 
1374.45/1374.74	c =============================================================================
1374.45/1374.74	c  0.0s |       0 |        0 |        0 |      439      0 |      416 |       55
1374.45/1374.76	c  0.0s |       1 |      181 |      100 |      439      0 |      416 |       55
1374.55/1374.80	c  0.1s |       2 |      407 |      250 |      439      0 |      416 |       55
1374.55/1374.85	c  0.1s |       2 |      646 |      421 |      439      1 |      417 |       57
1374.55/1374.85	c #cpu_time = 0.114s
1374.55/1374.85	c #wall_clock_time = 0.114s
1374.55/1374.85	c #decision = 646
1374.55/1374.85	c #random_decision = 1
1374.55/1374.85	c #conflict = 421
1374.55/1374.85	c #restart = 2
1374.55/1374.85	c BCD2: updating lower bound of a core
1374.55/1374.87	c BCD2: refineLB: 46790 -> 46792
1374.55/1374.87	c lower bound updated to 46792
1374.55/1374.88	c BCD2: 46792 <= obj <= 46876
1374.55/1374.88	c BCD2: #cores=1, #unrelaxed=0, #relaxed=236, #hardened=404
1374.55/1374.88	c BCD2: #sat=4 #unsat=10 bias=10/14
1379.66/1379.90	c Solving starts ...
1379.66/1379.90	c ============================[ Search Statistics ]============================
1379.66/1379.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1379.66/1379.90	c       |         |          |          |    Limit     GC | Var      | Constra 
1379.66/1379.90	c =============================================================================
1379.66/1379.90	c  0.0s |       0 |        0 |        0 |      439      0 |      417 |       58
1379.66/1379.93	c  0.0s |       1 |      198 |      100 |      439      0 |      417 |       58
1379.66/1379.97	c  0.1s |       2 |      396 |      250 |      439      0 |      417 |       58
1379.76/1380.01	c  0.1s |       2 |      612 |      411 |      483      0 |      418 |       60
1379.76/1380.01	c #cpu_time = 0.109s
1379.76/1380.01	c #wall_clock_time = 0.109s
1379.76/1380.01	c #decision = 612
1379.76/1380.01	c #random_decision = 1
1379.76/1380.01	c #conflict = 411
1379.76/1380.01	c #restart = 2
1379.76/1380.01	c BCD2: updating lower bound of a core
1379.76/1380.02	c lower bound updated to 46853
1379.76/1380.02	c BCD2: 46853 <= obj <= 46876
1379.76/1380.02	c BCD2: #cores=1, #unrelaxed=0, #relaxed=236, #hardened=404
1379.76/1380.02	c BCD2: #sat=4 #unsat=11 bias=11/15
1621.13/1621.47	c Solving starts ...
1621.13/1621.47	c ============================[ Search Statistics ]============================
1621.13/1621.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1621.13/1621.47	c       |         |          |          |    Limit     GC | Var      | Constra 
1621.13/1621.47	c =============================================================================
1621.13/1621.47	c  0.0s |       0 |        0 |        0 |      483      0 |      418 |       61
1621.13/1621.50	c  0.0s |       1 |      176 |      100 |      483      0 |      418 |       61
1621.23/1621.53	c  0.1s |       2 |      380 |      250 |      483      0 |      418 |       61
1621.23/1621.56	c  0.1s |       2 |      500 |      343 |      483      0 |      419 |       63
1621.23/1621.56	c #cpu_time = 0.091s
1621.23/1621.56	c #wall_clock_time = 0.091s
1621.23/1621.56	c #decision = 500
1621.23/1621.56	c #random_decision = 0
1621.23/1621.56	c #conflict = 343
1621.23/1621.56	c #restart = 2
1621.23/1621.56	c BCD2: updating lower bound of a core
1621.23/1621.59	c BCD2: refineLB: 46871 -> 46873
1621.23/1621.59	c lower bound updated to 46873
1621.32/1621.60	c BCD2: 46873 <= obj <= 46876
1621.32/1621.60	c BCD2: #cores=1, #unrelaxed=0, #relaxed=236, #hardened=404
1621.32/1621.60	c BCD2: #sat=4 #unsat=12 bias=12/16
1677.71/1678.07	c Solving starts ...
1677.71/1678.07	c ============================[ Search Statistics ]============================
1677.71/1678.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1677.71/1678.07	c       |         |          |          |    Limit     GC | Var      | Constra 
1677.71/1678.07	c =============================================================================
1677.71/1678.07	c  0.0s |       0 |        0 |        0 |      483      0 |      419 |       64
1677.71/1678.10	c  0.0s |       1 |      180 |      100 |      483      0 |      419 |       64
1677.81/1678.13	c  0.1s |       2 |      392 |      250 |      483      0 |      419 |       64
1677.81/1678.16	c  0.1s |       2 |      484 |      327 |      483      0 |      420 |       66
1677.81/1678.16	c #cpu_time = 0.085s
1677.81/1678.16	c #wall_clock_time = 0.085s
1677.81/1678.16	c #decision = 484
1677.81/1678.16	c #random_decision = 1
1677.81/1678.16	c #conflict = 327
1677.81/1678.16	c #restart = 2
1677.81/1678.16	c BCD2: updating lower bound of a core
1677.81/1678.16	c lower bound updated to 46877
1677.81/1678.16	s OPTIMUM FOUND
1677.81/1678.17	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1677.81/1678.17	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1677.81/1678.17	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1677.81/1678.17	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1677.81/1678.17	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
1677.81/1678.17	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1677.81/1678.17	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1677.81/1678.17	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1677.81/1678.17	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1677.81/1678.17	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1677.81/1678.17	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1677.81/1678.17	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1677.81/1678.17	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1677.81/1678.17	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
1677.81/1678.17	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1677.81/1678.17	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1677.81/1678.17	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1677.81/1678.17	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1677.81/1678.17	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1677.81/1678.17	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1677.81/1678.17	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1677.81/1678.17	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1677.81/1678.17	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1677.81/1678.17	v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240
1677.81/1678.17	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1677.81/1678.17	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1677.81/1678.17	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1677.81/1678.17	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1677.81/1678.17	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1677.81/1678.17	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1677.81/1678.17	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
1677.81/1678.17	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1677.81/1678.17	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
1677.81/1678.17	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1677.81/1678.17	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350
1677.81/1678.17	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1677.81/1678.17	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
1677.81/1678.17	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1677.81/1678.17	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
1677.81/1678.17	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1677.81/1678.17	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
1677.81/1678.17	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1677.81/1678.17	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1677.81/1678.17	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1677.81/1678.17	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1677.81/1678.17	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1677.81/1678.17	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1677.81/1678.17	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1677.81/1678.17	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1677.81/1678.17	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1677.81/1678.17	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1677.81/1678.17	v x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1677.81/1678.17	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1677.81/1678.17	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1677.81/1678.17	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1677.81/1678.17	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
1677.81/1678.17	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1677.81/1678.17	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1677.81/1678.17	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1677.81/1678.17	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
1677.81/1678.17	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1677.81/1678.17	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
1677.81/1678.17	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1677.81/1678.17	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1677.81/1678.17	v -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650
1677.81/1678.17	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
1677.81/1678.17	c total CPU time = 1678.202s
1677.81/1678.17	c total wall clock time = 1678.168s

Verifier Data 

OK	46877

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

pid=6231
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.09 2.17 2.17 4/179 6234
/proc/meminfo: memFree=29079948/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2855 0 0 0 0 0 0 0 20 0 4 0 108730526 781643776 2705 33554432000 4194304 16246674 140737274164528 140737274163952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 191343 2714 441 2943 0 188237 0
[pid=6234/tid=6235] ppid=6231 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 805761024 2799 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=790972 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 809955328 2816 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108730526 815198208 2833 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 6234
/proc/meminfo: memFree=29079948/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 26423 0 0 0 7 2 0 0 20 0 4 0 108730526 1247350784 26260 33554432000 4194304 16246674 140737274164528 140737274163952 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 304529 26274 790 2943 0 301423 0
[pid=6234/tid=6235] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 26284 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 26294 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 26305 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 6234
/proc/meminfo: memFree=29079948/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 51065 0 0 0 14 5 0 0 20 0 4 0 108730526 1247350784 50902 33554432000 4194304 16246674 140737274164528 140737274163952 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 304529 50907 790 2943 0 301423 0
[pid=6234/tid=6235] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 50910 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 50913 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 50916 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300475 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 6234
/proc/meminfo: memFree=29079948/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 73644 0 0 0 21 8 0 0 20 0 4 0 108730526 1247350784 73480 33554432000 4194304 16246674 140737274164528 140737274163952 12652961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 304529 73489 790 2943 0 301423 0
[pid=6234/tid=6235] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 73494 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 73500 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 73505 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 6234
/proc/meminfo: memFree=29079948/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 163169 0 0 0 49 20 0 0 20 0 4 0 108730526 1247350784 163005 33554432000 4194304 16246674 140737274164528 140737274146432 12654653 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 304529 163019 790 2943 0 301423 0
[pid=6234/tid=6235] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 163028 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 163037 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108730526 1247350784 163045 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.09 2.17 2.17 4/183 6238
/proc/meminfo: memFree=28086676/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1291844 CPUtime=1.49 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 263913 0 0 0 114 35 0 0 20 0 4 0 108730526 1322848256 263727 33554432000 4194304 16246674 140737274164528 140737274146432 12429262 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 322961 263727 844 2943 0 319855 0
[pid=6234/tid=6235] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263727 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263727 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263727 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1291844

[startup+3.10036 s]
/proc/loadavg: 2.16 2.18 2.17 4/183 6238
/proc/meminfo: memFree=28025172/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1291844 CPUtime=3.09 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 264051 0 0 0 274 35 0 0 20 0 4 0 108730526 1322848256 263865 33554432000 4194304 16246674 140737274164528 140737274146432 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 322961 263865 844 2943 0 319855 0
[pid=6234/tid=6235] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263865 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263865 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263865 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1291844

[startup+6.30042 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 6238
/proc/meminfo: memFree=28024240/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1291844 CPUtime=6.29 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 264052 0 0 0 594 35 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140737274162320 4206615 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 322961 263866 844 2943 0 319855 0
[pid=6234/tid=6235] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140618996096016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1291844

[startup+12.7004 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 6238
/proc/meminfo: memFree=28024672/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1291844 CPUtime=12.69 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 264052 0 0 0 1234 35 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140737274146432 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 322961 263866 844 2943 0 319855 0
[pid=6234/tid=6235] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1291844 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1322848256 263866 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1291844

[startup+25.5005 s]
/proc/loadavg: 2.19 2.19 2.18 3/182 6238
/proc/meminfo: memFree=27795160/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1521220 CPUtime=25.48 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 321396 0 0 0 2507 41 0 0 20 0 4 0 108730526 1557729280 321210 33554432000 4194304 16246674 140737274164528 140737274162320 4206877 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 380305 321210 844 2943 0 377199 0
[pid=6234/tid=6235] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321210 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321210 33554432000 4194304 16246674 140737274164528 140618996096016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321210 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1521220

[startup+51.1005 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 6288
/proc/meminfo: memFree=27364876/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1521220 CPUtime=51.08 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 321397 0 0 0 5067 41 0 0 20 0 4 0 108730526 1557729280 321211 33554432000 4194304 16246674 140737274164528 140737274146432 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 380305 321211 844 2943 0 377199 0
[pid=6234/tid=6235] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321211 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321211 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1521220 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1557729280 321211 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1521220

[startup+102.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 6289
/proc/meminfo: memFree=26893628/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1628740 CPUtime=102.28 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 354166 0 0 0 10182 46 0 0 20 0 4 0 108730526 1667829760 348092 33554432000 4194304 16246674 140737274164528 140737274162368 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 407185 348092 845 2943 0 404079 0
[pid=6234/tid=6235] ppid=6231 vsize=1628740 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1667829760 348092 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1628740 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108730526 1667829760 348092 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1628740 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1667829760 348092 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1628740


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

Current children cumulated vsize (KiB) 1636932

[startup+1482.3 s]
/proc/loadavg: 2.43 2.32 2.22 3/183 6490
/proc/meminfo: memFree=27618296/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1699396 CPUtime=1482.04 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 1900446 0 0 0 147864 340 0 0 20 0 4 0 108730526 1740181504 366019 33554432000 4194304 16246674 140737274164528 140737274162368 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 424849 366019 849 2943 0 421743 0
[pid=6234/tid=6235] ppid=6231 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1740181504 366019 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1699396 CPUtime=0.01 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108730526 1740181504 366019 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1699396 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1740181504 366019 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1699396

[startup+1542.31 s]
/proc/loadavg: 2.53 2.36 2.24 3/183 6491
/proc/meminfo: memFree=27626312/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1745476 CPUtime=1542.03 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2142055 0 0 0 153828 375 0 0 20 0 4 0 108730526 1787367424 377485 33554432000 4194304 16246674 140737274164528 140737274162320 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 436369 377492 849 2943 0 433263 0
[pid=6234/tid=6235] ppid=6231 vsize=1745476 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1787367424 377499 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1745476 CPUtime=0.01 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108730526 1787367424 377505 33554432000 4194304 16246674 140737274164528 140618996096016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1745476 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1787367424 377510 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1745476

[startup+1602.3 s]
/proc/loadavg: 2.30 2.32 2.23 3/183 6493
/proc/meminfo: memFree=27239004/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=2076228 CPUtime=1602.01 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2242207 0 0 0 159811 390 0 0 20 0 4 0 108730526 2126057472 460227 33554432000 4194304 16246674 140737274164528 140737274163744 12449130 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 519057 460227 849 2943 0 515951 0
[pid=6234/tid=6235] ppid=6231 vsize=2076228 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 2126057472 460227 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=2076228 CPUtime=0.01 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108730526 2126057472 460227 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=2076228 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 2126057472 460227 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2076228

[startup+1662.3 s]
/proc/loadavg: 2.35 2.33 2.24 3/184 6497
/proc/meminfo: memFree=27147312/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=2169412 CPUtime=1662.01 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 165806 395 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140737274162432 4206613 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 542353 483523 849 2943 0 539247 0
[pid=6234/tid=6235] ppid=6231 vsize=2169412 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=2169412 CPUtime=0.01 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=2169412 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2169412

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6234 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1664 s]
/proc/loadavg: 2.32 2.33 2.24 3/184 6497
/proc/meminfo: memFree=27147312/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=2169412 CPUtime=1663.71 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 165976 395 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140737274162368 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 542353 483523 849 2943 0 539247 0
[pid=6234/tid=6235] ppid=6231 vsize=2169412 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=2169412 CPUtime=0.01 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=2169412 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 2221477888 483523 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.71
Current children cumulated vsize (KiB) 2169412

[startup+1670.4 s]
/proc/loadavg: 2.30 2.32 2.24 3/184 6497
/proc/meminfo: memFree=27605312/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1710660 CPUtime=1670.11 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 166614 397 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140737274162320 4225320 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 427665 368835 849 2943 0 424559 0
[pid=6234/tid=6235] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1710660 CPUtime=0.02 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618996096016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1670.11
Current children cumulated vsize (KiB) 1710660

[startup+1673.6 s]
/proc/loadavg: 2.35 2.33 2.24 4/184 6497
/proc/meminfo: memFree=27605560/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1710660 CPUtime=1673.31 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 166934 397 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140737274162368 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 427665 368835 849 2943 0 424559 0
[pid=6234/tid=6235] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1710660 CPUtime=0.02 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1673.31
Current children cumulated vsize (KiB) 1710660

[startup+1676.8 s]
/proc/loadavg: 2.35 2.33 2.24 4/184 6497
/proc/meminfo: memFree=27605808/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1710660 CPUtime=1676.51 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 167254 397 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140737274163744 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 427665 368835 849 2943 0 424559 0
[pid=6234/tid=6235] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1710660 CPUtime=0.02 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1676.51
Current children cumulated vsize (KiB) 1710660

[startup+1677.61 s]
/proc/loadavg: 2.33 2.33 2.24 3/184 6497
/proc/meminfo: memFree=27606056/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1710660 CPUtime=1677.31 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 167334 397 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140737274163744 13007856 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 427665 368835 849 2943 0 424559 0
[pid=6234/tid=6235] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1710660 CPUtime=0.02 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1677.31
Current children cumulated vsize (KiB) 1710660

[startup+1678 s]
/proc/loadavg: 2.33 2.33 2.24 3/184 6497
/proc/meminfo: memFree=27606056/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=1710660 CPUtime=1677.71 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202496 2265503 0 0 0 167374 397 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140737274163744 12429105 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 427665 368835 849 2943 0 424559 0
[pid=6234/tid=6235] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6235/stat : 6235 (toysat) S 6231 6234 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140619006586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6234/tid=6236] ppid=6231 vsize=1710660 CPUtime=0.02 cores=0,2,4,6
/proc/6234/task/6236/stat : 6236 (toysat) S 6231 6234 4315 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618996096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6234/tid=6237] ppid=6231 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/6234/task/6237/stat : 6237 (toysat) S 6231 6234 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108730526 1751715840 368835 33554432000 4194304 16246674 140737274164528 140618985622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1677.71
Current children cumulated vsize (KiB) 1710660

[startup+1678.2 s]
/proc/loadavg: 2.33 2.33 2.24 3/184 6497
/proc/meminfo: memFree=27606056/32872528 swapFree=15644/1722384
[pid=6234] ppid=6231 vsize=0 CPUtime=1677.93 cores=0,2,4,6
/proc/6234/stat : 6234 (toysat) R 6231 6234 4315 0 -1 4202500 2265508 0 0 0 167394 399 0 0 20 0 1 0 108730526 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1677.93
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1678.25
CPU time (s): 1677.99
CPU user time (s): 1673.94
CPU system time (s): 4.05138
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 4109892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.94
system time used= 4.05138
maximum resident set size= 3874564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2265508
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= 3737
involuntary context switches= 5394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40733 second user time and 6.27604 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 04:52:49
IDJOB=4079124
IDBENCH=71890
IDSOLVER=2542
FILE ID=node120/4079124-1465267969
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= d0768977d290c67d2e133f3af763f1d1
RANDOM SEED=14376322

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29080500 kB
Buffers:           98232 kB
Cached:           124704 kB
SwapCached:         1476 kB
Active:          1212184 kB
Inactive:         108072 kB
Active(anon):    1096592 kB
Inactive(anon):     3252 kB
Active(file):     115592 kB
Inactive(file):   104820 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2905152 kB
Mapped:            11912 kB
Shmem:                 0 kB
Slab:             614768 kB
SReclaimable:      58896 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         9596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2961636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2881536 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 node120 at 2016-06-07 05:20:48