Trace number 4079041

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) 1392.25 1392.52

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc06.opb
MD5SUM0662414c0fee45075e37f5c5e2481506
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51018
Total number of constraints820
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints820
Minimum length of a constraint30
Maximum length of a constraint13471
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 211324891222433894400
Number of bits of the biggest number in a constraint 68
Biggest sum of numbers in a constraint 23205541583449342163452
Number of bits of the biggest sum of numbers75
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T20:38:49+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-4079041-1465238329.opb"]
0.00/0.01	c use --random-gen="3756505822 2810815170 3261927344 1827510935 3781967177 2103577324 2332798776 1594130790 1865500275 3535140787 2082680845 1780207056 2386987059 2736020054 3571887241 937127219 3456064389 2426488293 1950010474 2621901312 1005378220 1295216886 1210286714 1860665178 602696747 278292945 2624072270 3603611963 2185534351 986015050 1264659387 3854970650 997373697 1872095907 1709711988 2501341514 3929479327 2253563563 1691663814 593039127 1720581553 1524792157 2877486207 3545953733 3152007601 3804679987 1798646377 2883581844 171820220 1583536139 3255060311 109704554 4100239058 3516530189 3587890954 2695735687 3793827477 1121315397 2507473819 1040867735 3448652713 3301568612 71965494 3419798061 2726807783 77396340 645564563 72277934 1111791959 476526470 675466099 3979102032 560776806 1047457267 1560113372 3954314793 418610033 2106481339 3383599309 627799889 944814054 2241082350 247343088 2885162313 1308280351 476440724 645175458 952692828 1943576916 29910091 1870404627 2695804955 1746221034 2301871468 4251803973 358185759 2666454616 933101503 4284502690 755832164 2356582141 2220159851 1330156851 970034317 2643829182 1621682316 415045817 235224289 906987951 3641633808 1015765874 2354099062 289917067 2662445265 2457303358 1190983231 3128175418 3762409215 115597273 1892211492 4044568803 601799843 307905409 226956202 2536462791 3714226239 2691557132 1308248745 3033778559 741112231 1482104277 3780540976 1600037897 1584527864 2657246981 1283304651 906058176 3859842891 561688229 2366178315 3360314352 1343506905 374349097 2853550949 2290236994 487533518 1639262953 2446839763 847826756 1846679314 3215846774 2308735970 2749286879 1412823176 129542829 589436222 2246919491 2767545503 2420569527 3943979597 2285508856 1719426979 3056782132 2731649470 1791941082 2350006615 1063784759 437286492 1044161640 1179280154 2429906820 2571669501 272331193 645955210 1997951484 2358515547 3022975903 3305142339 1771587747 2663551785 1440765512 1967583749 343068323 1054501343 4290122994 2707549 677128275 1910969165 1834251883 1709589548 2535536397 1887621552 2399135726 166480515 2101074218 2845835894 470720678 398301202 1836003128 2810031964 2953634455 549780711 4157089123 319582527 1426981791 2552434027 1614988426 3119339101 1644812426 882257005 2185091908 1103479360 4097264394 1296198292 1188708136 3574246689 2307663570 1910240133 1391143102 353942423 333028359 711274615 688632853 3201796640 24145947 308981923 817642670 714471004 907405450 1852220161 3197737171 1183776691 1112185036 3172946181 3407841778 2599067853 1378083080 2256105491 3072896411 3594112899 1956769743 1544381953 1536974793 2491232084 2678411982 3211026982 1999958643 4259991595 1492618505 3178981953 1541730721 3890844637 1777144432 4943619 3366862519 3125788887 255 362436" option to reproduce the execution
0.29/0.36	c #vars 51018
0.29/0.36	c #constraints 820

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

pid=16481
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.16 2.15 2.16 4/179 16484
/proc/meminfo: memFree=29306564/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 2470 0 0 0 0 0 0 0 20 0 4 0 105765227 682029056 3342 33554432000 4194304 16246674 140736536800864 140736536800288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 167023 3351 441 2943 0 163917 0
[pid=16484/tid=16485] ppid=16481 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 699854848 3412 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 704049152 3429 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105765227 708243456 3445 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.16 2.15 2.16 4/179 16484
/proc/meminfo: memFree=29306564/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1304132 CPUtime=0.08 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 30407 0 0 0 5 3 0 0 20 0 4 0 105765227 1335431168 31216 33554432000 4194304 16246674 140736536800864 140736536800176 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 326033 31229 801 2943 0 322927 0
[pid=16484/tid=16485] ppid=16481 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1335431168 31239 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1335431168 31251 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1335431168 31262 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132

