Trace number 4079284

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.39

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUM52aede169395dc6e3bc8a1feb542a706
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 169651739
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 169651739
Number of bits of the biggest sum of numbers28
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-07T18:11:50+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-4079284-1465315909.opb"]
0.00/0.01	c use --random-gen="2204292716 3820313438 666116054 506339374 3131064682 1480409445 1859465480 2896166855 2386702937 1325852332 370288465 748503188 3420975187 2810821491 2788796111 1143948263 3218326025 3859363390 1115805534 2620283659 203529613 3766487743 2357468846 494689953 704760319 3090997076 3720208533 811439574 4133352643 3456008441 563038491 2781670588 1316745432 2434432146 1177771704 1646074782 4085690388 430692627 1054711992 1527358039 3658206970 1450599938 2461526400 1103525332 1939752919 2586341353 1960257051 1554474478 1486680321 2227759886 1690344315 3550093262 1366674961 3120338883 4286759203 2850858056 4229999816 1118055054 1824950040 85347424 1418961118 1610425349 3662651138 2705464140 3980842247 1301710717 3159681057 3339109261 1274147786 1446379782 2581610200 2434865983 1166247744 1705191159 287818723 3383266038 38585767 3531428878 409477636 922755154 600285094 1804083116 2508677224 3048048418 568613701 2197980163 2017810030 1186769167 970585635 239235938 2575220923 1951740531 3945662238 1554543883 1189160837 2535895110 3069122325 103237861 2374358340 833891123 3395937047 696897068 439255624 2011628273 3241597521 3509686088 2873035237 897256715 2535965986 3462365522 1732402914 1952927728 1790838410 383697782 1083572504 2464502639 3228809050 4168036749 3474475788 1205696741 529694389 4033742870 3812208690 338219289 2841250213 3682358221 283234739 4049559600 504347600 108488754 292950600 1112338786 3078194973 2713931799 3367257915 374966410 3352822127 2868277484 1189910586 185020335 3945711592 397422696 827407185 2983868945 1626768274 3517542309 632680679 3862885188 4035796269 1834614160 2442431844 4249982737 2743699358 199589177 4252205032 3389683524 1992140488 221352000 3462071728 1440183774 1012909308 112099652 1648948448 651534744 1025809127 4084961400 2179619961 4090212798 2025626231 789301518 1414041904 2034730598 3288049370 1876078375 2823308352 2517071738 3948607520 1120830153 4241013076 3727140329 2014037806 1357410856 554217659 693839054 1186417391 2015047236 2217265595 1598202935 2390617474 1612923033 4207037776 2256592091 3707003125 1067822375 131350705 1162034573 3530919406 2031750348 4205364690 3609846048 973306084 1838259486 741226519 4147605075 2653968492 1006260442 3426036581 2304775297 4121493190 2340537256 2343530208 3363228534 2981829856 3793163031 3974501611 1214723078 355416224 2862574595 1565222786 867257889 385105585 1631698758 2416646976 2611781194 3319715474 2748372443 2103174749 2560935460 1982044105 2462187637 1936026693 3352450109 1806788873 2697216053 3427967118 1321076337 2062482783 2506199653 1120771404 3043235961 1381777054 2525738641 2015022939 1876330820 2442031240 940291749 3067646826 2672722729 4165534321 1584201671 4113433825 204662512 4203763248 2924026118 1359546171 2793731602 255 362436" option to reproduce the execution
5.08/5.15	c #vars 399113
5.08/5.15	c #constraints 400980
16.98/17.08	c BCD2: Hardening is enabled.
16.98/17.08	c BCD2: BiasedSearch is enabled.
16.98/17.08	c Solving starts ...
16.98/17.08	c ============================[ Search Statistics ]============================
16.98/17.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.98/17.08	c       |         |          |          |    Limit     GC | Var      | Constra 
16.98/17.08	c =============================================================================
16.98/17.09	c  0.0s |       0 |        0 |        0 |   266697      0 |        0 |        0
34.58/34.67	c 17.6s |       0 |     8071 |      100 |   266697      0 |       19 |       19
34.77/34.85	c 17.8s |       1 |     8071 |      100 |   266697      0 |       19 |       19
86.38/86.49	c 69.4s |       1 |     8578 |      200 |   293367      0 |       19 |       19
103.77/103.89	c 86.8s |       2 |     8870 |      250 |   293367      0 |       19 |       19
270.94/271.04	c  253s |       2 |     9529 |      350 |   322704      0 |       19 |       19
432.72/432.83	c  415s |       2 |    10142 |      450 |   322704      0 |       19 |       19
468.62/468.74	c  451s |       3 |    10964 |      475 |   322704      0 |       19 |       19
529.11/529.25	c  512s |       3 |    13608 |      575 |   354975      0 |       19 |       19
613.19/613.30	c  596s |       3 |    14115 |      675 |   354975      0 |       19 |       19
680.98/681.17	c  664s |       3 |    17163 |      775 |   354975      0 |       19 |       19
717.27/717.40	c  700s |       4 |    17409 |      813 |   354975      0 |       19 |       19
794.07/794.24	c  777s |       4 |    21364 |      913 |   390473      0 |       19 |       19
902.96/903.16	c  886s |       4 |    22480 |     1013 |   390473      0 |       19 |       19
1003.83/1004.08	c  986s |       4 |    23065 |     1113 |   390473      0 |       19 |       19
1088.22/1088.46	c 1071s |       4 |    25325 |     1213 |   390473      0 |       19 |       19
1146.91/1147.14	c 1130s |       4 |    26375 |     1313 |   390473      0 |       19 |       19
1149.51/1149.74	c 1132s |       5 |    26393 |     1320 |   390473      0 |       19 |       19
1253.29/1253.51	c 1236s |       5 |    28208 |     1420 |   429521      0 |       19 |       19
1295.49/1295.76	c 1278s |       5 |    37677 |     1520 |   429521      0 |       19 |       19
1344.18/1344.45	c 1327s |       5 |    39533 |     1620 |   429521      0 |       19 |       19
1424.57/1424.89	c 1407s |       5 |    40095 |     1720 |   429521      0 |       19 |       19
1534.36/1534.61	c 1517s |       5 |    40364 |     1820 |   429521      0 |       19 |       19
1574.74/1575.02	c 1557s |       5 |    41424 |     1920 |   429521      0 |       19 |       19
1616.64/1616.91	c 1599s |       5 |    44218 |     2020 |   429521      0 |       19 |       19
1654.43/1654.78	c 1637s |       6 |    46401 |     2081 |   472474      0 |       19 |       19
1751.21/1751.53	c 1734s |       6 |    50758 |     2181 |   472474      0 |       19 |       19

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 21838
/proc/meminfo: memFree=30967448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 2503 0 0 0 0 0 0 0 20 0 4 0 113524463 689369088 3374 33554432000 4194304 16246674 140736828782512 140736828781936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21838/statm: 169071 3383 441 2943 0 165965 0
[pid=21838/tid=21839] ppid=21835 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 708243456 3445 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 712437760 3463 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 716632064 3479 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 21838
/proc/meminfo: memFree=30967448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 27736 0 0 0 5 4 0 0 20 0 4 0 113524463 1332285440 28545 33554432000 4194304 16246674 140736828782512 140736828781728 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 325265 28562 798 2943 0 322159 0
[pid=21838/tid=21839] ppid=21835 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1332285440 28573 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1332285440 28585 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1332285440 28596 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200493 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 21838
/proc/meminfo: memFree=30967448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 43152 0 0 0 14 5 0 0 20 0 4 0 113524463 1345916928 44472 33554432000 4194304 16246674 140736828782512 140736828781728 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 328593 44490 799 2943 0 325487 0
[pid=21838/tid=21839] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 44500 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 44511 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 44525 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300457 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 21838
/proc/meminfo: memFree=30967448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 49012 0 0 0 23 6 0 0 20 0 4 0 113524463 1345916928 50332 33554432000 4194304 16246674 140736828782512 140736828781728 13761730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 328593 50332 799 2943 0 325487 0
[pid=21838/tid=21839] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 50332 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 50332 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 50332 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700375 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 21838
/proc/meminfo: memFree=30967448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 72330 0 0 0 60 9 0 0 20 0 4 0 113524463 1345916928 73650 33554432000 4194304 16246674 140736828782512 140736828781728 7369523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 328593 73650 800 2943 0 325487 0
[pid=21838/tid=21839] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 73650 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 73650 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1345916928 73650 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 21842
/proc/meminfo: memFree=30421112/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 95811 0 0 0 137 12 0 0 20 0 4 0 113524463 1358499840 99175 33554432000 4194304 16246674 140736828782512 140736828781608 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 331665 99175 801 2943 0 328559 0
[pid=21838/tid=21839] ppid=21835 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1358499840 99175 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1358499840 99175 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1358499840 99175 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10039 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 21842
/proc/meminfo: memFree=30129724/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 129243 0 0 0 291 18 0 0 20 0 4 0 113524463 1383665664 138228 33554432000 4194304 16246674 140736828782512 140736828765504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 337809 138228 801 2943 0 334703 0
[pid=21838/tid=21839] ppid=21835 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1383665664 138228 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113524463 1383665664 138228 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1383665664 138228 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30039 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 21842
/proc/meminfo: memFree=29202816/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1479236 CPUtime=6.28 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 289973 0 0 0 586 42 0 0 20 0 4 0 113524463 1514737664 307645 33554432000 4194304 16246674 140736828782512 140736828780416 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 369809 307645 834 2943 0 366703 0
[pid=21838/tid=21839] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 307645 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 307645 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 307645 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1479236

