Trace number 4079151

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
9orless/normalized-mono-gac.cudf.paranoid.opb
MD5SUM1ea3f4841cbcc12846a9d6a05204354c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark19.596
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T05:23:43+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-4079151-1465269823.opb"]
0.00/0.01	c use --random-gen="4092231420 3148156093 2530727087 3807336053 737373156 384803371 1951626536 2225152230 2393950460 1444281168 2855236631 3374137152 3438495649 925152304 2067866271 437071703 4177622060 1612888085 420341603 2886623060 2681678572 2300796467 2557886200 3754343400 1913045614 264729026 3541318096 3171289420 4169488537 2706929097 2707692850 3954747196 3022550363 1940456467 3555888750 4090672315 2728749842 1072246489 1812320066 3273046609 1913097541 3078764124 2492028682 2156192976 1366178272 2056623569 2491303791 4205394730 2120402316 1624012019 603398821 2878641606 1731834986 3591395185 3818919386 3501638866 235324571 2921087177 3386316395 373895346 1787858603 2642367262 1349379947 181870440 1102778673 4239644048 1246335843 2385972728 13257609 3755013255 3640557158 757537115 2381154163 343037346 187801810 906243863 547273570 3071542825 4191229469 3490529116 2268984116 940728210 1222973669 3264090420 3063634942 2176835605 2290196637 3912868641 1029174932 1184993000 587474530 1097424805 87361300 2230112575 3567778213 2691717968 2886602079 2769233083 1386970870 728152015 3905859551 2866388756 3494045445 3956954444 186280118 2224393873 3929138958 95050796 3538602726 2625566793 3600626655 4265053363 3867228245 484912757 1974918461 930074693 1541223018 1562499949 3310993410 2219934939 657279198 2047530228 1346316275 3987817842 2653813853 2145519270 1633246918 3258027207 4220498712 554583386 3786655245 4083552266 896622811 2836466987 1672020380 3589962779 2125061347 2085171585 182258730 1636051364 1627591871 2514538082 3959756051 3046533175 3197475849 2454818162 2272897690 877815683 2883775375 754629610 3204187514 1987585418 153976427 597997328 1279277281 606781711 713954491 4043647443 1037980768 3114990599 4266135849 1543372592 3758414911 2189166324 802195086 44972645 597686545 425353032 4019075746 1708684604 110389393 2534256307 945238041 1963182658 2568249417 1743410218 1997250124 1187780287 651226965 2079240512 1762153005 608493115 1974914956 2602237739 3103187397 546367629 2232202349 29031935 4168318703 1710290659 1499397121 832207163 3505487014 2255947805 1866857577 2692384317 617367627 3326264290 3617968007 3827228515 3519550793 1862179359 2170975557 3853156172 2528395789 3710557225 1265469044 118395671 924402932 2207968476 1588645025 165413400 1259208878 2453001513 399161484 3683387384 1358641328 633550152 3874323671 3690330861 1745345885 2310219962 2758784911 1252726529 2447237003 2479145040 4007502284 905420163 2964835543 843199681 3531648814 1781981724 466460592 471724593 1125309579 2708503584 692213339 4098311622 1184472503 4229235154 4080121297 2300215088 1089462555 426002547 513676495 81890268 675023217 3682160577 944185489 3369057715 184119636 3014196118 3715035230 609274215 3823819977 1718951782 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.20/2.25	c BCD2: Hardening is enabled.
2.20/2.25	c BCD2: BiasedSearch is enabled.
2.20/2.25	c Solving starts ...
2.20/2.25	c ============================[ Search Statistics ]============================
2.20/2.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.25	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.25	c =============================================================================
2.20/2.25	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.69/2.75	c  0.5s |       1 |    80357 |      100 |    38664      0 |       52 |      141
4.50/4.57	c  2.3s |       2 |   298226 |      250 |    42531      0 |       52 |      141
7.19/7.28	c  5.0s |       2 |   600233 |      408 |    46785      0 |       52 |      141
7.19/7.28	c #cpu_time = 5.009s
7.19/7.28	c #wall_clock_time = 5.022s
7.19/7.28	c #decision = 600233
7.19/7.28	c #random_decision = 1773
7.19/7.28	c #conflict = 408
7.19/7.28	c #restart = 2
7.19/7.28	o 7064489
145.47/145.55	c BCD2: updating upper bound: 12717493 -> 7064488
284.65/284.79	c BCD2: 0 <= obj <= 7064488
284.65/284.79	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
284.65/284.79	c BCD2: #sat=1 #unsat=1 bias=1/2
284.65/284.79	c Solving starts ...
284.65/284.79	c ============================[ Search Statistics ]============================
284.65/284.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
284.65/284.79	c       |         |          |          |    Limit     GC | Var      | Constra 
284.65/284.79	c =============================================================================
284.65/284.79	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
284.75/284.85	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
284.75/284.85	c #cpu_time = 0.054s
284.75/284.85	c #wall_clock_time = 0.054s
284.75/284.85	c #decision = 382
284.75/284.85	c #random_decision = 0
284.75/284.85	c #conflict = 0
284.75/284.85	c #restart = 0
284.75/284.85	c BCD2: found a new core of size 2: cost of the new core is >=1
284.75/284.85	c lower bound updated to 1
423.62/423.78	c BCD2: 1 <= obj <= 7064488
423.62/423.78	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
423.62/423.78	c BCD2: #sat=1 #unsat=2 bias=2/3
423.62/423.78	c Solving starts ...
423.62/423.78	c ============================[ Search Statistics ]============================
423.62/423.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
423.62/423.78	c       |         |          |          |    Limit     GC | Var      | Constra 
423.62/423.78	c =============================================================================
423.62/423.79	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
423.72/423.85	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
423.72/423.85	c #cpu_time = 0.062s
423.72/423.85	c #wall_clock_time = 0.062s
423.72/423.85	c #decision = 750
423.72/423.85	c #random_decision = 0
423.72/423.85	c #conflict = 0
423.72/423.85	c #restart = 0
423.72/423.85	c BCD2: found a new core of size 2: cost of the new core is >=1
423.72/423.85	c lower bound updated to 2
570.11/570.28	c BCD2: 2 <= obj <= 7064488
570.11/570.28	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
570.11/570.28	c BCD2: #sat=1 #unsat=3 bias=3/4
570.11/570.28	c Solving starts ...
570.11/570.28	c ============================[ Search Statistics ]============================
570.11/570.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
570.11/570.28	c       |         |          |          |    Limit     GC | Var      | Constra 
570.11/570.28	c =============================================================================
570.11/570.28	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
570.21/570.36	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
570.21/570.36	c #cpu_time = 0.071s
570.21/570.36	c #wall_clock_time = 0.071s
570.21/570.36	c #decision = 780
570.21/570.36	c #random_decision = 0
570.21/570.36	c #conflict = 0
570.21/570.36	c #restart = 0
570.21/570.36	c BCD2: found a new core of size 2: cost of the new core is >=1
570.21/570.36	c lower bound updated to 3
715.28/715.43	c BCD2: 3 <= obj <= 7064488
715.28/715.43	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
715.28/715.43	c BCD2: #sat=1 #unsat=4 bias=4/5
715.28/715.43	c Solving starts ...
715.28/715.43	c ============================[ Search Statistics ]============================
715.28/715.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
715.28/715.43	c       |         |          |          |    Limit     GC | Var      | Constra 
715.28/715.43	c =============================================================================
715.28/715.43	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
715.28/715.49	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
715.28/715.49	c #cpu_time = 0.057s
715.28/715.49	c #wall_clock_time = 0.058s
715.28/715.49	c #decision = 827
715.28/715.49	c #random_decision = 0
715.28/715.49	c #conflict = 0
715.28/715.49	c #restart = 0
715.28/715.49	c BCD2: found a new core of size 2: cost of the new core is >=1
715.28/715.49	c lower bound updated to 4
857.25/857.48	c BCD2: 4 <= obj <= 7064488
857.25/857.48	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
857.25/857.48	c BCD2: #sat=1 #unsat=5 bias=5/6
857.25/857.48	c Solving starts ...
857.25/857.48	c ============================[ Search Statistics ]============================
857.25/857.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
857.25/857.48	c       |         |          |          |    Limit     GC | Var      | Constra 
857.25/857.48	c =============================================================================
857.25/857.48	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
857.35/857.54	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
857.35/857.54	c #cpu_time = 0.059s
857.35/857.54	c #wall_clock_time = 0.059s
857.35/857.54	c #decision = 916
857.35/857.54	c #random_decision = 0
857.35/857.54	c #conflict = 0
857.35/857.54	c #restart = 0
857.35/857.54	c BCD2: found a new core of size 1: cost of the new core is >=1
857.35/857.54	c lower bound updated to 5
995.00/995.26	c BCD2: 5 <= obj <= 7064488
995.00/995.26	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
995.00/995.26	c BCD2: #sat=1 #unsat=6 bias=6/7
995.00/995.26	c Solving starts ...
995.00/995.26	c ============================[ Search Statistics ]============================
995.00/995.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
995.00/995.26	c       |         |          |          |    Limit     GC | Var      | Constra 
995.00/995.26	c =============================================================================
995.00/995.26	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
995.10/995.32	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
995.10/995.32	c #cpu_time = 0.061s
995.10/995.32	c #wall_clock_time = 0.061s
995.10/995.32	c #decision = 1047
995.10/995.32	c #random_decision = 0
995.10/995.32	c #conflict = 0
995.10/995.32	c #restart = 0
995.10/995.32	c BCD2: found a new core of size 2: cost of the new core is >=1
995.10/995.32	c lower bound updated to 6
1138.15/1138.42	c BCD2: 6 <= obj <= 7064488
1138.15/1138.42	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1138.15/1138.42	c BCD2: #sat=1 #unsat=7 bias=7/8
1138.15/1138.42	c Solving starts ...
1138.15/1138.42	c ============================[ Search Statistics ]============================
1138.15/1138.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1138.15/1138.42	c       |         |          |          |    Limit     GC | Var      | Constra 
1138.15/1138.42	c =============================================================================
1138.15/1138.42	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1138.15/1138.50	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1138.15/1138.50	c #cpu_time = 0.075s
1138.15/1138.50	c #wall_clock_time = 0.075s
1138.15/1138.50	c #decision = 1201
1138.15/1138.50	c #random_decision = 0
1138.15/1138.50	c #conflict = 0
1138.15/1138.50	c #restart = 0
1138.15/1138.50	c BCD2: found a new core of size 2: cost of the new core is >=1
1138.15/1138.50	c lower bound updated to 7
1272.91/1273.27	c BCD2: 7 <= obj <= 7064488
1272.91/1273.27	c BCD2: #cores=7, #unrelaxed=7240, #relaxed=13, #hardened=0
1272.91/1273.27	c BCD2: #sat=1 #unsat=8 bias=8/9
1272.91/1273.27	c Solving starts ...
1272.91/1273.27	c ============================[ Search Statistics ]============================
1272.91/1273.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1272.91/1273.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1272.91/1273.27	c =============================================================================
1272.91/1273.27	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1273.01/1273.35	c  0.1s |       0 |     2171 |        1 |    46785      0 |       52 |      141
1273.01/1273.35	c #cpu_time = 0.074s
1273.01/1273.35	c #wall_clock_time = 0.074s
1273.01/1273.35	c #decision = 2171
1273.01/1273.35	c #random_decision = 0
1273.01/1273.35	c #conflict = 1
1273.01/1273.35	c #restart = 0
1273.01/1273.35	c BCD2: found a new core of size 2: cost of the new core is >=1
1273.01/1273.35	c lower bound updated to 8
1414.99/1415.34	c BCD2: 8 <= obj <= 7064488
1414.99/1415.34	c BCD2: #cores=8, #unrelaxed=7238, #relaxed=15, #hardened=0
1414.99/1415.34	c BCD2: #sat=1 #unsat=9 bias=9/10
1414.99/1415.34	c Solving starts ...
1414.99/1415.34	c ============================[ Search Statistics ]============================
1414.99/1415.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1414.99/1415.34	c       |         |          |          |    Limit     GC | Var      | Constra 
1414.99/1415.34	c =============================================================================
1414.99/1415.34	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1415.09/1415.41	c  0.1s |       0 |     1257 |        0 |    46785      0 |       52 |      141
1415.09/1415.41	c #cpu_time = 0.060s
1415.09/1415.41	c #wall_clock_time = 0.060s
1415.09/1415.41	c #decision = 1257
1415.09/1415.41	c #random_decision = 0
1415.09/1415.41	c #conflict = 0
1415.09/1415.41	c #restart = 0
1415.09/1415.41	c BCD2: found a new core of size 2: cost of the new core is >=1
1415.09/1415.41	c lower bound updated to 9
1548.97/1549.31	c BCD2: 9 <= obj <= 7064488
1548.97/1549.31	c BCD2: #cores=9, #unrelaxed=7236, #relaxed=17, #hardened=0
1548.97/1549.31	c BCD2: #sat=1 #unsat=10 bias=10/11
1548.97/1549.32	c Solving starts ...
1548.97/1549.32	c ============================[ Search Statistics ]============================
1548.97/1549.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1548.97/1549.32	c       |         |          |          |    Limit     GC | Var      | Constra 
1548.97/1549.32	c =============================================================================
1548.97/1549.32	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1548.97/1549.38	c  0.1s |       0 |     1411 |        0 |    46785      0 |       52 |      141
1548.97/1549.38	c #cpu_time = 0.062s
1548.97/1549.38	c #wall_clock_time = 0.063s
1548.97/1549.38	c #decision = 1411
1548.97/1549.38	c #random_decision = 0
1548.97/1549.38	c #conflict = 0
1548.97/1549.38	c #restart = 0
1548.97/1549.38	c BCD2: found a new core of size 2: cost of the new core is >=1
1548.97/1549.38	c lower bound updated to 10
1676.75/1677.18	c BCD2: 10 <= obj <= 7064488
1676.75/1677.18	c BCD2: #cores=10, #unrelaxed=7234, #relaxed=19, #hardened=0
1676.75/1677.18	c BCD2: #sat=1 #unsat=11 bias=11/12
1676.75/1677.18	c Solving starts ...
1676.75/1677.18	c ============================[ Search Statistics ]============================
1676.75/1677.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1676.75/1677.18	c       |         |          |          |    Limit     GC | Var      | Constra 
1676.75/1677.18	c =============================================================================
1676.75/1677.18	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1676.85/1677.25	c  0.1s |       0 |     1481 |        0 |    46785      0 |       52 |      141
1676.85/1677.25	c #cpu_time = 0.063s
1676.85/1677.25	c #wall_clock_time = 0.063s
1676.85/1677.25	c #decision = 1481
1676.85/1677.25	c #random_decision = 0
1676.85/1677.25	c #conflict = 0
1676.85/1677.25	c #restart = 0
1676.85/1677.25	c BCD2: found a new core of size 2: cost of the new core is >=1
1676.85/1677.25	c lower bound updated to 11

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

