Trace number 4100073

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.11 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb
MD5SUM070ae832e0a6091e01d7e6b3fb0eac97
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-18596
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -22094
Optimality of the best value was proved NO
Number of variables1935
Total number of constraints19275
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints19274
Minimum length of a constraint10
Maximum length of a constraint1815
Number of terms in the objective function 120
Biggest coefficient in the objective function 23787
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524341
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 219027
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524372
Number of bits of the biggest sum of numbers20
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-18T02:38:56+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-4100073-1466210334.opb"]
0.00/0.01	c use --random-gen="24007114 1598545650 4224966407 2417782580 981418999 2079960876 1282075886 4171556232 379081025 4009186531 1031982898 1486304340 2178024505 3930741741 1934770189 3701592501 3899810369 3804959008 598398976 1252467971 1330075473 2321799498 4030435523 169865775 258684826 1121920171 1436532353 1455051898 723193166 2200949137 2263772063 660848830 4149637260 249549324 1728178895 4102202609 1901029051 70549723 222023442 2763821981 1559936018 2018717894 2063412968 89366396 84504096 3388352969 962775155 2193377719 2787216332 1411259202 4114399941 2608418124 541117477 132437849 3930429613 840796379 2111232497 3699745025 3255610190 1837411044 3129727249 3830022036 1170903938 1504758081 3671773883 2510924957 3424196549 816428456 2125122100 1946939585 2382658550 264480675 1304443273 966608832 2343506159 2592548914 306384924 2854618317 3353129158 1585630383 508650508 142524201 3247052616 3762443164 637951797 1558418093 2092939869 4265427792 3747344754 3158793918 2983798845 3748765387 2524861349 4102554896 3160840945 2103133804 2839202046 3698260037 4276682647 4029585959 165874106 2846694606 1694266245 1529123384 478239474 3619440446 111667033 3231313484 4189993268 24095199 3275568620 278199482 1180252866 421878050 3453366094 691991167 4032605548 4279258359 1230821328 451282912 3157318819 2646466897 1931856966 2564202002 1329767426 589054146 2734626587 2946726381 670819615 4288888681 1838884639 335806621 2270686652 1176721092 1567865078 3443688668 2196358720 612690385 4148041971 836851563 617557503 1622442963 2597697084 433750532 1526859663 3025626975 2283361420 552415659 3389177018 4148299888 214540178 557860797 3211807988 3979878039 880232353 4129390646 3444164247 1289727729 2697638836 336654824 1549039626 1603756130 995286399 3723149588 202902658 3018536519 4001713771 852196700 1225401146 1651220080 805956867 2564488627 2049039220 1110325938 3569544132 3025292883 2998661056 3480766023 111047041 3979413019 408679607 523020206 147654425 1937168780 1773069678 2490239524 1453881216 1416798136 1979556694 2766935535 2030908296 982628251 1914477492 1326146494 2250259163 853587703 998219841 4286724689 136248045 1726910582 1968680415 1159841593 2981872691 1476465229 2991794239 2752093476 1247777496 870922475 1692429398 3824961603 3633254433 3769182786 215754037 1301745228 4179845633 3501977814 176266496 2226659568 3488248321 2162393125 727051461 687482041 3939853620 1116109350 2072608722 3520104115 4203016852 679050788 2637043090 2922333922 2568854530 661835507 2675868622 2453399438 3597179484 182561941 608027856 3131141335 3649296699 157498143 409368470 3446250814 1814164705 80474411 2344701192 208869162 4122833658 1602363986 2359940014 165911069 1867893316 2885660134 2098556838 2877124960 1621888075 1312381365 255 362436" option to reproduce the execution
4.19/4.29	c #vars 1935
4.19/4.29	c #constraints 19275
105.18/105.23	c BCD2: Hardening is enabled.
105.18/105.23	c BCD2: BiasedSearch is enabled.
105.18/105.23	c Solving starts ...
105.18/105.23	c ============================[ Search Statistics ]============================
105.18/105.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
105.18/105.23	c       |         |          |          |    Limit     GC | Var      | Constra 
105.18/105.23	c =============================================================================
105.18/105.23	c  0.0s |       0 |        0 |        0 |     7070      0 |        8 |        0
131.67/131.70	c 26.5s |       0 |     1821 |      100 |     7070      0 |        8 |        0
132.57/132.60	c 27.4s |       1 |     1821 |      100 |     7070      0 |        8 |        0
159.87/159.99	c 54.8s |       1 |     1983 |      200 |     7778      0 |        8 |        0
175.27/175.39	c 70.2s |       2 |     2031 |      250 |     7778      0 |        8 |        0
204.76/204.80	c 99.6s |       2 |     2187 |      350 |     8556      0 |        8 |        0
231.65/231.79	c  126s |       2 |     2293 |      450 |     8556      0 |        8 |        0
238.45/238.59	c  133s |       3 |     2314 |      475 |     8556      0 |        8 |        0
269.46/269.54	c  164s |       3 |     2474 |      575 |     9412      0 |        8 |        0
295.95/296.03	c  190s |       3 |     2574 |      675 |     9412      0 |        8 |        0
322.25/322.40	c  217s |       3 |     2676 |      775 |     9412      0 |        8 |        0
334.54/334.62	c  229s |       4 |     2715 |      813 |     9412      0 |        8 |        0
363.33/363.42	c  258s |       4 |     2864 |      913 |    10354      0 |        8 |        0
388.43/388.58	c  283s |       4 |     2970 |     1013 |    10354      0 |        8 |        0
418.12/418.29	c  313s |       4 |     3072 |     1113 |    10354      0 |        8 |        0
443.52/443.68	c  338s |       4 |     3171 |     1213 |    10354      0 |        8 |        0
470.52/470.63	c  365s |       4 |     3279 |     1313 |    10354      0 |        8 |        0
473.72/473.83	c  368s |       5 |     3284 |     1320 |    10354      0 |        8 |        0
500.52/500.68	c  395s |       5 |     3439 |     1420 |    11390      0 |        8 |        0
527.11/527.23	c  422s |       5 |     3546 |     1520 |    11390      0 |        8 |        0
553.60/553.71	c  448s |       5 |     3648 |     1620 |    11390      0 |        8 |        0
577.80/577.95	c  472s |       5 |     3756 |     1720 |    11390      0 |        8 |        0
595.90/596.04	c  490s |       5 |     3863 |     1820 |    11390      0 |        8 |        0
616.09/616.25	c  511s |       5 |     3959 |     1920 |    11390      0 |        8 |        0
637.69/637.89	c  532s |       5 |     4074 |     2020 |    11390      0 |        8 |        0
651.29/651.48	c  546s |       6 |     4138 |     2081 |    12530      0 |        8 |        0
678.38/678.50	c  573s |       6 |     4286 |     2181 |    12530      0 |        8 |        0
703.18/703.31	c  598s |       6 |     4386 |     2281 |    12530      0 |        8 |        0
726.78/726.96	c  621s |       6 |     4508 |     2381 |    12530      0 |        8 |        0
750.67/750.86	c  645s |       6 |     4612 |     2481 |    12530      0 |        8 |        0
775.38/775.58	c  670s |       6 |     4730 |     2581 |    12530      0 |        8 |        0
799.77/799.92	c  694s |       6 |     4829 |     2681 |    12530      0 |        8 |        0
824.46/824.68	c  719s |       6 |     4941 |     2781 |    12530      0 |        8 |        0
846.46/846.67	c  741s |       6 |     5050 |     2881 |    12530      0 |        8 |        0
870.55/870.71	c  765s |       6 |     5169 |     2981 |    12530      0 |        8 |        0
898.05/898.25	c  793s |       6 |     5271 |     3081 |    12530      0 |        8 |        0
924.75/924.99	c  819s |       6 |     5373 |     3181 |    12530      0 |        8 |        0
934.14/934.30	c  829s |       7 |     5415 |     3223 |    13784      0 |        8 |        0
962.44/962.69	c  857s |       7 |     5565 |     3323 |    13784      0 |        8 |        0
984.73/984.92	c  879s |       7 |     5671 |     3423 |    13784      0 |        8 |        0
1006.44/1006.64	c  901s |       7 |     5789 |     3523 |    13784      0 |        8 |        0
1032.32/1032.59	c  927s |       7 |     5901 |     3623 |    13784      0 |        8 |        0
1058.13/1058.33	c  953s |       7 |     5998 |     3723 |    13784      0 |        8 |        0
1080.42/1080.60	c  975s |       7 |     6108 |     3823 |    13784      0 |        8 |        0
1100.92/1101.18	c  995s |       7 |     6217 |     3923 |    13784      0 |        8 |        0
1122.81/1123.04	c 1017s |       7 |     6333 |     4023 |    13784      0 |        8 |        0
1148.81/1149.00	c 1043s |       7 |     6435 |     4123 |    13784      0 |        8 |        0
1176.40/1176.63	c 1071s |       7 |     6538 |     4223 |    13784      0 |        8 |        0
1201.30/1201.50	c 1096s |       7 |     6647 |     4323 |    13784      0 |        8 |        0
1225.89/1226.17	c 1120s |       7 |     6755 |     4423 |    13784      0 |        8 |        0
1256.49/1256.78	c 1151s |       7 |     6854 |     4523 |    13784      0 |        8 |        0
1281.39/1281.65	c 1176s |       7 |     6972 |     4623 |    13784      0 |        8 |        0
1303.58/1303.88	c 1198s |       7 |     7072 |     4723 |    13784      0 |        8 |        0
1326.17/1326.43	c 1221s |       7 |     7188 |     4823 |    13784      0 |        8 |        0
1348.48/1348.77	c 1243s |       7 |     7295 |     4923 |    15163      0 |        8 |        0
1351.57/1351.81	c 1246s |       8 |     7309 |     4936 |    15163      0 |        8 |        0
1376.27/1376.52	c 1271s |       8 |     7466 |     5036 |    15163      0 |        8 |        0
1399.86/1400.18	c 1294s |       8 |     7570 |     5136 |    15163      0 |        8 |        0
1420.76/1421.01	c 1315s |       8 |     7678 |     5236 |    15163      0 |        8 |        0
1442.05/1442.31	c 1337s |       8 |     7784 |     5336 |    15163      0 |        8 |        0
1464.96/1465.22	c 1359s |       8 |     7887 |     5436 |    15163      0 |        8 |        0
1492.15/1492.44	c 1387s |       8 |     7993 |     5536 |    15163      0 |        8 |        0
1519.24/1519.57	c 1414s |       8 |     8096 |     5636 |    15163      0 |        8 |        0
1546.24/1546.55	c 1441s |       8 |     8199 |     5736 |    15163      0 |        8 |        0
1571.83/1572.13	c 1466s |       8 |     8315 |     5836 |    15163      0 |        8 |        0
1593.33/1593.64	c 1488s |       8 |     8424 |     5936 |    15163      0 |        8 |        0
1617.62/1617.96	c 1512s |       8 |     8525 |     6036 |    15163      0 |        8 |        0
1642.72/1643.08	c 1537s |       8 |     8629 |     6136 |    15163      0 |        8 |        0
1666.81/1667.19	c 1561s |       8 |     8737 |     6236 |    15163      0 |        8 |        0
1686.91/1687.26	c 1582s |       8 |     8839 |     6336 |    15163      0 |        8 |        0
1708.80/1709.18	c 1603s |       8 |     8949 |     6436 |    15163      0 |        8 |        0
1731.89/1732.23	c 1627s |       8 |     9048 |     6536 |    15163      0 |        8 |        0
1754.19/1754.60	c 1649s |       8 |     9158 |     6636 |    15163      0 |        8 |        0
1780.27/1780.62	c 1675s |       8 |     9253 |     6736 |    15163      0 |        8 |        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-4100073-1466210334/watcher-4100073-1466210334 -o /tmp/evaluation-result-4100073-1466210334/solver-4100073-1466210334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100073-1466210334.opb 

