Trace number 4111296

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) 1033.28 1034.95

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
MD5SUM0eb3335eb3960bc0fa9be1cb53989eb7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19643295490
Best CPU time to get the best result obtained on this benchmark5.01124
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5371
Total number of constraints15589
Number of constraints which are clauses15453
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 496
Biggest coefficient in the objective function 262609375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 84822828124
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 262609375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 84822828124
Number of bits of the biggest sum of numbers37
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-20T07:57: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-4111296-1466402254.opb"]
0.00/0.01	c use --random-gen="4011444918 3177370777 3767523044 218768212 104182849 1813041879 4014733913 3519425564 2663454815 2159910955 2410706302 2889295814 438977107 782581941 895096034 1620369878 4012548821 3027885266 1635574948 1060479836 3128494592 2084624089 2457634340 3318423250 739931444 782772576 3265977144 81711564 2389694126 1029977323 3030203234 3716773570 1560583616 2566195154 1619145691 2109775142 3594731789 3048439192 2580905295 1448108728 2762959956 2105127123 2441021717 2996860598 609717976 3183776766 2234173108 2910250702 776617235 3403388810 2657774227 1040091981 284475206 2591061685 547172233 1474019458 623904414 2291342954 1949543931 2811599670 2362974840 3684889154 1764829828 2578354195 2303590732 1426419777 1289678064 468179373 3924403944 517889710 2770139888 2771222284 2380175848 811701401 3332633505 1905599885 347293909 1492915993 2741665016 2656472630 3652310135 3062257961 3592966432 3441599812 143933047 3504001232 1703394347 636472270 2129099542 4015813167 4049124766 3661818317 3473835880 1021704916 1356070350 988140157 1278939794 3506007515 1993713117 901972795 3720064464 2066881400 681681072 2282834519 1787637721 4021266812 3538927286 645297963 1269984635 1053802861 3557804067 924254435 1725546730 1392994022 3096124931 1947402553 1990181448 3261540814 126960356 2042767958 2480206555 4153691496 2486048979 186616237 755334634 2605507285 1943304755 4020064391 1638457568 3657423556 2255747644 974635186 2895046331 2789126548 1239350126 832115824 27479369 1928368122 1312189127 4036119621 2673238293 1167898384 1378800000 627572590 3003507569 1870791400 59640733 3949955260 3797922120 2325672190 2723358282 927463125 2521334575 2845568761 671721982 2083326197 2550778529 629987218 3741539780 4104930863 2675170019 1487624775 1307183427 872088626 3210009935 3101429686 2976895881 1857440307 1381431918 1603972404 307433512 756552179 2724592507 1800911526 1290910923 1296232984 525664775 1408769601 3553563391 803095392 3627241175 3094289209 2621933788 2195714889 3536110901 4038343890 1084413879 487007601 1090282273 3593091460 3509602554 2667927510 2376585723 2639605525 3007637293 3866277771 3746473542 795936930 4142311660 1770791208 3366724993 2334754231 1217188618 3239968526 2788065799 3066251060 249520280 195318348 39357384 3083790039 2487092818 1207327774 3364570528 2760660354 751957342 1283265760 3395054893 2572161004 4102163818 4015611781 418215433 2142877262 1339005423 3218041956 1938929584 79799768 3590888912 657170492 844736115 1252435923 785899777 971021350 4024299743 1634713734 1501193521 3807288513 2309819014 2524820825 2595160794 1860422421 1857276200 3111181989 1207993699 3462629440 2917787130 2375804117 1190239262 298157688 2002992511 2394280801 1803729057 3621249887 881554165 2796539121 3823590973 3001985924 255 362436" option to reproduce the execution
0.08/0.12	c #vars 5371
0.08/0.12	c #constraints 15589
0.19/0.29	c BCD2: Hardening is enabled.
0.19/0.29	c BCD2: BiasedSearch is enabled.
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.19/0.29	c  0.0s |       0 |        0 |        0 |     6544      0 |      712 |        0
0.29/0.31	c  0.0s |       0 |      261 |        3 |     6544      0 |      712 |      849
0.29/0.31	c #cpu_time = 0.026s
0.29/0.31	c #wall_clock_time = 0.026s
0.29/0.31	c #decision = 261
0.29/0.31	c #random_decision = 1
0.29/0.31	c #conflict = 3
0.29/0.31	c #restart = 0
0.29/0.31	o 56722124375
0.29/0.33	c BCD2: updating upper bound: 84822828124 -> 56722124374

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

