Trace number 4093267

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.74 1801.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap114_wcsp.wbo
MD5SUM8eeb21bef0624b36d5575dec4c8f650d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark19425822
Best CPU time to get the best result obtained on this benchmark1800.13
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 69881436
Min constraint cost 1
Max constraint cost 69881436
Sum of constraints costs 175993421300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-16T21:00:15+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","--wbo","--search=bcd2","HOME/instance-4093267-1466103615.wbo"]
0.00/0.01	c use --random-gen="1744763354 1819119792 2570096590 1892808435 2327180891 1268981332 3025503844 3410398472 1260150959 3527499011 94737504 3530700422 4212876973 3344979901 2429825615 802573252 1314071071 2685177775 783222234 3710955056 1267514381 2485321633 1986749025 3762503274 3456795891 4212190815 1647879127 1940799365 817170173 189360968 1918230382 516102538 3461547930 3442038679 3728860658 774539257 745553358 4081574049 3850148086 4277663974 3171785875 2434975125 2037686021 3217427381 2975218662 4048848096 1116779870 3541508770 401164716 1353871990 2179434081 3830860305 1852224063 1607188264 797774317 405640675 1287333293 1909605321 473691556 401837118 1656830775 378368826 1258512881 2732824834 956066251 1923378226 1099457503 2930051149 3298445169 2796926223 279243175 3483730780 1696546471 3074677615 413286250 3284605995 2972961501 3578452042 3003684346 278712526 3818646621 3838855629 3751847860 2245267064 512143576 10345388 467262096 1578415702 596643257 2900107528 3654060706 2941329933 2826985222 3674234041 3989096193 1364061167 3444241130 2079574165 2549294899 3040636050 427397905 3006475788 1812340269 2024515899 3691202469 1494067905 165193132 4049843410 1450283519 710443025 984892992 653976635 1818652912 2130369998 1454000592 1573614138 1492999352 3682061566 3856640938 1140177485 1482647533 1120028013 2917371157 1145424629 170230766 500058776 1183636552 3531198722 2117950103 2003161262 3932317840 3353240571 640432510 3126570391 1997015561 1996799081 1806361018 3109707911 275728643 567577611 694392236 1049031888 151103013 1933194608 376177198 2085163677 549519616 1424893178 2057357143 995878157 83373251 4233782706 269890487 2325808125 2606587891 2057404199 803105066 3162442764 3085536457 2754352487 3410788352 3728528759 982623867 1751058356 955640515 867319509 3594770822 2575357315 4130845147 2574300554 685895246 1547975308 1901825543 3439068188 3829678959 2617248161 4205326626 1388158790 996770909 3282163092 1791842506 4222994437 4281365619 3387864938 45924569 547155454 3584488711 3282153417 238142923 2715733673 300324838 2937307613 3883309900 4272933216 2552441121 1992215088 3664244788 1478381261 2190086055 1030279218 3886597979 2545712040 1664844896 174578908 3792869395 1987171644 91560120 1197624825 2380731783 3345081355 1711562553 3644497416 1357873232 2272683766 3165496575 3354356598 3317031591 2426731125 3262270204 3318733568 3505127631 3677453555 373899110 4259965897 2396517277 870949120 890344216 1196527115 926355543 2914149004 1212639143 1303560545 4073001222 2598693431 4050467900 2507495663 285944630 4271590388 3789738102 2132710146 2897506742 1033230277 3068246624 1244788299 2139235618 2443450164 3084286296 145491403 982035071 3895526269 663593158 2665255130 3795640340 1790780342 3626305137 3904568857 255 362436" option to reproduce the execution

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.30 2.25 4/181 21332
/proc/meminfo: memFree=30299832/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 2994 0 0 0 0 0 0 0 20 0 4 0 12407944 817295360 2843 33554432000 4194304 16246674 140736990578704 140736990578128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 200303 2852 441 2943 0 197197 0
[pid=21331/tid=21333] ppid=21323 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 835121152 2908 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 839315456 2926 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12407944 843509760 2942 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.33 2.30 2.25 4/181 21332
/proc/meminfo: memFree=30299832/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 22219 0 0 0 6 3 0 0 20 0 4 0 12407944 1249447936 22009 33554432000 4194304 16246674 140736990578704 140736990578016 12370013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 305041 22018 829 2943 0 301935 0
[pid=21331/tid=21333] ppid=21323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1249447936 22027 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1249447936 22033 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12407944 1249447936 22040 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200467 s]
/proc/loadavg: 2.33 2.30 2.25 4/181 21332
/proc/meminfo: memFree=30299832/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 42225 0 0 0 13 6 0 0 20 0 4 0 12407944 1250496512 42014 33554432000 4194304 16246674 140736990578704 140736990578016 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 305297 42018 834 2943 0 302191 0
[pid=21331/tid=21333] ppid=21323 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1250496512 42021 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1250496512 42024 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12407944 1250496512 42027 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300451 s]
/proc/loadavg: 2.33 2.30 2.25 4/181 21332
/proc/meminfo: memFree=30299832/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 50634 0 0 0 22 7 0 0 20 0 4 0 12407944 1338576896 50423 33554432000 4194304 16246674 140736990578704 140736990560576 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 326801 50424 840 2943 0 323695 0
[pid=21331/tid=21333] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 50424 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 50424 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 50424 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700378 s]
/proc/loadavg: 2.33 2.30 2.25 4/181 21332
/proc/meminfo: memFree=30299832/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 55191 0 0 0 61 8 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140736990560576 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 326801 54980 840 2943 0 323695 0
[pid=21331/tid=21333] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068091055280 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) 1307204