pid=16575
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.26 2.30 2.25 3/179 16578
/proc/meminfo: memFree=29344760/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=512444 CPUtime=0 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 1873 0 0 0 0 0 0 0 20 0 4 0 23082280 524742656 2746 33554432000 4194304 16246674 140734761428400 140734761427824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 128879 2755 441 2943 0 125773 0
[pid=16578/tid=16579] ppid=16575 vsize=530876 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 543617024 2819 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=535996 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 548859904 2835 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=540092 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 553054208 2854 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100221 s]
/proc/loadavg: 2.26 2.30 2.25 3/179 16578
/proc/meminfo: memFree=29344760/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 28189 0 0 0 5 3 0 0 20 0 4 0 23082280 1333334016 28999 33554432000 4194304 16246674 140734761428400 140734761427712 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 325521 29009 800 2943 0 322415 0
[pid=16578/tid=16579] ppid=16575 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1333334016 29018 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1333334016 29030 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1333334016 29041 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200513 s]
/proc/loadavg: 2.26 2.30 2.25 3/179 16578
/proc/meminfo: memFree=29344760/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 47401 0 0 0 12 7 0 0 20 0 4 0 23082280 1343819776 48722 33554432000 4194304 16246674 140734761428400 140734761427712 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 328081 48722 800 2943 0 324975 0
[pid=16578/tid=16579] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 48722 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 48722 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 48722 33554432000 4194304 16246674 140734761428400 139940503481520 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.300473 s]
/proc/loadavg: 2.26 2.30 2.25 3/179 16578
/proc/meminfo: memFree=29344760/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 49640 0 0 0 22 7 0 0 20 0 4 0 23082280 1343819776 50961 33554432000 4194304 16246674 140734761428400 140734761427712 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 328081 50961 800 2943 0 324975 0
[pid=16578/tid=16579] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 50961 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 50961 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 50961 33554432000 4194304 16246674 140734761428400 139940503481520 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.700354 s]
/proc/loadavg: 2.26 2.30 2.25 3/179 16578
/proc/meminfo: memFree=29344760/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 60858 0 0 0 60 9 0 0 20 0 4 0 23082280 1343819776 62179 33554432000 4194304 16246674 140734761428400 140734761427712 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 328081 62179 801 2943 0 324975 0
[pid=16578/tid=16579] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 62179 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 62179 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 62179 33554432000 4194304 16246674 140734761428400 139940503481520 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) 1312324