pid=1180
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.20 2.28 2.89 3/181 1183
/proc/meminfo: memFree=16131808/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=486844 CPUtime=0 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 1773 0 0 0 0 0 0 0 20 0 4 0 42271856 498528256 2644 33554432000 4194304 16246674 140734071847936 140734071847360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 122479 2652 441 2943 0 119373 0
[pid=1183/tid=1184] ppid=1180 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 772206592 3686 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 776400896 3704 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42271857 780595200 3720 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.20 2.28 2.89 3/181 1183
/proc/meminfo: memFree=16131808/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 27467 0 0 0 5 3 0 0 20 0 4 0 42271856 1333334016 28277 33554432000 4194304 16246674 140734071847936 140734071847248 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 325521 28293 800 2943 0 322415 0
[pid=1183/tid=1184] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 28303 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 28314 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 28325 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200517 s]
/proc/loadavg: 2.20 2.28 2.89 3/181 1183
/proc/meminfo: memFree=16131808/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 45560 0 0 0 13 6 0 0 20 0 4 0 42271856 1333334016 46369 33554432000 4194304 16246674 140734071847936 140734071830928 13789056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 325521 46369 836 2943 0 322415 0
[pid=1183/tid=1184] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 46369 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 46369 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 46369 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300476 s]
/proc/loadavg: 2.20 2.28 2.89 3/181 1183
/proc/meminfo: memFree=16131808/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 55995 0 0 0 21 8 0 0 20 0 4 0 42271856 1333334016 56805 33554432000 4194304 16246674 140734071847936 140734071830928 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 325521 56811 869 2943 0 322415 0
[pid=1183/tid=1184] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 56815 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 56819 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 56824 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700381 s]
/proc/loadavg: 2.20 2.28 2.89 3/181 1183
/proc/meminfo: memFree=16131808/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 159140 0 0 0 47 22 0 0 20 0 4 0 42271856 1333334016 159949 33554432000 4194304 16246674 140734071847936 140734071830928 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 325521 159960 896 2943 0 322415 0
[pid=1183/tid=1184] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 159967 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 159973 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1333334016 159980 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50041 s]
/proc/loadavg: 2.19 2.28 2.89 4/185 1187
/proc/meminfo: memFree=15083336/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1377860 CPUtime=1.49 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 285405 0 0 0 110 39 0 0 20 0 4 0 42271856 1410928640 286214 33554432000 4194304 16246674 140734071847936 140734071847248 12655183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 344465 286214 897 2943 0 341359 0
[pid=1183/tid=1184] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286214 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286214 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286214 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1377860

[startup+3.10041 s]
/proc/loadavg: 2.19 2.28 2.89 4/185 1187
/proc/meminfo: memFree=14987004/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1377860 CPUtime=3.09 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 285658 0 0 0 270 39 0 0 20 0 4 0 42271856 1410928640 286467 33554432000 4194304 16246674 140734071847936 140734071829824 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 344465 286467 897 2943 0 341359 0
[pid=1183/tid=1184] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1377860

[startup+6.30042 s]
/proc/loadavg: 2.19 2.28 2.89 3/185 1187
/proc/meminfo: memFree=14987268/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1377860 CPUtime=6.29 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 285658 0 0 0 590 39 0 0 20 0 4 0 42271856 1410928640 286467 33554432000 4194304 16246674 140734071847936 140734071847248 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 344465 286467 897 2943 0 341359 0
[pid=1183/tid=1184] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1410928640 286467 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1377860

[startup+12.7003 s]
/proc/loadavg: 2.24 2.28 2.88 4/185 1187
/proc/meminfo: memFree=14969220/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=1470020 CPUtime=12.69 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 308649 0 0 0 1227 42 0 0 20 0 4 0 42271856 1505300480 309458 33554432000 4194304 16246674 140734071847936 140734071847112 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 367505 309464 897 2943 0 364399 0
[pid=1183/tid=1184] ppid=1180 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 1505300480 309468 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 1505300480 309473 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 1505300480 309477 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1470020

[startup+25.5005 s]
/proc/loadavg: 2.20 2.27 2.87 3/185 1187
/proc/meminfo: memFree=14300060/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=2064964 CPUtime=25.49 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 457434 0 0 0 2487 62 0 0 20 0 4 0 42271856 2114523136 458243 33554432000 4194304 16246674 140734071847936 140734071845760 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 516241 458243 897 2943 0 513135 0
[pid=1183/tid=1184] ppid=1180 vsize=2064964 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 2114523136 458243 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=2064964 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 2114523136 458243 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=2064964 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 2114523136 458243 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2064964

