Trace number 4110696

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) 957.231 957.39

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irabcde.opb
MD5SUM813d7fc1815399c1ab05674abb1c60de
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8557627322
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables95933
Total number of constraints291294
Number of constraints which are clauses291146
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 396175840
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 396175840
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T03:33:18+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-4110696-1466386398.opb"]
0.00/0.01	c use --random-gen="1867792809 625736657 1620973710 4286049544 1026014779 621198363 2347728876 17665972 2800701167 3442133819 3388238705 1161503494 961992029 1214345637 506113282 2742588656 269153309 1254581366 3550933275 3545681942 1555993670 675530374 942905860 1237707087 4269212407 1161402529 1149737465 3062101576 605786118 2969453907 3575136739 3061514133 1354715910 2117712807 2884915328 856934017 2883970456 2987791376 973501613 1898069318 2810003417 3127404616 3067425634 92711383 2620151354 2015963729 3872092773 3875923328 2613492362 218730260 3984698580 3640964060 2532693374 4073100753 2009972543 1380098733 384816115 479382341 3518110081 3744365205 3904680833 3457063762 773412316 719631921 164760298 2434851582 1653522544 3173244408 639983108 2325474554 3534529640 1365844947 1201220623 3054451367 1554883263 310172737 1693853995 566511630 3272796641 3179954569 2625808228 879425841 578593773 3814708039 836488331 480605716 2454218724 2331307929 1998620811 2743010914 2611179758 557251418 1597638825 1552165577 800269217 1374388897 2776543884 2405464147 1391075331 723458708 456607643 3039831263 2603509268 2756392742 4230177237 462592334 1783907430 1376166514 2305931254 1865359260 1580441107 2918690735 3544116180 1528596618 368473064 892564115 3529882474 677646143 1185572364 3860865915 3041534507 3076667396 882117387 386475117 1706397473 1934395594 866643189 1682523696 1304531934 2755058791 1268726626 3800747676 3802087159 1448661931 2235270013 1712108819 1418349582 2546849913 3494049099 3195256229 2098162579 562912387 3112012053 1491505281 2226856798 1922959516 1214991059 3429302609 1762550924 280945118 753638273 2524487471 1517991069 1395072674 3221546398 3295555656 1013292328 43348479 46540365 1573025323 3183872251 3586225485 3220854444 479523983 3550318779 2183801745 2100604414 43741050 2685711276 2871235790 1237507984 3022655554 3216757447 1562855617 1703496164 3011266947 91413356 1803255118 2151286274 1224132059 472487273 1000971411 3372102173 1675149863 1979606615 3647258636 3809133836 3637709344 3691005941 2077460455 1463801762 104854540 3035467195 2580744709 899367969 2004585508 1027693756 2029083107 1436720159 1416118241 2068343764 1293215946 1411395590 237791033 3420745772 2796766634 1249899990 1784900575 794651101 3740024331 133185838 3621082050 1351794403 3914119888 2350074615 3068207397 1101156669 230368626 2785982531 4078361562 2076604213 613895242 2827104159 3064996287 765902323 278539065 193344888 3985962110 3042998576 661654668 1819932182 192208169 3789571356 65500208 3646792446 213839025 2100117065 1639149228 3557194424 3667197452 2105714944 3369034368 2502599844 1298806332 4089036824 3020477805 3079680149 1200665390 3185134312 2684334689 392956601 3483841967 808484971 4073293745 1746558092 2289891497 255 362436" option to reproduce the execution
1.69/1.72	c #vars 95933
1.69/1.72	c #constraints 291294
5.79/5.81	c BCD2: Hardening is enabled.
5.79/5.81	c BCD2: BiasedSearch is enabled.
5.79/5.81	c Solving starts ...
5.79/5.81	c ============================[ Search Statistics ]============================
5.79/5.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.79/5.81	c       |         |          |          |    Limit     GC | Var      | Constra 
5.79/5.81	c =============================================================================
5.79/5.82	c  0.0s |       0 |        0 |        0 |   122537      0 |      314 |        0
6.19/6.26	c  0.4s |       1 |      514 |      100 |   122537      0 |      314 |       82
6.79/6.80	c  1.0s |       1 |     1111 |      101 |   134791      0 |      314 |       82
6.79/6.80	c #cpu_time = 0.908s
6.79/6.80	c #wall_clock_time = 0.908s
6.79/6.80	c #decision = 1111
6.79/6.80	c #random_decision = 1
6.79/6.80	c #conflict = 101
6.79/6.80	c #restart = 1
6.79/6.80	o 178277042864
6.79/6.82	c BCD2: updating upper bound: 240478734879 -> 178277042863

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

