Trace number 4079390

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.01 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_3_mh_ic.opb
MD5SUMe746951c72dd3c581de09cc22407090d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3539617
Best CPU time to get the best result obtained on this benchmark1800
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 132250
Biggest coefficient in the objective function 122763473
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 71701401518
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 122763473
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 71701401518
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-07T20:37:14+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-4079390-1465324632.opb"]
0.00/0.01	c use --random-gen="2862413692 908326108 2814906011 814953312 2911945714 3399424375 1521826590 1424898274 407472397 3593667435 3106288548 3511133250 3432494295 301505047 647620729 3625041414 2968364166 2314782675 4073761144 2260363262 3143927277 1617250401 2563553923 2279783442 1989893426 2916159743 1091858735 2612583744 1531706723 3139242468 1291407139 2813576556 581959741 754060828 126348316 4185940571 521729205 3795004724 593255949 2110803246 170436115 689038245 1808768436 1169375117 1844261913 3188577871 2172552586 3553318489 977850787 92577838 2592894584 560647315 2928438424 1018180692 739297455 1464893105 2628445598 2361462917 772868928 4250873174 2481207967 2664242576 3888715030 758286577 2752145191 2468008463 49258913 1009948585 1334033053 2220856156 506803338 309697449 2662105455 2634355025 3601981935 4291526724 2882239097 2619832339 2749138936 232614330 402983588 357336687 999129116 2007715671 32104340 104552879 1623957293 780267713 3434444314 2829972233 1510219627 108686024 2274247929 1642525547 3199294258 2644851991 1795663018 3469059125 4079342069 2713554891 3822960035 1727572203 3124108222 3438650012 748123358 3847950900 2732529474 503860458 1148702119 1727617382 1290166267 501380205 38802151 3776307812 1754320541 3537880974 1212056842 749905823 3781926332 569944504 3947410084 937790785 458940753 87810162 3660101903 3591332099 2993976455 1459567567 1830096346 2856908268 3543020477 1715054509 3851895248 2776507645 2678458263 142123509 2463718844 3602011096 2384770456 617646242 1849152376 3681246983 1636840604 3721011077 494713096 3068047731 2233052302 3401332572 2895392309 1011381155 3173219082 2429351750 2707733939 710900974 2698780802 941856436 1150172421 1244052806 467367288 998937130 54560077 3720990217 2784485317 1651375684 3022025410 2967064874 4129897722 1366632589 1105932131 4096045960 1361519529 155448403 1423331595 2497237966 2322862443 2287404066 1965079567 3198392001 1667388328 1089019176 308276894 1201163063 1178332576 2101121924 2270766841 4134490158 3290214004 2720932483 2957270705 4150553178 929820236 1660136788 1745011063 874231568 1942633633 3776820784 3899744213 2230075894 517977711 1044907784 632459392 1113396771 1157147101 2884251107 2071601843 1673171243 3226642530 2096125548 3591717413 725891896 2227884513 281481214 187093938 3820171456 2878532890 1626028703 678720260 589861794 54331697 566462320 3915520644 2288249505 1210120197 561584907 150935874 3859850247 4290276125 1749902229 1223792388 768921338 3886834591 1664522671 4160627699 2882799303 2730002676 480083279 467076171 4233804608 2281543734 240543977 2553071895 1091517703 693826368 2807988470 3554699503 1898685293 669316927 4130639725 3268805396 907258736 3935264921 3942679213 1812024229 3581995031 3731120521 3519868511 255 362436" option to reproduce the execution
6.49/6.51	c #vars 370300
6.49/6.51	c #constraints 847958
20.69/20.76	c BCD2: Hardening is enabled.
20.69/20.76	c BCD2: BiasedSearch is enabled.
20.69/20.76	c Solving starts ...
20.69/20.76	c ============================[ Search Statistics ]============================
20.69/20.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.69/20.76	c       |         |          |          |    Limit     GC | Var      | Constra 
20.69/20.76	c =============================================================================
20.69/20.76	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.89/26.99	c  6.2s |       0 |      660 |      100 |   408536      0 |      200 |        0
27.19/27.23	c  6.5s |       1 |      660 |      100 |   408536      0 |      200 |        0
54.49/54.53	c 33.8s |       1 |     5610 |      200 |   449390      0 |      200 |        0
71.08/71.19	c 50.4s |       2 |     6294 |      250 |   449390      0 |      200 |        0
107.88/107.93	c 87.2s |       2 |     8471 |      350 |   494330      0 |      200 |        0
137.27/137.35	c  116s |       2 |     9825 |      450 |   494330      0 |      200 |        0
146.77/146.86	c  126s |       3 |    10489 |      475 |   494330      0 |      200 |        0
186.16/186.22	c  165s |       3 |    13270 |      575 |   543763      0 |      200 |        0
217.87/217.98	c  197s |       3 |    15026 |      675 |   543763      0 |      200 |        0
247.36/247.45	c  226s |       3 |    16203 |      775 |   543763      0 |      200 |        0
255.85/255.95	c  235s |       4 |    16553 |      813 |   543763      0 |      200 |        0
281.66/281.78	c  261s |       4 |    17449 |      913 |   598140      0 |      200 |        0
315.54/315.63	c  294s |       4 |    18593 |     1013 |   598140      0 |      200 |        0
343.04/343.13	c  322s |       4 |    20310 |     1113 |   598140      0 |      200 |        0
369.13/369.29	c  348s |       4 |    21028 |     1213 |   598140      0 |      200 |        0
403.53/403.69	c  382s |       4 |    21242 |     1313 |   598140      0 |      200 |        0
405.53/405.64	c  384s |       5 |    21546 |     1320 |   598140      0 |      200 |        0
444.72/444.90	c  424s |       5 |    23971 |     1420 |   657954      0 |      200 |        0
488.11/488.20	c  467s |       5 |    26478 |     1520 |   657954      0 |      200 |        0
524.20/524.32	c  503s |       5 |    27214 |     1620 |   657954      0 |      200 |        0
563.49/563.66	c  542s |       5 |    29809 |     1720 |   657954      0 |      200 |        0
600.08/600.22	c  579s |       5 |    31796 |     1820 |   657954      0 |      200 |        0
634.37/634.54	c  613s |       5 |    32381 |     1920 |   657954      0 |      200 |        0
674.27/674.46	c  653s |       5 |    35620 |     2020 |   657954      0 |      200 |        0
698.37/698.57	c  677s |       6 |    38583 |     2081 |   723750      0 |      200 |        0
733.05/733.29	c  712s |       6 |    40037 |     2181 |   723750      0 |      200 |        0
769.74/769.94	c  749s |       6 |    41003 |     2281 |   723750      0 |      200 |        0
792.83/793.08	c  772s |       6 |    41237 |     2381 |   723750      0 |      200 |        0
839.13/839.37	c  818s |       6 |    42894 |     2481 |   723750      0 |      200 |        0
890.41/890.65	c  869s |       6 |    45297 |     2581 |   723750      0 |      200 |        0
926.12/926.36	c  905s |       6 |    45851 |     2681 |   723750      0 |      200 |        0
959.40/959.65	c  938s |       6 |    46713 |     2781 |   723750      0 |      200 |        0
1005.30/1005.54	c  984s |       6 |    47006 |     2881 |   723750      0 |      200 |        0
1055.19/1055.46	c 1034s |       6 |    48166 |     2981 |   723750      0 |      200 |        0
1093.58/1093.80	c 1073s |       6 |    49234 |     3081 |   723750      0 |      200 |        0
1128.66/1128.92	c 1108s |       6 |    50795 |     3181 |   723750      0 |      200 |        0
1149.45/1149.78	c 1129s |       7 |    51743 |     3223 |   796126      0 |      200 |        0
1199.74/1200.03	c 1179s |       7 |    53825 |     3323 |   796126      0 |      200 |        0
1241.84/1242.13	c 1221s |       7 |    55154 |     3423 |   796126      0 |      200 |        0
1275.13/1275.49	c 1254s |       7 |    56093 |     3523 |   796126      0 |      200 |        0
1311.73/1312.05	c 1291s |       7 |    57244 |     3623 |   796126      0 |      200 |        0
1348.72/1349.08	c 1328s |       7 |    58068 |     3723 |   796126      0 |      200 |        0
1381.31/1381.68	c 1360s |       7 |    59074 |     3823 |   796126      0 |      200 |        0
1420.08/1420.43	c 1399s |       7 |    59606 |     3923 |   796126      0 |      200 |        0
1469.65/1470.01	c 1449s |       7 |    59999 |     4023 |   796126      0 |      200 |        0
1517.94/1518.38	c 1497s |       7 |    60650 |     4123 |   796126      0 |      200 |        0
1558.44/1558.87	c 1538s |       7 |    61305 |     4223 |   796126      0 |      200 |        0
1598.43/1598.89	c 1578s |       7 |    64898 |     4323 |   796126      0 |      200 |        0
1641.02/1641.48	c 1620s |       7 |    76087 |     4423 |   796126      0 |      200 |        0
1697.52/1697.93	c 1677s |       7 |    88676 |     4523 |   796126      0 |      200 |        0
1760.50/1760.99	c 1740s |       7 |    91164 |     4623 |   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-4079390-1465324632/watcher-4079390-1465324632 -o /tmp/evaluation-result-4079390-1465324632/solver-4079390-1465324632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079390-1465324632.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.36 2.32 2.22 3/179 21024
/proc/meminfo: memFree=29117604/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 2446 0 0 0 0 0 0 0 20 0 4 0 114395712 674689024 3318 33554432000 4194304 16246674 140736887054112 140736887053536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 165487 3329 441 2943 0 162381 0
[pid=21024/tid=21025] ppid=21021 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 693563392 3386 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 697757696 3405 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 701952000 3421 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.36 2.32 2.22 3/179 21024
/proc/meminfo: memFree=29117604/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 31230 0 0 0 5 4 0 0 20 0 4 0 114395712 1334382592 32041 33554432000 4194304 16246674 140736887054112 140736887053424 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 325777 32051 799 2943 0 322671 0
[pid=21024/tid=21025] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1334382592 32062 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1334382592 32074 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1334382592 32085 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200553 s]
/proc/loadavg: 2.36 2.32 2.22 3/179 21024
/proc/meminfo: memFree=29117604/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 42941 0 0 0 13 6 0 0 20 0 4 0 114395712 1343819776 44262 33554432000 4194304 16246674 140736887054112 140736887053424 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 328081 44262 799 2943 0 324975 0
[pid=21024/tid=21025] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 44262 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 44262 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 44262 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300505 s]
/proc/loadavg: 2.36 2.32 2.22 3/179 21024
/proc/meminfo: memFree=29117604/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 46906 0 0 0 23 6 0 0 20 0 4 0 114395712 1343819776 48227 33554432000 4194304 16246674 140736887054112 140736887053424 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 328081 48227 800 2943 0 324975 0
[pid=21024/tid=21025] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 48227 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 48227 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1343819776 48227 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700406 s]
/proc/loadavg: 2.36 2.32 2.22 3/179 21024
/proc/meminfo: memFree=29117604/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 64605 0 0 0 60 9 0 0 20 0 4 0 114395712 1344868352 65926 33554432000 4194304 16246674 140736887054112 140736887051904 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 328337 65926 802 2943 0 325231 0
[pid=21024/tid=21025] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 65926 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 65926 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 65926 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.36 2.32 2.22 3/183 21028
/proc/meminfo: memFree=28787912/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 86352 0 0 0 137 12 0 0 20 0 4 0 114395712 1344868352 87673 33554432000 4194304 16246674 140736887054112 140736887051904 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 328337 87673 802 2943 0 325231 0
[pid=21024/tid=21025] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 87673 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 87673 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1344868352 87673 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.33 2.31 2.22 3/183 21028
/proc/meminfo: memFree=28646700/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 159949 0 0 0 286 23 0 0 20 0 4 0 114395712 1370034176 166380 33554432000 4194304 16246674 140736887054112 140736887037104 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 334481 166380 802 2943 0 331375 0
[pid=21024/tid=21025] ppid=21021 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1370034176 166380 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1370034176 166380 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1370034176 166380 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30043 s]
/proc/loadavg: 2.33 2.31 2.22 3/183 21028
/proc/meminfo: memFree=28209844/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1387076 CPUtime=6.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 262013 0 0 0 591 38 0 0 20 0 4 0 114395712 1420365824 278664 33554432000 4194304 16246674 140736887054112 140736887053424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 346769 278664 802 2943 0 343663 0
[pid=21024/tid=21025] ppid=21021 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1420365824 278664 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1420365824 278664 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1420365824 278664 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.28 2.30 2.22 4/183 21028
/proc/meminfo: memFree=27557876/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=1802820 CPUtime=12.69 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 372932 0 0 0 1216 53 0 0 20 0 4 0 114395712 1846087680 390094 33554432000 4194304 16246674 140736887054112 140736887036032 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 450705 390094 843 2943 0 447599 0
[pid=21024/tid=21025] ppid=21021 vsize=1802820 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 1846087680 390094 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1802820 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 1846087680 390094 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1802820 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 1846087680 390094 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1802820