[startup+0.20045 s]
/proc/loadavg: 2.16 2.15 2.16 4/179 16484
/proc/meminfo: memFree=29306564/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 43455 0 0 0 14 5 0 0 20 0 4 0 105765227 1342771200 44775 33554432000 4194304 16246674 140736536800864 140736536800176 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 327825 44775 802 2943 0 324719 0
[pid=16484/tid=16485] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44775 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44775 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44775 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300428 s]
/proc/loadavg: 2.16 2.15 2.16 4/179 16484
/proc/meminfo: memFree=29306564/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 43464 0 0 0 24 5 0 0 20 0 4 0 105765227 1342771200 44784 33554432000 4194304 16246674 140736536800864 140736536800176 7440359 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 327825 44784 802 2943 0 324719 0
[pid=16484/tid=16485] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44784 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44784 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1342771200 44784 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700341 s]
/proc/loadavg: 2.16 2.15 2.16 4/179 16484
/proc/meminfo: memFree=29306564/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1330756 CPUtime=0.69 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 116648 0 0 0 54 15 0 0 20 0 4 0 105765227 1362694144 117969 33554432000 4194304 16246674 140736536800864 140736536799528 12414100 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 332689 117984 834 2943 0 329583 0
[pid=16484/tid=16485] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 117995 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 118005 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 118016 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1330756

[startup+1.50035 s]
/proc/loadavg: 2.16 2.15 2.16 4/183 16488
/proc/meminfo: memFree=28401008/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1330756 CPUtime=1.49 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 273305 0 0 0 115 34 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 140736536782784 12371230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 332689 274625 834 2943 0 329583 0
[pid=16484/tid=16485] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10035 s]
/proc/loadavg: 2.16 2.15 2.16 4/183 16488
/proc/meminfo: memFree=28208684/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 273305 0 0 0 275 34 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 140736536782784 12654395 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 332689 274625 834 2943 0 329583 0
[pid=16484/tid=16485] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1362694144 274625 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.30039 s]
/proc/loadavg: 2.23 2.16 2.17 4/183 16488
/proc/meminfo: memFree=28202916/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1336900 CPUtime=6.29 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 274841 0 0 0 595 34 0 0 20 0 4 0 105765227 1368985600 276161 33554432000 4194304 16246674 140736536800864 140736536782784 12371341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 334225 276161 834 2943 0 331119 0
[pid=16484/tid=16485] ppid=16481 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1368985600 276161 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1368985600 276161 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1368985600 276161 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.21 2.16 2.17 3/183 16488
/proc/meminfo: memFree=27760384/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=1779268 CPUtime=12.69 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 385440 0 0 0 1222 47 0 0 20 0 4 0 105765227 1821970432 386760 33554432000 4194304 16246674 140736536800864 140736536782784 4220815 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 444817 386760 837 2943 0 441711 0
[pid=16484/tid=16485] ppid=16481 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 1821970432 386760 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 1821970432 386760 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 1821970432 386760 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1779268

[startup+25.5004 s]
/proc/loadavg: 2.16 2.15 2.16 4/183 16488
/proc/meminfo: memFree=25412012/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=4124228 CPUtime=25.48 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 971680 0 0 0 2423 125 0 0 20 0 4 0 105765227 4223209472 973000 33554432000 4194304 16246674 140736536800864 140736536799960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 1031057 973000 837 2943 0 1027951 0
[pid=16484/tid=16485] ppid=16481 vsize=4124228 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 4223209472 973000 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=4124228 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 4223209472 973000 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=4124228 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 4223209472 973000 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4124228

[startup+51.1005 s]
/proc/loadavg: 2.18 2.15 2.16 3/183 16488
/proc/meminfo: memFree=24711168/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=4823620 CPUtime=51.08 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 1640098 0 0 0 4879 229 0 0 20 0 4 0 105765227 4939386880 1147850 33554432000 4194304 16246674 140736536800864 140736536799960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 1205905 1147850 837 2943 0 1202799 0
[pid=16484/tid=16485] ppid=16481 vsize=4823620 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 4939386880 1147850 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=4823620 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 4939386880 1147850 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=4823620 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 4939386880 1147850 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4823620