pid=11193
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 2.25 2.19 3/179 11196
/proc/meminfo: memFree=29045304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 108915620 743895040 3579 33554432000 4194304 16246674 140736274736064 140736274735488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 182127 3589 441 2943 0 179021 0
[pid=11196/tid=11197] ppid=11193 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 761720832 3650 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 765915136 3666 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 771158016 3686 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.24 2.25 2.19 3/179 11196
/proc/meminfo: memFree=29045304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 29096 0 0 0 5 4 0 0 20 0 4 0 108915620 1333334016 29905 33554432000 4194304 16246674 140736274736064 140736274735376 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 325521 29923 800 2943 0 322415 0
[pid=11196/tid=11197] ppid=11193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1333334016 29935 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1333334016 29945 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1333334016 29956 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200553 s]
/proc/loadavg: 2.24 2.25 2.19 3/179 11196
/proc/meminfo: memFree=29045304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 48575 0 0 0 12 7 0 0 20 0 4 0 108915620 1344868352 49895 33554432000 4194304 16246674 140736274736064 140736274735376 7374324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 328337 49895 800 2943 0 325231 0
[pid=11196/tid=11197] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 49895 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 49895 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 49895 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300523 s]
/proc/loadavg: 2.24 2.25 2.19 3/179 11196
/proc/meminfo: memFree=29045304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 63290 0 0 0 20 9 0 0 20 0 4 0 108915620 1344868352 64610 33554432000 4194304 16246674 140736274736064 140736274735376 7376592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 328337 64610 800 2943 0 325231 0
[pid=11196/tid=11197] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 64610 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 64610 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 64610 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700433 s]
/proc/loadavg: 2.24 2.25 2.19 3/179 11196
/proc/meminfo: memFree=29045304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 73133 0 0 0 58 11 0 0 20 0 4 0 108915620 1344868352 74453 33554432000 4194304 16246674 140736274736064 140736274719056 7367588 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 328337 74453 800 2943 0 325231 0
[pid=11196/tid=11197] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 74453 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 74453 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 74453 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 11200
/proc/meminfo: memFree=28589852/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 193074 0 0 0 120 29 0 0 20 0 4 0 108915620 1344868352 194395 33554432000 4194304 16246674 140736274736064 140736274717952 6761361 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 328337 194406 840 2943 0 325231 0
[pid=11196/tid=11197] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 194413 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 194418 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1344868352 194423 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 11200
/proc/meminfo: memFree=27950120/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 276368 0 0 0 268 41 0 0 20 0 4 0 108915620 1389957120 277688 33554432000 4194304 16246674 140736274736064 140736274717952 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 277695 889 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 277698 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 277700 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 277704 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30044 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 11200
/proc/meminfo: memFree=27920092/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280026 0 0 0 587 42 0 0 20 0 4 0 108915620 1389957120 281346 33554432000 4194304 16246674 140736274736064 140736274717952 5669499 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281346 895 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281346 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281346 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281346 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 11200
/proc/meminfo: memFree=27920280/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280034 0 0 0 1227 42 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 140736274717952 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281354 903 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.16 2.22 2.18 4/183 11200
/proc/meminfo: memFree=27920776/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=25.49 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280034 0 0 0 2507 42 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 140736274717952 12449469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281354 903 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.23 2.24 2.19 4/183 11200
/proc/meminfo: memFree=27920368/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=51.09 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280034 0 0 0 5067 42 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 140736274717952 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281354 903 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 11201
/proc/meminfo: memFree=27920340/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=102.29 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280034 0 0 0 10187 42 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 140736274717952 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281354 903 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281354 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1357380


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

