Trace number 4079110

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? (MO) 422.552 422.63

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__1024.opb
MD5SUM27407827fbebab1f7933182f4b9808e6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5120998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint1024
Maximum length of a constraint41985
Number of terms in the objective function 5120000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 175851328512
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 175851328512
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:56:05+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-4079110-1465268158.opb"]
0.00/0.01	c use --random-gen="4085766990 4206692810 1490029748 2755722852 1724192152 216884017 454864623 2254499852 2116554903 1340194619 3585122613 2321549078 852216490 2789645580 2692804178 3456981924 842015288 3434588713 171730177 1228219670 890955587 1931606496 121521205 1005038575 3568577999 684933823 1227411004 3678569527 898955751 3695427151 2387701966 3262287432 4103440163 2177281816 3969356577 4187540804 3502099283 1038345769 4010095354 1503280763 2612868148 2124567888 3451567803 1251949083 3131160967 839062414 2926175507 385389510 314941911 259131543 3527120050 4103797710 3633968062 3939859698 3021924519 1310083182 1232098391 3038677113 3594672312 3934822445 2761171770 2923789008 202442992 1154916438 3662250741 1941180110 195559842 3637788120 2508712015 1572913280 3620918070 2472840923 3545046592 4049395026 3138026029 2058453335 904117785 473326788 3866302773 843965812 112722254 956404899 4044589548 2540887086 2540666655 2677484668 3300750007 294909075 461468233 2976061511 1225140340 2167130243 3667456938 260448832 3970983050 2410620599 2333322359 3267944215 2501647307 1689685250 3854675573 2983509429 4199626144 1215524555 1211885460 3433130980 3302265925 580938303 4197646595 1008019713 4050587373 4063271900 2484894527 3341341922 1627730082 682663714 1000893670 311244737 756821703 1835644140 1664207388 4280935014 1105460410 3715357974 3026549000 1190210353 3833092267 1022618481 716793809 3180974500 4177864414 1571492474 2803174504 4240025618 2815764344 2627059930 952146060 1074609261 4054937603 3313308864 118047167 3039999963 1214744554 3773202726 2584600322 1894678102 1020126992 233338422 737252631 1544093101 3906477944 844223675 1707206964 1843827159 276695418 4250593518 2386666959 3728083798 517357249 3004055767 2474224045 1414684581 2655639934 2433077725 4182310559 3794555551 4023965453 2061378924 4266988757 3391696455 202302370 3050662360 2559551516 2366440071 798161125 1727037496 84006698 2635665738 3452128381 2021925026 26652574 1369963946 4178769156 463041948 1944142251 4240690673 3828248564 3703282040 4287237100 3953273181 1594637967 3941775880 3878971663 1509718971 3127137498 800561678 911441221 14970912 1090901908 3954523554 1827672081 2918963900 3225804991 2097967699 4109028628 3032617138 1331750367 2255846763 2295975126 1506885028 1909906334 2045469751 2342702062 2384764077 1933082474 687489481 2893332119 1594035573 4147954191 1579113395 234211208 1541671110 2819960725 3355079366 2952414187 683582746 48062375 702961263 109855688 2590207694 1438704518 781074542 1457085609 1232427823 679510007 473634431 434669841 4239658515 3592389168 3490187488 1022623208 2016137965 722556810 2370819259 511714473 1740299245 1289785506 698207667 3446193406 3850785377 1732079578 3539927681 2466643554 4145525321 3125857864 2945441148 255 362436" option to reproduce the execution
38.28/38.36	c #vars 5120998
38.28/38.36	c #constraints 6000
226.05/226.19	c BCD2: Hardening is enabled.
226.05/226.19	c BCD2: BiasedSearch is enabled.
226.05/226.19	c Solving starts ...
226.05/226.19	c ============================[ Search Statistics ]============================
226.05/226.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
226.05/226.19	c       |         |          |          |    Limit     GC | Var      | Constra 
226.05/226.19	c =============================================================================
226.05/226.19	c  0.0s |       0 |        0 |        0 |  1709332      0 |        0 |        0
258.24/258.31	c 32.1s |       0 |     2685 |      100 |  1709332      0 |        0 |        0
261.15/261.20	c 35.0s |       1 |     2685 |      100 |  1709332      0 |        0 |        0
365.53/365.66	c  139s |       1 |    61935 |      200 |  1880266      0 |        0 |        0
415.51/415.69	c  189s |       2 |    61935 |      250 |  1880266      0 |        0 |        0

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