[startup+1.50038 s]
/proc/loadavg: 2.30 2.29 2.25 4/186 21337
/proc/meminfo: memFree=29862296/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 55191 0 0 0 141 8 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140736990560576 13807742 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 326801 54980 840 2943 0 323695 0
[pid=21331/tid=21333] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10028 s]
/proc/loadavg: 2.30 2.29 2.25 4/186 21337
/proc/meminfo: memFree=29861048/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 55191 0 0 0 301 8 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140736990560576 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 326801 54980 840 2943 0 323695 0
[pid=21331/tid=21333] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 54980 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.28 2.29 2.25 3/186 21337
/proc/meminfo: memFree=29792312/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 63844 0 0 0 619 10 0 0 20 0 4 0 12407944 1338576896 63633 33554432000 4194304 16246674 140736990578704 140736990560576 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 326801 63633 840 2943 0 323695 0
[pid=21331/tid=21333] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 63633 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 63633 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1338576896 63633 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.26 2.28 2.25 3/186 21337
/proc/meminfo: memFree=29788396/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 64356 0 0 0 1259 10 0 0 20 0 4 0 12407944 1340674048 64145 33554432000 4194304 16246674 140736990578704 140736990560576 13774024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 327313 64145 840 2943 0 324207 0
[pid=21331/tid=21333] ppid=21323 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1340674048 64145 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1340674048 64145 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1340674048 64145 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5073 s]
/proc/loadavg: 2.27 2.28 2.25 3/186 21337
/proc/meminfo: memFree=29785940/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1310276 CPUtime=25.5 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 64612 0 0 0 2540 10 0 0 20 0 4 0 12407944 1341722624 64401 33554432000 4194304 16246674 140736990578704 140736990577800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 327569 64401 840 2943 0 324463 0
[pid=21331/tid=21333] ppid=21323 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1341722624 64401 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1341722624 64401 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1341722624 64401 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.24 2.28 2.25 3/186 21360
/proc/meminfo: memFree=29447512/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1312324 CPUtime=51.09 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 102777 0 0 0 5092 17 0 0 20 0 4 0 12407944 1343819776 102566 33554432000 4194304 16246674 140736990578704 140736990577880 6132648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 328081 102566 842 2943 0 324975 0
[pid=21331/tid=21333] ppid=21323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1343819776 102566 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12407944 1343819776 102566 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1343819776 102566 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.23 2.26 2.24 3/186 21362
/proc/meminfo: memFree=28616292/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=1314372 CPUtime=102.27 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 196721 0 0 0 10196 31 0 0 20 0 4 0 12407944 1345916928 196510 33554432000 4194304 16246674 140736990578704 140736990560576 13807742 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 328593 196510 842 2943 0 325487 0
[pid=21331/tid=21333] ppid=21323 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 1345916928 196510 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12407944 1345916928 196510 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 1345916928 196510 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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


[startup+1422.3 s]
/proc/loadavg: 2.28 2.26 2.22 3/185 21394
/proc/meminfo: memFree=9178772/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=10779204 CPUtime=1422.07 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 2635945 0 0 0 141775 432 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140736990577880 13809288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 2694801 2635734 843 2943 0 2691695 0
[pid=21331/tid=21333] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 10779204

[startup+1482.3 s]
/proc/loadavg: 2.26 2.26 2.22 3/185 21395
/proc/meminfo: memFree=9179096/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=10779204 CPUtime=1482.06 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 2635945 0 0 0 147770 436 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140736990577880 6132539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 2694801 2635734 843 2943 0 2691695 0
[pid=21331/tid=21333] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=10779204 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 11037904896 2635734 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 10779204

