Trace number 4111416

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 1035.93 1036.11

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irabcde.opb
MD5SUMdaecf1fff8c4fc4a06ce45afceb432b0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark192984614615
Best CPU time to get the best result obtained on this benchmark30.4344
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21656
Total number of constraints79163
Number of constraints which are clauses79019
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 677
Biggest coefficient in the objective function 554751656
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 272383063095
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 554751656
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 272383063095
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T08:37:46+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-4111416-1466404666.opb"]
0.00/0.01	c use --random-gen="1441710667 998126467 2171659038 834387375 2741271203 1663731673 3608260191 545797621 4228299609 180274057 1314475256 3843869379 3966896004 1912088963 2907788386 675677485 2979517060 4133675636 1555780529 1528048722 3155689251 1349391501 3228014434 150694223 3148757000 2569797586 2876619565 1424397696 2366232970 306275554 2730188942 1822346925 2712466982 2836442291 2736167734 2884616305 1194383795 3627990202 2221317162 2288274745 4286035614 3599805927 636669990 3083663997 2017939840 2602194211 744336245 1479780453 3292920556 993387634 470101478 42354414 441384100 2241596115 4104331736 3150984818 518271789 1777958173 1825055195 2637830026 2682573830 2930926906 697138718 2069648115 2974076749 2273305179 1183803594 4260199451 741299890 1994984529 3736663813 3686554851 4216326415 607222865 2123724718 4272378585 489526921 3669513365 2443896616 637839067 1126176403 3050845490 4131411170 3352053121 1707169707 4194450242 118836510 959057443 3885047575 1484686029 3763406588 4118618299 1059934255 476218092 2781098499 2698005701 4125495157 2545398491 3416185287 2838860498 129079295 1196884855 2179025723 965305507 4258877160 2162668841 3665811518 1872682408 2109423594 2329790919 3828390635 2219499559 224502729 2348175205 4263308566 3562200205 4286131893 838641567 2501788070 2245683402 3669329364 3106044348 18506271 2221419450 2982430629 1018472234 3617482310 105543257 1987251197 333549248 319940409 2730843090 182269575 714090534 561620166 3912214099 1146258212 3826820360 3530026208 3403186561 1254853734 3627011109 2630995478 1019973200 1140958311 780858848 108633893 2594129525 3394019818 2069544529 4182125940 42773610 2165056999 1064212713 2424925577 3532378269 359373092 3079193843 1225971305 1478525013 2507563815 4228830311 610695111 1676694847 607681769 3634919188 252025521 2587390781 3978075428 1992494693 3638250796 3362168239 175587175 3148234437 4027997270 57211610 1900207711 1971415599 762249260 3860312032 2976503969 1949881963 894755810 4265511971 1707042643 1890915043 3625180709 1688987595 3071246976 2499931917 3593998108 2993473190 2281821819 2812924059 1301985182 3172445566 2041756792 596248507 3294830085 3154767945 2200880124 594818565 3276926201 4198694952 1017421527 692243366 949591360 1764132045 344204727 1287309828 465740270 3028499178 4072833174 232973995 1071529981 1534360358 3741004091 3019201209 4292174704 3426979370 1851787348 3324491649 3669710797 2693861932 4204585362 3847670240 3928284584 1324922953 1953153874 4152813296 1276681937 3373522890 1754042033 2721900081 3974745701 900557799 3939652046 207233611 2805622307 2140107289 1702580030 3212593610 3341648528 1828593160 250048575 2063004452 1300956844 1802081131 3241815779 613526154 1524796485 1405395744 3831064228 978428314 223196808 2354473954 255 362436" option to reproduce the execution
0.39/0.46	c #vars 21656
0.39/0.46	c #constraints 79163
1.20/1.27	c BCD2: Hardening is enabled.
1.20/1.27	c BCD2: BiasedSearch is enabled.
1.20/1.27	c Solving starts ...
1.20/1.27	c ============================[ Search Statistics ]============================
1.20/1.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.27	c =============================================================================
1.20/1.28	c  0.0s |       0 |        0 |        0 |    26781      0 |     5991 |        0
1.29/1.38	c  0.1s |       1 |      335 |      100 |    26781      0 |     5991 |     9345
1.49/1.51	c  0.2s |       1 |      921 |      124 |    29460      0 |     5991 |     9345
1.49/1.51	c #cpu_time = 0.230s
1.49/1.51	c #wall_clock_time = 0.230s
1.49/1.51	c #decision = 921
1.49/1.51	c #random_decision = 1
1.49/1.51	c #conflict = 124
1.49/1.51	c #restart = 1
1.49/1.51	o 244088854479
1.49/1.53	c BCD2: updating upper bound: 272383063095 -> 244088854478

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

