Trace number 4079396

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.05 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_9_mh_ic.opb
MD5SUM655cb5a16dbcae660ed90071e230a8ed
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18704900
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 149721291
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 68872273970
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 149721291
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 68872273970
Number of bits of the biggest sum of numbers37
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-07T21:10:42+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-4079396-1465326640.opb"]
0.00/0.01	c use --random-gen="2552092761 2540456963 2910776542 1793362225 3666372020 3805724760 284384334 3776844114 189191514 2265972697 320374182 3455447801 1073899542 2543061272 3817174470 2993753973 571784154 3182697519 3250038364 3497506403 2631755844 3523675442 1928424865 533782631 1435972374 2851566790 4143931847 2134232098 4220054258 2797713760 1026017322 161236276 574036378 3029788337 2889389814 1166918777 1814696872 1697169456 2457588774 1357820735 1698956275 4113995311 3729284972 446378553 716443835 2463483810 244346672 2067734673 3517606153 390661196 4168328606 3479477420 2624824074 619060081 3029446295 2356018695 1117511573 1897755277 3126935393 2509833702 1391279841 3439409137 1604852180 2167108646 741836332 1453454825 2829922797 1744258539 2850579389 3919766825 3580010060 2971020933 1542195668 3090021617 2285299743 2793333098 2473204247 1263034854 3621189425 2078435270 2842840305 1399980844 2412006590 3536829616 2492376161 3039186420 1670713451 1706884882 2687723898 194293664 707124888 1153620065 889016085 3865470999 2130602188 3115355480 4038645658 3777116475 2676852621 1037895682 2512307431 3470965461 4143211588 1620910786 2896566843 247171986 579519323 4177490227 3296523358 2649206289 1042148415 3668926095 1040989881 2402825654 3620704643 1739774380 1662351792 1348450203 1060506066 129791051 2051065241 893100683 1452211238 2366560955 2269812123 1680897665 926083578 2806740279 2885133125 4110235354 195217336 2007872846 1504406747 3239653896 2264596087 1236229416 657813036 1977421283 1033276899 2083331587 3484980446 190252702 3243553319 3399428372 1803992158 839075764 1005360672 2179297827 1526897968 2344228903 4089552397 800022776 722698821 2144375940 1177663258 3170562522 2560661506 3821459701 593359946 2945370181 174334078 3524143687 1824077801 3952244695 3923814210 870306663 2456615461 2279054310 2522502488 2297377402 3055942402 398216468 1453809153 3408665369 2346550134 3940119909 3860925516 3782047411 3687707651 571799776 575031080 3614653675 2648670982 2131929903 3323485919 1335980871 719395062 2857501500 2882031717 874772741 1147240184 2199695763 905086176 1891655445 151391952 1992107780 2910965720 1669083651 3378037068 3821302328 1060574126 2452448274 2652736762 1011408927 2234914977 3683601678 2317746914 1670279233 145332880 436738666 2561621067 2480371417 3240275547 1718363143 881686855 3586681311 513938392 355223540 4063302934 1759857196 2349403930 2195270274 3739122988 2109688289 2587762644 942755640 1054180333 1326332030 3859772242 1516541170 2968916465 611632589 3737251231 1047613176 1022594417 2685519701 1564605842 97983681 2761676900 3901781814 1160981187 1530908676 2212355046 3595448172 1826922989 3892085637 2211698196 1486848087 1094371014 1230018347 1026578073 2454886160 2115853928 3546295647 1714989306 1598052517 255 362436" option to reproduce the execution
6.49/6.60	c #vars 370300
6.49/6.60	c #constraints 847958
20.78/20.84	c BCD2: Hardening is enabled.
20.78/20.84	c BCD2: BiasedSearch is enabled.
20.78/20.84	c Solving starts ...
20.78/20.84	c ============================[ Search Statistics ]============================
20.78/20.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.78/20.84	c       |         |          |          |    Limit     GC | Var      | Constra 
20.78/20.84	c =============================================================================
20.78/20.85	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.99/27.10	c  6.3s |       0 |      660 |      100 |   408536      0 |      200 |        0
27.28/27.33	c  6.5s |       1 |      660 |      100 |   408536      0 |      200 |        0
54.58/54.63	c 33.8s |       1 |     5617 |      200 |   449390      0 |      200 |        0
71.28/71.39	c 50.5s |       2 |     6299 |      250 |   449390      0 |      200 |        0
108.57/108.60	c 87.8s |       2 |     8473 |      350 |   494330      0 |      200 |        0
138.47/138.53	c  117s |       2 |     9828 |      450 |   494330      0 |      200 |        0
148.27/148.31	c  127s |       3 |    10493 |      475 |   494330      0 |      200 |        0
187.76/187.89	c  167s |       3 |    13273 |      575 |   543763      0 |      200 |        0
219.56/219.69	c  198s |       3 |    15030 |      675 |   543763      0 |      200 |        0
249.05/249.13	c  228s |       3 |    16205 |      775 |   543763      0 |      200 |        0
257.65/257.70	c  236s |       4 |    16554 |      813 |   543763      0 |      200 |        0
283.35/283.48	c  262s |       4 |    17449 |      913 |   598140      0 |      200 |        0
316.94/317.05	c  296s |       4 |    18590 |     1013 |   598140      0 |      200 |        0
344.24/344.34	c  323s |       4 |    20311 |     1113 |   598140      0 |      200 |        0
369.64/369.75	c  348s |       4 |    21027 |     1213 |   598140      0 |      200 |        0
404.53/404.69	c  383s |       4 |    21240 |     1313 |   598140      0 |      200 |        0
406.53/406.62	c  385s |       5 |    21544 |     1320 |   598140      0 |      200 |        0
445.43/445.54	c  424s |       5 |    23967 |     1420 |   657954      0 |      200 |        0
486.12/486.29	c  465s |       5 |    26636 |     1520 |   657954      0 |      200 |        0
524.01/524.14	c  503s |       5 |    27795 |     1620 |   657954      0 |      200 |        0
564.00/564.11	c  543s |       5 |    29516 |     1720 |   657954      0 |      200 |        0
600.69/600.83	c  579s |       5 |    31161 |     1820 |   657954      0 |      200 |        0
634.78/634.90	c  613s |       5 |    32717 |     1920 |   657954      0 |      200 |        0
681.08/681.22	c  660s |       5 |    34995 |     2020 |   657954      0 |      200 |        0
696.29/696.46	c  675s |       6 |    36049 |     2081 |   723750      0 |      200 |        0
729.77/729.92	c  709s |       6 |    36754 |     2181 |   723750      0 |      200 |        0
770.36/770.53	c  749s |       6 |    37560 |     2281 |   723750      0 |      200 |        0
812.25/812.45	c  791s |       6 |    38226 |     2381 |   723750      0 |      200 |        0
867.05/867.26	c  846s |       6 |    39675 |     2481 |   723750      0 |      200 |        0
928.94/929.10	c  908s |       6 |    40867 |     2581 |   723750      0 |      200 |        0
975.03/975.23	c  954s |       6 |    43991 |     2681 |   723750      0 |      200 |        0
1026.92/1027.10	c 1006s |       6 |    46350 |     2781 |   723750      0 |      200 |        0
1089.51/1089.77	c 1068s |       6 |    46735 |     2881 |   723750      0 |      200 |        0
1135.89/1136.13	c 1115s |       6 |    48460 |     2981 |   723750      0 |      200 |        0
1174.17/1174.49	c 1153s |       6 |    49844 |     3081 |   723750      0 |      200 |        0
1224.95/1225.26	c 1204s |       6 |    52359 |     3181 |   723750      0 |      200 |        0
1254.65/1254.98	c 1234s |       7 |    53915 |     3223 |   796126      0 |      200 |        0
1327.64/1327.96	c 1307s |       7 |    57028 |     3323 |   796126      0 |      200 |        0
1369.24/1369.52	c 1348s |       7 |    58049 |     3423 |   796126      0 |      200 |        0
1407.52/1407.87	c 1387s |       7 |    58609 |     3523 |   796126      0 |      200 |        0
1458.21/1458.52	c 1437s |       7 |    58950 |     3623 |   796126      0 |      200 |        0
1514.80/1515.13	c 1494s |       7 |    61707 |     3723 |   796126      0 |      200 |        0
1573.99/1574.33	c 1553s |       7 |    63517 |     3823 |   796126      0 |      200 |        0
1656.17/1656.51	c 1635s |       7 |    64849 |     3923 |   796126      0 |      200 |        0
1731.54/1731.90	c 1711s |       7 |    66786 |     4023 |   796126      0 |      200 |        0
1789.92/1790.35	c 1769s |       7 |    67928 |     4123 |   796126      0 |      200 |        0

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