pid=2089
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.24 2.14 2.01 3/180 2092
/proc/meminfo: memFree=16679656/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 2919 0 0 0 0 0 0 0 20 0 4 0 40686322 798420992 2769 33554432000 4194304 16246674 140735236749664 140735236749088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 195439 2776 441 2943 0 192333 0
[pid=2092/tid=2093] ppid=2089 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 815198208 2834 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 820441088 2853 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 40686322 824635392 2869 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.24 2.14 2.01 3/180 2092
/proc/meminfo: memFree=16679656/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 28431 0 0 0 5 4 0 0 20 0 4 0 40686322 1249447936 28218 33554432000 4194304 16246674 140735236749664 140735236748976 4207014 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 305041 28218 800 2943 0 301935 0
[pid=2092/tid=2093] ppid=2089 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1249447936 28218 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1249447936 28218 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1249447936 28218 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20053 s]
/proc/loadavg: 2.24 2.14 2.01 3/180 2092
/proc/meminfo: memFree=16679656/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 50983 0 0 0 13 6 0 0 20 0 4 0 40686322 1344868352 51281 33554432000 4194304 16246674 140735236749664 140735236748976 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 328337 51281 801 2943 0 325231 0
[pid=2092/tid=2093] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 51281 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 51281 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 51281 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300507 s]
/proc/loadavg: 2.24 2.14 2.01 3/180 2092
/proc/meminfo: memFree=16679656/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 61494 0 0 0 22 7 0 0 20 0 4 0 40686322 1344868352 61792 33554432000 4194304 16246674 140735236749664 140735236748976 8058509 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 328337 61792 801 2943 0 325231 0
[pid=2092/tid=2093] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 61792 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 61792 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 61792 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700399 s]
/proc/loadavg: 2.24 2.14 2.01 3/180 2092
/proc/meminfo: memFree=16679656/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 65812 0 0 0 61 8 0 0 20 0 4 0 40686322 1344868352 66110 33554432000 4194304 16246674 140735236749664 140735236732656 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 328337 66110 802 2943 0 325231 0
[pid=2092/tid=2093] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 66110 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 66110 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 66110 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.24 2.14 2.01 3/184 2096
/proc/meminfo: memFree=16376680/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 87715 0 0 0 137 12 0 0 20 0 4 0 40686322 1344868352 88013 33554432000 4194304 16246674 140735236749664 140735236732656 14795897 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 328337 88013 802 2943 0 325231 0
[pid=2092/tid=2093] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 88013 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 88013 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1344868352 88013 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.24 2.14 2.01 4/184 2096
/proc/meminfo: memFree=16084164/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 278427 0 0 0 265 44 0 0 20 0 4 0 40686322 1383665664 278725 33554432000 4194304 16246674 140735236749664 140735236731584 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 337809 278725 837 2943 0 334703 0
[pid=2092/tid=2093] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278725 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278725 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278725 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30036 s]
/proc/loadavg: 2.30 2.15 2.02 4/184 2096
/proc/meminfo: memFree=15565372/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 278491 0 0 0 585 44 0 0 20 0 4 0 40686322 1383665664 278789 33554432000 4194304 16246674 140735236749664 140735236731584 5813980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 337809 278789 893 2943 0 334703 0
[pid=2092/tid=2093] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278789 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278789 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1383665664 278789 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.36 2.16 2.02 3/184 2096
/proc/meminfo: memFree=15553056/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=1405508 CPUtime=12.69 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 292071 0 0 0 1224 45 0 0 20 0 4 0 40686322 1439240192 292369 33554432000 4194304 16246674 140735236749664 140735236747456 12449282 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 351377 292369 904 2943 0 348271 0
[pid=2092/tid=2093] ppid=2089 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 1439240192 292369 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 1439240192 292369 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 1439240192 292369 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1405508

[startup+25.5005 s]
/proc/loadavg: 2.36 2.17 2.03 4/184 2096
/proc/meminfo: memFree=14780680/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=2136644 CPUtime=25.49 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 474855 0 0 0 2479 70 0 0 20 0 4 0 40686322 2187923456 475153 33554432000 4194304 16246674 140735236749664 140735236747456 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 534161 475153 904 2943 0 531055 0
[pid=2092/tid=2093] ppid=2089 vsize=2136644 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 2187923456 475153 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=2136644 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 2187923456 475153 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=2136644 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 2187923456 475153 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2136644