pid=21338
running on 8 cores: 4-7,12-15

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.00 2.00 2.03 3/261 21341
/proc/meminfo: memFree=23724468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1179068 CPUtime=0 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4482 0 0 0 0 0 0 0 20 0 4 0 42511185 1207365632 4332 33554432000 4194304 16246674 140734055323632 140734055323056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 295535 4342 441 2943 0 292429 0
[pid=21341/tid=21342] ppid=21338 vsize=1201596 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1230434304 4418 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1205692 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1234628608 4436 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1208764 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 42511186 1237774336 4448 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.00 2.00 2.03 3/261 21341
/proc/meminfo: memFree=23724468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1301060 CPUtime=0.09 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 26060 0 0 0 6 3 0 0 20 0 4 0 42511185 1332285440 25849 33554432000 4194304 16246674 140734055323632 140734055322944 12752373 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 325265 25864 799 2943 0 322159 0
[pid=21341/tid=21342] ppid=21338 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1332285440 25875 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1332285440 25887 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1332285440 25897 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200514 s]
/proc/loadavg: 2.00 2.00 2.03 3/261 21341
/proc/meminfo: memFree=23724468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1313348 CPUtime=0.19 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 48063 0 0 0 14 5 0 0 20 0 4 0 42511185 1344868352 48362 33554432000 4194304 16246674 140734055323632 140734055322944 13967847 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 328337 48362 799 2943 0 325231 0
[pid=21341/tid=21342] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 48362 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 48362 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 48362 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.00 2.00 2.03 3/261 21341
/proc/meminfo: memFree=23724468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1313348 CPUtime=0.29 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 53405 0 0 0 23 6 0 0 20 0 4 0 42511185 1344868352 53704 33554432000 4194304 16246674 140734055323632 140734055322944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 328337 53704 799 2943 0 325231 0
[pid=21341/tid=21342] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 53704 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 53704 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 53704 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700408 s]
/proc/loadavg: 2.00 2.00 2.03 3/261 21341
/proc/meminfo: memFree=23724468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1313348 CPUtime=0.69 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 74882 0 0 0 59 10 0 0 20 0 4 0 42511185 1344868352 75181 33554432000 4194304 16246674 140734055323632 140734055322944 5887092 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 328337 75190 836 2943 0 325231 0
[pid=21341/tid=21342] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 75195 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 75202 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1344868352 75206 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.03 3/265 21345
/proc/meminfo: memFree=23190032/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1326660 CPUtime=1.49 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 134031 0 0 0 129 20 0 0 20 0 4 0 42511185 1358499840 134330 33554432000 4194304 16246674 140734055323632 140734055305536 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 331665 134330 885 2943 0 328559 0
[pid=21341/tid=21342] ppid=21338 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1358499840 134330 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1358499840 134330 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1326660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1358499840 134330 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.03 3/265 21345
/proc/meminfo: memFree=22634216/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1348164 CPUtime=3.09 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 277620 0 0 0 271 38 0 0 20 0 4 0 42511185 1380519936 277919 33554432000 4194304 16246674 140734055323632 140734055321472 12414073 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 337041 277919 897 2943 0 333935 0
[pid=21341/tid=21342] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 277919 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 277919 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 277919 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1348164

[startup+6.30042 s]
/proc/loadavg: 2.08 2.02 2.04 3/265 21345
/proc/meminfo: memFree=22612468/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1348164 CPUtime=6.29 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 277728 0 0 0 591 38 0 0 20 0 4 0 42511185 1380519936 278027 33554432000 4194304 16246674 140734055323632 140734055321472 4220543 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 337041 278027 897 2943 0 333935 0
[pid=21341/tid=21342] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1348164

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.04 3/265 21345
/proc/meminfo: memFree=23437168/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1348164 CPUtime=12.68 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 277728 0 0 0 1230 38 0 0 20 0 4 0 42511185 1380519936 278027 33554432000 4194304 16246674 140734055323632 140734055321472 4206664 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 337041 278027 897 2943 0 333935 0
[pid=21341/tid=21342] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1348164 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1380519936 278027 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1348164