[startup+1.50039 s]
/proc/loadavg: 2.26 2.30 2.25 3/183 16582
/proc/meminfo: memFree=29064040/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 81098 0 0 0 137 12 0 0 20 0 4 0 23082280 1343819776 82419 33554432000 4194304 16246674 140734761428400 140734761411392 12751188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 328081 82419 801 2943 0 324975 0
[pid=16578/tid=16579] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 82419 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 82419 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1343819776 82419 33554432000 4194304 16246674 140734761428400 139940503481520 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) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.26 2.30 2.25 3/183 16582
/proc/meminfo: memFree=28860772/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 117698 0 0 0 291 18 0 0 20 0 4 0 23082280 1368985600 123618 33554432000 4194304 16246674 140734761428400 140734761410304 7439429 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 334225 123618 801 2943 0 331119 0
[pid=16578/tid=16579] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 123618 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 123618 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 123618 33554432000 4194304 16246674 140734761428400 139940503481520 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) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.24 2.29 2.25 3/183 16582
/proc/meminfo: memFree=28241812/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1336900 CPUtime=6.28 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 269125 0 0 0 590 38 0 0 20 0 4 0 23082280 1368985600 276067 33554432000 4194304 16246674 140734761428400 140734761410304 12414079 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 334225 276067 834 2943 0 331119 0
[pid=16578/tid=16579] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276067 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276067 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276067 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.22 2.29 2.25 3/183 16582
/proc/meminfo: memFree=28241420/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1336900 CPUtime=12.68 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 269218 0 0 0 1230 38 0 0 20 0 4 0 23082280 1368985600 276160 33554432000 4194304 16246674 140734761428400 140734761427496 12413881 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 334225 276160 834 2943 0 331119 0
[pid=16578/tid=16579] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1336900

