Trace number 4103925

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) 327.457 327.517

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUMab83b851ef1a0a843838e278a21b0618
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1440416
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1200128
Optimality of the best value was proved NO
Number of variables3097
Total number of constraints2178
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2178
Minimum length of a constraint60
Maximum length of a constraint63
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2182184958
Number of bits of the biggest sum of numbers32
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-18T10:45:34+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-4103925-1466239533.opb"]
0.00/0.01	c use --random-gen="2138372665 415097540 4167377921 4267744368 3383062481 96835640 156323447 3186521171 1645956750 1809241149 2805014973 1647260102 2580006537 3578154847 3571732778 168858600 4059732394 3602088326 815264805 1671610686 658702755 3193538171 3535870161 1473689844 430617577 1334702096 795570781 1253133584 2330268844 484306097 2060994691 1507129521 2616007521 3202086152 785541533 3992740816 1709252518 46515183 261960102 152637195 3208861530 620092876 3706693201 4171932024 3404554828 3150022232 2938971956 3037083024 510384158 2737971059 3923464666 511319899 3346833392 352068535 1874079567 2845734206 2722953977 3823951086 50671967 389529860 2631686125 3006866875 561474860 361846632 4157095597 2769286169 3297395755 774551335 723508617 704568621 4205026208 1849761919 1123174728 2654011214 1640912628 1584655536 610502511 1638585003 105313527 3679658579 2839860435 2888278179 2071999845 1290997462 750241101 1697922327 700468423 1496765089 1054031482 2587384184 720465888 2858721730 3000601027 3490890024 3711614012 2539470550 898246437 1335915250 2132369313 2087835399 2384837843 3020608773 1029537839 2523656944 2377439763 1088416592 296714521 2591818383 432619785 4036511339 3163254917 3522516105 1345562267 3437198821 792199120 3168718392 2176451830 3136635511 4002696690 2586430877 3556429916 3826567346 1366662812 2604783488 3093445192 790500217 4043936922 503681949 2599232098 1831264563 3123484352 1852371723 262211232 1752281984 179204078 653674929 921496718 4228522757 4272637095 1079618344 3700725402 3833118679 3635245651 224350147 838234821 3783985383 1614272774 1175002339 1577303608 4161913831 1888804672 1713578734 2005265458 2520989121 1400096352 547697897 1084199366 3291839969 4052309274 1472740027 1841013204 3622696799 2690005641 336853718 1928099059 4164562201 3170811584 607404802 733102461 2707224536 2205172200 4161625363 230865328 1295857107 3810022497 4036650837 2575981980 3914058263 1981873331 1783936870 2921171637 1658614539 2637956472 3435618574 4207718191 1016141709 2871988591 4205433922 1699762353 3522434224 2401984966 4135656384 3702138599 3806672336 875509483 1841245666 2353779699 2844266220 23503918 439632956 3893490988 291973807 3469635680 844643636 816236952 1120117422 1250926809 4131152295 645714114 626294644 562250696 3645071092 70981137 3782607440 3214690121 711629571 1725697481 97265344 2682848141 1097573213 543254905 1405619115 235690199 761021935 234660604 3333567635 3143507494 2811282875 4167184182 1932701797 420376886 1028849239 2666687507 3570832158 3391199259 3087190075 208559635 4175325305 1044951820 2271536418 3845764383 4063020471 3719247494 4174100877 2884883450 2982306284 3873328456 3839502250 802965658 1981272357 2485688685 1238598461 3039861852 472292006 4075774116 207247602 255 362436" option to reproduce the execution
0.19/0.29	c #vars 3097
0.19/0.29	c #constraints 2178
141.98/142.06	c BCD2: Hardening is enabled.
141.98/142.06	c BCD2: BiasedSearch is enabled.
141.98/142.06	c Solving starts ...
141.98/142.06	c ============================[ Search Statistics ]============================
141.98/142.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
141.98/142.06	c       |         |          |          |    Limit     GC | Var      | Constra 
141.98/142.06	c =============================================================================
141.98/142.06	c  0.0s |       0 |        0 |        0 |     1758      0 |        0 |        0
142.77/142.82	c  0.8s |       0 |    19700 |       94 |     1758      0 |        0 |        0
142.77/142.82	c #cpu_time = 0.736s
142.77/142.82	c #wall_clock_time = 0.738s
142.77/142.82	c #decision = 19700
142.77/142.82	c #random_decision = 94
142.77/142.82	c #conflict = 94
142.77/142.82	c #restart = 0
142.77/142.82	o 1073741823
142.77/142.82	c BCD2: updating upper bound: 1073741823 -> 1073741822
142.77/142.82	c BCD2: 0 <= obj <= 1073741822
142.77/142.82	c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0
142.77/142.82	c BCD2: #sat=1 #unsat=1 bias=1/2
142.77/142.82	c Solving starts ...
142.77/142.82	c ============================[ Search Statistics ]============================
142.77/142.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
142.77/142.82	c       |         |          |          |    Limit     GC | Var      | Constra 
142.77/142.82	c =============================================================================
142.77/142.82	c  0.0s |       0 |        0 |        0 |     1758      0 |        0 |        0
142.77/142.87	c  0.0s |       0 |       11 |        1 |     1758      0 |        0 |        0
142.77/142.87	c #cpu_time = 0.040s
142.77/142.87	c #wall_clock_time = 0.040s
142.77/142.87	c #decision = 11
142.77/142.87	c #random_decision = 0
142.77/142.87	c #conflict = 1
142.77/142.87	c #restart = 0
142.77/142.87	c BCD2: found a new core of size 11: cost of the new core is >=524288
142.77/142.87	c lower bound updated to 524288
142.77/142.87	c BCD2: 524288 <= obj <= 1073741822
142.77/142.87	c BCD2: #cores=1, #unrelaxed=19, #relaxed=11, #hardened=0
142.77/142.87	c BCD2: #sat=1 #unsat=2 bias=2/3
142.77/142.87	c Solving starts ...
142.77/142.87	c ============================[ Search Statistics ]============================
142.77/142.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
142.77/142.87	c       |         |          |          |    Limit     GC | Var      | Constra 
142.77/142.87	c =============================================================================
142.77/142.87	c  0.0s |       0 |        0 |        0 |     1758      0 |        0 |        0
143.67/143.78	c  0.9s |       1 |    19820 |      100 |     1934      0 |        0 |        0
145.56/145.66	c  2.8s |       2 |    59943 |      250 |     2128      0 |        0 |        0
148.36/148.46	c  5.6s |       2 |   124844 |      435 |     2341      0 |        0 |        0
148.36/148.46	c #cpu_time = 5.547s
148.36/148.46	c #wall_clock_time = 5.564s
148.36/148.46	c #decision = 124844
148.36/148.46	c #random_decision = 533
148.36/148.46	c #conflict = 435
148.36/148.46	c #restart = 2
148.36/148.46	o 537395200

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