[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.04 3/265 21345
/proc/meminfo: memFree=21418084/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=1941060 CPUtime=25.49 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 425952 0 0 0 2492 57 0 0 20 0 4 0 42511185 1987645440 426251 33554432000 4194304 16246674 140734055323632 140734055321536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 485265 426251 897 2943 0 482159 0
[pid=21341/tid=21342] ppid=21338 vsize=1941060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 1987645440 426251 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=1941060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 1987645440 426251 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=1941060 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 1987645440 426251 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1941060

[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 2.03 3/265 21345
/proc/meminfo: memFree=19934708/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=3048004 CPUtime=51.08 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 702690 0 0 0 5011 97 0 0 20 0 4 0 42511185 3121156096 702989 33554432000 4194304 16246674 140734055323632 140734055322944 4220921 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 762001 702989 898 2943 0 758895 0
[pid=21341/tid=21342] ppid=21338 vsize=3048004 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 3121156096 702989 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=3048004 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 3121156096 702989 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=3048004 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 3121156096 702989 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3048004

[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.03 3/265 21347
/proc/meminfo: memFree=17031808/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=4351556 CPUtime=102.28 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 1028578 0 0 0 10081 147 0 0 20 0 4 0 42511185 4455993344 1028877 33554432000 4194304 16246674 140734055323632 140734055321536 4206671 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 1087889 1028877 898 2943 0 1084783 0
[pid=21341/tid=21342] ppid=21338 vsize=4351556 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 4455993344 1028877 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=4351556 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 4455993344 1028877 33554432000 4194304 16246674 140734055323632 139640085388304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=4351556 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 4455993344 1028877 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4351556


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


[startup+642.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 21360
/proc/meminfo: memFree=3877844/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=13593156 CPUtime=642.18 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4418538 0 0 0 63534 684 0 0 20 0 4 0 42511185 13919391744 3339285 33554432000 4194304 16246674 140734055323632 140734055322808 4206604 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3398289 3339285 902 2943 0 3395183 0
[pid=21341/tid=21342] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 13593156

[startup+702.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/265 21411
/proc/meminfo: memFree=16898084/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=13593156 CPUtime=702.18 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4418538 0 0 0 69529 689 0 0 20 0 4 0 42511185 13919391744 3339285 33554432000 4194304 16246674 140734055323632 140734055322728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3398289 3339285 902 2943 0 3395183 0
[pid=21341/tid=21342] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=13593156 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 13919391744 3339285 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 13593156

[startup+762.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/266 21415
/proc/meminfo: memFree=14297404/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=13998660 CPUtime=762.18 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4519916 0 0 0 75512 706 0 0 20 0 4 0 42511185 14334627840 3440917 33554432000 4194304 16246674 140734055323632 140734055322728 12449395 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3499665 3440917 902 2943 0 3496559 0
[pid=21341/tid=21342] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 13998660

[startup+822.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/266 21416
/proc/meminfo: memFree=13003840/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=13998660 CPUtime=822.15 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4519916 0 0 0 81506 709 0 0 20 0 4 0 42511185 14334627840 3440917 33554432000 4194304 16246674 140734055323632 140734055321600 14013949 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3499665 3440917 902 2943 0 3496559 0
[pid=21341/tid=21342] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640085388304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=13998660 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 14334627840 3440917 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 13998660

[startup+882.311 s]
/proc/loadavg: 2.08 2.05 2.00 3/265 21417
/proc/meminfo: memFree=10755372/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=14523972 CPUtime=882.15 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4597589 0 0 0 87488 727 0 0 20 0 4 0 42511185 14872547328 3572245 33554432000 4194304 16246674 140734055323632 140734055321600 13899629 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3630993 3572245 902 2943 0 3627887 0
[pid=21341/tid=21342] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640085388304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14523972

[startup+942.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/265 21418
/proc/meminfo: memFree=10217632/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=14523972 CPUtime=942.13 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4597589 0 0 0 93482 731 0 0 20 0 4 0 42511185 14872547328 3572245 33554432000 4194304 16246674 140734055323632 140734055322728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3630993 3572245 902 2943 0 3627887 0
[pid=21341/tid=21342] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 14523972

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/265 21420
/proc/meminfo: memFree=7439288/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=14523972 CPUtime=1002.13 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4597590 0 0 0 99477 736 0 0 20 0 4 0 42511185 14872547328 3572245 33554432000 4194304 16246674 140734055323632 140734055321472 14003409 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3630993 3572245 902 2943 0 3627887 0
[pid=21341/tid=21342] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640085388304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=14523972 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 14872547328 3572245 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14523972



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1035.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/265 21420
/proc/meminfo: memFree=6567628/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=15903300 CPUtime=1035.11 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) R 21338 21341 15739 0 -1 4202496 4942420 0 0 0 102730 781 0 0 20 0 4 0 42511185 16284979200 3917075 33554432000 4194304 16246674 140734055323632 140734055322728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 3975825 3917078 902 2943 0 3972719 0
[pid=21341/tid=21342] ppid=21338 vsize=15903300 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21342/stat : 21342 (toysat) S 21338 21341 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 42511186 16284979200 3917078 33554432000 4194304 16246674 140734055323632 139640095878384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=15903300 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) S 21338 21341 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 42511186 16284979200 3917078 33554432000 4194304 16246674 140734055323632 139640085388528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=21341/tid=21344] ppid=21338 vsize=15904324 CPUtime=0 cores=4-7,12-15
/proc/21341/task/21344/stat : 21344 (toysat) S 21338 21341 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 42511186 16286027776 3917078 33554432000 4194304 16246674 140734055323632 139640074914992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1035.11
Current children cumulated vsize (KiB) 15903300

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

[startup+1035.6 s]
/proc/loadavg: 2.08 2.04 2.00 3/265 21420
/proc/meminfo: memFree=6567628/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=0 CPUtime=1035.41 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) Z 21338 21341 15739 0 -1 4203532 4942898 0 0 0 102730 811 0 0 20 0 2 0 42511185 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 0 0 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=0 CPUtime=0.28 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) R 21338 21341 15739 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 42511186 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) 1035.41
Current children cumulated vsize (KiB) 0

[startup+1036 s]
/proc/loadavg: 2.08 2.04 2.00 3/265 21420
/proc/meminfo: memFree=6567628/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=0 CPUtime=1035.81 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) Z 21338 21341 15739 0 -1 4203532 4942898 0 0 0 102730 851 0 0 20 0 2 0 42511185 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 0 0 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=0 CPUtime=0.68 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) R 21338 21341 15739 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 42511186 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) 1035.81
Current children cumulated vsize (KiB) 0

