Trace number 4111048

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

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-abcdeir.opb
MD5SUM3576daf28ce69f6766d0d65a9453cf32
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark669952073
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables95933
Total number of constraints291294
Number of constraints which are clauses291146
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 6328387760
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 6328387760
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
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-20T06:20:08+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-4111048-1466396408.opb"]
0.00/0.01	c use --random-gen="507189313 3472396234 377445604 1769819825 821858057 305960057 3226667677 3752789293 4872292 3864966312 978436640 1081620841 319427485 1388643578 1125056557 2796768446 1720826976 3781317345 3969278900 1427713391 1718722032 1042309945 1252249098 2559972806 3193579466 1494984557 1765533833 1892249459 1190742767 1385012296 889947301 902961308 2826590090 2098383082 3075963159 1969898336 3882742635 2979193193 3634221801 3407515379 4249497508 2118984342 818744574 281524620 3969227921 843339839 2857990904 1635134782 1783360168 942344381 2856142367 4214600965 784684483 6622101 2713443340 2118358242 4162694334 691776967 3314510829 743400376 3692553616 988424508 2821062715 2929707095 2470231696 821781325 2041599790 3526985645 2494758260 157336006 1854712785 1190167736 1351120969 2375084352 333537719 2325081949 2890260442 2224022776 850327927 1925088332 266084434 3035399504 3561365964 2943848412 2154887828 561243985 998899252 2094028089 3200384345 750809010 1729216888 2203248584 4080611251 3225683105 3619954495 1570783843 130184425 4010588853 972873002 3488525612 2687673226 373403954 1565394600 2784520161 4105440344 3439234484 4043818446 3258311709 2500518500 2872232823 3384847641 4115871434 650764575 2886145121 3554086533 4142296948 2232354236 1663388582 1270804095 1220493644 1541115035 1840597909 973429504 2929132246 143196424 195196042 2222826326 203004236 2519216414 3685115299 3499671740 2147107354 2707957243 358396602 1529036561 1408463073 1843944782 2831537371 2722907012 1241935401 1613803391 410980115 3926800746 1088830922 1801760766 377109173 3839320701 1228478518 572852401 2368629693 976825463 3456099237 3813948794 3699276781 3164289895 2328678399 4131807238 3507817278 2827624147 805618852 4008751032 2722473241 1321175348 1493351311 3889991321 2585708500 1317493068 2166458233 1744683269 2387074156 4257469570 772570182 172363637 3105939003 418325506 3868243007 3843007185 2865637537 1442442058 4113037573 1589090864 1049261302 2062878533 686730365 3874114905 2993582606 4103325537 2901193841 4027758523 2640758203 2971069620 962405401 3673697607 2088005676 2205900178 2884202696 3156772688 1337725612 3567710009 2175433145 3204690761 4217844917 3282316209 3492755816 1402022149 1210380072 870510036 2115195283 2402007484 3949028975 1779470541 215599249 538733263 3492587136 3770465893 1217881965 4243766105 1315348024 2807984399 1088648923 2502881365 1866934292 4257803634 2780848526 3264459486 333168676 2629421360 1853862687 633457187 4138185149 1106469264 258628041 3761365545 4162261600 1728033221 2140389594 3772139803 2233253885 2092756305 1616121253 3048755115 490500435 2545840308 1368590006 2600682873 3343707011 1860428523 1788720086 439200578 3900229190 447439972 800940498 3258021097 751145302 67035276 1170489307 255 362436" option to reproduce the execution
1.69/1.73	c #vars 95933
1.69/1.73	c #constraints 291294
5.59/5.65	c BCD2: Hardening is enabled.
5.59/5.65	c BCD2: BiasedSearch is enabled.
5.59/5.65	c Solving starts ...
5.59/5.65	c ============================[ Search Statistics ]============================
5.59/5.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.59/5.65	c       |         |          |          |    Limit     GC | Var      | Constra 
5.59/5.65	c =============================================================================
5.59/5.66	c  0.0s |       0 |        0 |        0 |   116441      0 |     1014 |        0
5.99/6.08	c  0.4s |       1 |      514 |      100 |   116441      0 |     1014 |     1832
6.49/6.60	c  0.9s |       1 |     1095 |      101 |   128086      0 |     1014 |     1832
6.49/6.60	c #cpu_time = 0.873s
6.49/6.60	c #wall_clock_time = 0.875s
6.49/6.60	c #decision = 1095
6.49/6.60	c #random_decision = 2
6.59/6.60	c #conflict = 101
6.59/6.60	c #restart = 1
6.59/6.60	o 234150349369
69.17/69.25	c BCD2: updating upper bound: 240478734879 -> 234150349368
72.58/72.69	c BCD2: 0 <= obj <= 234150349368
72.58/72.69	c BCD2: #cores=0, #unrelaxed=795, #relaxed=0, #hardened=0
72.58/72.69	c BCD2: #sat=1 #unsat=1 bias=1/2
72.58/72.69	c Solving starts ...
72.58/72.69	c ============================[ Search Statistics ]============================
72.58/72.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
72.58/72.69	c       |         |          |          |    Limit     GC | Var      | Constra 
72.58/72.69	c =============================================================================
72.58/72.69	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
72.77/72.81	c  0.1s |       0 |        3 |        0 |   128086      0 |     1014 |     1832
72.77/72.81	c #cpu_time = 0.116s
72.77/72.81	c #wall_clock_time = 0.117s
72.77/72.81	c #decision = 3
72.77/72.81	c #random_decision = 0
72.77/72.81	c #conflict = 0
72.77/72.81	c #restart = 0
72.77/72.81	c BCD2: found a new core of size 4: cost of the new core is >=115330
72.77/72.81	c lower bound updated to 115330
135.37/135.47	c BCD2: 115330 <= obj <= 234150349368
135.37/135.47	c BCD2: #cores=1, #unrelaxed=791, #relaxed=4, #hardened=0
135.37/135.47	c BCD2: #sat=1 #unsat=2 bias=2/3
135.37/135.47	c Solving starts ...
135.37/135.47	c ============================[ Search Statistics ]============================
135.37/135.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
135.37/135.47	c       |         |          |          |    Limit     GC | Var      | Constra 
135.37/135.47	c =============================================================================
135.37/135.47	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
135.56/135.60	c  0.1s |       0 |        4 |        0 |   128086      0 |     1014 |     1832
135.56/135.60	c #cpu_time = 0.128s
135.56/135.60	c #wall_clock_time = 0.129s
135.56/135.60	c #decision = 4
135.56/135.60	c #random_decision = 0
135.56/135.60	c #conflict = 0
135.56/135.60	c #restart = 0
135.56/135.60	c BCD2: found a new core of size 4: cost of the new core is >=115330
135.56/135.60	c lower bound updated to 230660
202.85/202.91	c BCD2: 230660 <= obj <= 234150349368
202.85/202.91	c BCD2: #cores=2, #unrelaxed=787, #relaxed=8, #hardened=0
202.85/202.91	c BCD2: #sat=1 #unsat=3 bias=3/4
202.85/202.91	c Solving starts ...
202.85/202.91	c ============================[ Search Statistics ]============================
202.85/202.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
202.85/202.91	c       |         |          |          |    Limit     GC | Var      | Constra 
202.85/202.91	c =============================================================================
202.85/202.91	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
202.95/203.02	c  0.1s |       0 |        5 |        0 |   128086      0 |     1014 |     1832
202.95/203.02	c #cpu_time = 0.116s
202.95/203.02	c #wall_clock_time = 0.116s
202.95/203.02	c #decision = 5
202.95/203.02	c #random_decision = 0
202.95/203.02	c #conflict = 0
202.95/203.02	c #restart = 0
202.95/203.02	c BCD2: found a new core of size 4: cost of the new core is >=115330
202.95/203.02	c lower bound updated to 345990
268.94/269.03	c BCD2: 345990 <= obj <= 234150349368
268.94/269.03	c BCD2: #cores=3, #unrelaxed=783, #relaxed=12, #hardened=0
268.94/269.03	c BCD2: #sat=1 #unsat=4 bias=4/5
268.94/269.03	c Solving starts ...
268.94/269.03	c ============================[ Search Statistics ]============================
268.94/269.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
268.94/269.03	c       |         |          |          |    Limit     GC | Var      | Constra 
268.94/269.03	c =============================================================================
268.94/269.03	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
269.04/269.15	c  0.1s |       0 |        6 |        0 |   128086      0 |     1014 |     1832
269.04/269.15	c #cpu_time = 0.126s
269.04/269.15	c #wall_clock_time = 0.127s
269.04/269.15	c #decision = 6
269.04/269.15	c #random_decision = 0
269.04/269.15	c #conflict = 0
269.04/269.15	c #restart = 0
269.04/269.15	c BCD2: found a new core of size 4: cost of the new core is >=115330
269.04/269.15	c lower bound updated to 461320
334.34/334.43	c BCD2: 461320 <= obj <= 234150349368
334.34/334.43	c BCD2: #cores=4, #unrelaxed=779, #relaxed=16, #hardened=0
334.34/334.43	c BCD2: #sat=1 #unsat=5 bias=5/6
334.34/334.43	c Solving starts ...
334.34/334.43	c ============================[ Search Statistics ]============================
334.34/334.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
334.34/334.43	c       |         |          |          |    Limit     GC | Var      | Constra 
334.34/334.43	c =============================================================================
334.34/334.43	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
334.44/334.55	c  0.1s |       0 |        7 |        0 |   128086      0 |     1014 |     1832
334.44/334.55	c #cpu_time = 0.114s
334.44/334.55	c #wall_clock_time = 0.115s
334.44/334.55	c #decision = 7
334.44/334.55	c #random_decision = 0
334.44/334.55	c #conflict = 0
334.44/334.55	c #restart = 0
334.44/334.55	c BCD2: found a new core of size 4: cost of the new core is >=115330
334.44/334.55	c lower bound updated to 576650
401.32/401.44	c BCD2: 576650 <= obj <= 234150349368
401.32/401.44	c BCD2: #cores=5, #unrelaxed=775, #relaxed=20, #hardened=0
401.32/401.44	c BCD2: #sat=1 #unsat=6 bias=6/7
401.32/401.44	c Solving starts ...
401.32/401.44	c ============================[ Search Statistics ]============================
401.32/401.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
401.32/401.44	c       |         |          |          |    Limit     GC | Var      | Constra 
401.32/401.44	c =============================================================================
401.32/401.44	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
401.42/401.57	c  0.1s |       0 |        8 |        0 |   128086      0 |     1014 |     1832
401.42/401.57	c #cpu_time = 0.126s
401.42/401.57	c #wall_clock_time = 0.127s
401.42/401.57	c #decision = 8
401.42/401.57	c #random_decision = 0
401.42/401.57	c #conflict = 0
401.42/401.57	c #restart = 0
401.42/401.57	c BCD2: found a new core of size 4: cost of the new core is >=115330
401.42/401.57	c lower bound updated to 691980
467.00/467.11	c BCD2: 691980 <= obj <= 234150349368
467.00/467.11	c BCD2: #cores=6, #unrelaxed=771, #relaxed=24, #hardened=0
467.00/467.11	c BCD2: #sat=1 #unsat=7 bias=7/8
467.00/467.11	c Solving starts ...
467.00/467.11	c ============================[ Search Statistics ]============================
467.00/467.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
467.00/467.11	c       |         |          |          |    Limit     GC | Var      | Constra 
467.00/467.11	c =============================================================================
467.00/467.11	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
467.10/467.22	c  0.1s |       0 |        9 |        0 |   128086      0 |     1014 |     1832
467.10/467.22	c #cpu_time = 0.114s
467.10/467.22	c #wall_clock_time = 0.114s
467.10/467.22	c #decision = 9
467.10/467.22	c #random_decision = 0
467.10/467.22	c #conflict = 0
467.10/467.22	c #restart = 0
467.10/467.22	c BCD2: found a new core of size 4: cost of the new core is >=115330
467.10/467.22	c lower bound updated to 807310
533.59/533.75	c BCD2: 807310 <= obj <= 234150349368
533.59/533.75	c BCD2: #cores=7, #unrelaxed=767, #relaxed=28, #hardened=0
533.59/533.75	c BCD2: #sat=1 #unsat=8 bias=8/9
533.59/533.75	c Solving starts ...
533.59/533.75	c ============================[ Search Statistics ]============================
533.59/533.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
533.59/533.75	c       |         |          |          |    Limit     GC | Var      | Constra 
533.59/533.75	c =============================================================================
533.59/533.75	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
533.69/533.88	c  0.1s |       0 |       10 |        0 |   128086      0 |     1014 |     1832
533.69/533.88	c #cpu_time = 0.124s
533.69/533.88	c #wall_clock_time = 0.125s
533.69/533.88	c #decision = 10
533.69/533.88	c #random_decision = 0
533.69/533.88	c #conflict = 0
533.69/533.88	c #restart = 0
533.69/533.88	c BCD2: found a new core of size 4: cost of the new core is >=115330
533.69/533.88	c lower bound updated to 922640
598.18/598.35	c BCD2: 922640 <= obj <= 234150349368
598.18/598.35	c BCD2: #cores=8, #unrelaxed=763, #relaxed=32, #hardened=0
598.18/598.35	c BCD2: #sat=1 #unsat=9 bias=9/10
598.18/598.35	c Solving starts ...
598.18/598.35	c ============================[ Search Statistics ]============================
598.18/598.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
598.18/598.35	c       |         |          |          |    Limit     GC | Var      | Constra 
598.18/598.35	c =============================================================================
598.18/598.35	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
598.29/598.46	c  0.1s |       0 |       11 |        0 |   128086      0 |     1014 |     1832
598.29/598.46	c #cpu_time = 0.112s
598.29/598.46	c #wall_clock_time = 0.113s
598.29/598.46	c #decision = 11
598.29/598.46	c #random_decision = 0
598.29/598.46	c #conflict = 0
598.29/598.46	c #restart = 0
598.29/598.46	c BCD2: found a new core of size 4: cost of the new core is >=115330
598.29/598.46	c lower bound updated to 1037970
662.97/663.12	c BCD2: 1037970 <= obj <= 234150349368
662.97/663.12	c BCD2: #cores=9, #unrelaxed=759, #relaxed=36, #hardened=0
662.97/663.12	c BCD2: #sat=1 #unsat=10 bias=10/11
662.97/663.12	c Solving starts ...
662.97/663.12	c ============================[ Search Statistics ]============================
662.97/663.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
662.97/663.12	c       |         |          |          |    Limit     GC | Var      | Constra 
662.97/663.12	c =============================================================================
662.97/663.12	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
663.07/663.25	c  0.1s |       0 |       12 |        0 |   128086      0 |     1014 |     1832
663.07/663.25	c #cpu_time = 0.123s
663.07/663.25	c #wall_clock_time = 0.124s
663.07/663.25	c #decision = 12
663.07/663.25	c #random_decision = 0
663.07/663.25	c #conflict = 0
663.07/663.25	c #restart = 0
663.07/663.25	c BCD2: found a new core of size 4: cost of the new core is >=115330
663.07/663.25	c lower bound updated to 1153300
728.06/728.24	c BCD2: 1153300 <= obj <= 234150349368
728.06/728.24	c BCD2: #cores=10, #unrelaxed=755, #relaxed=40, #hardened=0
728.06/728.24	c BCD2: #sat=1 #unsat=11 bias=11/12
728.06/728.24	c Solving starts ...
728.06/728.24	c ============================[ Search Statistics ]============================
728.06/728.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
728.06/728.24	c       |         |          |          |    Limit     GC | Var      | Constra 
728.06/728.24	c =============================================================================
728.06/728.24	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
728.16/728.35	c  0.1s |       0 |       13 |        0 |   128086      0 |     1014 |     1832
728.16/728.35	c #cpu_time = 0.111s
728.16/728.35	c #wall_clock_time = 0.111s
728.16/728.35	c #decision = 13
728.16/728.35	c #random_decision = 0
728.16/728.35	c #conflict = 0
728.16/728.35	c #restart = 0
728.16/728.35	c BCD2: found a new core of size 4: cost of the new core is >=115330
728.16/728.35	c lower bound updated to 1268630
795.04/795.29	c BCD2: 1268630 <= obj <= 234150349368
795.04/795.29	c BCD2: #cores=11, #unrelaxed=751, #relaxed=44, #hardened=0
795.04/795.29	c BCD2: #sat=1 #unsat=12 bias=12/13
795.04/795.29	c Solving starts ...
795.04/795.29	c ============================[ Search Statistics ]============================
795.04/795.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
795.04/795.29	c       |         |          |          |    Limit     GC | Var      | Constra 
795.04/795.29	c =============================================================================
795.04/795.29	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
795.25/795.41	c  0.1s |       0 |       14 |        0 |   128086      0 |     1014 |     1832
795.25/795.41	c #cpu_time = 0.121s
795.25/795.41	c #wall_clock_time = 0.122s
795.25/795.41	c #decision = 14
795.25/795.41	c #random_decision = 0
795.25/795.41	c #conflict = 0
795.25/795.41	c #restart = 0
795.25/795.41	c BCD2: found a new core of size 4: cost of the new core is >=115330
795.25/795.41	c lower bound updated to 1383960
861.14/861.36	c BCD2: 1383960 <= obj <= 234150349368
861.14/861.36	c BCD2: #cores=12, #unrelaxed=747, #relaxed=48, #hardened=0
861.14/861.36	c BCD2: #sat=1 #unsat=13 bias=13/14
861.14/861.36	c Solving starts ...
861.14/861.36	c ============================[ Search Statistics ]============================
861.14/861.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
861.14/861.36	c       |         |          |          |    Limit     GC | Var      | Constra 
861.14/861.36	c =============================================================================
861.14/861.36	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
861.24/861.47	c  0.1s |       0 |       15 |        0 |   128086      0 |     1014 |     1832
861.24/861.47	c #cpu_time = 0.109s
861.24/861.47	c #wall_clock_time = 0.109s
861.24/861.47	c #decision = 15
861.24/861.47	c #random_decision = 0
861.24/861.47	c #conflict = 0
861.24/861.47	c #restart = 0
861.24/861.47	c BCD2: found a new core of size 4: cost of the new core is >=115330
861.24/861.47	c lower bound updated to 1499290
925.72/925.96	c BCD2: 1499290 <= obj <= 234150349368
925.72/925.96	c BCD2: #cores=13, #unrelaxed=743, #relaxed=52, #hardened=0
925.72/925.96	c BCD2: #sat=1 #unsat=14 bias=14/15
925.72/925.96	c Solving starts ...
925.72/925.96	c ============================[ Search Statistics ]============================
925.72/925.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
925.72/925.96	c       |         |          |          |    Limit     GC | Var      | Constra 
925.72/925.96	c =============================================================================
925.72/925.97	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
925.82/926.09	c  0.1s |       0 |       16 |        0 |   128086      0 |     1014 |     1832
925.82/926.09	c #cpu_time = 0.122s
925.82/926.09	c #wall_clock_time = 0.123s
925.82/926.09	c #decision = 16
925.82/926.09	c #random_decision = 0
925.82/926.09	c #conflict = 0
925.82/926.09	c #restart = 0
925.82/926.09	c BCD2: found a new core of size 4: cost of the new core is >=115330
925.82/926.09	c lower bound updated to 1614620
992.51/992.74	c BCD2: 1614620 <= obj <= 234150349368
992.51/992.74	c BCD2: #cores=14, #unrelaxed=739, #relaxed=56, #hardened=0
992.51/992.74	c BCD2: #sat=1 #unsat=15 bias=15/16
992.51/992.74	c Solving starts ...
992.51/992.74	c ============================[ Search Statistics ]============================
992.51/992.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
992.51/992.74	c       |         |          |          |    Limit     GC | Var      | Constra 
992.51/992.74	c =============================================================================
992.51/992.74	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
992.61/992.85	c  0.1s |       0 |       17 |        0 |   128086      0 |     1014 |     1832
992.61/992.85	c #cpu_time = 0.110s
992.61/992.85	c #wall_clock_time = 0.110s
992.61/992.85	c #decision = 17
992.61/992.85	c #random_decision = 0
992.61/992.85	c #conflict = 0
992.61/992.85	c #restart = 0
992.61/992.85	c BCD2: found a new core of size 4: cost of the new core is >=115330
992.61/992.85	c lower bound updated to 1729950
1057.89/1058.14	c BCD2: 1729950 <= obj <= 234150349368
1057.89/1058.14	c BCD2: #cores=15, #unrelaxed=735, #relaxed=60, #hardened=0
1057.89/1058.14	c BCD2: #sat=1 #unsat=16 bias=16/17
1057.89/1058.14	c Solving starts ...
1057.89/1058.14	c ============================[ Search Statistics ]============================
1057.89/1058.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1057.89/1058.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1057.89/1058.14	c =============================================================================
1057.89/1058.14	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1058.00/1058.26	c  0.1s |       0 |       18 |        0 |   128086      0 |     1014 |     1832
1058.00/1058.26	c #cpu_time = 0.120s
1058.00/1058.26	c #wall_clock_time = 0.121s
1058.00/1058.26	c #decision = 18
1058.00/1058.26	c #random_decision = 0
1058.00/1058.26	c #conflict = 0
1058.00/1058.26	c #restart = 0
1058.00/1058.26	c BCD2: found a new core of size 4: cost of the new core is >=115330
1058.00/1058.26	c lower bound updated to 1845280
1122.09/1122.36	c BCD2: 1845280 <= obj <= 234150349368
1122.09/1122.36	c BCD2: #cores=16, #unrelaxed=731, #relaxed=64, #hardened=0
1122.09/1122.36	c BCD2: #sat=1 #unsat=17 bias=17/18
1122.09/1122.36	c Solving starts ...
1122.09/1122.36	c ============================[ Search Statistics ]============================
1122.09/1122.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1122.09/1122.36	c       |         |          |          |    Limit     GC | Var      | Constra 
1122.09/1122.36	c =============================================================================
1122.09/1122.36	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1122.19/1122.47	c  0.1s |       0 |       19 |        0 |   128086      0 |     1014 |     1832
1122.19/1122.47	c #cpu_time = 0.109s
1122.19/1122.47	c #wall_clock_time = 0.109s
1122.19/1122.47	c #decision = 19
1122.19/1122.47	c #random_decision = 0
1122.19/1122.47	c #conflict = 0
1122.19/1122.47	c #restart = 0
1122.19/1122.47	c BCD2: found a new core of size 4: cost of the new core is >=115330
1122.19/1122.47	c lower bound updated to 1960610
1186.18/1186.45	c BCD2: 1960610 <= obj <= 234150349368
1186.18/1186.45	c BCD2: #cores=17, #unrelaxed=727, #relaxed=68, #hardened=0
1186.18/1186.45	c BCD2: #sat=1 #unsat=18 bias=18/19
1186.18/1186.45	c Solving starts ...
1186.18/1186.45	c ============================[ Search Statistics ]============================
1186.18/1186.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1186.18/1186.45	c       |         |          |          |    Limit     GC | Var      | Constra 
1186.18/1186.45	c =============================================================================
1186.18/1186.45	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1186.28/1186.57	c  0.1s |       0 |       18 |        0 |   128086      0 |     1014 |     1832
1186.28/1186.57	c #cpu_time = 0.118s
1186.28/1186.57	c #wall_clock_time = 0.119s
1186.28/1186.57	c #decision = 18
1186.28/1186.57	c #random_decision = 0
1186.28/1186.57	c #conflict = 0
1186.28/1186.57	c #restart = 0
1186.28/1186.57	c BCD2: found a new core of size 2: cost of the new core is >=166536520
1186.28/1186.57	c lower bound updated to 168497130
1250.48/1250.77	c BCD2: 168497130 <= obj <= 234150349368
1250.48/1250.77	c BCD2: #cores=18, #unrelaxed=725, #relaxed=70, #hardened=0
1250.48/1250.77	c BCD2: #sat=1 #unsat=19 bias=19/20
1250.48/1250.77	c Solving starts ...
1250.48/1250.77	c ============================[ Search Statistics ]============================
1250.48/1250.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1250.48/1250.77	c       |         |          |          |    Limit     GC | Var      | Constra 
1250.48/1250.77	c =============================================================================
1250.48/1250.77	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1250.58/1250.88	c  0.1s |       0 |       21 |        0 |   128086      0 |     1014 |     1832
1250.58/1250.88	c #cpu_time = 0.109s
1250.58/1250.88	c #wall_clock_time = 0.109s
1250.58/1250.88	c #decision = 21
1250.58/1250.88	c #random_decision = 0
1250.58/1250.88	c #conflict = 0
1250.58/1250.88	c #restart = 0
1250.58/1250.88	c BCD2: found a new core of size 4: cost of the new core is >=115330
1250.58/1250.88	c lower bound updated to 168612460
1315.66/1315.98	c BCD2: 168612460 <= obj <= 234150349368
1315.66/1315.98	c BCD2: #cores=19, #unrelaxed=721, #relaxed=74, #hardened=0
1315.66/1315.98	c BCD2: #sat=1 #unsat=20 bias=20/21
1315.66/1315.98	c Solving starts ...
1315.66/1315.98	c ============================[ Search Statistics ]============================
1315.66/1315.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1315.66/1315.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1315.66/1315.98	c =============================================================================
1315.66/1315.98	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1315.86/1316.10	c  0.1s |       0 |       22 |        0 |   128086      0 |     1014 |     1832
1315.86/1316.10	c #cpu_time = 0.123s
1315.86/1316.10	c #wall_clock_time = 0.123s
1315.86/1316.10	c #decision = 22
1315.86/1316.10	c #random_decision = 0
1315.86/1316.10	c #conflict = 0
1315.86/1316.10	c #restart = 0
1315.86/1316.10	c BCD2: found a new core of size 4: cost of the new core is >=115330
1315.86/1316.10	c lower bound updated to 168727790
1382.94/1383.25	c BCD2: 168727790 <= obj <= 234150349368
1382.94/1383.25	c BCD2: #cores=20, #unrelaxed=717, #relaxed=78, #hardened=0
1382.94/1383.25	c BCD2: #sat=1 #unsat=21 bias=21/22
1382.94/1383.25	c Solving starts ...
1382.94/1383.25	c ============================[ Search Statistics ]============================
1382.94/1383.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1382.94/1383.25	c       |         |          |          |    Limit     GC | Var      | Constra 
1382.94/1383.25	c =============================================================================
1382.94/1383.25	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1383.04/1383.36	c  0.1s |       0 |       23 |        0 |   128086      0 |     1014 |     1832
1383.04/1383.36	c #cpu_time = 0.109s
1383.04/1383.36	c #wall_clock_time = 0.109s
1383.04/1383.36	c #decision = 23
1383.04/1383.36	c #random_decision = 0
1383.04/1383.36	c #conflict = 0
1383.04/1383.36	c #restart = 0
1383.04/1383.36	c BCD2: found a new core of size 4: cost of the new core is >=115330
1383.04/1383.36	c lower bound updated to 168843120
1449.13/1449.49	c BCD2: 168843120 <= obj <= 234150349368
1449.13/1449.49	c BCD2: #cores=21, #unrelaxed=713, #relaxed=82, #hardened=0
1449.13/1449.49	c BCD2: #sat=1 #unsat=22 bias=22/23
1449.13/1449.49	c Solving starts ...
1449.13/1449.49	c ============================[ Search Statistics ]============================
1449.13/1449.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1449.13/1449.49	c       |         |          |          |    Limit     GC | Var      | Constra 
1449.13/1449.49	c =============================================================================
1449.13/1449.50	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1449.33/1449.62	c  0.1s |       0 |       24 |        0 |   128086      0 |     1014 |     1832
1449.33/1449.62	c #cpu_time = 0.121s
1449.33/1449.62	c #wall_clock_time = 0.121s
1449.33/1449.62	c #decision = 24
1449.33/1449.62	c #random_decision = 0
1449.33/1449.62	c #conflict = 0
1449.33/1449.62	c #restart = 0
1449.33/1449.62	c BCD2: found a new core of size 4: cost of the new core is >=115330
1449.33/1449.62	c lower bound updated to 168958450
1514.53/1514.85	c BCD2: 168958450 <= obj <= 234150349368
1514.53/1514.85	c BCD2: #cores=22, #unrelaxed=709, #relaxed=86, #hardened=0
1514.53/1514.85	c BCD2: #sat=1 #unsat=23 bias=23/24
1514.53/1514.85	c Solving starts ...
1514.53/1514.85	c ============================[ Search Statistics ]============================
1514.53/1514.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1514.53/1514.85	c       |         |          |          |    Limit     GC | Var      | Constra 
1514.53/1514.85	c =============================================================================
1514.53/1514.85	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1514.62/1514.96	c  0.1s |       0 |       25 |        0 |   128086      0 |     1014 |     1832
1514.62/1514.96	c #cpu_time = 0.108s
1514.62/1514.96	c #wall_clock_time = 0.109s
1514.62/1514.96	c #decision = 25
1514.62/1514.96	c #random_decision = 0
1514.62/1514.96	c #conflict = 0
1514.62/1514.96	c #restart = 0
1514.62/1514.96	c BCD2: found a new core of size 4: cost of the new core is >=115330
1514.62/1514.96	c lower bound updated to 169073780
1581.21/1581.51	c BCD2: 169073780 <= obj <= 234150349368
1581.21/1581.51	c BCD2: #cores=23, #unrelaxed=705, #relaxed=90, #hardened=0
1581.21/1581.51	c BCD2: #sat=1 #unsat=24 bias=24/25
1581.21/1581.51	c Solving starts ...
1581.21/1581.51	c ============================[ Search Statistics ]============================
1581.21/1581.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1581.21/1581.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1581.21/1581.51	c =============================================================================
1581.21/1581.51	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1581.31/1581.63	c  0.1s |       0 |       26 |        0 |   128086      0 |     1014 |     1832
1581.31/1581.63	c #cpu_time = 0.120s
1581.31/1581.63	c #wall_clock_time = 0.120s
1581.31/1581.63	c #decision = 26
1581.31/1581.63	c #random_decision = 0
1581.31/1581.63	c #conflict = 0
1581.31/1581.63	c #restart = 0
1581.31/1581.63	c BCD2: found a new core of size 4: cost of the new core is >=115330
1581.31/1581.63	c lower bound updated to 169189110
1645.31/1645.67	c BCD2: 169189110 <= obj <= 234150349368
1645.31/1645.67	c BCD2: #cores=24, #unrelaxed=701, #relaxed=94, #hardened=0
1645.31/1645.67	c BCD2: #sat=1 #unsat=25 bias=25/26
1645.31/1645.67	c Solving starts ...
1645.31/1645.67	c ============================[ Search Statistics ]============================
1645.31/1645.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1645.31/1645.67	c       |         |          |          |    Limit     GC | Var      | Constra 
1645.31/1645.67	c =============================================================================
1645.31/1645.67	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1645.41/1645.78	c  0.1s |       0 |       27 |        0 |   128086      0 |     1014 |     1832
1645.41/1645.78	c #cpu_time = 0.109s
1645.41/1645.78	c #wall_clock_time = 0.109s
1645.41/1645.78	c #decision = 27
1645.41/1645.78	c #random_decision = 0
1645.41/1645.78	c #conflict = 0
1645.41/1645.78	c #restart = 0
1645.41/1645.78	c BCD2: found a new core of size 4: cost of the new core is >=115330
1645.41/1645.78	c lower bound updated to 169304440
1712.19/1712.51	c BCD2: 169304440 <= obj <= 234150349368
1712.19/1712.51	c BCD2: #cores=25, #unrelaxed=697, #relaxed=98, #hardened=0
1712.19/1712.51	c BCD2: #sat=1 #unsat=26 bias=26/27
1712.19/1712.51	c Solving starts ...
1712.19/1712.51	c ============================[ Search Statistics ]============================
1712.19/1712.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1712.19/1712.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1712.19/1712.51	c =============================================================================
1712.19/1712.51	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1712.29/1712.63	c  0.1s |       0 |       28 |        0 |   128086      0 |     1014 |     1832
1712.29/1712.63	c #cpu_time = 0.120s
1712.29/1712.63	c #wall_clock_time = 0.121s
1712.29/1712.63	c #decision = 28
1712.29/1712.63	c #random_decision = 0
1712.29/1712.63	c #conflict = 0
1712.29/1712.63	c #restart = 0
1712.29/1712.63	c BCD2: found a new core of size 4: cost of the new core is >=115330
1712.29/1712.63	c lower bound updated to 169419770
1778.69/1779.01	c BCD2: 169419770 <= obj <= 234150349368
1778.69/1779.01	c BCD2: #cores=26, #unrelaxed=693, #relaxed=102, #hardened=0
1778.69/1779.01	c BCD2: #sat=1 #unsat=27 bias=27/28
1778.69/1779.01	c Solving starts ...
1778.69/1779.01	c ============================[ Search Statistics ]============================
1778.69/1779.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1778.69/1779.01	c       |         |          |          |    Limit     GC | Var      | Constra 
1778.69/1779.01	c =============================================================================
1778.69/1779.01	c  0.0s |       0 |        0 |        0 |   128086      0 |     1014 |     1832
1778.79/1779.12	c  0.1s |       0 |       29 |        0 |   128086      0 |     1014 |     1832
1778.79/1779.12	c #cpu_time = 0.109s
1778.79/1779.12	c #wall_clock_time = 0.109s
1778.79/1779.12	c #decision = 29
1778.79/1779.12	c #random_decision = 0
1778.79/1779.12	c #conflict = 0
1778.79/1779.12	c #restart = 0
1778.79/1779.12	c BCD2: found a new core of size 4: cost of the new core is >=115330
1778.79/1779.12	c lower bound updated to 169535100

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

