Trace number 4107602

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? (TO) 1800.77 1801.1

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/
rand.smallist/normalized-rand56b853.cudf.trendy.opb
MD5SUM10f7f7bafce3fb10bb2a62df82f75c33
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3334613
Best CPU time to get the best result obtained on this benchmark1.86471
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6922
Total number of constraints20527
Number of constraints which are clauses20525
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1147
Number of terms in the objective function 3648
Biggest coefficient in the objective function 6088387976
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 6977285952623
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 6088387976
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 6977285952623
Number of bits of the biggest sum of numbers43
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-19T00:05:02+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-4107602-1466287502.opb"]
0.00/0.01	c use --random-gen="2494594403 1468262903 2006472315 2966139381 2913338370 920732074 130850678 2830515341 3261507746 131347509 3351805407 1571297913 3553245600 1571119648 1685646625 1633316153 1584984109 1997803490 2881594773 252431232 4250418455 330087874 3793878017 3205474734 1319601839 2137748081 4201309295 1876851060 1815703396 1980053913 1588053648 3624505677 2282861994 1775715401 1090190798 1198038934 4292159009 2812982777 2623435164 2618095298 3373601741 947537184 206277290 3170458709 2461087985 1568085146 4174080115 2572515042 4109307835 405052782 2900272669 3255188020 2475277159 3153818351 2012968523 2679497472 4163312156 194813301 533514333 324448856 997387740 926994260 2164556445 249737088 2469533965 1179304872 1377313846 4185834282 1692718618 4242533204 4199367569 1035460056 3376661550 3573671296 360577756 1308251695 3177013821 1556790897 1777623256 3402044884 2487181263 1980263639 4014894106 1260338764 1385071386 1911248006 4174923317 2934974513 3506138835 832418902 157797910 1842428093 1817169310 3534272760 2290737878 3016187633 3399125645 418916446 3297848627 3367548083 780907006 72479536 3899367243 1590395111 479273595 1678627936 3987003935 13159506 2170236337 2564441719 692862346 3239462475 1915698946 2920488712 72121067 2920679129 4050798638 456532032 1798144347 2992265916 4279425879 2819410777 2980972589 165549322 1797511667 1631705731 2940371671 2843652694 3737620972 3814759098 1386875466 3644473722 2051208126 1521914289 1424174742 1337179849 159787466 2969569344 1975033804 205790657 1292151071 1468863674 2414988895 3478896058 2608104557 1953159027 2290758767 585545408 3374638495 702962743 3060651251 2761622619 938032267 1316960276 2978479393 1245846997 408372858 3662584108 3861903981 2129571373 2573961864 1627269990 2914068645 2955121702 2342756677 3035251580 2285442639 1760953941 3337834788 1899167734 3343841542 683748632 3844666649 380788562 10369881 3747288012 3298145952 223636512 1610285426 653091246 1169149318 2071854009 798753951 2481708785 2635412153 1301048982 2863518771 490640689 759915694 3741585780 2711769857 4001457037 489993482 710782658 3273240067 3470755882 2208255435 3245233842 4051249759 1190803260 2911140026 3288938038 2277956353 1025246531 3403086391 3790540278 3746591571 899334160 1413173479 2476653395 624011969 4182842927 3660908844 2285963287 1432874855 1976046700 3654112524 3774335576 1689117288 727448271 1305022136 1665780264 2256138795 738941803 3689466384 4097751933 2143404010 3925521032 2293027160 665817686 3713419316 1458857900 3663140249 3091844769 264660715 1976866706 268793942 72613355 1600149905 2858781540 3820521072 1362244939 2246085890 1247614017 1348126016 2285201102 1100323279 3882528211 241688260 458884541 4032738821 2165610299 3094303287 1471364618 1543671647 3523311877 255 362436" option to reproduce the execution
0.08/0.16	c #vars 6922
0.08/0.16	c #constraints 20527
0.28/0.39	c BCD2: Hardening is enabled.
0.28/0.39	c BCD2: BiasedSearch is enabled.
0.28/0.39	c Solving starts ...
0.28/0.39	c ============================[ Search Statistics ]============================
0.28/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.39	c =============================================================================
0.28/0.39	c  0.0s |       0 |        0 |        0 |     8160      0 |     2449 |        0
0.39/0.42	c  0.0s |       0 |     1563 |        4 |     8160      0 |     2449 |     7306
0.39/0.42	c #cpu_time = 0.027s
0.39/0.42	c #wall_clock_time = 0.027s
0.39/0.42	c #decision = 1563
0.39/0.42	c #random_decision = 4
0.39/0.42	c #conflict = 4
0.39/0.42	c #restart = 0
0.39/0.42	o 3483504857279

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