pid=16359
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.02 2.05 2.07 3/179 16362
/proc/meminfo: memFree=17920104/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 3049 0 0 0 0 0 0 0 20 0 4 0 26003771 831975424 2899 33554432000 4194304 16246674 140736087085856 140736087085280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 203631 2908 441 2943 0 200525 0
[pid=16362/tid=16363] ppid=16359 vsize=836028 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 856092672 2992 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=840124 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 860286976 3008 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26003771 865529856 3025 33554432000 4194304 16246674 140736087085856 139765874674864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 16362
/proc/meminfo: memFree=17920104/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 30150 0 0 0 5 4 0 0 20 0 4 0 26003771 1334382592 29938 33554432000 4194304 16246674 140736087085856 140736087085168 7889302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 325777 29950 801 2943 0 322671 0
[pid=16362/tid=16363] ppid=16359 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1334382592 29961 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1334382592 29972 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1334382592 29982 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1303108

[startup+0.20046 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 16362
/proc/meminfo: memFree=17920104/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 44875 0 0 0 13 6 0 0 20 0 4 0 26003771 1343819776 45174 33554432000 4194304 16246674 140736087085856 140736087085168 7439744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 328081 45174 801 2943 0 324975 0
[pid=16362/tid=16363] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 45174 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 45174 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 45174 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1312324

[startup+0.300477 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 16362
/proc/meminfo: memFree=17920104/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 47745 0 0 0 23 6 0 0 20 0 4 0 26003771 1343819776 48044 33554432000 4194304 16246674 140736087085856 140736087085168 13009032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 328081 48044 821 2943 0 324975 0
[pid=16362/tid=16363] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 48044 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 48044 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 48044 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1312324

[startup+0.700392 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 16362
/proc/meminfo: memFree=17920104/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 139736 0 0 0 52 17 0 0 20 0 4 0 26003771 1343819776 140036 33554432000 4194304 16246674 140736087085856 140736087085168 12449130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 328081 140049 832 2943 0 324975 0
[pid=16362/tid=16363] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 140059 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 140068 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1343819776 140076 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1312324

[startup+1.50034 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 16366
/proc/meminfo: memFree=16985176/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1333828 CPUtime=1.49 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 274023 0 0 0 115 34 0 0 20 0 4 0 26003771 1365839872 274322 33554432000 4194304 16246674 140736087085856 140736087067776 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 333457 274322 834 2943 0 330351 0
[pid=16362/tid=16363] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274322 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274322 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274322 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1333828

[startup+3.10036 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 16366
/proc/meminfo: memFree=16823376/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1333828 CPUtime=3.09 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 274074 0 0 0 275 34 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 140736087067776 12654520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 333457 274373 834 2943 0 330351 0
[pid=16362/tid=16363] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1333828

[startup+6.30038 s]
/proc/loadavg: 2.10 2.07 2.08 3/183 16366
/proc/meminfo: memFree=16823700/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1333828 CPUtime=6.29 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 274074 0 0 0 595 34 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 140736087085032 12654252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 333457 274373 834 2943 0 330351 0
[pid=16362/tid=16363] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1333828

[startup+12.7004 s]
/proc/loadavg: 2.09 2.07 2.08 3/183 16366
/proc/meminfo: memFree=16824324/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1333828 CPUtime=12.69 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 274074 0 0 0 1235 34 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 140736087067776 12657248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 333457 274373 834 2943 0 330351 0
[pid=16362/tid=16363] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1365839872 274373 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1333828

[startup+25.5005 s]
/proc/loadavg: 2.22 2.10 2.08 3/183 16366
/proc/meminfo: memFree=16813432/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1347140 CPUtime=25.49 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 277402 0 0 0 2514 35 0 0 20 0 4 0 26003771 1379471360 277701 33554432000 4194304 16246674 140736087085856 140736087067776 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 336785 277701 834 2943 0 333679 0
[pid=16362/tid=16363] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277701 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277701 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277701 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1347140

[startup+51.1005 s]
/proc/loadavg: 2.14 2.09 2.08 3/183 16367
/proc/meminfo: memFree=16813652/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1347140 CPUtime=51.09 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 277404 0 0 0 5074 35 0 0 20 0 4 0 26003771 1379471360 277703 33554432000 4194304 16246674 140736087085856 140736087067776 12654356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 336785 277703 834 2943 0 333679 0
[pid=16362/tid=16363] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277703 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277703 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1379471360 277703 33554432000 4194304 16246674 140736087085856 139765874674864 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) 1347140

[startup+102.3 s]
/proc/loadavg: 2.22 2.12 2.09 3/183 16417
/proc/meminfo: memFree=23359796/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=1349188 CPUtime=102.28 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 277917 0 0 0 10193 35 0 0 20 0 4 0 26003771 1381568512 278476 33554432000 4194304 16246674 140736087085856 140736087067776 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 337297 278476 834 2943 0 334191 0
[pid=16362/tid=16363] ppid=16359 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 1381568512 278476 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26003771 1381568512 278476 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 1381568512 278476 33554432000 4194304 16246674 140736087085856 139765874674864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1349188

[startup+162.3 s]
/proc/loadavg: 2.21 2.13 2.09 3/183 16418
/proc/meminfo: memFree=14333156/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=4062788 CPUtime=162.26 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 956223 0 0 0 16101 125 0 0 20 0 4 0 26003771 4160294912 956776 33554432000 4194304 16246674 140736087085856 140736087083648 13881113 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 1015697 956776 909 2943 0 1012591 0
[pid=16362/tid=16363] ppid=16359 vsize=4062788 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 4160294912 956776 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=4062788 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26003771 4160294912 956776 33554432000 4194304 16246674 140736087085856 139765885148176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=4062788 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 4160294912 956776 33554432000 4194304 16246674 140736087085856 139765874674864 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) 4062788

[startup+222.308 s]
/proc/loadavg: 2.08 2.10 2.09 3/176 16454
/proc/meminfo: memFree=19401440/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=12319300 CPUtime=222.26 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 3020534 0 0 0 21827 399 0 0 20 0 4 0 26003771 12614963200 3021087 33554432000 4194304 16246674 140736087085856 140736087083712 14007312 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 3079825 3021087 913 2943 0 3076719 0
[pid=16362/tid=16363] ppid=16359 vsize=12319300 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 12614963200 3021087 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=12319300 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26003771 12614963200 3021087 33554432000 4194304 16246674 140736087085856 139765885148176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=12319300 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 12614963200 3021087 33554432000 4194304 16246674 140736087085856 139765874674864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 12319300

[startup+282.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/184 16472
/proc/meminfo: memFree=9853612/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=14556740 CPUtime=282.24 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 3579818 0 0 0 27748 476 0 0 20 0 4 0 26003771 14906101760 3580371 33554432000 4194304 16246674 140736087085856 140736087084952 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 3639185 3580371 913 2943 0 3636079 0
[pid=16362/tid=16363] ppid=16359 vsize=14556740 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 14906101760 3580371 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=14556740 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26003771 14906101760 3580371 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=14556740 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 14906101760 3580371 33554432000 4194304 16246674 140736087085856 139765874674864 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) 14556740



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+326.7 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 16472
/proc/meminfo: memFree=9218828/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=15873604 CPUtime=326.65 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) R 16359 16362 11324 0 -1 4202496 3851785 0 0 0 32149 516 0 0 20 0 4 0 26003771 16254570496 3909570 33554432000 4194304 16246674 140736087085856 140736087085032 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 3968401 3909570 913 2943 0 3965295 0
[pid=16362/tid=16363] ppid=16359 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) S 16359 16362 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26003771 16254570496 3909600 33554432000 4194304 16246674 140736087085856 139765895638256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16364] ppid=16359 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16364/stat : 16364 (toysat) S 16359 16362 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26003771 16254570496 3909607 33554432000 4194304 16246674 140736087085856 139765885148400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16365] ppid=16359 vsize=15873604 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16365/stat : 16365 (toysat) S 16359 16362 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26003771 16254570496 3909614 33554432000 4194304 16246674 140736087085856 139765874674864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 326.65
Current children cumulated vsize (KiB) 15873604

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

