Trace number 4079395

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_8_mh_ic.opb
MD5SUM3780f03c87bd5cb45e7b4d8342759bc6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4216880
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 78886374094
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 78886374094
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:10:38+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-4079395-1465323035.opb"]
0.00/0.01	c use --random-gen="288466152 4096402473 3253093630 2626801872 2183089540 1688597123 3076761460 3592627267 1544003458 3720809302 1122111275 742821244 2667360654 1968517830 2083607525 2485414695 279031123 2644566745 1336132866 726646687 314992455 469932814 1777088508 1097627043 3517864033 1431840959 2440029252 3019025548 3781423583 783249309 1536441068 1052194031 3637329054 1837237451 1806237213 3174099330 1011763006 1879359398 2167286049 2763941736 508939343 2797907221 600092914 3501028280 2350488759 855826363 3751140192 2177668336 3169727114 640986788 1347516840 2960749022 2261557909 3217950946 286899281 2593275244 638567617 1000847280 2337388115 3963371522 2161582369 3540915020 2682065502 1955180025 379156898 3018827743 266882811 3255395647 2000932964 845096568 893376121 256909047 2895952100 3140771551 1488484156 3125470234 2428432345 2631843482 2812211751 4157429652 4233778633 3782763481 1191528677 3980238518 3697869519 2384340335 2488165740 1894124203 2546700962 3275699481 1697517428 999630774 509728599 995335376 1716923717 3233787464 2858604554 1002850913 3794460708 51419831 214871285 3096912607 1234360150 1399728579 3404557551 728525790 3198160738 409049943 3371660159 4252936254 1828135328 2364029056 285698187 426346607 165313522 3415287473 1576474931 1258893967 1394284770 2744464644 1836395415 1959760675 2206004205 2535975034 892835881 2809541539 2415341468 1330219444 1274651506 792210711 359678537 2416657991 1044588170 819720405 4123667697 1948871227 3521476170 3735087525 1815312644 3266509449 3604696847 2266563269 1992250495 1275975584 3794664290 4065801477 1382992645 1443168827 1982809446 3136367042 110001208 899619578 872765138 4277673018 826120506 2952038589 1232046339 933194440 268564386 2300598553 794470800 3862910274 3729840536 1887397800 2131823827 1462123043 605093064 4207283984 3834250355 1740210688 34219021 757185278 3483350341 3878338196 893537567 2643044926 2650207161 3720011799 355460970 1466787525 3058510628 2764035573 3318135438 2716978626 3588056308 1203820973 1779188414 2736485719 1311913250 3316213644 3301779795 3317255965 1360493626 2594363367 2858750729 534944744 492190426 3820889095 2773554056 3527258225 1497235315 3927823173 3452624954 3465370290 490356564 3355972545 1234088452 2732380880 3687394295 1329655505 3234721350 1765543315 1305317445 3645054463 3385507978 2600154719 2352278466 3882203397 3749754338 3790016980 3398848747 2791482669 3863456703 3526319959 4084921118 1857692953 2304656668 2386013031 3732568280 1296961709 4239510011 3349967195 3822295889 3016340471 313954575 185197202 4130476585 2807963776 3152176266 1527710013 1266386937 2553482100 777684741 2145929682 907713033 3737738355 4086050057 3435435909 218087219 1093485802 3630667099 3217973192 1560725375 715916134 4060032613 695576146 255 362436" option to reproduce the execution
6.39/6.50	c #vars 370300
6.39/6.50	c #constraints 847958
20.69/20.77	c BCD2: Hardening is enabled.
20.69/20.77	c BCD2: BiasedSearch is enabled.
20.69/20.77	c Solving starts ...
20.69/20.77	c ============================[ Search Statistics ]============================
20.69/20.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.69/20.77	c       |         |          |          |    Limit     GC | Var      | Constra 
20.69/20.77	c =============================================================================
20.69/20.78	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.89/26.98	c  6.2s |       0 |      660 |      100 |   408536      0 |      200 |        0
27.19/27.21	c  6.4s |       1 |      660 |      100 |   408536      0 |      200 |        0
54.88/54.93	c 34.2s |       1 |     5616 |      200 |   449390      0 |      200 |        0
71.59/71.62	c 50.9s |       2 |     6301 |      250 |   449390      0 |      200 |        0
109.07/109.15	c 88.4s |       2 |     8477 |      350 |   494330      0 |      200 |        0
138.97/139.05	c  118s |       2 |     9834 |      450 |   494330      0 |      200 |        0
148.57/148.69	c  127s |       3 |    10500 |      475 |   494330      0 |      200 |        0
187.97/188.10	c  167s |       3 |    13279 |      575 |   543763      0 |      200 |        0
219.86/219.91	c  199s |       3 |    15036 |      675 |   543763      0 |      200 |        0
249.16/249.23	c  228s |       3 |    16208 |      775 |   543763      0 |      200 |        0
257.56/257.66	c  236s |       4 |    16557 |      813 |   543763      0 |      200 |        0
283.45/283.50	c  262s |       4 |    17452 |      913 |   598140      0 |      200 |        0
317.14/317.27	c  296s |       4 |    18593 |     1013 |   598140      0 |      200 |        0
344.74/344.82	c  324s |       4 |    20317 |     1113 |   598140      0 |      200 |        0
370.74/370.88	c  350s |       4 |    21036 |     1213 |   598140      0 |      200 |        0
405.33/405.44	c  384s |       4 |    21249 |     1313 |   598140      0 |      200 |        0
407.33/407.41	c  386s |       5 |    21557 |     1320 |   598140      0 |      200 |        0
446.72/446.80	c  426s |       5 |    23982 |     1420 |   657954      0 |      200 |        0
489.51/489.67	c  468s |       5 |    26491 |     1520 |   657954      0 |      200 |        0
525.30/525.46	c  504s |       5 |    27228 |     1620 |   657954      0 |      200 |        0
564.30/564.42	c  543s |       5 |    29834 |     1720 |   657954      0 |      200 |        0
600.89/601.02	c  580s |       5 |    31821 |     1820 |   657954      0 |      200 |        0
636.18/636.35	c  615s |       5 |    32404 |     1920 |   657954      0 |      200 |        0
677.18/677.33	c  656s |       5 |    35641 |     2020 |   657954      0 |      200 |        0
702.17/702.31	c  681s |       6 |    38603 |     2081 |   723750      0 |      200 |        0
736.66/736.89	c  716s |       6 |    40052 |     2181 |   723750      0 |      200 |        0
775.37/775.54	c  754s |       6 |    41016 |     2281 |   723750      0 |      200 |        0
798.86/799.03	c  778s |       6 |    41250 |     2381 |   723750      0 |      200 |        0
845.65/845.83	c  825s |       6 |    42913 |     2481 |   723750      0 |      200 |        0
896.53/896.71	c  875s |       6 |    45319 |     2581 |   723750      0 |      200 |        0
932.03/932.20	c  911s |       6 |    45872 |     2681 |   723750      0 |      200 |        0
964.92/965.14	c  944s |       6 |    46739 |     2781 |   723750      0 |      200 |        0
1008.81/1009.04	c  988s |       6 |    47030 |     2881 |   723750      0 |      200 |        0
1062.59/1062.86	c 1042s |       6 |    48191 |     2981 |   723750      0 |      200 |        0
1102.78/1103.02	c 1082s |       6 |    49258 |     3081 |   723750      0 |      200 |        0
1160.87/1161.10	c 1140s |       6 |    51013 |     3181 |   723750      0 |      200 |        0
1188.17/1188.47	c 1167s |       7 |    51357 |     3223 |   796126      0 |      200 |        0
1223.46/1223.78	c 1203s |       7 |    53922 |     3323 |   796126      0 |      200 |        0
1261.74/1262.05	c 1241s |       7 |    54766 |     3423 |   796126      0 |      200 |        0
1316.83/1317.16	c 1296s |       7 |    55739 |     3523 |   796126      0 |      200 |        0
1334.22/1334.57	c 1313s |       7 |    56360 |     3623 |   796126      0 |      200 |        0
1375.12/1375.41	c 1354s |       7 |    57299 |     3723 |   796126      0 |      200 |        0
1420.21/1420.54	c 1399s |       7 |    58922 |     3823 |   796126      0 |      200 |        0
1466.99/1467.36	c 1446s |       7 |    60168 |     3923 |   796126      0 |      200 |        0
1498.46/1498.81	c 1478s |       7 |    60904 |     4023 |   796126      0 |      200 |        0
1546.66/1547.06	c 1526s |       7 |    62982 |     4123 |   796126      0 |      200 |        0
1597.05/1597.44	c 1576s |       7 |    64470 |     4223 |   796126      0 |      200 |        0
1620.54/1620.98	c 1600s |       7 |    65063 |     4323 |   796126      0 |      200 |        0
1679.45/1679.86	c 1659s |       7 |    65443 |     4423 |   796126      0 |      200 |        0
1732.83/1733.28	c 1712s |       7 |    66441 |     4523 |   796126      0 |      200 |        0
1791.21/1791.63	c 1770s |       7 |    68555 |     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-4079395-1465323035/watcher-4079395-1465323035 -o /tmp/evaluation-result-4079395-1465323035/solver-4079395-1465323035 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079395-1465323035.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13996
/proc/meminfo: memFree=30320528/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 2648 0 0 0 0 0 0 0 20 0 4 0 114238495 727117824 3008 33554432000 4194304 16246674 140735124414416 140735124413352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 178287 3018 441 2943 0 175181 0
[pid=13996/tid=13997] ppid=13993 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 744943616 3074 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 750186496 3095 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114238496 755429376 3114 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13996
/proc/meminfo: memFree=30320528/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 31559 0 0 0 5 4 0 0 20 0 4 0 114238495 1334382592 31858 33554432000 4194304 16246674 140735124414416 140735124413728 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 325777 31879 799 2943 0 322671 0
[pid=13996/tid=13997] ppid=13993 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1334382592 31890 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1334382592 31902 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1334382592 31913 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200533 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13996
/proc/meminfo: memFree=30320528/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 42849 0 0 0 13 6 0 0 20 0 4 0 114238495 1343819776 43658 33554432000 4194304 16246674 140735124414416 140735124413728 7361717 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 328081 43658 799 2943 0 324975 0
[pid=13996/tid=13997] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 43658 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 43658 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 43658 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300454 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13996
/proc/meminfo: memFree=30320528/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 46781 0 0 0 23 6 0 0 20 0 4 0 114238495 1343819776 47590 33554432000 4194304 16246674 140735124414416 140735124413728 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 328081 47590 800 2943 0 324975 0
[pid=13996/tid=13997] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 47590 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 47590 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1343819776 47590 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700438 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13996
/proc/meminfo: memFree=30320528/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 68111 0 0 0 59 10 0 0 20 0 4 0 114238495 1345916928 68920 33554432000 4194304 16246674 140735124414416 140735124413728 4221001 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 328593 68920 802 2943 0 325487 0
[pid=13996/tid=13997] ppid=13993 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1345916928 68920 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1345916928 68920 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1345916928 68920 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=29981184/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 82554 0 0 0 137 12 0 0 20 0 4 0 114238495 1358499840 85918 33554432000 4194304 16246674 140735124414416 140735124397408 12751085 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 331665 85918 802 2943 0 328559 0
[pid=13996/tid=13997] ppid=13993 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1358499840 85918 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1358499840 85918 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1358499840 85918 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10041 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=29826220/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1351236 CPUtime=3.08 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 159908 0 0 0 285 23 0 0 20 0 4 0 114238495 1383665664 167871 33554432000 4194304 16246674 140735124414416 140735124397408 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 337809 167871 802 2943 0 334703 0
[pid=13996/tid=13997] ppid=13993 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1383665664 167871 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114238496 1383665664 167871 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1383665664 167871 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1351236