pid=11345
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.99 2.04 2.06 3/179 11348
/proc/meminfo: memFree=27947200/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=286140 CPUtime=0 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 4 0 30800348 293007360 1350 33554432000 4194304 16246674 140737485740016 140737485739440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 72047 1359 441 2943 0 68941 0
[pid=11348/tid=11349] ppid=11345 vsize=301500 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 308736000 1413 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=305596 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 312930304 1429 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=309692 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30800349 317124608 1444 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 1.99 2.04 2.06 3/179 11348
/proc/meminfo: memFree=27947200/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 28602 0 0 0 5 3 0 0 20 0 4 0 30800348 1249447936 28900 33554432000 4194304 16246674 140737485740016 140737485739328 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 305041 28903 801 2943 0 301935 0
[pid=11348/tid=11349] ppid=11345 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1249447936 28906 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1249447936 28908 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1249447936 28910 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200429 s]
/proc/loadavg: 1.99 2.04 2.06 3/179 11348
/proc/meminfo: memFree=27947200/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 49003 0 0 0 12 6 0 0 20 0 4 0 30800348 1333334016 49301 33554432000 4194304 16246674 140737485740016 140737485739328 6725180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 325521 49301 835 2943 0 322415 0
[pid=11348/tid=11349] ppid=11345 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1333334016 49301 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1333334016 49301 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1333334016 49301 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300492 s]
/proc/loadavg: 1.99 2.04 2.06 3/179 11348
/proc/meminfo: memFree=27947200/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1305156 CPUtime=0.28 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 59680 0 0 0 21 7 0 0 20 0 4 0 30800348 1336479744 59978 33554432000 4194304 16246674 140737485740016 140737485721920 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 326289 59982 839 2943 0 323183 0
[pid=11348/tid=11349] ppid=11345 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1336479744 59984 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1336479744 59986 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1336479744 59989 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1305156

[startup+0.7004 s]
/proc/loadavg: 1.99 2.04 2.06 3/179 11348
/proc/meminfo: memFree=27947200/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1317444 CPUtime=0.69 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 131042 0 0 0 51 18 0 0 20 0 4 0 30800348 1349062656 131341 33554432000 4194304 16246674 140737485740016 140737485739328 12371445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 329361 131355 895 2943 0 326255 0
[pid=11348/tid=11349] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 131365 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 131375 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 131383 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.50042 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 11352
/proc/meminfo: memFree=27037812/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1317444 CPUtime=1.48 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 270557 0 0 0 112 36 0 0 20 0 4 0 30800348 1349062656 270855 33554432000 4194304 16246674 140737485740016 140737485721920 12449378 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 329361 270855 896 2943 0 326255 0
[pid=11348/tid=11349] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270855 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270855 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270855 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1317444