[startup+102.3 s]
/proc/loadavg: 2.18 2.16 2.16 3/184 16492
/proc/meminfo: memFree=26704536/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=2832964 CPUtime=102.28 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 2724515 0 0 0 9818 410 0 0 20 0 4 0 105765227 2900955136 650187 33554432000 4194304 16246674 140736536800864 140736536798608 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 708241 650187 837 2943 0 705135 0
[pid=16484/tid=16485] ppid=16481 vsize=2832964 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 2900955136 650187 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=2832964 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 2900955136 650187 33554432000 4194304 16246674 140736536800864 139972380175376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=2832964 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 2900955136 650187 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2832964


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


[startup+1002.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 16562
/proc/meminfo: memFree=15027248/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=3829316 CPUtime=1002.11 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 24157887 0 0 0 96406 3805 0 0 20 0 4 0 105765227 3921219584 899295 33554432000 4194304 16246674 140736536800864 140736536800040 4220530 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 957329 899295 837 2943 0 954223 0
[pid=16484/tid=16485] ppid=16481 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 3921219584 899295 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 3921219584 899295 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 3921219584 899295 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 3829316

[startup+1062.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 16563
/proc/meminfo: memFree=23473780/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=3357252 CPUtime=1062.1 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 25802178 0 0 0 102142 4068 0 0 20 0 4 0 105765227 3437826048 781281 33554432000 4194304 16246674 140736536800864 140736536799960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 839313 781281 837 2943 0 836207 0
[pid=16484/tid=16485] ppid=16481 vsize=3357252 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 3437826048 781281 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=3357252 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 3437826048 781281 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=3357252 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 3437826048 781281 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 3357252

[startup+1122.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 16565
/proc/meminfo: memFree=23814400/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=3019332 CPUtime=1122.08 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 27509700 0 0 0 107871 4337 0 0 20 0 4 0 105765227 3091795968 696803 33554432000 4194304 16246674 140736536800864 140736536800080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 754833 696803 837 2943 0 751727 0
[pid=16484/tid=16485] ppid=16481 vsize=3019332 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 3091795968 696803 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=3019332 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 3091795968 696803 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=3019332 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 3091795968 696803 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 3019332

[startup+1182.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 16566
/proc/meminfo: memFree=24554472/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=2531908 CPUtime=1182.06 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 29121664 0 0 0 113611 4595 0 0 20 0 4 0 105765227 2592673792 574879 33554432000 4194304 16246674 140736536800864 140736536798608 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 632977 574885 837 2943 0 629871 0
[pid=16484/tid=16485] ppid=16481 vsize=2531908 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 2592673792 574890 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=2531908 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 2592673792 574894 33554432000 4194304 16246674 140736536800864 139972380175376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=2531908 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 2592673792 574899 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2531908

[startup+1242.3 s]
/proc/loadavg: 2.36 2.26 2.20 3/183 16567
/proc/meminfo: memFree=17942092/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=9135816 CPUtime=1242.05 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 31183074 0 0 0 119324 4881 0 0 20 0 4 0 105765227 9355075584 2225665 33554432000 4194304 16246674 140736536800864 140736536799528 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 2283954 2225672 837 2943 0 2280848 0
[pid=16484/tid=16485] ppid=16481 vsize=9135816 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 9355075584 2225676 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=9135816 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 9355075584 2225682 33554432000 4194304 16246674 140736536800864 139972380175376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=9135816 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 9355075584 2225687 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 9135816

[startup+1302.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/184 16571
/proc/meminfo: memFree=14949992/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=12270280 CPUtime=1302.04 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 31921416 0 0 0 125213 4991 0 0 20 0 4 0 105765227 12564766720 3009485 33554432000 4194304 16246674 140736536800864 140736536798800 13899629 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 3067570 3009485 842 2943 0 3064464 0
[pid=16484/tid=16485] ppid=16481 vsize=12270280 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 12564766720 3009485 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=12270280 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 12564766720 3009485 33554432000 4194304 16246674 140736536800864 139972380175376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=12270280 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 12564766720 3009485 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 12270280

[startup+1362.3 s]
/proc/loadavg: 2.32 2.26 2.20 3/184 16594
/proc/meminfo: memFree=14150444/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=12664520 CPUtime=1362.03 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 31973413 0 0 0 131200 5003 0 0 20 0 4 0 105765227 12968468480 3107983 33554432000 4194304 16246674 140736536800864 140736536798784 14013898 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 3166130 3107983 842 2943 0 3163024 0
[pid=16484/tid=16485] ppid=16481 vsize=12664520 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 12968468480 3107983 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=12664520 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 12968468480 3107983 33554432000 4194304 16246674 140736536800864 139972380175376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=12664520 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 12968468480 3107983 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 12664520



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1391.7 s]
/proc/loadavg: 2.27 2.25 2.19 4/184 16594
/proc/meminfo: memFree=11006472/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=15883976 CPUtime=1391.42 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) R 16481 16484 13075 0 -1 4202496 32778195 0 0 0 134012 5130 0 0 20 0 4 0 105765227 16265191424 3912765 33554432000 4194304 16246674 140736536800864 140736536799960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 3970994 3912765 842 2943 0 3967888 0
[pid=16484/tid=16485] ppid=16481 vsize=15883976 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) S 16481 16484 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105765227 16265191424 3912765 33554432000 4194304 16246674 140736536800864 139972468255984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16484/tid=16486] ppid=16481 vsize=15883976 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16486/stat : 16486 (toysat) S 16481 16484 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105765227 16265191424 3912765 33554432000 4194304 16246674 140736536800864 139972380175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16484/tid=16487] ppid=16481 vsize=15883976 CPUtime=0 cores=0,2,4,6
/proc/16484/task/16487/stat : 16487 (toysat) S 16481 16484 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105765227 16265191424 3912770 33554432000 4194304 16246674 140736536800864 139972369702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1391.42
Current children cumulated vsize (KiB) 15883976

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

