Trace number 4079206

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) 837.487 837.657

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-ivu06-big.opb
MD5SUM3085a2bda178410828dcd956a716c89f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4815396877710000015
Best CPU time to get the best result obtained on this benchmark1801.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2277736
Total number of constraints1177
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1177
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint704
Maximum length of a constraint152997
Number of terms in the objective function 2277736
Biggest coefficient in the objective function 80000000000000000
Number of bits for the biggest coefficient in the objective function 57
Sum of the numbers in the objective function 27910716903658970007421
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 80000000000000000
Number of bits of the biggest number in a constraint 57
Biggest sum of numbers in a constraint 27910716903658970007421
Number of bits of the biggest sum of numbers75
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-07T08:22:55+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-4079206-1465280563.opb"]
0.00/0.01	c use --random-gen="3293605765 391052027 621809855 3337772235 723774025 4038126952 3713184990 1954035973 2859358591 1124108840 3073976658 3774377655 1871607551 2264866271 3045785778 222235794 2988665369 2875121184 2196551554 3066925688 571891683 2414195461 2570028630 1568511450 3031840620 4058128401 299999764 1487216570 1955408966 4274511216 3928473783 3859376701 3635242725 2358914843 3667300302 322856487 1477105621 1920139851 1747217659 2896590268 2067506724 3163821720 4061625558 2440153845 2187314012 1813921275 3880551994 1424139079 2803949173 4167133954 3821527512 2331624719 981902179 3410919677 2742021170 592897063 1616911637 439257225 2897077859 1965801931 1932760669 2382400652 1171928582 4101958617 3526395176 1819633721 2030922818 2567362319 2245269370 2403687896 2438876351 1790820286 3812980970 3684764827 447555849 3640409573 1348822816 2790539714 1015827621 1167887229 2544292523 3369430873 1067955967 1801586116 2268315508 3310648309 2675272888 1153130633 3164873079 514329277 3689819061 3201167938 2931408173 2942931115 3947738561 529087539 2632109613 929119098 4104720656 1339335795 1721749940 2292022338 3989826285 1339505091 1634834996 3275663548 2367841495 824894679 619856296 594413699 2838527512 3458225669 3650463905 2983087787 431076443 2185533366 4193506904 3591888092 3925698442 2535413194 4255328013 3815431484 1354632951 2848982408 833700043 588614985 1761972493 673074479 1019566851 399491150 473192146 3853661858 2131697105 371735821 1653620030 1357083248 678713472 1946182174 97603540 3450009554 1109509836 2752940669 1831970143 3539013956 1495124335 2314556450 2268571121 4195802781 1120196705 16021338 703422497 962064443 2466535009 2618382023 2682582400 3628884564 2871293770 3263069203 2119451263 2667470251 3249443334 699655127 1417201129 2711569483 2353237072 168771003 943675849 4236992231 4180219007 4131001797 669780798 3396207560 2235636408 14809673 541879313 1889426047 855688081 4044182055 1323076413 2409892948 2254156577 3304168765 2623156210 889853440 2218137414 1071175511 3573543650 2628111216 1869647462 167208725 2832593028 4058837324 3305022421 2942282009 517056680 2715016595 264029568 1417693327 2679692849 1074953854 2818416687 3406706620 3460186100 445295299 3031709917 2988489836 1526973679 1255492162 1280713871 6271459 3205238485 297673978 1705546141 789145764 3882554779 3456268114 2940544698 3357980371 3907376834 3628977255 2141846685 1077507661 2651652631 324746320 1104307107 2966570899 3853932650 2637026529 4029271559 4160938725 2121146408 1977044482 3773101541 3824051681 1511056916 816054898 2397604553 3581552399 253862723 2713029030 877987131 2119616043 2603776322 980164832 1098030607 3965783810 507611511 2416392705 3381052365 4105232519 636856077 4207187286 1974975877 3559342824 1249609773 2377058948 255 362436" option to reproduce the execution
45.08/45.10	c #vars 2277736
45.08/45.10	c #constraints 1177
526.69/526.81	c BCD2: Hardening is enabled.
526.69/526.81	c BCD2: BiasedSearch is enabled.
526.69/526.83	c Solving starts ...
526.69/526.83	c ============================[ Search Statistics ]============================
526.69/526.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
526.69/526.83	c       |         |          |          |    Limit     GC | Var      | Constra 
526.69/526.83	c =============================================================================
526.69/526.83	c  0.0s |       0 |        0 |        0 |   760030      0 |        0 |        0
546.37/546.50	c 19.7s |       0 |     1145 |        0 |   760030      0 |        0 |        0
546.37/546.50	c #cpu_time = 18.454s
546.37/546.50	c #wall_clock_time = 18.467s
546.37/546.50	c #decision = 1145
546.37/546.50	c #random_decision = 2
546.37/546.50	c #conflict = 0
546.37/546.50	c #restart = 0
546.37/546.56	o 91400403332700000000

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