pid=14348
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.09 2.02 3/179 14351
/proc/meminfo: memFree=30300064/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 2895 0 0 0 0 0 0 0 20 0 4 0 114598894 793178112 3768 33554432000 4194304 16246674 140736690780976 140736690780400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 194415 3777 441 2943 0 191309 0
[pid=14351/tid=14352] ppid=14348 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 811003904 3837 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 816246784 3854 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 820441088 3871 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.24 2.09 2.02 3/179 14351
/proc/meminfo: memFree=30300064/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 31388 0 0 0 5 4 0 0 20 0 4 0 114598894 1334382592 32199 33554432000 4194304 16246674 140736690780976 140736690780288 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 325777 32214 799 2943 0 322671 0
[pid=14351/tid=14352] ppid=14348 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1334382592 32225 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1334382592 32236 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1334382592 32247 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200565 s]
/proc/loadavg: 2.24 2.09 2.02 3/179 14351
/proc/meminfo: memFree=30300064/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 42985 0 0 0 13 6 0 0 20 0 4 0 114598894 1343819776 44306 33554432000 4194304 16246674 140736690780976 140736690780288 4207065 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 328081 44306 799 2943 0 324975 0
[pid=14351/tid=14352] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 44306 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 44306 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 44306 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300529 s]
/proc/loadavg: 2.24 2.09 2.02 3/179 14351
/proc/meminfo: memFree=30300064/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 44601 0 0 0 23 6 0 0 20 0 4 0 114598894 1343819776 45922 33554432000 4194304 16246674 140736690780976 140736690780288 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 328081 45922 800 2943 0 324975 0
[pid=14351/tid=14352] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 45922 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 45922 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1343819776 45922 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700434 s]
/proc/loadavg: 2.24 2.09 2.02 3/179 14351
/proc/meminfo: memFree=30300064/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 64065 0 0 0 61 8 0 0 20 0 4 0 114598894 1345916928 65386 33554432000 4194304 16246674 140736690780976 140736690780288 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 328593 65406 802 2943 0 325487 0
[pid=14351/tid=14352] ppid=14348 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1345916928 65417 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1345916928 65428 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1345916928 65439 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 2.22 2.09 2.02 3/183 14355
/proc/meminfo: memFree=29959268/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 82496 0 0 0 138 11 0 0 20 0 4 0 114598894 1358499840 86372 33554432000 4194304 16246674 140736690780976 140736690763968 8057043 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 331665 86372 802 2943 0 328559 0
[pid=14351/tid=14352] ppid=14348 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1358499840 86372 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1358499840 86372 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1358499840 86372 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.22 2.09 2.02 3/183 14355
/proc/meminfo: memFree=29815916/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 158500 0 0 0 286 23 0 0 20 0 4 0 114598894 1383665664 166975 33554432000 4194304 16246674 140736690780976 140736690778816 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 337809 166975 802 2943 0 334703 0
[pid=14351/tid=14352] ppid=14348 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1383665664 166975 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114598894 1383665664 166975 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1383665664 166975 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30043 s]
/proc/loadavg: 2.20 2.09 2.02 3/183 14355
/proc/meminfo: memFree=29375348/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1400388 CPUtime=6.29 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 263551 0 0 0 591 38 0 0 20 0 4 0 114598894 1433997312 281735 33554432000 4194304 16246674 140736690780976 140736690780288 7364288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 350097 281735 802 2943 0 346991 0
[pid=14351/tid=14352] ppid=14348 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1433997312 281735 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1433997312 281735 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1433997312 281735 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 2.19 2.09 2.01 3/183 14355
/proc/meminfo: memFree=28740544/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=1802820 CPUtime=12.69 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 370891 0 0 0 1216 53 0 0 20 0 4 0 114598894 1846087680 392652 33554432000 4194304 16246674 140736690780976 140736690780288 6756137 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 450705 392652 843 2943 0 447599 0
[pid=14351/tid=14352] ppid=14348 vsize=1802820 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1846087680 392652 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=1802820 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 1846087680 392652 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=1802820 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 1846087680 392652 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1802820