[startup+1392 s]
/proc/loadavg: 2.27 2.25 2.19 4/184 16594
/proc/meminfo: memFree=11006472/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=0 CPUtime=1391.73 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) Z 16481 16484 13075 0 -1 4203532 32778662 0 0 0 134013 5160 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 0 0 0 0 0 0 0
[pid=16484/tid=16485] ppid=16481 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) R 16481 16484 13075 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1391.73
Current children cumulated vsize (KiB) 0

[startup+1392.4 s]
/proc/loadavg: 2.27 2.25 2.19 4/184 16594
/proc/meminfo: memFree=11006472/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=0 CPUtime=1392.13 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) Z 16481 16484 13075 0 -1 4203532 32778662 0 0 0 134013 5200 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 0 0 0 0 0 0 0
[pid=16484/tid=16485] ppid=16481 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) R 16481 16484 13075 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1392.13
Current children cumulated vsize (KiB) 0

[startup+1392.5 s]
/proc/loadavg: 2.27 2.25 2.19 4/184 16594
/proc/meminfo: memFree=11006472/32872528 swapFree=16636/1570076
[pid=16484] ppid=16481 vsize=0 CPUtime=1392.23 cores=0,2,4,6
/proc/16484/stat : 16484 (toysat) Z 16481 16484 13075 0 -1 4203532 32778662 0 0 0 134013 5210 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16484/statm: 0 0 0 0 0 0 0
[pid=16484/tid=16485] ppid=16481 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/16484/task/16485/stat : 16485 (toysat) R 16481 16484 13075 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105765227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1392.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1392.52
CPU time (s): 1392.25
CPU user time (s): 1340.14
CPU system time (s): 52.1091
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15883976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1340.14
system time used= 52.1091
maximum resident set size= 15652928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32778662
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= 1932
involuntary context switches= 3274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07938 second user time and 5.43917 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 20:38:49
IDJOB=4079041
IDBENCH=2466
IDSOLVER=2542
FILE ID=node140/4079041-1465238329
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 0662414c0fee45075e37f5c5e2481506
RANDOM SEED=310705383

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29307108 kB
Buffers:           37948 kB
Cached:            94100 kB
SwapCached:         1752 kB
Active:          1224208 kB
Inactive:          65424 kB
Active(anon):    1158040 kB
Inactive(anon):     2612 kB
Active(file):      66168 kB
Inactive(file):    62812 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098600 kB
Dirty:             19472 kB
Writeback:             0 kB
AnonPages:       2727964 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             567948 kB
SReclaimable:      12008 kB
SUnreclaim:       555940 kB
KernelStack:        1464 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2870388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2707456 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= 71708 MiB
End job on node140 at 2016-06-06 21:02:01