pid=14476
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.25 2.13 2.10 3/179 14479
/proc/meminfo: memFree=27577104/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=809404 CPUtime=0 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3038 0 0 0 0 0 0 0 20 0 4 0 108749946 828829696 2888 33554432000 4194304 16246674 140736663005072 140736663004496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 203119 2896 441 2943 0 200013 0
[pid=14479/tid=14480] ppid=14476 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 847704064 2958 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=831932 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 851898368 2976 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=836028 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108749946 856092672 2990 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.25 2.13 2.10 3/179 14479
/proc/meminfo: memFree=27577104/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 31482 0 0 0 5 4 0 0 20 0 4 0 108749946 1333334016 31271 33554432000 4194304 16246674 140736663005072 140736663004384 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 325521 31286 799 2943 0 322415 0
[pid=14479/tid=14480] ppid=14476 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1333334016 31298 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1333334016 31309 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1333334016 31321 33554432000 4194304 16246674 140736663005072 140576245664944 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.200544 s]
/proc/loadavg: 2.25 2.13 2.10 3/179 14479
/proc/meminfo: memFree=27577104/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1312324 CPUtime=0.18 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 46121 0 0 0 13 5 0 0 20 0 4 0 108749946 1343819776 46420 33554432000 4194304 16246674 140736663005072 140736663004384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 328081 46420 799 2943 0 324975 0
[pid=14479/tid=14480] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46420 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46420 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46420 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300504 s]
/proc/loadavg: 2.25 2.13 2.10 3/179 14479
/proc/meminfo: memFree=27577104/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 46125 0 0 0 23 5 0 0 20 0 4 0 108749946 1343819776 46424 33554432000 4194304 16246674 140736663005072 140736662988064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 328081 46424 799 2943 0 324975 0
[pid=14479/tid=14480] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46424 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46424 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 46424 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700436 s]
/proc/loadavg: 2.25 2.13 2.10 3/179 14479
/proc/meminfo: memFree=27577104/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 57227 0 0 0 61 7 0 0 20 0 4 0 108749946 1343819776 57526 33554432000 4194304 16246674 140736663005072 140736662988064 7440588 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 328081 57526 800 2943 0 324975 0
[pid=14479/tid=14480] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 57526 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 57526 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 57526 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.25 2.13 2.10 3/183 14483
/proc/meminfo: memFree=27299528/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 90412 0 0 0 137 12 0 0 20 0 4 0 108749946 1343819776 90712 33554432000 4194304 16246674 140736663005072 140736662988064 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 328081 90734 800 2943 0 324975 0
[pid=14479/tid=14480] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 90746 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 90757 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1343819776 90768 33554432000 4194304 16246674 140736663005072 140576245664944 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) 1312324

[startup+3.10044 s]
/proc/loadavg: 2.25 2.13 2.10 3/183 14483
/proc/meminfo: memFree=27127708/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 151060 0 0 0 289 20 0 0 20 0 4 0 108749946 1368985600 157491 33554432000 4194304 16246674 140736663005072 140736663002880 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 334225 157501 800 2943 0 331119 0
[pid=14479/tid=14480] ppid=14476 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1368985600 157506 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1368985600 157511 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1368985600 157516 33554432000 4194304 16246674 140736663005072 140576245664944 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) 1336900