/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.29 2.27 2.21 3/183 11231
/proc/meminfo: memFree=27919304/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1302.01 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 130156 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.21 3/183 11232
/proc/meminfo: memFree=27919440/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1362 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 136155 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 13008980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.20 4/183 11233
/proc/meminfo: memFree=27919856/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1422 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 142155 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.33 2.26 2.21 3/183 11235
/proc/meminfo: memFree=27919848/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1481.98 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 148153 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 12656072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.24 2.25 2.21 4/183 11333
/proc/meminfo: memFree=27893248/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1541.98 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 154153 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 13008976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.19 2.24 2.20 4/184 11337
/proc/meminfo: memFree=26920392/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1601.96 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 160151 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 12414010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.49 2.31 2.22 4/183 11338
/proc/meminfo: memFree=26104968/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1661.95 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 166150 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 12656190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.44 2.32 2.23 3/183 11339
/proc/meminfo: memFree=25636256/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1721.94 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 172149 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 4225171 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.36 2.31 2.23 4/183 11341
/proc/meminfo: memFree=25342996/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1781.93 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 178148 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274717952 6955599 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.28 2.30 2.23 3/183 11342
/proc/meminfo: memFree=24792928/32872528 swapFree=15272/1656604
[pid=11196] ppid=11193 vsize=1357380 CPUtime=1800.03 cores=1,3,5,7
/proc/11196/stat : 11196 (toysat) R 11193 11196 9894 0 -1 4202496 280216 0 0 0 179958 45 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 140736274733888 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11196/statm: 339345 281374 919 2943 0 336239 0
[pid=11196/tid=11197] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11197/stat : 11197 (toysat) S 11193 11196 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676925013232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11196/tid=11198] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11198/stat : 11198 (toysat) S 11193 11196 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676914523376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11196/tid=11199] ppid=11193 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11196/task/11199/stat : 11199 (toysat) S 11193 11196 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108915620 1389957120 281374 33554432000 4194304 16246674 140736274736064 139676832754864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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 11196 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.05
CPU user time (s): 1799.59
CPU system time (s): 0.45693
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.45693
maximum resident set size= 1125496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280216
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= 183
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54031 second user time and 6.92095 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 05:23:43
IDJOB=4079151
IDBENCH=72259
IDSOLVER=2542
FILE ID=node136/4079151-1465269823
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-gac.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-4079151-1465269823/watcher-4079151-1465269823 -o /tmp/evaluation-result-4079151-1465269823/solver-4079151-1465269823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079151-1465269823.opb

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

MD5SUM BENCH= 1ea3f4841cbcc12846a9d6a05204354c
RANDOM SEED=80404903

node136.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.959
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.91
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.959
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.959
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.959
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.959
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.959
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.59
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.959
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.959
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:        29045320 kB
Buffers:          104936 kB
Cached:           202156 kB
SwapCached:          812 kB
Active:          1248936 kB
Inactive:         185740 kB
Active(anon):    1128420 kB
Inactive(anon):     1256 kB
Active(file):     120516 kB
Inactive(file):   184484 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19924 kB
Writeback:             0 kB
AnonPages:       2787488 kB
Mapped:            10948 kB
Shmem:                 0 kB
Slab:             600072 kB
SReclaimable:      44024 kB
SUnreclaim:       556048 kB
KernelStack:        1504 kB
PageTables:         9328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1888256 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= 71700 MiB
End job on node136 at 2016-06-07 05:53:44