[startup+51.1005 s]
/proc/loadavg: 2.24 2.16 2.03 4/184 2096
/proc/meminfo: memFree=13845888/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=3069508 CPUtime=51.08 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 708071 0 0 0 5004 104 0 0 20 0 4 0 40686322 3143176192 708369 33554432000 4194304 16246674 140735236749664 140735236748760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2092/statm: 767377 708369 904 2943 0 764271 0
[pid=2092/tid=2093] ppid=2089 vsize=3069508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 3143176192 708369 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=3069508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 3143176192 708369 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=3069508 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 3143176192 708369 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3069508

[startup+102.3 s]
/proc/loadavg: 2.22 2.16 2.03 3/184 2097
/proc/meminfo: memFree=11947616/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=4962884 CPUtime=102.28 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 1181415 0 0 0 10055 173 0 0 20 0 4 0 40686322 5081993216 1181713 33554432000 4194304 16246674 140735236749664 140735236748880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 1240721 1181713 904 2943 0 1237615 0
[pid=2092/tid=2093] ppid=2089 vsize=4962884 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 5081993216 1181713 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=4962884 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 5081993216 1181713 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=4962884 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 5081993216 1181713 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4962884


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


[startup+582.3 s]
/proc/loadavg: 2.84 2.38 2.16 3/188 2329
/proc/meminfo: memFree=10256492/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=13499972 CPUtime=582.2 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3604210 0 0 0 57674 546 0 0 20 0 4 0 40686322 13823971328 3316249 33554432000 4194304 16246674 140735236749664 140735236748760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3374993 3316249 908 2943 0 3371887 0
[pid=2092/tid=2093] ppid=2089 vsize=13499972 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 13823971328 3316249 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=13499972 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 13823971328 3316249 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=13499972 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 13823971328 3316249 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13499972

[startup+642.3 s]
/proc/loadavg: 2.46 2.36 2.16 4/184 2364
/proc/meminfo: memFree=7305652/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=14091844 CPUtime=642.19 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3752178 0 0 0 63648 571 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 140735236747648 13899725 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3522961 3464217 908 2943 0 3519855 0
[pid=2092/tid=2093] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903183592464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 14091844

[startup+702.3 s]
/proc/loadavg: 2.26 2.32 2.16 3/183 2365
/proc/meminfo: memFree=5194356/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=14091844 CPUtime=702.18 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3752178 0 0 0 69645 573 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 140735236748880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3522961 3464217 908 2943 0 3519855 0
[pid=2092/tid=2093] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=14091844 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 14430048256 3464217 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 14091844

[startup+762.3 s]
/proc/loadavg: 2.21 2.30 2.17 3/183 2366
/proc/meminfo: memFree=3869512/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=14693956 CPUtime=762.18 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3848366 0 0 0 75626 592 0 0 20 0 4 0 40686322 15046610944 3614571 33554432000 4194304 16246674 140735236749664 140735236747584 4226242 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3673489 3614571 908 2943 0 3670383 0
[pid=2092/tid=2093] ppid=2089 vsize=14693956 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 15046610944 3614571 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=14693956 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 15046610944 3614571 33554432000 4194304 16246674 140735236749664 139903183592464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=14693956 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 15046610944 3614571 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 14693956

[startup+822.3 s]
/proc/loadavg: 2.31 2.30 2.18 4/183 2367
/proc/meminfo: memFree=2458220/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=14694980 CPUtime=822.16 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3848796 0 0 0 81622 594 0 0 20 0 4 0 40686322 15047659520 3615001 33554432000 4194304 16246674 140735236749664 140735236748880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3673745 3615001 908 2943 0 3670639 0
[pid=2092/tid=2093] ppid=2089 vsize=14694980 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 15047659520 3615001 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=14694980 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 15047659520 3615001 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=14694980 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 15047659520 3615001 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14694980

[startup+882.307 s]
/proc/loadavg: 2.32 2.31 2.18 3/183 2368
/proc/meminfo: memFree=1785132/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=15389252 CPUtime=882.16 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3965132 0 0 0 87597 619 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 140735236747520 14006562 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3847313 3788569 908 2943 0 3844207 0
[pid=2092/tid=2093] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903183592464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 15389252