[startup+6.30039 s]
/proc/loadavg: 2.23 2.13 2.09 3/183 14483
/proc/meminfo: memFree=26540652/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1386052 CPUtime=6.28 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 268316 0 0 0 587 41 0 0 20 0 4 0 108749946 1419317248 287011 33554432000 4194304 16246674 140736663005072 140736663002880 8058488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 346513 287011 800 2943 0 343407 0
[pid=14479/tid=14480] ppid=14476 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1419317248 287011 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1419317248 287011 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1419317248 287011 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 14483
/proc/meminfo: memFree=25876644/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=1946180 CPUtime=12.68 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 384201 0 0 0 1206 62 0 0 20 0 4 0 108749946 1992888320 426402 33554432000 4194304 16246674 140736663005072 140736663004248 8058893 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 486545 426402 801 2943 0 483439 0
[pid=14479/tid=14480] ppid=14476 vsize=1946180 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 1992888320 426402 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=1946180 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 1992888320 426402 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=1946180 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 1992888320 426402 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1946180

[startup+25.5004 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 14483
/proc/meminfo: memFree=24178048/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=3634756 CPUtime=25.48 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 806349 0 0 0 2421 127 0 0 20 0 4 0 108749946 3721990144 849572 33554432000 4194304 16246674 140736663005072 140736663004384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 908689 849572 803 2943 0 905583 0
[pid=14479/tid=14480] ppid=14476 vsize=3634756 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 3721990144 849572 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=3634756 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 3721990144 849572 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=3634756 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 3721990144 849572 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3634756

[startup+51.1004 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 14483
/proc/meminfo: memFree=19663660/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=8198724 CPUtime=51.07 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 1947162 0 0 0 4786 321 0 0 20 0 4 0 108749946 8395493376 1990385 33554432000 4194304 16246674 140736663005072 140736663003736 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 2049681 1990394 811 2943 0 2046575 0
[pid=14479/tid=14480] ppid=14476 vsize=8198724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 8395493376 1990398 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=8198724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 8395493376 1990403 33554432000 4194304 16246674 140736663005072 140576256138256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=8198724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 8395493376 1990407 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8198724

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 14484
/proc/meminfo: memFree=13562612/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=13318724 CPUtime=102.26 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3227398 0 0 0 9720 506 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140736663003008 14014122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3329681 3270621 847 2943 0 3326575 0
[pid=14479/tid=14480] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576256138256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13318724

[startup+162.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 14486
/proc/meminfo: memFree=13073332/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=13318724 CPUtime=162.26 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3227398 0 0 0 15693 533 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140736663004248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3329681 3270621 847 2943 0 3326575 0
[pid=14479/tid=14480] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=13318724 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 13638373376 3270621 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13318724

[startup+222.3 s]
/proc/loadavg: 2.33 2.17 2.11 3/183 14487
/proc/meminfo: memFree=10476692/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=15500868 CPUtime=222.25 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3717581 0 0 0 21604 621 0 0 20 0 4 0 108749946 15872888832 3815992 33554432000 4194304 16246674 140736663005072 140736663004248 6938680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3875217 3815992 848 2943 0 3872111 0
[pid=14479/tid=14480] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3815992 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3815992 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3815992 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15500868

[startup+282.3 s]
/proc/loadavg: 2.12 2.14 2.10 3/184 14491
/proc/meminfo: memFree=10124268/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=15500868 CPUtime=282.24 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3717629 0 0 0 27584 640 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140736662986944 13780568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3875217 3816040 896 2943 0 3872111 0
[pid=14479/tid=14480] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 15500868

[startup+342.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/184 14515
/proc/meminfo: memFree=10002944/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=15500868 CPUtime=342.24 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3717629 0 0 0 33583 641 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140736662986944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3875217 3816040 896 2943 0 3872111 0
[pid=14479/tid=14480] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=15500868 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 15872888832 3816040 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 15500868

[startup+402.3 s]
/proc/loadavg: 2.05 2.10 2.09 3/183 14516
/proc/meminfo: memFree=9906148/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=15625796 CPUtime=402.22 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3748891 0 0 0 39571 651 0 0 20 0 4 0 108749946 16000815104 3847302 33554432000 4194304 16246674 140736663005072 140736662986944 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3906449 3847302 896 2943 0 3903343 0
[pid=14479/tid=14480] ppid=14476 vsize=15625796 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 16000815104 3847302 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=15625796 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 16000815104 3847302 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=15625796 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 16000815104 3847302 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15625796



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+421.8 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 14517
/proc/meminfo: memFree=9802608/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=15872580 CPUtime=421.72 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) R 14476 14479 12837 0 -1 4202496 3809939 0 0 0 41505 667 0 0 20 0 4 0 108749946 16253521920 3908861 33554432000 4194304 16246674 140736663005072 140736663004248 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 3968145 3908861 896 2943 0 3965039 0
[pid=14479/tid=14480] ppid=14476 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14480/stat : 14480 (toysat) S 14476 14479 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108749946 16253521920 3908861 33554432000 4194304 16246674 140736663005072 140576266628336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) S 14476 14479 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108749946 16253521920 3908861 33554432000 4194304 16246674 140736663005072 140576256138480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14479/tid=14482] ppid=14476 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14479/task/14482/stat : 14482 (toysat) S 14476 14479 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108749946 16253521920 3908861 33554432000 4194304 16246674 140736663005072 140576245664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 421.72
Current children cumulated vsize (KiB) 15872580

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 14479 sig 9
??? kill -14479 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+422.2 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 14517
/proc/meminfo: memFree=9802608/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=0 CPUtime=422.11 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) Z 14476 14479 12837 0 -1 4203532 3810026 0 0 0 41505 706 0 0 20 0 2 0 108749946 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 0 0 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) R 14476 14479 12837 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 108749946 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 422.11
Current children cumulated vsize (KiB) 0