[startup+25.5004 s]
/proc/loadavg: 2.31 2.31 2.25 3/183 16582
/proc/meminfo: memFree=28241440/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1336900 CPUtime=25.48 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 269218 0 0 0 2510 38 0 0 20 0 4 0 23082280 1368985600 276160 33554432000 4194304 16246674 140734761428400 140734761410304 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 334225 276160 834 2943 0 331119 0
[pid=16578/tid=16579] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.33 2.31 2.25 3/183 16582
/proc/meminfo: memFree=28241316/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1336900 CPUtime=51.08 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 269218 0 0 0 5069 39 0 0 20 0 4 0 23082280 1368985600 276160 33554432000 4194304 16246674 140734761428400 140734761427576 12655212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 334225 276160 834 2943 0 331119 0
[pid=16578/tid=16579] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1368985600 276160 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1336900

[startup+102.3 s]
/proc/loadavg: 2.31 2.31 2.26 3/184 16587
/proc/meminfo: memFree=27881780/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=1696324 CPUtime=102.28 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 358879 0 0 0 10176 52 0 0 20 0 4 0 23082280 1737035776 365821 33554432000 4194304 16246674 140734761428400 140734761426176 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 424081 365821 839 2943 0 420975 0
[pid=16578/tid=16579] ppid=16575 vsize=1696324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 1737035776 365821 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=1696324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 1737035776 365821 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=1696324 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 1737035776 365821 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1696324


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