[startup+51.1005 s]
/proc/loadavg: 2.21 2.27 2.85 3/185 1187
/proc/meminfo: memFree=12438104/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=2869828 CPUtime=51.09 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 658650 0 0 0 5019 90 0 0 20 0 4 0 42271856 2938703872 659459 33554432000 4194304 16246674 140734071847936 140734071847248 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 717457 659459 897 2943 0 714351 0
[pid=1183/tid=1184] ppid=1180 vsize=2869828 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 2938703872 659459 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=2869828 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 2938703872 659459 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=2869828 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 2938703872 659459 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2869828

[startup+102.3 s]
/proc/loadavg: 2.18 2.25 2.81 4/185 1188
/proc/meminfo: memFree=10625032/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=4678212 CPUtime=102.29 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 1110748 0 0 0 10077 152 0 0 20 0 4 0 42271856 4790489088 1111557 33554432000 4194304 16246674 140734071847936 140734071847032 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 1169553 1111557 898 2943 0 1166447 0
[pid=1183/tid=1184] ppid=1180 vsize=4678212 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 4790489088 1111557 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=4678212 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 4790489088 1111557 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=4678212 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 4790489088 1111557 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 4678212


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


[startup+642.3 s]
/proc/loadavg: 2.13 2.17 2.52 3/185 1274
/proc/meminfo: memFree=3274916/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=13822532 CPUtime=642.18 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4368869 0 0 0 63551 667 0 0 20 0 4 0 42271856 14154272768 3397645 33554432000 4194304 16246674 140734071847936 140734071845888 14013805 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 3455633 3397645 902 2943 0 3452527 0
[pid=1183/tid=1184] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 13822532

[startup+702.3 s]
/proc/loadavg: 2.20 2.19 2.50 3/185 1275
/proc/meminfo: memFree=2587740/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=13822532 CPUtime=702.17 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4368869 0 0 0 69547 670 0 0 20 0 4 0 42271856 14154272768 3397645 33554432000 4194304 16246674 140734071847936 140734071845760 4221129 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 3455633 3397645 902 2943 0 3452527 0
[pid=1183/tid=1184] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=13822532 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14154272768 3397645 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 13822532

[startup+762.3 s]
/proc/loadavg: 2.29 2.21 2.48 3/186 1279
/proc/meminfo: memFree=2350804/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=14059076 CPUtime=762.16 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4428005 0 0 0 75534 682 0 0 20 0 4 0 42271856 14396493824 3456781 33554432000 4194304 16246674 140734071847936 140734071845824 4226200 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 3514769 3456781 902 2943 0 3511663 0
[pid=1183/tid=1184] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 14059076

[startup+822.3 s]
/proc/loadavg: 2.31 2.23 2.47 4/185 1281
/proc/meminfo: memFree=910052/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=14059076 CPUtime=822.15 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4428006 0 0 0 81531 684 0 0 20 0 4 0 42271856 14396493824 3456781 33554432000 4194304 16246674 140734071847936 140734071845888 14016700 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 3514769 3456781 902 2943 0 3511663 0
[pid=1183/tid=1184] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=14059076 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14396493824 3456781 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 14059076

[startup+882.307 s]
/proc/loadavg: 2.31 2.25 2.46 3/185 1282
/proc/meminfo: memFree=368272/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=14599748 CPUtime=882.16 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4509008 0 0 0 87515 701 0 0 20 0 4 0 42271856 14950141952 3591949 33554432000 4194304 16246674 140734071847936 140734071845760 14003234 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1183/statm: 3649937 3591949 902 2943 0 3646831 0
[pid=1183/tid=1184] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 14599748

[startup+942.3 s]
/proc/loadavg: 2.17 2.21 2.43 4/185 1331
/proc/meminfo: memFree=14731652/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=14599748 CPUtime=940.66 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4517322 0 1097 0 93355 711 0 0 20 0 4 0 42271856 14950141952 3591949 33554432000 4194304 16246674 140734071847936 140734071847112 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 3649937 3591949 902 2943 0 3646831 0
[pid=1183/tid=1184] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 940.66
Current children cumulated vsize (KiB) 14599748