[startup+1542.3 s]
/proc/loadavg: 2.30 2.27 2.22 3/185 21396
/proc/meminfo: memFree=3777804/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1542.06 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 153680 526 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577880 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13474372

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.22 3/185 21397
/proc/meminfo: memFree=3778096/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1602.04 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 159673 531 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577880 13817033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13474372

[startup+1662.31 s]
/proc/loadavg: 2.37 2.28 2.23 3/185 21399
/proc/meminfo: memFree=3778100/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1662.05 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 165671 534 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577880 6132452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 13474372

[startup+1722.3 s]
/proc/loadavg: 2.19 2.24 2.21 3/185 21400
/proc/meminfo: memFree=3778100/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1722.03 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 171665 538 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577880 13807488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 13474372

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.21 3/185 21401
/proc/meminfo: memFree=3777240/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1782.02 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 177661 541 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577800 13807548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 13474372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.38 2.27 2.22 3/186 21404
/proc/meminfo: memFree=3777996/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=13474372 CPUtime=1800.02 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) R 21323 21331 20832 0 -1 4202496 3309739 0 0 0 179460 542 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140736990577880 6132704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 3368593 3309528 844 2943 0 3365487 0
[pid=21331/tid=21333] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068112018672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21331/tid=21334] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21334/stat : 21334 (toysat) S 21323 21331 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068101528816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21331/tid=21335] ppid=21323 vsize=13474372 CPUtime=0 cores=1,3,5,7
/proc/21331/task/21335/stat : 21335 (toysat) S 21323 21331 20832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12407944 13797756928 3309528 33554432000 4194304 16246674 140736990578704 140068091055280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13474372

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

[startup+1800.5 s]
/proc/loadavg: 2.38 2.27 2.22 3/186 21404
/proc/meminfo: memFree=3777996/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) Z 21323 21331 20832 0 -1 4203532 3309739 0 0 0 179461 561 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 0 0 0 0 0 0 0
[pid=21331/tid=21333] ppid=21323 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) R 21323 21331 20832 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

[startup+1800.91 s]
/proc/loadavg: 2.35 2.27 2.22 3/182 21404
/proc/meminfo: memFree=21293540/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=0 CPUtime=1800.63 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) Z 21323 21331 20832 0 -1 4203532 3309739 0 0 0 179461 602 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 0 0 0 0 0 0 0
[pid=21331/tid=21333] ppid=21323 vsize=0 CPUtime=0.59 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) R 21323 21331 20832 0 -1 4203588 10 0 0 0 0 59 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.35 2.27 2.22 3/182 21404
/proc/meminfo: memFree=21293540/32872528 swapFree=1481856/1661728
[pid=21331] ppid=21323 vsize=0 CPUtime=1800.72 cores=1,3,5,7
/proc/21331/stat : 21331 (toysat) Z 21323 21331 20832 0 -1 4203532 3309739 0 0 0 179461 611 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21331/statm: 0 0 0 0 0 0 0
[pid=21331/tid=21333] ppid=21323 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/21331/task/21333/stat : 21333 (toysat) R 21323 21331 20832 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 12407944 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.02
CPU time (s): 1800.74
CPU user time (s): 1794.61
CPU system time (s): 6.12907
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 13474372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 6.12907
maximum resident set size= 13238112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3309739
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= 50
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68829 second user time and 6.77997 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-16 21:00:15
IDJOB=4093267
IDBENCH=79538
IDSOLVER=2553
FILE ID=node134/4093267-1466103615
RUNJOBID= node134-1466103615-21301
PBS_JOBID= 19904059
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap114_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093267-1466103615/watcher-4093267-1466103615 -o /tmp/evaluation-result-4093267-1466103615/solver-4093267-1466103615 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466103615-21301 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093267-1466103615.wbo

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

MD5SUM BENCH= 8eeb21bef0624b36d5575dec4c8f650d
RANDOM SEED=1381990101

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30305388 kB
Buffers:           42620 kB
Cached:           147196 kB
SwapCached:         8908 kB
Active:           120584 kB
Inactive:          78992 kB
Active(anon):       4292 kB
Inactive(anon):     8200 kB
Active(file):     116292 kB
Inactive(file):    70792 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             32680 kB
Writeback:             0 kB
AnonPages:       1664028 kB
Mapped:             7052 kB
Shmem:                 0 kB
Slab:             570216 kB
SReclaimable:      13896 kB
SUnreclaim:       556320 kB
KernelStack:        1400 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-16 21:30:16