/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2184772

[startup+1302.3 s]
/proc/loadavg: 2.28 2.27 2.26 3/184 16666
/proc/meminfo: memFree=27374172/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1302.08 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481269 0 0 0 130138 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2184772

[startup+1362.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/185 16690
/proc/meminfo: memFree=27368312/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1362.07 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481270 0 0 0 136137 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2184772

[startup+1422.3 s]
/proc/loadavg: 2.39 2.30 2.27 3/184 16691
/proc/meminfo: memFree=27346892/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1422.06 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481271 0 0 0 142136 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 5600010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2184772

[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.27 3/184 16692
/proc/meminfo: memFree=27347184/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1482.05 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481274 0 0 0 148135 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2184772

[startup+1542.31 s]
/proc/loadavg: 2.36 2.32 2.28 3/184 16693
/proc/meminfo: memFree=27347088/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1542.04 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481275 0 0 0 154134 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2184772

[startup+1602.3 s]
/proc/loadavg: 2.43 2.35 2.29 3/184 16695
/proc/meminfo: memFree=27346904/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1602.03 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481279 0 0 0 160133 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2184772

[startup+1662.3 s]
/proc/loadavg: 2.42 2.36 2.29 3/184 16696
/proc/meminfo: memFree=27347056/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1662.02 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481282 0 0 0 166132 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 5599952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2184772

[startup+1722.3 s]
/proc/loadavg: 2.37 2.35 2.29 3/184 16697
/proc/meminfo: memFree=27314176/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1722 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481296 0 0 0 172130 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 5600326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2184772

[startup+1782.3 s]
/proc/loadavg: 2.35 2.36 2.29 4/184 16698
/proc/meminfo: memFree=27296104/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1781.97 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481329 0 0 0 178127 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 2184772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.39 2.37 2.30 3/184 16698
/proc/meminfo: memFree=27296696/32872528 swapFree=1431120/1543540
[pid=16578] ppid=16575 vsize=2184772 CPUtime=1800.07 cores=1,3,5,7
/proc/16578/stat : 16578 (toysat) R 16575 16578 15180 0 -1 4202496 481329 0 0 0 179937 70 0 0 20 0 4 0 23082280 2237206528 488195 33554432000 4194304 16246674 140734761428400 140734761410304 12415736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16578/statm: 546193 488195 892 2943 0 543087 0
[pid=16578/tid=16579] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16579/stat : 16579 (toysat) S 16575 16578 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940635585776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16578/tid=16580] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16580/stat : 16580 (toysat) S 16575 16578 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940625095920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16578/tid=16581] ppid=16575 vsize=2184772 CPUtime=0 cores=1,3,5,7
/proc/16578/task/16581/stat : 16581 (toysat) S 16575 16578 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23082281 2237206528 488195 33554432000 4194304 16246674 140734761428400 139940503481520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2184772

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 16578 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.44
CPU time (s): 1800.11
CPU user time (s): 1799.38
CPU system time (s): 0.729889
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 2184772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.729889
maximum resident set size= 1952780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481329
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= 112
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39333 second user time and 7.06693 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 02:38:55
IDJOB=4100073
IDBENCH=1570
IDSOLVER=2542
FILE ID=node116/4100073-1466210334
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71596 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100073-1466210334/watcher-4100073-1466210334 -o /tmp/evaluation-result-4100073-1466210334/solver-4100073-1466210334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100073-1466210334.opb

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

MD5SUM BENCH= 070ae832e0a6091e01d7e6b3fb0eac97
RANDOM SEED=1156233377

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29345668 kB
Buffers:           43440 kB
Cached:           132244 kB
SwapCached:         2180 kB
Active:          1202936 kB
Inactive:          71976 kB
Active(anon):    1100048 kB
Inactive(anon):     1500 kB
Active(file):     102888 kB
Inactive(file):    70476 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             40516 kB
Writeback:             0 kB
AnonPages:       2641824 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             573784 kB
SReclaimable:      17812 kB
SUnreclaim:       555972 kB
KernelStack:        1448 kB
PageTables:         9208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2782408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71580 MiB
End job on node116 at 2016-06-18 03:08:56