[startup+422.6 s]
/proc/loadavg: 2.04 2.10 2.08 3/181 14517
/proc/meminfo: memFree=24736052/32872528 swapFree=11196/354588
[pid=14479] ppid=14476 vsize=0 CPUtime=422.52 cores=1,3,5,7
/proc/14479/stat : 14479 (toysat) Z 14476 14479 12837 0 -1 4203532 3810026 0 0 0 41505 747 0 0 20 0 2 0 108749946 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14479/statm: 0 0 0 0 0 0 0
[pid=14479/tid=14481] ppid=14476 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/14479/task/14481/stat : 14481 (toysat) R 14476 14479 12837 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 108749946 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 422.52
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 422.63
CPU time (s): 422.552
CPU user time (s): 415.06
CPU system time (s): 7.49186
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 415.06
system time used= 7.49186
maximum resident set size= 15635792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3810026
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= 46
involuntary context switches= 450

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26281 second user time and 2.51662 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 04:56:05
IDJOB=4079110
IDBENCH=71914
IDSOLVER=2542
FILE ID=node126/4079110-1465268158
RUNJOBID= node126-1465253620-12854
PBS_JOBID= 19843265
Free space on /tmp= 71460 MiB

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

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

MD5SUM BENCH= 27407827fbebab1f7933182f4b9808e6
RANDOM SEED=1408212440

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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:        27578276 kB
Buffers:          126568 kB
Cached:           451412 kB
SwapCached:         2220 kB
Active:          3985224 kB
Inactive:         206336 kB
Active(anon):    3613420 kB
Inactive(anon):     2444 kB
Active(file):     371804 kB
Inactive(file):   203892 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:            271860 kB
Writeback:             0 kB
AnonPages:       3969304 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             610480 kB
SReclaimable:      53876 kB
SUnreclaim:       556604 kB
KernelStack:        1464 kB
PageTables:        11980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4111536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 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= 71444 MiB
End job on node126 at 2016-06-07 05:03:08