[startup+942.3 s]
/proc/loadavg: 2.34 2.31 2.19 3/183 2370
/proc/meminfo: memFree=1623508/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=15389252 CPUtime=942.14 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 3965132 0 0 0 93593 621 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 140735236748760 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3847313 3788569 908 2943 0 3844207 0
[pid=2092/tid=2093] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=15389252 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 15758594048 3788569 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15389252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+956.6 s]
/proc/loadavg: 2.34 2.31 2.19 4/183 2370
/proc/meminfo: memFree=1392584/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=15911492 CPUtime=956.44 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) R 2089 2092 1977 0 -1 4202496 4095445 0 0 0 95002 642 0 0 20 0 4 0 40686322 16293367808 3918882 33554432000 4194304 16246674 140735236749664 140735236748840 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 3977873 3918890 908 2943 0 3974767 0
[pid=2092/tid=2093] ppid=2089 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2093/stat : 2093 (toysat) S 2089 2092 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 40686322 16293367808 3918894 33554432000 4194304 16246674 140735236749664 139903194082544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2092/tid=2094] ppid=2089 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2094/stat : 2094 (toysat) S 2089 2092 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 40686322 16293367808 3918896 33554432000 4194304 16246674 140735236749664 139903183592688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) S 2089 2092 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 40686322 16293367808 3918896 33554432000 4194304 16246674 140735236749664 139903173119152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 956.44
Current children cumulated vsize (KiB) 15911492

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

[startup+956.8 s]
/proc/loadavg: 2.34 2.31 2.19 4/183 2370
/proc/meminfo: memFree=1392584/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=0 CPUtime=956.64 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) Z 2089 2092 1977 0 -1 4203532 4095916 0 0 0 95002 662 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 0 0 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) R 2089 2092 1977 0 -1 4203588 2 0 0 0 0 18 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 956.64
Current children cumulated vsize (KiB) 0

[startup+957.2 s]
/proc/loadavg: 2.34 2.31 2.19 3/181 2370
/proc/meminfo: memFree=9248588/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=0 CPUtime=957.04 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) Z 2089 2092 1977 0 -1 4203532 4095916 0 0 0 95002 702 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 0 0 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) R 2089 2092 1977 0 -1 4203588 2 0 0 0 0 58 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 957.04
Current children cumulated vsize (KiB) 0

[startup+957.3 s]
/proc/loadavg: 2.34 2.31 2.19 3/181 2370
/proc/meminfo: memFree=9248588/32872528 swapFree=1370848/1518016
[pid=2092] ppid=2089 vsize=0 CPUtime=957.14 cores=0,2,4,6
/proc/2092/stat : 2092 (toysat) Z 2089 2092 1977 0 -1 4203532 4095916 0 0 0 95002 712 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2092/statm: 0 0 0 0 0 0 0
[pid=2092/tid=2095] ppid=2089 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/2092/task/2095/stat : 2095 (toysat) R 2089 2092 1977 0 -1 4203588 2 0 0 0 0 68 0 0 20 0 2 0 40686322 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 957.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 957.39
CPU time (s): 957.231
CPU user time (s): 950.023
CPU system time (s): 7.2089
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.023
system time used= 7.2089
maximum resident set size= 15677412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4095916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323
involuntary context switches= 1235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04354 second user time and 4.49532 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 03:33:18
IDJOB=4110696
IDBENCH=108287
IDSOLVER=2542
FILE ID=node129/4110696-1466386398
RUNJOBID= node129-1466385731-1993
PBS_JOBID= 19923266
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-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-4110696-1466386398/watcher-4110696-1466386398 -o /tmp/evaluation-result-4110696-1466386398/solver-4110696-1466386398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466385731-1993 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4110696-1466386398.opb

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

MD5SUM BENCH= 813d7fc1815399c1ab05674abb1c60de
RANDOM SEED=1931612691

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        16679920 kB
Buffers:            1668 kB
Cached:            77752 kB
SwapCached:         7676 kB
Active:         13924360 kB
Inactive:          19616 kB
Active(anon):   13859344 kB
Inactive(anon):     7560 kB
Active(file):      65016 kB
Inactive(file):    12056 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67092344 kB
Dirty:             25264 kB
Writeback:             0 kB
AnonPages:      15375200 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             569052 kB
SReclaimable:      12480 kB
SUnreclaim:       556572 kB
KernelStack:        1472 kB
PageTables:        34260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15519480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71696 MiB
End job on node129 at 2016-06-20 03:49:16