pid=9086
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.12 2.11 2.09 3/179 9089
/proc/meminfo: memFree=30033648/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 2682 0 0 0 0 0 0 0 20 0 4 0 109992208 736555008 3553 33554432000 4194304 16246674 140737109319552 140737109318976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 180591 3563 441 2943 0 177485 0
[pid=9089/tid=9090] ppid=9086 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 755429376 3625 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 760672256 3644 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 764866560 3661 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 9089
/proc/meminfo: memFree=30033648/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1308228 CPUtime=0.09 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 31276 0 0 0 5 4 0 0 20 0 4 0 109992208 1339625472 32596 33554432000 4194304 16246674 140737109319552 140737109318864 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 327057 32600 799 2943 0 323951 0
[pid=9089/tid=9090] ppid=9086 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1339625472 32602 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1339625472 32605 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1339625472 32608 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1308228

[startup+0.200604 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 9089
/proc/meminfo: memFree=30033648/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 36452 0 0 0 15 4 0 0 20 0 4 0 109992208 1342771200 37772 33554432000 4194304 16246674 140737109319552 140737109318864 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 327825 37772 799 2943 0 324719 0
[pid=9089/tid=9090] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 37772 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 37772 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 37772 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300524 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 9089
/proc/meminfo: memFree=30033648/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 36688 0 0 0 25 4 0 0 20 0 4 0 109992208 1342771200 38008 33554432000 4194304 16246674 140737109319552 140737109318864 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 327825 38008 799 2943 0 324719 0
[pid=9089/tid=9090] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 38008 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 38008 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1342771200 38008 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700467 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 9089
/proc/meminfo: memFree=30033648/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 46247 0 0 0 63 6 0 0 20 0 4 0 109992208 1356402688 49611 33554432000 4194304 16246674 140737109319552 140737109302544 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 331153 49611 800 2943 0 328047 0
[pid=9089/tid=9090] ppid=9086 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1356402688 49611 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1356402688 49611 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1356402688 49611 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.50045 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 9093
/proc/meminfo: memFree=29762676/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1349188 CPUtime=1.49 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 63785 0 0 0 140 9 0 0 20 0 4 0 109992208 1381568512 72259 33554432000 4194304 16246674 140737109319552 140737109302544 8056986 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 337297 72259 800 2943 0 334191 0
[pid=9089/tid=9090] ppid=9086 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1381568512 72259 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1381568512 72259 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1381568512 72259 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1349188

[startup+3.10045 s]
/proc/loadavg: 2.12 2.11 2.09 4/183 9093
/proc/meminfo: memFree=29604428/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1398340 CPUtime=3.09 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 113524 0 0 0 292 17 0 0 20 0 4 0 109992208 1431900160 131707 33554432000 4194304 16246674 140737109319552 140737109317376 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 349585 131707 800 2943 0 346479 0
[pid=9089/tid=9090] ppid=9086 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1431900160 131707 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1431900160 131707 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1431900160 131707 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1398340

[startup+6.30045 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 9093
/proc/meminfo: memFree=29163272/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1496644 CPUtime=6.29 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 181871 0 0 0 599 30 0 0 20 0 4 0 109992208 1532563456 219472 33554432000 4194304 16246674 140737109319552 140737109302544 8058808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 374161 219472 801 2943 0 371055 0
[pid=9089/tid=9090] ppid=9086 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1532563456 219472 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1532563456 219472 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1532563456 219472 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1496644

[startup+12.7005 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 9093
/proc/meminfo: memFree=28589928/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=1769028 CPUtime=12.69 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 289535 0 0 0 1220 49 0 0 20 0 4 0 109992208 1811484672 362395 33554432000 4194304 16246674 140737109319552 140737109318648 8058235 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 442257 362395 802 2943 0 439151 0
[pid=9089/tid=9090] ppid=9086 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 1811484672 362395 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 1811484672 362395 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=1769028 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 1811484672 362395 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1769028

[startup+25.5074 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 9093
/proc/meminfo: memFree=26647516/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=3627588 CPUtime=25.49 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 753957 0 0 0 2349 200 0 0 20 0 4 0 109992208 3714650112 846235 33554432000 4194304 16246674 140737109319552 140737109318864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 906897 846235 803 2943 0 903791 0
[pid=9089/tid=9090] ppid=9086 vsize=3627588 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 3714650112 846235 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=3627588 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 3714650112 846235 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=3627588 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 3714650112 846235 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3627588

[startup+51.1004 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 9094
/proc/meminfo: memFree=24338772/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=6113860 CPUtime=51.08 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 1375575 0 0 0 4638 470 0 0 20 0 4 0 109992208 6260592640 1470408 33554432000 4194304 16246674 140737109319552 140737109318216 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 1528721 1470417 840 2943 0 1525615 0
[pid=9089/tid=9090] ppid=9086 vsize=6114884 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 6261641216 1470421 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=6114884 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 6261641216 1470424 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=6114884 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 6261641216 1470429 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6113860

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 9094
/proc/meminfo: memFree=17953420/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=12293700 CPUtime=102.28 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 2920541 0 0 0 9542 686 0 0 20 0 4 0 109992208 12588748800 3015374 33554432000 4194304 16246674 140737109319552 140737109317376 4220807 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 3073425 3015374 840 2943 0 3070319 0
[pid=9089/tid=9090] ppid=9086 vsize=12293700 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 12588748800 3015374 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=12293700 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 12588748800 3015374 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=12293700 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 12588748800 3015374 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12293700


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


[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/184 9104
/proc/meminfo: memFree=16303884/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=13944388 CPUtime=462.21 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3235216 0 0 0 45214 1007 0 0 20 0 4 0 109992208 14279053312 3426631 33554432000 4194304 16246674 140737109319552 140737109318864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 3486097 3426631 845 2943 0 3482991 0
[pid=9089/tid=9090] ppid=9086 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 14279053312 3426631 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 14279053312 3426631 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=13944388 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 14279053312 3426631 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13944388

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/183 9105
/proc/meminfo: memFree=15889172/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=14661188 CPUtime=522.2 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3364685 0 0 0 51170 1050 0 0 20 0 4 0 109992208 15013056512 3606687 33554432000 4194304 16246674 140737109319552 140737109318648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9089/statm: 3665297 3606687 845 2943 0 3662191 0
[pid=9089/tid=9090] ppid=9086 vsize=14661188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15013056512 3606687 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=14661188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15013056512 3606687 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=14661188 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15013056512 3606687 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14661188

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/183 9106
/proc/meminfo: memFree=15154472/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15427140 CPUtime=582.17 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3504686 0 6 0 57129 1088 0 0 20 0 4 0 109992208 15797391360 3798302 33554432000 4194304 16246674 140737109319552 140737109317504 14013573 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3856785 3798302 891 2943 0 3853679 0
[pid=9089/tid=9090] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798302 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798302 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798302 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 15427140

[startup+642.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 9108
/proc/meminfo: memFree=15153776/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15427140 CPUtime=642.15 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3504931 0 6 0 63073 1142 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 140737109317504 14016589 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3856785 3798545 891 2943 0 3853679 0
[pid=9089/tid=9090] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 15427140

[startup+702.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 9109
/proc/meminfo: memFree=15153808/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15427140 CPUtime=702.14 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3504932 0 6 0 69007 1207 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 140737109317504 14013920 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3856785 3798545 891 2943 0 3853679 0
[pid=9089/tid=9090] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 15427140

[startup+762.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/183 9110
/proc/meminfo: memFree=15153460/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15427140 CPUtime=762.13 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3504933 0 6 0 74932 1281 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 140737109317504 4220501 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3856785 3798545 891 2943 0 3853679 0
[pid=9089/tid=9090] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928342076432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 15427140

[startup+822.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/183 9111
/proc/meminfo: memFree=15152004/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15427140 CPUtime=822.13 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3504933 0 6 0 80869 1344 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 140737109318728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3856785 3798545 891 2943 0 3853679 0
[pid=9089/tid=9090] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15427140 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 15797391360 3798545 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 15427140



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+836.9 s]
/proc/loadavg: 2.15 2.08 2.06 3/183 9112
/proc/meminfo: memFree=14838736/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=15875652 CPUtime=836.72 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) R 9086 9089 5566 0 -1 4202496 3617056 0 6 0 82276 1396 0 0 20 0 4 0 109992208 16256667648 3910667 33554432000 4194304 16246674 140737109319552 140737109318648 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 3968913 3910668 891 2943 0 3965807 0
[pid=9089/tid=9090] ppid=9086 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9090/stat : 9090 (toysat) S 9086 9089 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109992208 16256667648 3910668 33554432000 4194304 16246674 140737109319552 139928352566512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) S 9086 9089 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109992208 16256667648 3910668 33554432000 4194304 16246674 140737109319552 139928342076656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9089/tid=9092] ppid=9086 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/9089/task/9092/stat : 9092 (toysat) S 9086 9089 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109992208 16256667648 3910668 33554432000 4194304 16246674 140737109319552 139928222559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 836.72
Current children cumulated vsize (KiB) 15875652

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

[startup+837.307 s]
/proc/loadavg: 2.15 2.08 2.06 3/181 9112
/proc/meminfo: memFree=21167088/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=0 CPUtime=837.13 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) Z 9086 9089 5566 0 -1 4203532 3617241 0 6 0 82277 1436 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 0 0 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) R 9086 9089 5566 0 -1 4203588 8 0 0 0 0 39 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 837.13
Current children cumulated vsize (KiB) 0

[startup+837.5 s]
/proc/loadavg: 2.15 2.08 2.06 3/181 9112
/proc/meminfo: memFree=21167088/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=0 CPUtime=837.32 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) Z 9086 9089 5566 0 -1 4203532 3617241 0 6 0 82277 1455 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 0 0 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) R 9086 9089 5566 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 837.32
Current children cumulated vsize (KiB) 0

[startup+837.6 s]
/proc/loadavg: 2.15 2.08 2.06 3/181 9112
/proc/meminfo: memFree=21167088/32872528 swapFree=12744/274376
[pid=9089] ppid=9086 vsize=0 CPUtime=837.42 cores=1,3,5,7
/proc/9089/stat : 9089 (toysat) Z 9086 9089 5566 0 -1 4203532 3617241 0 6 0 82277 1465 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 3 0 0
/proc/9089/statm: 0 0 0 0 0 0 0
[pid=9089/tid=9091] ppid=9086 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/9089/task/9091/stat : 9091 (toysat) R 9086 9089 5566 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 109992208 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 837.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 837.657
CPU time (s): 837.487
CPU user time (s): 822.771
CPU system time (s): 14.7158
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 822.771
system time used= 14.7158
maximum resident set size= 15643408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3617241
page faults= 6
swaps= 0
block input operations= 800
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12507 second user time and 7.39987 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 08:22:55
IDJOB=4079206
IDBENCH=89900
IDSOLVER=2542
FILE ID=node107/4079206-1465280563
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71408 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ivu06-big.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079206-1465280563/watcher-4079206-1465280563 -o /tmp/evaluation-result-4079206-1465280563/solver-4079206-1465280563 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079206-1465280563.opb

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

MD5SUM BENCH= 3085a2bda178410828dcd956a716c89f
RANDOM SEED=790748292

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30034292 kB
Buffers:          113448 kB
Cached:           559868 kB
SwapCached:         1664 kB
Active:          1580724 kB
Inactive:         235832 kB
Active(anon):    1142652 kB
Inactive(anon):     2864 kB
Active(file):     438072 kB
Inactive(file):   232968 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:            336880 kB
Writeback:             0 kB
AnonPages:       1417180 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             613280 kB
SReclaimable:      56316 kB
SUnreclaim:       556964 kB
KernelStack:        1448 kB
PageTables:         6836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1559344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 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= 71392 MiB
End job on node107 at 2016-06-07 08:36:52