Trace number 4079146

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-libpoe-perl.cudf.paranoid.opb
MD5SUM094786b57fd59c0209a788b1354f070c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark176288
Best CPU time to get the best result obtained on this benchmark23.2015
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19773
Total number of constraints96416
Number of constraints which are clauses94851
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7255
Biggest coefficient in the objective function 4297
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12723415
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4297
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12723415
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:17:03+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-4079146-1465269423.opb"]
0.00/0.01	c use --random-gen="3438630530 796263980 2433991483 1344915257 3143953481 501695576 2336811691 437614819 2602563256 1985904197 1708389871 2900427764 892438890 2155412013 2713316629 1785640873 3828774097 2996809641 332715171 1305647065 2956729334 45210843 3516837169 691426118 2886248151 3315068152 978503851 730568015 2537788874 438798983 1604626065 1506184334 2481109335 473849849 112735425 3960540612 1454214420 1288384783 1274543132 144229172 1158821379 1127974860 2460948940 3376579588 659158688 1994185765 2346667624 1726439856 2638084981 3193444532 213567593 3762663926 3272988255 2193245359 576387926 3932838061 2905955524 37903766 3511452211 3019616097 2277285358 2653670151 4112141081 3662507479 2772804052 3319422563 235361292 1159503725 997372543 107728416 2757493861 163688308 3981583678 1127276214 2093646400 3266246719 174042331 1210736952 2350260845 2062288583 3192054388 3913225809 739550351 1424597917 1956668780 3495135318 2092460312 4033397090 3244683387 2770311410 195112567 2265794075 625413560 3532030078 2314799515 631737771 2335003205 2672422957 4005259241 3926024819 3780852759 2116639149 2484449130 3849221115 2026027167 3923816904 3190445037 1310228778 778811850 3059312326 3686323288 1205196400 1218153948 1403122273 1089054781 2459341008 1334704878 4112773143 1297659515 1667245188 779567612 487260703 2591597856 3343963763 2736041869 3024232903 2430308167 390664172 2283448064 1269203730 272125326 1822411552 267569115 2152604060 2023524606 4118483399 738215004 2506272147 3573097842 4164672378 2759645435 1593447285 2758621689 839013730 453295820 2462099038 141787295 822928176 1118126361 580532013 656493735 2079226115 1052709739 363376929 2753250440 220259004 25439424 3007657808 2026957008 502093370 3313360701 165777134 1431620358 1106522182 491168680 600725100 3091269688 3827625139 440430332 2046091533 494534769 2742560240 4289818359 1193863693 791631215 3193995683 1779868281 2430001687 2652411518 1085898851 4021062820 3910444840 415825377 1598873618 942324986 1500859584 3542070682 3745305910 3229385062 436979462 1180491868 1162221062 3466480182 2780354316 2116189580 2251565949 2941313879 2348816146 1088695775 852270979 2686891123 2256239119 1011437257 3761877410 903530741 1575483631 2424908568 365276692 1031402938 625204107 3208625627 3161330687 1607500587 3101834617 918974544 959466075 2544066830 3386348504 3187312751 889147926 2126477579 627202736 2381367377 1608971537 2802814655 1878484594 587879237 2293827674 2767981525 1499273608 971858722 1494979684 3394948499 2734970434 3416248808 2135624454 1383871553 2525094461 2809794656 4025594560 2811117493 880142642 2764535374 936505527 3591951934 2152350606 894420183 3878856596 2671767481 2240217937 3637959366 1141897802 2574591600 1532340688 898985970 2358080387 255 362436" option to reproduce the execution
0.69/0.73	c #vars 19773
0.69/0.73	c #constraints 96416
2.20/2.27	c BCD2: Hardening is enabled.
2.20/2.27	c BCD2: BiasedSearch is enabled.
2.20/2.27	c Solving starts ...
2.20/2.27	c ============================[ Search Statistics ]============================
2.20/2.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.27	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.27	c =============================================================================
2.20/2.27	c  0.0s |       0 |        0 |        0 |    38670      0 |       52 |        0
2.69/2.79	c  0.5s |       1 |    82567 |      100 |    38670      0 |       52 |      141
4.39/4.49	c  2.2s |       2 |   296172 |      250 |    42537      0 |       52 |      141
7.19/7.21	c  4.9s |       2 |   601561 |      396 |    46791      0 |       52 |      141
7.19/7.21	c #cpu_time = 4.929s
7.19/7.21	c #wall_clock_time = 4.930s
7.19/7.21	c #decision = 601561
7.19/7.21	c #random_decision = 1839
7.19/7.21	c #conflict = 396
7.19/7.21	c #restart = 2
7.19/7.21	o 6947419
168.37/168.44	c BCD2: updating upper bound: 12723415 -> 6947418
337.33/337.41	c BCD2: 0 <= obj <= 6947418
337.33/337.41	c BCD2: #cores=0, #unrelaxed=7255, #relaxed=0, #hardened=0
337.33/337.41	c BCD2: #sat=1 #unsat=1 bias=1/2
337.33/337.41	c Solving starts ...
337.33/337.41	c ============================[ Search Statistics ]============================
337.33/337.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
337.33/337.41	c       |         |          |          |    Limit     GC | Var      | Constra 
337.33/337.41	c =============================================================================
337.33/337.42	c  0.0s |       0 |        0 |        0 |    46791      0 |       52 |      141
337.33/337.47	c  0.1s |       0 |      382 |        0 |    46791      0 |       52 |      141
337.33/337.47	c #cpu_time = 0.055s
337.33/337.47	c #wall_clock_time = 0.055s
337.33/337.47	c #decision = 382
337.33/337.47	c #random_decision = 0
337.33/337.47	c #conflict = 0
337.33/337.47	c #restart = 0
337.33/337.47	c BCD2: found a new core of size 2: cost of the new core is >=1
337.33/337.47	c lower bound updated to 1
516.31/516.41	c BCD2: 1 <= obj <= 6947418
516.31/516.41	c BCD2: #cores=1, #unrelaxed=7253, #relaxed=2, #hardened=0
516.31/516.41	c BCD2: #sat=1 #unsat=2 bias=2/3
516.31/516.41	c Solving starts ...
516.31/516.41	c ============================[ Search Statistics ]============================
516.31/516.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
516.31/516.41	c       |         |          |          |    Limit     GC | Var      | Constra 
516.31/516.41	c =============================================================================
516.31/516.42	c  0.0s |       0 |        0 |        0 |    46791      0 |       52 |      141
516.41/516.59	c  0.2s |       0 |     1184 |        2 |    46791      0 |       72 |      250
516.41/516.59	c #cpu_time = 0.171s
516.41/516.59	c #wall_clock_time = 0.171s
516.41/516.59	c #decision = 1184
516.41/516.59	c #random_decision = 0
516.41/516.59	c #conflict = 2
516.41/516.59	c #restart = 0
516.41/516.59	c BCD2: found a new core of size 1: cost of the new core is >=1
516.41/516.59	c lower bound updated to 2
686.79/686.97	c BCD2: 2 <= obj <= 6947418
686.79/686.97	c BCD2: #cores=2, #unrelaxed=7252, #relaxed=3, #hardened=0
686.79/686.97	c BCD2: #sat=1 #unsat=3 bias=3/4
686.79/686.97	c Solving starts ...
686.79/686.97	c ============================[ Search Statistics ]============================
686.79/686.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
686.79/686.97	c       |         |          |          |    Limit     GC | Var      | Constra 
686.79/686.97	c =============================================================================
686.79/686.97	c  0.0s |       0 |        0 |        0 |    46791      0 |       72 |      250
686.89/687.03	c  0.1s |       0 |      609 |        0 |    46791      0 |       72 |      250
686.89/687.03	c #cpu_time = 0.055s
686.89/687.03	c #wall_clock_time = 0.055s
686.89/687.03	c #decision = 609
686.89/687.03	c #random_decision = 0
686.89/687.03	c #conflict = 0
686.89/687.03	c #restart = 0
686.89/687.03	c BCD2: found a new core of size 1: cost of the new core is >=1
686.89/687.03	c lower bound updated to 3
854.06/854.24	c BCD2: 3 <= obj <= 6947418
854.06/854.24	c BCD2: #cores=3, #unrelaxed=7251, #relaxed=4, #hardened=0
854.06/854.24	c BCD2: #sat=1 #unsat=4 bias=4/5
854.06/854.24	c Solving starts ...
854.06/854.24	c ============================[ Search Statistics ]============================
854.06/854.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
854.06/854.24	c       |         |          |          |    Limit     GC | Var      | Constra 
854.06/854.24	c =============================================================================
854.06/854.24	c  0.0s |       0 |        0 |        0 |    46791      0 |       72 |      250
854.16/854.36	c  0.1s |       0 |     1331 |        1 |    46791      0 |      213 |      943
854.16/854.36	c #cpu_time = 0.118s
854.16/854.36	c #wall_clock_time = 0.118s
854.16/854.36	c #decision = 1331
854.16/854.36	c #random_decision = 0
854.16/854.36	c #conflict = 1
854.16/854.36	c #restart = 0
854.16/854.36	c BCD2: found a new core of size 2: cost of the new core is >=1
854.16/854.36	c lower bound updated to 4
1019.13/1019.32	c BCD2: 4 <= obj <= 6947418
1019.13/1019.32	c BCD2: #cores=4, #unrelaxed=7249, #relaxed=6, #hardened=0
1019.13/1019.32	c BCD2: #sat=1 #unsat=5 bias=5/6
1019.13/1019.32	c Solving starts ...
1019.13/1019.32	c ============================[ Search Statistics ]============================
1019.13/1019.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1019.13/1019.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1019.13/1019.32	c =============================================================================
1019.13/1019.32	c  0.0s |       0 |        0 |        0 |    46791      0 |      213 |      943
1019.13/1019.38	c  0.1s |       0 |      704 |        0 |    46791      0 |      213 |      943
1019.13/1019.38	c #cpu_time = 0.057s
1019.13/1019.38	c #wall_clock_time = 0.057s
1019.13/1019.38	c #decision = 704
1019.13/1019.38	c #random_decision = 0
1019.13/1019.38	c #conflict = 0
1019.13/1019.38	c #restart = 0
1019.13/1019.38	c BCD2: found a new core of size 1: cost of the new core is >=1
1019.13/1019.38	c lower bound updated to 5
1191.57/1191.88	c BCD2: 5 <= obj <= 6947418
1191.57/1191.88	c BCD2: #cores=5, #unrelaxed=7248, #relaxed=7, #hardened=0
1191.57/1191.88	c BCD2: #sat=1 #unsat=6 bias=6/7
1191.57/1191.88	c Solving starts ...
1191.57/1191.88	c ============================[ Search Statistics ]============================
1191.57/1191.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1191.57/1191.88	c       |         |          |          |    Limit     GC | Var      | Constra 
1191.57/1191.88	c =============================================================================
1191.57/1191.88	c  0.0s |       0 |        0 |        0 |    46791      0 |      213 |      943
1191.67/1191.93	c  0.1s |       0 |      705 |        0 |    46791      0 |      213 |      943
1191.67/1191.93	c #cpu_time = 0.053s
1191.67/1191.93	c #wall_clock_time = 0.053s
1191.67/1191.93	c #decision = 705
1191.67/1191.93	c #random_decision = 0
1191.67/1191.93	c #conflict = 0
1191.67/1191.93	c #restart = 0
1191.67/1191.93	c BCD2: found a new core of size 1: cost of the new core is >=1
1191.67/1191.93	c lower bound updated to 6
1350.21/1350.58	c BCD2: 6 <= obj <= 6947418
1350.21/1350.58	c BCD2: #cores=6, #unrelaxed=7247, #relaxed=8, #hardened=0
1350.21/1350.58	c BCD2: #sat=1 #unsat=7 bias=7/8
1350.21/1350.58	c Solving starts ...
1350.21/1350.58	c ============================[ Search Statistics ]============================
1350.21/1350.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1350.21/1350.58	c       |         |          |          |    Limit     GC | Var      | Constra 
1350.21/1350.58	c =============================================================================
1350.21/1350.58	c  0.0s |       0 |        0 |        0 |    46791      0 |      213 |      943
1350.31/1350.64	c  0.1s |       0 |      706 |        0 |    46791      0 |      213 |      943
1350.31/1350.64	c #cpu_time = 0.054s
1350.31/1350.64	c #wall_clock_time = 0.054s
1350.31/1350.64	c #decision = 706
1350.31/1350.64	c #random_decision = 0
1350.31/1350.64	c #conflict = 0
1350.31/1350.64	c #restart = 0
1350.31/1350.64	c BCD2: found a new core of size 1: cost of the new core is >=1
1350.31/1350.64	c lower bound updated to 7
1520.17/1520.50	c BCD2: 7 <= obj <= 6947418
1520.17/1520.50	c BCD2: #cores=7, #unrelaxed=7246, #relaxed=9, #hardened=0
1520.17/1520.50	c BCD2: #sat=1 #unsat=8 bias=8/9
1520.17/1520.50	c Solving starts ...
1520.17/1520.50	c ============================[ Search Statistics ]============================
1520.17/1520.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1520.17/1520.50	c       |         |          |          |    Limit     GC | Var      | Constra 
1520.17/1520.50	c =============================================================================
1520.17/1520.50	c  0.0s |       0 |        0 |        0 |    46791      0 |      213 |      943
1520.27/1520.62	c  0.1s |       0 |     1415 |        1 |    46791      0 |      214 |      946
1520.27/1520.62	c #cpu_time = 0.113s
1520.27/1520.62	c #wall_clock_time = 0.113s
1520.27/1520.62	c #decision = 1415
1520.27/1520.62	c #random_decision = 0
1520.27/1520.62	c #conflict = 1
1520.27/1520.62	c #restart = 0
1520.27/1520.62	c BCD2: found a new core of size 1: cost of the new core is >=1
1520.27/1520.62	c lower bound updated to 8
1677.64/1678.09	c BCD2: 8 <= obj <= 6947418
1677.64/1678.09	c BCD2: #cores=8, #unrelaxed=7245, #relaxed=10, #hardened=0
1677.64/1678.09	c BCD2: #sat=1 #unsat=9 bias=9/10
1677.64/1678.09	c Solving starts ...
1677.64/1678.09	c ============================[ Search Statistics ]============================
1677.64/1678.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1677.64/1678.09	c       |         |          |          |    Limit     GC | Var      | Constra 
1677.64/1678.09	c =============================================================================
1677.64/1678.09	c  0.0s |       0 |        0 |        0 |    46791      0 |      214 |      946
1677.74/1678.15	c  0.1s |       0 |      708 |        0 |    46791      0 |      214 |      946
1677.74/1678.15	c #cpu_time = 0.053s
1677.74/1678.15	c #wall_clock_time = 0.053s
1677.74/1678.15	c #decision = 708
1677.74/1678.15	c #random_decision = 0
1677.74/1678.15	c #conflict = 0
1677.74/1678.15	c #restart = 0
1677.74/1678.15	c BCD2: found a new core of size 1: cost of the new core is >=1
1677.74/1678.15	c lower bound updated to 9

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