[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 21842
/proc/meminfo: memFree=28736204/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=1479236 CPUtime=12.68 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 289989 0 0 0 1226 42 0 0 20 0 4 0 113524463 1514737664 311749 33554432000 4194304 16246674 140736828782512 140736828764416 6938816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 369809 311749 837 2943 0 366703 0
[pid=21838/tid=21839] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 311749 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 311749 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 1514737664 311749 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1479236

[startup+25.5005 s]
/proc/loadavg: 1.98 2.00 2.01 3/183 21842
/proc/meminfo: memFree=27116264/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2103876 CPUtime=25.48 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 446209 0 0 0 2483 65 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140736828764416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 525969 467969 893 2943 0 522863 0
[pid=21838/tid=21839] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2103876

[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 2.01 3/182 21842
/proc/meminfo: memFree=27116212/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2103876 CPUtime=51.08 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 446209 0 0 0 5014 94 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140736828781688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 525969 467969 893 2943 0 522863 0
[pid=21838/tid=21839] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2103876

[startup+102.301 s]
/proc/loadavg: 2.04 2.01 2.01 3/183 21844
/proc/meminfo: memFree=27115984/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2103876 CPUtime=102.28 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 446209 0 0 0 10069 159 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140736828764416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 525969 467969 893 2943 0 522863 0
[pid=21838/tid=21839] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2103876 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2154369024 467969 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2103876


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

/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551941 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2439748

[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 21875
/proc/meminfo: memFree=26773812/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1362.08 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530181 0 0 0 136020 188 0 0 20 0 4 0 113524463 2498301952 551941 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551941 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551941 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551941 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551941 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2439748

[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 21876
/proc/meminfo: memFree=26773184/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1422.08 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530183 0 0 0 142020 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2439748

[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 21877
/proc/meminfo: memFree=26772832/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1482.06 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530185 0 0 0 148018 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2439748

[startup+1542.31 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 21878
/proc/meminfo: memFree=26772724/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1542.06 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530185 0 0 0 154018 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2439748

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 21880
/proc/meminfo: memFree=26772996/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1602.04 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530185 0 0 0 160016 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2439748

[startup+1662.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/183 21881
/proc/meminfo: memFree=26772820/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1662.03 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530185 0 0 0 166015 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2439748

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/184 21885
/proc/meminfo: memFree=26772460/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1722.02 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530186 0 0 0 172014 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2439748

[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/182 21886
/proc/meminfo: memFree=26773468/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1782.01 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530186 0 0 0 178013 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2439748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/182 21886
/proc/meminfo: memFree=26773448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1800.01 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530186 0 0 0 179813 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2439748

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

[startup+1800.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/182 21886
/proc/meminfo: memFree=26773448/32872528 swapFree=11196/354588
[pid=21838] ppid=21835 vsize=2439748 CPUtime=1800.01 cores=1,3,5,7
/proc/21838/stat : 21838 (toysat) R 21835 21838 21010 0 -1 4202496 530186 0 0 0 179813 188 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140736828764416 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21838/statm: 609937 551944 897 2943 0 606831 0
[pid=21838/tid=21839] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21839/stat : 21839 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398682942704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=21838/tid=21840] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21840/stat : 21840 (toysat) S 21835 21838 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398672452848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=21838/tid=21841] ppid=21835 vsize=2439748 CPUtime=0 cores=1,3,5,7
/proc/21838/task/21841/stat : 21841 (toysat) S 21835 21838 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113524463 2498301952 551944 33554432000 4194304 16246674 140736828782512 140398588587184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2439748

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.39
CPU time (s): 1800.1
CPU user time (s): 1798.14
CPU system time (s): 1.9657
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 2439748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 1.9657
maximum resident set size= 2207776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530186
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= 40
involuntary context switches= 1897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54685 second user time and 9.59354 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 18:11:50
IDJOB=4079284
IDBENCH=92613
IDSOLVER=2542
FILE ID=node126/4079284-1465315909
RUNJOBID= node126-1465306898-21027
PBS_JOBID= 19849495
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079284-1465315909/watcher-4079284-1465315909 -o /tmp/evaluation-result-4079284-1465315909/solver-4079284-1465315909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079284-1465315909.opb

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

MD5SUM BENCH= 52aede169395dc6e3bc8a1feb542a706
RANDOM SEED=1602489182

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30967976 kB
Buffers:           61908 kB
Cached:           498032 kB
SwapCached:         2088 kB
Active:           576660 kB
Inactive:         234436 kB
Active(anon):     250320 kB
Inactive(anon):     3300 kB
Active(file):     326340 kB
Inactive(file):   231136 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             93848 kB
Writeback:             0 kB
AnonPages:        607284 kB
Mapped:            10172 kB
Shmem:                 0 kB
Slab:             602908 kB
SReclaimable:      46276 kB
SUnreclaim:       556632 kB
KernelStack:        1408 kB
PageTables:         6672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1580676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 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= 71644 MiB
End job on node126 at 2016-06-07 18:41:51