[startup+6.30044 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=29406328/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1400388 CPUtime=6.29 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 260418 0 0 0 590 39 0 0 20 0 4 0 114238495 1433997312 278601 33554432000 4194304 16246674 140735124414416 140735124413728 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 350097 278601 802 2943 0 346991 0
[pid=13996/tid=13997] ppid=13993 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1433997312 278601 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1433997312 278601 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1433997312 278601 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 14000
/proc/meminfo: memFree=28780092/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=1784388 CPUtime=12.68 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 366282 0 0 0 1215 53 0 0 20 0 4 0 114238495 1827213312 384976 33554432000 4194304 16246674 140735124414416 140735124396288 5595488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 446097 384976 843 2943 0 442991 0
[pid=13996/tid=13997] ppid=13993 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1827213312 384976 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 1827213312 384976 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 1827213312 384976 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1784388

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 14000
/proc/meminfo: memFree=28120848/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2432580 CPUtime=25.49 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 528332 0 0 0 2439 110 0 0 20 0 4 0 114238495 2490961920 549581 33554432000 4194304 16246674 140735124414416 140735124396288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 608145 549581 896 2943 0 605039 0
[pid=13996/tid=13997] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549581 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549581 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549581 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2432580

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 14000
/proc/meminfo: memFree=28120456/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2432580 CPUtime=51.08 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 528388 0 0 0 4998 110 0 0 20 0 4 0 114238495 2490961920 549637 33554432000 4194304 16246674 140735124414416 140735124396288 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 608145 549637 896 2943 0 605039 0
[pid=13996/tid=13997] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2432580

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14001
/proc/meminfo: memFree=28105204/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2432580 CPUtime=102.28 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 528388 0 0 0 10118 110 0 0 20 0 4 0 114238495 2490961920 549637 33554432000 4194304 16246674 140735124414416 140735124396288 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 608145 549637 896 2943 0 605039 0
[pid=13996/tid=13997] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2490961920 549637 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2432580


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

/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2577988

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 14080
/proc/meminfo: memFree=27968748/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2577988 CPUtime=1302.03 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 564848 0 0 0 130025 178 0 0 20 0 4 0 114238495 2639859712 585993 33554432000 4194304 16246674 140735124414416 140735124396288 13820964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 644497 585993 896 2943 0 641391 0
[pid=13996/tid=13997] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2577988

[startup+1362.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 14081
/proc/meminfo: memFree=27968636/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2577988 CPUtime=1362.02 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 564848 0 0 0 136024 178 0 0 20 0 4 0 114238495 2639859712 585993 33554432000 4194304 16246674 140735124414416 140735124396288 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 644497 585993 896 2943 0 641391 0
[pid=13996/tid=13997] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2577988

[startup+1422.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/183 14083
/proc/meminfo: memFree=27968720/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2577988 CPUtime=1422.02 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 564868 0 0 0 142023 179 0 0 20 0 4 0 114238495 2639859712 585993 33554432000 4194304 16246674 140735124414416 140735124396288 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 644497 585993 896 2943 0 641391 0
[pid=13996/tid=13997] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2577988

[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/183 14084
/proc/meminfo: memFree=27968604/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2577988 CPUtime=1481.97 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 564911 0 0 0 148018 179 0 0 20 0 4 0 114238495 2639859712 585993 33554432000 4194304 16246674 140735124414416 140735124413512 4220490 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 644497 585993 896 2943 0 641391 0
[pid=13996/tid=13997] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2577988 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2639859712 585993 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2577988

[startup+1542.31 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 14085
/proc/meminfo: memFree=27959584/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1541.96 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567223 0 0 0 154016 180 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2587204

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/183 14086
/proc/meminfo: memFree=27958864/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1601.95 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567223 0 0 0 160015 180 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 5601168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2587204

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 14087
/proc/meminfo: memFree=27959260/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1661.95 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567223 0 0 0 166014 181 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 5661440 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 2587204

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 14089
/proc/meminfo: memFree=22473024/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1721.93 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567224 0 0 0 172011 182 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 5601762 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 2587204

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/184 14093
/proc/meminfo: memFree=15971096/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1781.92 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567237 0 0 0 178010 182 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 2587204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.06 2.00 3/184 14093
/proc/meminfo: memFree=15970824/32872528 swapFree=12744/274376
[pid=13996] ppid=13993 vsize=2587204 CPUtime=1800.01 cores=0,2,4,6
/proc/13996/stat : 13996 (toysat) R 13993 13996 11961 0 -1 4202496 567237 0 0 0 179819 182 0 0 20 0 4 0 114238495 2649296896 588297 33554432000 4194304 16246674 140735124414416 140735124396288 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13996/statm: 646801 588297 896 2943 0 643695 0
[pid=13996/tid=13997] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13997/stat : 13997 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545324199152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13996/tid=13998] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13998/stat : 13998 (toysat) S 13993 13996 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545313709296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13996/tid=13999] ppid=13993 vsize=2587204 CPUtime=0 cores=0,2,4,6
/proc/13996/task/13999/stat : 13999 (toysat) S 13993 13996 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114238496 2649296896 588297 33554432000 4194304 16246674 140735124414416 140545303235760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2587204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.04
CPU user time (s): 1798.2
CPU system time (s): 1.83572
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 2587204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.83572
maximum resident set size= 2353188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567237
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= 240
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95925 second user time and 6.52801 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 20:10:36
IDJOB=4079395
IDBENCH=92665
IDSOLVER=2542
FILE ID=node107/4079395-1465323035
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 3780f03c87bd5cb45e7b4d8342759bc6
RANDOM SEED=2052513770

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30321060 kB
Buffers:          100772 kB
Cached:           342060 kB
SwapCached:         1648 kB
Active:          1242276 kB
Inactive:         294988 kB
Active(anon):    1093988 kB
Inactive(anon):     2796 kB
Active(file):     148288 kB
Inactive(file):   292192 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             71396 kB
Writeback:             0 kB
AnonPages:       1368468 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             605676 kB
SReclaimable:      48204 kB
SUnreclaim:       557472 kB
KernelStack:        1464 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1512356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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= 71676 MiB
End job on node107 at 2016-06-07 20:40:38