[startup+25.5005 s]
/proc/loadavg: 2.14 2.08 2.01 3/182 14355
/proc/meminfo: memFree=28085780/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2447940 CPUtime=25.49 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 531981 0 0 0 2452 97 0 0 20 0 4 0 114598894 2506690560 553742 33554432000 4194304 16246674 140736690780976 140736690780288 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 611985 553742 897 2943 0 608879 0
[pid=14351/tid=14352] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553742 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553742 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553742 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2447940

[startup+51.1005 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 14356
/proc/meminfo: memFree=28084892/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2447940 CPUtime=51.08 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 532227 0 0 0 5011 97 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140736690762880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 611985 553988 897 2943 0 608879 0
[pid=14351/tid=14352] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2447940

[startup+102.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 14357
/proc/meminfo: memFree=28084656/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2447940 CPUtime=102.28 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 532227 0 0 0 10131 97 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140736690762880 5600728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 611985 553988 897 2943 0 608879 0
[pid=14351/tid=14352] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2447940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2506690560 553988 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2447940


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

/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2575940

[startup+1302.3 s]
/proc/loadavg: 2.17 2.12 2.03 3/183 14436
/proc/meminfo: memFree=27935212/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2575940 CPUtime=1302.04 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 564322 0 0 0 130065 139 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140736690762880 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 643985 585992 898 2943 0 640879 0
[pid=14351/tid=14352] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2575940

[startup+1362.3 s]
/proc/loadavg: 2.15 2.12 2.04 3/183 14437
/proc/meminfo: memFree=27934936/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2575940 CPUtime=1362.03 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 564322 0 0 0 136064 139 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140736690762880 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 643985 585992 898 2943 0 640879 0
[pid=14351/tid=14352] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2575940 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2637762560 585992 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2575940

[startup+1422.3 s]
/proc/loadavg: 2.12 2.12 2.04 3/183 14438
/proc/meminfo: memFree=27931124/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1422.02 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565368 0 0 0 142050 152 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690762880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2580036

[startup+1482.3 s]
/proc/loadavg: 2.23 2.15 2.05 3/183 14440
/proc/meminfo: memFree=27930488/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1482 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565368 0 0 0 148048 152 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690762880 13820935 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2580036

[startup+1542.31 s]
/proc/loadavg: 2.13 2.14 2.05 3/183 14441
/proc/meminfo: memFree=27930656/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1542 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565368 0 0 0 154048 152 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690778816 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2580036

[startup+1602.3 s]
/proc/loadavg: 2.08 2.12 2.05 3/183 14442
/proc/meminfo: memFree=27921380/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1601.98 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565368 0 0 0 160045 153 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690780152 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2580036

[startup+1662.3 s]
/proc/loadavg: 2.08 2.11 2.05 3/183 14443
/proc/meminfo: memFree=27921156/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1661.97 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565390 0 0 0 166043 154 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690762880 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2580036

[startup+1722.3 s]
/proc/loadavg: 2.03 2.09 2.05 3/183 14444
/proc/meminfo: memFree=27921432/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1721.94 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565424 0 0 0 172040 154 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690762880 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 2580036

[startup+1782.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/184 14449
/proc/meminfo: memFree=27920996/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1781.93 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565432 0 0 0 178039 154 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690762880 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2580036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.09 2.05 3/184 14449
/proc/meminfo: memFree=27920716/32872528 swapFree=12744/274376
[pid=14351] ppid=14348 vsize=2580036 CPUtime=1800.02 cores=0,2,4,6
/proc/14351/stat : 14351 (toysat) R 14348 14351 11961 0 -1 4202496 565432 0 0 0 179848 154 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140736690778944 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14351/statm: 645009 587016 898 2943 0 641903 0
[pid=14351/tid=14352] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14352/stat : 14352 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538105801968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14351/tid=14353] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14353/stat : 14353 (toysat) S 14348 14351 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140538095312112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14351/tid=14354] ppid=14348 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14351/task/14354/stat : 14354 (toysat) S 14348 14351 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114598894 2641956864 587016 33554432000 4194304 16246674 140736690780976 140537973697712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2580036

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1798.49
CPU system time (s): 1.55376
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 2580036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.55376
maximum resident set size= 2348064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565432
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= 227
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6542 second user time and 17.3714 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 21:10:41
IDJOB=4079396
IDBENCH=92691
IDSOLVER=2542
FILE ID=node107/4079396-1465326640
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_9_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079396-1465326640/watcher-4079396-1465326640 -o /tmp/evaluation-result-4079396-1465326640/solver-4079396-1465326640 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079396-1465326640.opb

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

MD5SUM BENCH= 655cb5a16dbcae660ed90071e230a8ed
RANDOM SEED=363127517

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.56
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.441
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:        30300708 kB
Buffers:          105360 kB
Cached:           355344 kB
SwapCached:         1648 kB
Active:          1249244 kB
Inactive:         308664 kB
Active(anon):    1096316 kB
Inactive(anon):     2796 kB
Active(file):     152928 kB
Inactive(file):   305868 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             53760 kB
Writeback:             0 kB
AnonPages:       1372440 kB
Mapped:            10040 kB
Shmem:                 0 kB
Slab:             605768 kB
SReclaimable:      49004 kB
SUnreclaim:       556764 kB
KernelStack:        1472 kB
PageTables:         6768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1513128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    759808 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= 71680 MiB
End job on node107 at 2016-06-07 21:40:42