pid=7763
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.17 2.11 2.05 3/179 7766
/proc/meminfo: memFree=30463868/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 108877035 730263552 3529 33554432000 4194304 16246674 140733830344128 140733830343552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 179055 3537 441 2943 0 175949 0
[pid=7766/tid=7767] ppid=7763 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 748089344 3595 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 753332224 3617 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 758575104 3634 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100186 s]
/proc/loadavg: 2.17 2.11 2.05 3/179 7766
/proc/meminfo: memFree=30463868/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 26259 0 0 0 5 4 0 0 20 0 4 0 108877035 1250496512 27069 33554432000 4194304 16246674 140733830344128 140733830343440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 305297 27077 799 2943 0 302191 0
[pid=7766/tid=7767] ppid=7763 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1250496512 27082 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1250496512 27087 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1250496512 27092 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20052 s]
/proc/loadavg: 2.17 2.11 2.05 3/179 7766
/proc/meminfo: memFree=30463868/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 48575 0 0 0 11 7 0 0 20 0 4 0 108877035 1344868352 49896 33554432000 4194304 16246674 140733830344128 140733830343440 14795908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 328337 49897 800 2943 0 325231 0
[pid=7766/tid=7767] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 49897 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 49897 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 49897 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300472 s]
/proc/loadavg: 2.17 2.11 2.05 3/179 7766
/proc/meminfo: memFree=30463868/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 66497 0 0 0 18 10 0 0 20 0 4 0 108877035 1344868352 67817 33554432000 4194304 16246674 140733830344128 140733830343440 4225339 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 328337 67817 800 2943 0 325231 0
[pid=7766/tid=7767] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 67817 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 67817 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 67817 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700432 s]
/proc/loadavg: 2.17 2.11 2.05 3/179 7766
/proc/meminfo: memFree=30463868/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 69485 0 0 0 58 11 0 0 20 0 4 0 108877035 1344868352 70805 33554432000 4194304 16246674 140733830344128 140733830326016 7373312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 328337 70805 800 2943 0 325231 0
[pid=7766/tid=7767] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 70805 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 70805 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 70805 33554432000 4194304 16246674 140733830344128 139802125003952 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.17 2.11 2.05 3/183 7770
/proc/meminfo: memFree=30021708/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 189167 0 0 0 120 29 0 0 20 0 4 0 108877035 1344868352 190487 33554432000 4194304 16246674 140733830344128 140733830326016 6756128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 328337 190496 838 2943 0 325231 0
[pid=7766/tid=7767] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 190501 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 190506 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1344868352 190511 33554432000 4194304 16246674 140733830344128 139802125003952 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.10042 s]
/proc/loadavg: 2.17 2.11 2.05 3/183 7770
/proc/meminfo: memFree=29369212/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 274632 0 0 0 268 41 0 0 20 0 4 0 108877035 1389957120 275953 33554432000 4194304 16246674 140733830344128 140733830326016 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 275957 887 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 275959 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 275962 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 275965 33554432000 4194304 16246674 140733830344128 139802125003952 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) 1357380