pid=11093
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.20 2.20 2.18 3/180 11096
/proc/meminfo: memFree=17151144/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 676 0 0 0 0 0 0 0 20 0 4 0 41687452 246870016 528 33554432000 4194304 16246674 140734489066096 140734489065520 13127709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 60271 532 414 2943 0 57165 0
[pid=11096/tid=11097] ppid=11093 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 246870016 557 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 246870016 567 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41687453 246870016 574 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 11096
/proc/meminfo: memFree=17151144/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 24150 0 0 0 5 3 0 0 20 0 4 0 41687452 1333334016 23938 33554432000 4194304 16246674 140734489066096 140734489065408 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 325521 23953 799 2943 0 322415 0
[pid=11096/tid=11097] ppid=11093 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1333334016 23962 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1333334016 23973 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1333334016 23986 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.20052 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 11096
/proc/meminfo: memFree=17151144/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 48198 0 0 0 12 7 0 0 20 0 4 0 41687452 1342771200 48496 33554432000 4194304 16246674 140734489066096 140734489048856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 327825 48502 799 2943 0 324719 0
[pid=11096/tid=11097] ppid=11093 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1342771200 48506 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1342771200 48510 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1342771200 48514 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300448 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 11096
/proc/meminfo: memFree=17151144/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 58661 0 0 0 21 8 0 0 20 0 4 0 41687452 1344868352 58959 33554432000 4194304 16246674 140734489066096 140734489048856 7369380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 328337 58959 799 2943 0 325231 0
[pid=11096/tid=11097] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 58959 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 58959 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 58959 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700393 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 11096
/proc/meminfo: memFree=17151144/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 66600 0 0 0 60 9 0 0 20 0 4 0 41687452 1344868352 66898 33554432000 4194304 16246674 140734489066096 140734489048856 7928848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 328337 66898 800 2943 0 325231 0
[pid=11096/tid=11097] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 66898 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 66898 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 66898 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 11100
/proc/meminfo: memFree=16849020/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 83328 0 0 0 137 12 0 0 20 0 4 0 41687452 1344868352 83626 33554432000 4194304 16246674 140734489066096 140734489063808 7367752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 328337 83626 801 2943 0 325231 0
[pid=11096/tid=11097] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 83626 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 83626 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1344868352 83626 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 11100
/proc/meminfo: memFree=16570516/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 278425 0 0 0 266 43 0 0 20 0 4 0 41687452 1383665664 278723 33554432000 4194304 16246674 140734489066096 140734489048000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 337809 278723 836 2943 0 334703 0
[pid=11096/tid=11097] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278723 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278723 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278723 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30038 s]
/proc/loadavg: 2.27 2.21 2.18 4/184 11100
/proc/meminfo: memFree=16037944/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 278489 0 0 0 586 43 0 0 20 0 4 0 41687452 1383665664 278787 33554432000 4194304 16246674 140734489066096 140734489048000 12997748 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 337809 278787 892 2943 0 334703 0
[pid=11096/tid=11097] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278787 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278787 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278787 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.25 2.21 2.18 3/184 11100
/proc/meminfo: memFree=16038380/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1351236 CPUtime=12.69 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 278497 0 0 0 1226 43 0 0 20 0 4 0 41687452 1383665664 278795 33554432000 4194304 16246674 140734489066096 140734489048000 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 337809 278795 900 2943 0 334703 0
[pid=11096/tid=11097] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278795 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278795 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1383665664 278795 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1351236