[startup+1002.3 s]
/proc/loadavg: 2.21 2.23 2.42 4/185 1332
/proc/meminfo: memFree=13680916/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=14599748 CPUtime=1000.65 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4517322 0 1097 0 99350 715 0 0 20 0 4 0 42271856 14950141952 3591949 33554432000 4194304 16246674 140734071847936 140734071845888 14013908 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 3649937 3591949 902 2943 0 3646831 0
[pid=1183/tid=1184] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951509318672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=14599748 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 14950141952 3591949 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1000.65
Current children cumulated vsize (KiB) 14599748



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1034 s]
/proc/loadavg: 2.18 2.22 2.41 3/185 1332
/proc/meminfo: memFree=12003644/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=15883844 CPUtime=1032.35 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) R 1180 1183 26903 0 -1 4202496 4838185 0 1097 0 102472 763 0 0 20 0 4 0 42271856 16265056256 3912812 33554432000 4194304 16246674 140734071847936 140734071847032 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 3970961 3912815 902 2943 0 3967855 0
[pid=1183/tid=1184] ppid=1180 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) S 1180 1183 26903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42271857 16266104832 3913048 33554432000 4194304 16246674 140734071847936 139951595302128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1183/tid=1185] ppid=1180 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1185/stat : 1185 (toysat) S 1180 1183 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 42271857 16266104832 3913054 33554432000 4194304 16246674 140734071847936 139951509318896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1183/tid=1186] ppid=1180 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/1183/task/1186/stat : 1186 (toysat) S 1180 1183 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42271857 16266104832 3913060 33554432000 4194304 16246674 140734071847936 139951498845360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1032.35
Current children cumulated vsize (KiB) 15883844

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

[startup+1034.4 s]
/proc/loadavg: 2.18 2.22 2.41 3/185 1332
/proc/meminfo: memFree=12003644/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=0 CPUtime=1032.72 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) Z 1180 1183 26903 0 -1 4203532 4839007 0 1097 0 102472 800 0 0 20 0 2 0 42271856 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 0 0 0 0 0 0 0
[pid=1183/tid=1184] ppid=1180 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) R 1180 1183 26903 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 42271857 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1032.72
Current children cumulated vsize (KiB) 0

[startup+1034.8 s]
/proc/loadavg: 2.18 2.22 2.41 3/185 1332
/proc/meminfo: memFree=12003644/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=0 CPUtime=1033.12 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) Z 1180 1183 26903 0 -1 4203532 4839007 0 1097 0 102472 840 0 0 20 0 2 0 42271856 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 0 0 0 0 0 0 0
[pid=1183/tid=1184] ppid=1180 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) R 1180 1183 26903 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 42271857 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1033.12
Current children cumulated vsize (KiB) 0

[startup+1034.9 s]
/proc/loadavg: 2.18 2.22 2.41 3/185 1332
/proc/meminfo: memFree=12003644/32872528 swapFree=1482636/1662508
[pid=1183] ppid=1180 vsize=0 CPUtime=1033.22 cores=0,2,4,6
/proc/1183/stat : 1183 (toysat) Z 1180 1183 26903 0 -1 4203532 4839007 0 1097 0 102472 850 0 0 20 0 2 0 42271856 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 147 0 0
/proc/1183/statm: 0 0 0 0 0 0 0
[pid=1183/tid=1184] ppid=1180 vsize=0 CPUtime=0.87 cores=0,2,4,6
/proc/1183/task/1184/stat : 1184 (toysat) R 1180 1183 26903 0 -1 4203588 8 0 0 0 0 87 0 0 20 0 2 0 42271857 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1033.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1034.95
CPU time (s): 1033.28
CPU user time (s): 1024.73
CPU system time (s): 8.5497
CPU usage (%): 99.8389
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1024.73
system time used= 8.5497
maximum resident set size= 15654536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4839007
page faults= 1097
swaps= 0
block input operations= 69880
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1451
involuntary context switches= 1052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6376 second user time and 3.9534 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-20 07:57:34
IDJOB=4111296
IDBENCH=109099
IDSOLVER=2542
FILE ID=node134/4111296-1466402254
RUNJOBID= node134-1466401273-1079
PBS_JOBID= 19923272
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111296-1466402254/watcher-4111296-1466402254 -o /tmp/evaluation-result-4111296-1466402254/solver-4111296-1466402254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466401273-1079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111296-1466402254.opb

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

MD5SUM BENCH= 0eb3335eb3960bc0fa9be1cb53989eb7
RANDOM SEED=1993438023

node134.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.020
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.04
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.020
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	: 7358.89
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.020
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.020
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.020
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.020
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.54
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.020
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.020
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:        16131700 kB
Buffers:           77980 kB
Cached:           214632 kB
SwapCached:        17424 kB
Active:         14094068 kB
Inactive:         212456 kB
Active(anon):   13996408 kB
Inactive(anon):    20260 kB
Active(file):      97660 kB
Inactive(file):   192196 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67083572 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:      15698736 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             608908 kB
SReclaimable:      52836 kB
SUnreclaim:       556072 kB
KernelStack:        1536 kB
PageTables:        34908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15801100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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= 71688 MiB
End job on node134 at 2016-06-20 08:14:49