[startup+25.5005 s]
/proc/loadavg: 2.31 2.31 2.22 3/183 21028
/proc/meminfo: memFree=26902952/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2446916 CPUtime=25.49 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 533979 0 0 0 2474 75 0 0 20 0 4 0 114395712 2505641984 553696 33554432000 4194304 16246674 140736887054112 140736887053424 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 611729 553696 896 2943 0 608623 0
[pid=21024/tid=21025] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553696 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553696 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553696 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2446916

[startup+51.1005 s]
/proc/loadavg: 2.26 2.30 2.22 3/182 21028
/proc/meminfo: memFree=26902792/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2446916 CPUtime=51.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 534014 0 0 0 5034 75 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140736887036032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 611729 553731 896 2943 0 608623 0
[pid=21024/tid=21025] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2446916

[startup+102.3 s]
/proc/loadavg: 2.34 2.31 2.22 3/183 21030
/proc/meminfo: memFree=26902456/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2446916 CPUtime=102.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 534014 0 0 0 10154 75 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140736887036032 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 611729 553731 896 2943 0 608623 0
[pid=21024/tid=21025] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2446916 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2505641984 553731 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2446916


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

/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2576964

[startup+1302.3 s]
/proc/loadavg: 2.40 2.32 2.27 3/183 21109
/proc/meminfo: memFree=26784760/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1302.03 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566628 0 0 0 130117 86 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887036032 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2576964