[startup+1036.1 s]
/proc/loadavg: 2.08 2.04 2.00 3/265 21420
/proc/meminfo: memFree=6567628/32872528 swapFree=8316/8316
[pid=21341] ppid=21338 vsize=0 CPUtime=1035.91 cores=4-7,12-15
/proc/21341/stat : 21341 (toysat) Z 21338 21341 15739 0 -1 4203532 4942898 0 0 0 102730 861 0 0 20 0 2 0 42511185 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/21341/statm: 0 0 0 0 0 0 0
[pid=21341/tid=21343] ppid=21338 vsize=0 CPUtime=0.78 cores=4-7,12-15
/proc/21341/task/21343/stat : 21343 (toysat) R 21338 21341 15739 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 42511186 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) 1035.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1036.11
CPU time (s): 1035.93
CPU user time (s): 1027.31
CPU system time (s): 8.61869
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 15903300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1027.31
system time used= 8.61869
maximum resident set size= 15670212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4942898
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= 322
involuntary context switches= 1133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56331 second user time and 6.01509 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-20 08:37:46
IDJOB=4111416
IDBENCH=109255
IDSOLVER=2542
FILE ID=node132/4111416-1466404666
RUNJOBID= node132-1466401863-21025
PBS_JOBID= 19923261
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= daecf1fff8c4fc4a06ce45afceb432b0
RANDOM SEED=2067046045

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

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

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

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

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

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        23724096 kB
Buffers:           63636 kB
Cached:           120300 kB
SwapCached:          768 kB
Active:          8281676 kB
Inactive:          97960 kB
Active(anon):    8197036 kB
Inactive(anon):     1180 kB
Active(file):      84640 kB
Inactive(file):    96780 kB
Unevictable:        8316 kB
Mlocked:            8316 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             18884 kB
Writeback:             0 kB
AnonPages:       8204300 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             603836 kB
SReclaimable:      43896 kB
SUnreclaim:       559940 kB
KernelStack:        2200 kB
PageTables:        20220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8347864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71704 MiB
End job on node132 at 2016-06-20 08:55:02