[startup+3.10042 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 11352
/proc/meminfo: memFree=26865304/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1317444 CPUtime=3.08 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 270558 0 0 0 272 36 0 0 20 0 4 0 30800348 1349062656 270856 33554432000 4194304 16246674 140737485740016 140737485721920 12371244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 329361 270856 896 2943 0 326255 0
[pid=11348/tid=11349] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1317444

[startup+6.30043 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 11352
/proc/meminfo: memFree=26865204/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1317444 CPUtime=6.28 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 270558 0 0 0 592 36 0 0 20 0 4 0 30800348 1349062656 270856 33554432000 4194304 16246674 140737485740016 140737485721920 13949825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 329361 270856 896 2943 0 326255 0
[pid=11348/tid=11349] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1349062656 270856 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7003 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 11352
/proc/meminfo: memFree=26860164/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1322564 CPUtime=12.68 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 271731 0 0 0 1232 36 0 0 20 0 4 0 30800348 1354305536 272029 33554432000 4194304 16246674 140737485740016 140737485721920 12413920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 330641 272029 896 2943 0 327535 0
[pid=11348/tid=11349] ppid=11345 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1354305536 272029 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1354305536 272029 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1354305536 272029 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 1.99 2.03 2.06 3/183 11352
/proc/meminfo: memFree=26699748/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1323588 CPUtime=25.49 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 271963 0 0 0 2512 37 0 0 20 0 4 0 30800348 1355354112 272261 33554432000 4194304 16246674 140737485740016 140737485721920 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 330897 272261 896 2943 0 327791 0
[pid=11348/tid=11349] ppid=11345 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1355354112 272261 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1355354112 272261 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1355354112 272261 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1323588

[startup+51.1005 s]
/proc/loadavg: 1.99 2.03 2.06 3/183 11352
/proc/meminfo: memFree=26592316/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 273118 0 0 0 5071 37 0 0 20 0 4 0 30800348 1359548416 273416 33554432000 4194304 16246674 140737485740016 140737485721920 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 331921 273416 896 2943 0 328815 0
[pid=11348/tid=11349] ppid=11345 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1359548416 273416 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1359548416 273416 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1359548416 273416 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684

[startup+102.301 s]
/proc/loadavg: 2.07 2.04 2.06 3/183 11353
/proc/meminfo: memFree=26341332/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 274142 0 0 0 10191 37 0 0 20 0 4 0 30800348 1363742720 274440 33554432000 4194304 16246674 140737485740016 140737485721920 12429756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 332945 274440 896 2943 0 329839 0
[pid=11348/tid=11349] ppid=11345 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 1363742720 274440 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 1363742720 274440 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 1363742720 274440 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

[pid=11348] ppid=11345 vsize=14052932 CPUtime=1362.05 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 5962735 0 0 0 135257 948 0 0 20 0 4 0 30800348 14390202368 3454741 33554432000 4194304 16246674 140737485740016 140737485739112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3513233 3454741 900 2943 0 3510127 0
[pid=11348/tid=11349] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 14052932

[startup+1422.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/183 11434
/proc/meminfo: memFree=16264028/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14052932 CPUtime=1422.06 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 5962735 0 0 0 141254 952 0 0 20 0 4 0 30800348 14390202368 3454741 33554432000 4194304 16246674 140737485740016 140737485737984 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3513233 3454741 900 2943 0 3510127 0
[pid=11348/tid=11349] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916509944848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 14052932

[startup+1482.3 s]
/proc/loadavg: 2.17 2.08 2.06 3/183 11435
/proc/meminfo: memFree=16205520/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14052932 CPUtime=1482.04 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 5962735 0 0 0 147247 957 0 0 20 0 4 0 30800348 14390202368 3454741 33554432000 4194304 16246674 140737485740016 140737485739112 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3513233 3454741 900 2943 0 3510127 0
[pid=11348/tid=11349] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14052932 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 14390202368 3454741 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 14052932

[startup+1542.31 s]
/proc/loadavg: 2.17 2.10 2.06 4/184 11439
/proc/meminfo: memFree=15925776/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14331460 CPUtime=1542.04 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 5979223 0 0 0 153238 966 0 0 20 0 4 0 30800348 14675415040 3524373 33554432000 4194304 16246674 140737485740016 140737485737920 14003028 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3582865 3524373 900 2943 0 3579759 0
[pid=11348/tid=11349] ppid=11345 vsize=14331460 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 14675415040 3524373 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14331460 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 14675415040 3524373 33554432000 4194304 16246674 140737485740016 139916509944848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14331460 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 14675415040 3524373 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 14331460

[startup+1602.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/183 11440
/proc/meminfo: memFree=15555704/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14701124 CPUtime=1602.02 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 6017473 0 0 0 159224 978 0 0 20 0 4 0 30800348 15053950976 3616789 33554432000 4194304 16246674 140737485740016 140737485739192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3675281 3616789 900 2943 0 3672175 0
[pid=11348/tid=11349] ppid=11345 vsize=14701124 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 15053950976 3616789 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14701124 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 15053950976 3616789 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14701124 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 15053950976 3616789 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 14701124

[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 11441
/proc/meminfo: memFree=15331880/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14924356 CPUtime=1662.01 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 6017582 0 0 0 165214 987 0 0 20 0 4 0 30800348 15282540544 3672597 33554432000 4194304 16246674 140737485740016 140737485737984 14013836 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3731089 3672597 900 2943 0 3727983 0
[pid=11348/tid=11349] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916509944848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 14924356

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.06 3/182 11442
/proc/meminfo: memFree=15331804/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=14924356 CPUtime=1722 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 6017582 0 0 0 171210 990 0 0 20 0 4 0 30800348 15282540544 3672597 33554432000 4194304 16246674 140737485740016 140737485737984 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3731089 3672597 900 2943 0 3727983 0
[pid=11348/tid=11349] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916509944848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=14924356 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 15282540544 3672597 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 14924356

[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.06 3/183 11444
/proc/meminfo: memFree=14727584/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=15441476 CPUtime=1781.99 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 6089632 0 0 0 177191 1008 0 0 20 0 4 0 30800348 15812071424 3801877 33554432000 4194304 16246674 140737485740016 140737485739192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3860369 3801877 900 2943 0 3857263 0
[pid=11348/tid=11349] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916509945072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 15441476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.08 2.06 3/183 11445
/proc/meminfo: memFree=14719856/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=15441476 CPUtime=1800.08 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) R 11345 11348 10280 0 -1 4202496 6089632 0 0 0 179000 1008 0 0 20 0 4 0 30800348 15812071424 3801877 33554432000 4194304 16246674 140737485740016 140737485737920 14013949 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 3860369 3801877 900 2943 0 3857263 0
[pid=11348/tid=11349] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) S 11345 11348 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916520434928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11348/tid=11350] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11350/stat : 11350 (toysat) S 11345 11348 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916509944848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11348/tid=11351] ppid=11345 vsize=15441476 CPUtime=0 cores=1,3,5,7
/proc/11348/task/11351/stat : 11351 (toysat) S 11345 11348 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30800349 15812071424 3801877 33554432000 4194304 16246674 140737485740016 139916499471536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 15441476

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

[startup+1800.81 s]
/proc/loadavg: 2.10 2.08 2.06 3/181 11445
/proc/meminfo: memFree=21754032/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=0 CPUtime=1800.48 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) Z 11345 11348 10280 0 -1 4203532 6089632 0 0 0 179001 1047 0 0 20 0 2 0 30800348 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 0 0 0 0 0 0 0
[pid=11348/tid=11349] ppid=11345 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) R 11345 11348 10280 0 -1 4203588 9 0 0 0 0 38 0 0 20 0 2 0 30800349 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.10 2.08 2.06 3/181 11445
/proc/meminfo: memFree=21754032/32872528 swapFree=526336/559040
[pid=11348] ppid=11345 vsize=0 CPUtime=1800.68 cores=1,3,5,7
/proc/11348/stat : 11348 (toysat) Z 11345 11348 10280 0 -1 4203532 6089632 0 0 0 179001 1067 0 0 20 0 2 0 30800348 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 0 0 0 0 0 0 0
[pid=11348/tid=11349] ppid=11345 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/11348/task/11349/stat : 11349 (toysat) R 11345 11348 10280 0 -1 4203588 9 0 0 0 0 57 0 0 20 0 2 0 30800349 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.1
CPU time (s): 1800.77
CPU user time (s): 1790.01
CPU system time (s): 10.7624
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 15441476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.01
system time used= 10.7624
maximum resident set size= 15207508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6089632
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= 371
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55231 second user time and 6.91895 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 00:05:02
IDJOB=4107602
IDBENCH=72344
IDSOLVER=2542
FILE ID=node106/4107602-1466287502
RUNJOBID= node106-1466277111-10297
PBS_JOBID= 19918270
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand56b853.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107602-1466287502/watcher-4107602-1466287502 -o /tmp/evaluation-result-4107602-1466287502/solver-4107602-1466287502 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107602-1466287502.opb

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

MD5SUM BENCH= 10f7f7bafce3fb10bb2a62df82f75c33
RANDOM SEED=1665189936

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27947728 kB
Buffers:          111640 kB
Cached:           225132 kB
SwapCached:         1736 kB
Active:          3383620 kB
Inactive:         230876 kB
Active(anon):    3277164 kB
Inactive(anon):     3048 kB
Active(file):     106456 kB
Inactive(file):   227828 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       3959100 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             613260 kB
SReclaimable:      57124 kB
SUnreclaim:       556136 kB
KernelStack:        1520 kB
PageTables:        11684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3980104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 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= 71664 MiB
End job on node106 at 2016-06-19 00:35:03