[startup+1362.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/184 21111
/proc/meminfo: memFree=26753780/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1362.02 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566634 0 0 0 136116 86 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887036032 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2576964

[startup+1422.3 s]
/proc/loadavg: 2.23 2.29 2.27 3/184 21114
/proc/meminfo: memFree=26753360/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1421.98 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566677 0 0 0 142112 86 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887036032 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 2576964

[startup+1482.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/184 21138
/proc/meminfo: memFree=26753244/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1481.95 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566699 0 0 0 148108 87 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887035968 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2576964

[startup+1542.31 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 21139
/proc/meminfo: memFree=26754364/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1541.95 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566699 0 0 0 154108 87 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887036032 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 2576964

[startup+1602.3 s]
/proc/loadavg: 2.17 2.25 2.25 3/183 21141
/proc/meminfo: memFree=26754172/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1601.93 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566699 0 0 0 160106 87 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887036032 13774449 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 2576964

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 21142
/proc/meminfo: memFree=26753952/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2576964 CPUtime=1661.92 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566699 0 0 0 166104 88 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140736887053288 13907038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644241 586248 897 2943 0 641135 0
[pid=21024/tid=21025] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2576964 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2638811136 586248 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 2576964

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.25 3/183 21143
/proc/meminfo: memFree=26752616/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2577988 CPUtime=1721.91 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566964 0 0 0 172102 89 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140736887051904 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644497 586504 897 2943 0 641391 0
[pid=21024/tid=21025] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2577988

[startup+1782.3 s]
/proc/loadavg: 2.19 2.23 2.25 3/183 21144
/proc/meminfo: memFree=26752260/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2577988 CPUtime=1781.9 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566964 0 0 0 178101 89 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140736887036032 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644497 586504 897 2943 0 641391 0
[pid=21024/tid=21025] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2577988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.25 2.25 3/183 21144
/proc/meminfo: memFree=26752252/32872528 swapFree=16636/1570076
[pid=21024] ppid=21021 vsize=2577988 CPUtime=1800 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 2168 0 -1 4202496 566964 0 0 0 179911 89 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140736887036032 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 644497 586504 897 2943 0 641391 0
[pid=21024/tid=21025] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289526181104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289515691248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=2577988 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114395712 2639859712 586504 33554432000 4194304 16246674 140736887054112 140289402465456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2577988

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 21024 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.41
CPU time (s): 1800.01
CPU user time (s): 1799.12
CPU system time (s): 0.895863
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 2577988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.895863
maximum resident set size= 2346016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566964
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= 226
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6283 second user time and 6.83396 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 20:37:14
IDJOB=4079390
IDBENCH=92678
IDSOLVER=2542
FILE ID=node140/4079390-1465324632
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_3_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-4079390-1465324632/watcher-4079390-1465324632 -o /tmp/evaluation-result-4079390-1465324632/solver-4079390-1465324632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079390-1465324632.opb

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

MD5SUM BENCH= e746951c72dd3c581de09cc22407090d
RANDOM SEED=2084404695

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29118132 kB
Buffers:           56528 kB
Cached:           260112 kB
SwapCached:         1660 kB
Active:          1294172 kB
Inactive:         137096 kB
Active(anon):    1110508 kB
Inactive(anon):     5988 kB
Active(file):     183664 kB
Inactive(file):   131108 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             53744 kB
Writeback:             0 kB
AnonPages:       2686096 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             615376 kB
SReclaimable:      59008 kB
SUnreclaim:       556368 kB
KernelStack:        1464 kB
PageTables:         9376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2829932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2129920 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= 71672 MiB
End job on node140 at 2016-06-07 21:07:14