[startup+6.30038 s]
/proc/loadavg: 2.15 2.11 2.05 3/183 7770
/proc/meminfo: memFree=29339084/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280022 0 0 0 587 42 0 0 20 0 4 0 108877035 1389957120 281342 33554432000 4194304 16246674 140733830344128 140733830326016 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281342 893 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281342 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281342 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281342 33554432000 4194304 16246674 140733830344128 139802125003952 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) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.14 2.10 2.05 3/183 7770
/proc/meminfo: memFree=29339652/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280030 0 0 0 1227 42 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 140733830326016 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281350 901 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802125003952 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) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.11 2.10 2.05 3/183 7770
/proc/meminfo: memFree=29339900/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=25.49 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280030 0 0 0 2507 42 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 140733830326016 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281350 901 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802125003952 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) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.14 2.11 2.05 4/183 7770
/proc/meminfo: memFree=29339252/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280030 0 0 0 5066 42 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 140733830326016 6962064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281350 901 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.06 2.09 2.05 3/183 7771
/proc/meminfo: memFree=29339524/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280030 0 0 0 10185 43 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 140733830326016 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281350 901 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281350 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/183 7801
/proc/meminfo: memFree=29337792/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1302.03 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280168 0 0 0 130152 51 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12655170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.03 3/183 7803
/proc/meminfo: memFree=29337632/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1362.01 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280187 0 0 0 136150 51 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/184 7807
/proc/meminfo: memFree=29337664/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1421.99 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 142148 51 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.04 3/183 7808
/proc/meminfo: memFree=29337668/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1481.98 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 148146 52 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12449395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.06 2.07 2.04 3/183 7809
/proc/meminfo: memFree=29337916/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1541.97 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 154145 52 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12654151 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 2.04 3/183 7810
/proc/meminfo: memFree=29337904/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1601.96 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 160144 52 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 7812
/proc/meminfo: memFree=29338304/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1661.94 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 166142 52 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/183 7813
/proc/meminfo: memFree=29338508/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1721.94 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 172141 53 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29372592/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1781.93 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 178139 54 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.04 2.02 3/183 7863
/proc/meminfo: memFree=29372540/32872528 swapFree=12744/274376
[pid=7766] ppid=7763 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6
/proc/7766/stat : 7766 (toysat) R 7763 7766 5566 0 -1 4202496 280209 0 0 0 179949 54 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 140733830326016 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7766/statm: 339345 281370 917 2943 0 336239 0
[pid=7766/tid=7767] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7767/stat : 7767 (toysat) S 7763 7766 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802250816752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7766/tid=7768] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7768/stat : 7768 (toysat) S 7763 7766 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802240326896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7766/tid=7769] ppid=7763 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7769/stat : 7769 (toysat) S 7763 7766 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108877035 1389957120 281370 33554432000 4194304 16246674 140733830344128 139802125003952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1357380

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7766 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.04
CPU user time (s): 1799.5
CPU system time (s): 0.542917
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.542917
maximum resident set size= 1125480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280209
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= 184
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5663 second user time and 6.90095 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 05:17:03
IDJOB=4079146
IDBENCH=72208
IDSOLVER=2542
FILE ID=node107/4079146-1465269423
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 094786b57fd59c0209a788b1354f070c
RANDOM SEED=1401720533

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30464148 kB
Buffers:          106384 kB
Cached:           168096 kB
SwapCached:         1676 kB
Active:          1257420 kB
Inactive:         142068 kB
Active(anon):    1126624 kB
Inactive(anon):      468 kB
Active(file):     130796 kB
Inactive(file):   141600 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             39824 kB
Writeback:             0 kB
AnonPages:       1398484 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             600764 kB
SReclaimable:      43712 kB
SUnreclaim:       557052 kB
KernelStack:        1496 kB
PageTables:         6696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1542572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71712 MiB
End job on node107 at 2016-06-07 05:47:03