[startup+25.5004 s]
/proc/loadavg: 2.26 2.21 2.18 3/184 11100
/proc/meminfo: memFree=15953448/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1437252 CPUtime=25.49 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 300002 0 0 0 2503 46 0 0 20 0 4 0 41687452 1471746048 300300 33554432000 4194304 16246674 140734489066096 140734489048000 13008968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 359313 300300 900 2943 0 356207 0
[pid=11096/tid=11097] ppid=11093 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1471746048 300300 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1471746048 300300 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1471746048 300300 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1437252

[startup+51.1005 s]
/proc/loadavg: 2.17 2.19 2.18 4/184 11100
/proc/meminfo: memFree=14944548/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1576516 CPUtime=51.07 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 334818 0 0 0 5056 51 0 0 20 0 4 0 41687452 1614352384 335116 33554432000 4194304 16246674 140734489066096 140734489048000 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 394129 335116 900 2943 0 391023 0
[pid=11096/tid=11097] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335116 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335116 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335116 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1576516

[startup+102.301 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 11102
/proc/meminfo: memFree=14356952/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1576516 CPUtime=102.27 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 334834 0 0 0 10176 51 0 0 20 0 4 0 41687452 1614352384 335132 33554432000 4194304 16246674 140734489066096 140734489063936 4220580 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 394129 335132 916 2943 0 391023 0
[pid=11096/tid=11097] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335132 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335132 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1576516 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1614352384 335132 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1576516


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

/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1710660

[startup+1302.3 s]
/proc/loadavg: 2.41 2.31 2.23 3/183 11230
/proc/meminfo: memFree=27681588/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1302.06 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 130147 59 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1710660

[startup+1362.3 s]
/proc/loadavg: 2.38 2.31 2.23 4/183 11231
/proc/meminfo: memFree=26192920/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1362.05 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 136146 59 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 12449395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1710660

[startup+1422.3 s]
/proc/loadavg: 2.26 2.29 2.22 3/183 11232
/proc/meminfo: memFree=24989852/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1422.04 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 142145 59 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 6955584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1710660

[startup+1482.3 s]
/proc/loadavg: 2.23 2.28 2.22 3/183 11233
/proc/meminfo: memFree=23828692/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1482.02 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 148143 59 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 12655088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1710660

[startup+1542.31 s]
/proc/loadavg: 2.36 2.30 2.23 4/183 11234
/proc/meminfo: memFree=23027632/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1542.03 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 154143 60 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489064000 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1710660

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.23 3/183 11236
/proc/meminfo: memFree=22366684/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1602.01 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 160141 60 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489063936 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1710660

[startup+1662.3 s]
/proc/loadavg: 2.24 2.27 2.22 4/183 11237
/proc/meminfo: memFree=21216752/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1662 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 166140 60 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 4225120 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1710660

[startup+1722.3 s]
/proc/loadavg: 2.30 2.28 2.23 4/183 11238
/proc/meminfo: memFree=20739008/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1721.99 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 172139 60 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489064000 6955953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1710660

[startup+1782.3 s]
/proc/loadavg: 2.22 2.26 2.22 4/183 11239
/proc/meminfo: memFree=19625248/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1781.99 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 178138 61 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489048000 12413857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1710660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.25 2.22 4/184 11242
/proc/meminfo: memFree=19856504/32872528 swapFree=1542984/1696284
[pid=11096] ppid=11093 vsize=1710660 CPUtime=1800.08 cores=0,2,4,6
/proc/11096/stat : 11096 (toysat) R 11093 11096 9424 0 -1 4202496 368411 0 0 0 179947 61 0 0 20 0 4 0 41687452 1751715840 368924 33554432000 4194304 16246674 140734489066096 140734489065408 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11096/statm: 427665 368924 916 2943 0 424559 0
[pid=11096/tid=11097] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (toysat) S 11093 11096 9424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650912988400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (toysat) S 11093 11096 9424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650902498544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=1710660 CPUtime=0 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (toysat) S 11093 11096 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41687453 1751715840 368924 33554432000 4194304 16246674 140734489066096 139650892025008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1710660

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 11096 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.11
CPU user time (s): 1799.49
CPU system time (s): 0.617906
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1710660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.617906
maximum resident set size= 1475696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368411
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= 743
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69298 second user time and 8.72267 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 06:20:08
IDJOB=4111048
IDBENCH=108718
IDSOLVER=2542
FILE ID=node125/4111048-1466396408
RUNJOBID= node125-1466384086-9440
PBS_JOBID= 19923262
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111048-1466396408/watcher-4111048-1466396408 -o /tmp/evaluation-result-4111048-1466396408/solver-4111048-1466396408 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9440 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111048-1466396408.opb

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

MD5SUM BENCH= 3576daf28ce69f6766d0d65a9453cf32
RANDOM SEED=2113832649

node125.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.683
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	: 5333.36
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.683
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.683
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.683
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.54
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.683
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.683
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.683
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.683
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:        17151300 kB
Buffers:           53436 kB
Cached:            99256 kB
SwapCached:         1612 kB
Active:         13196344 kB
Inactive:          70968 kB
Active(anon):   13115928 kB
Inactive(anon):     1264 kB
Active(file):      80416 kB
Inactive(file):    69704 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67097096 kB
Dirty:             25644 kB
Writeback:             0 kB
AnonPages:      14810376 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             595528 kB
SReclaimable:      39196 kB
SUnreclaim:       556332 kB
KernelStack:        1512 kB
PageTables:        33192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14956744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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= 71696 MiB
End job on node125 at 2016-06-20 06:50:09