[startup+327.2 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 16472
/proc/meminfo: memFree=9218828/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=0 CPUtime=327.14 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) Z 16359 16362 11324 0 -1 4203532 3852348 0 0 0 32149 565 0 0 20 0 2 0 26003771 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 0 0 0 0 0 0 0
[pid=16362/tid=16363] ppid=16359 vsize=0 CPUtime=0.47 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) R 16359 16362 11324 0 -1 4203588 10 0 0 0 0 47 0 0 20 0 2 0 26003771 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) 327.14
Current children cumulated vsize (KiB) 0

[startup+327.4 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 16472
/proc/meminfo: memFree=9218828/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=0 CPUtime=327.34 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) Z 16359 16362 11324 0 -1 4203532 3852348 0 0 0 32149 585 0 0 20 0 2 0 26003771 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 0 0 0 0 0 0 0
[pid=16362/tid=16363] ppid=16359 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) R 16359 16362 11324 0 -1 4203588 10 0 0 0 0 67 0 0 20 0 2 0 26003771 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) 327.34
Current children cumulated vsize (KiB) 0

[startup+327.5 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 16472
/proc/meminfo: memFree=9218828/32872528 swapFree=249320/249320
[pid=16362] ppid=16359 vsize=0 CPUtime=327.44 cores=1,3,5,7
/proc/16362/stat : 16362 (toysat) Z 16359 16362 11324 0 -1 4203532 3852348 0 0 0 32149 595 0 0 20 0 2 0 26003771 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16362/statm: 0 0 0 0 0 0 0
[pid=16362/tid=16363] ppid=16359 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/16362/task/16363/stat : 16363 (toysat) R 16359 16362 11324 0 -1 4203588 10 0 0 0 0 77 0 0 20 0 2 0 26003771 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) 327.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 327.517
CPU time (s): 327.457
CPU user time (s): 321.496
CPU system time (s): 5.96109
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 15873604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.496
system time used= 5.96109
maximum resident set size= 15640532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3852348
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= 66
involuntary context switches= 369

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.815875 second user time and 1.2788 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:45:34
IDJOB=4103925
IDBENCH=2507
IDSOLVER=2542
FILE ID=node103/4103925-1466239533
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103925-1466239533/watcher-4103925-1466239533 -o /tmp/evaluation-result-4103925-1466239533/solver-4103925-1466239533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103925-1466239533.opb

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

MD5SUM BENCH= ab83b851ef1a0a843838e278a21b0618
RANDOM SEED=1015624055

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        17920532 kB
Buffers:          130392 kB
Cached:           142684 kB
SwapCached:         2188 kB
Active:         13754308 kB
Inactive:         184328 kB
Active(anon):   13664112 kB
Inactive(anon):     3672 kB
Active(file):      90196 kB
Inactive(file):   180656 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             18044 kB
Writeback:             4 kB
AnonPages:      13913528 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             602740 kB
SReclaimable:      46724 kB
SUnreclaim:       556016 kB
KernelStack:        1480 kB
PageTables:        31480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14056060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71412 MiB
End job on node103 at 2016-06-18 10:51:01