Trace number 4100441

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb
MD5SUM1d990dd8841615caa29b3d304bde4f0b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark167
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 153
Optimality of the best value was proved NO
Number of variables63009
Total number of constraints508
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59416
Number of terms in the objective function 63009
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 63009
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 68672
Number of bits of the biggest sum of numbers17
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-18T03:34:33+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-4100441-1466213672.opb"]
0.00/0.01	c use --random-gen="2915140715 1803593643 24817466 242530433 1271088965 3109616583 857928119 1551330559 2915858579 3727283079 2025896411 1836208038 3895006792 624498924 587118159 2333059317 3694826584 4275633716 4268203571 636509321 2679952109 472042912 673065516 2165494937 1504259381 391323890 2735619084 1669013810 953554963 2996028406 3297190873 831665002 3744760261 3428655594 1359145317 3734029123 577183825 4173556396 2107704655 2779616815 2282132824 2335109027 1970978572 3544210653 2747770785 4048643388 406734445 3460681510 915759658 1163964135 2337489671 1032703690 1583028510 3564693559 899036465 3266663479 71551879 3246537797 3081648565 3969187922 2888572053 408318073 3272288475 3293799198 3017925110 3893052529 1492612889 135255029 1572587084 1608158291 388453144 226694523 4103882829 1758056809 1142527081 1165795219 2543110854 205190608 2153761241 2596973686 1120488051 1873093474 1549260069 1575292419 53160655 1836780837 1392559113 360753556 3801406799 301508420 2862233435 2740013904 38465685 2266645515 527978420 2518417810 4095584160 2128297317 1984341386 2906308363 2446664153 2866188132 423857341 354563801 55436080 205917531 2773104246 4192600797 1134222805 3218269868 2820885497 412105955 1718839569 52529830 3489184426 2815404857 1474843535 107422970 174456716 353788275 628476408 2712262385 4274113714 2675851962 2719626043 2627099509 995757357 3829586765 1255772201 2340520987 872919923 1689615236 1550743856 3283639798 3862261541 612790004 3515299025 1580869286 1094557436 399006916 2603073136 1464775829 1192418851 1512463354 175061040 54945073 4053913874 4276881865 3264295364 1664087583 4081793779 2852967362 3916633532 4286607530 3555191679 3132795931 4103837510 1404604436 2951268336 3949541636 2087344811 3240620045 2315836213 1903076350 4224217464 3139182420 1695235633 1992046007 367947816 703298237 4216756971 2661146916 569054948 1336589203 1797366398 3177219745 4086501986 3129388882 21817563 4268369320 2583955080 2705039003 603612457 3278258913 2866823482 2738012211 3158458360 225498168 2030235654 1996707496 2631894531 19874689 1265292055 269113282 2117743215 2886697718 559002850 786637688 3723901523 1996411046 1155980570 42037110 2486108149 928194304 4034374727 2355348887 2481127197 353015231 4248313052 2411441024 1090684397 2083631696 2677797907 3442030383 1626062485 4082641599 3819002006 3492783308 2037731374 752968842 1822246178 2591164507 2263162281 1992393890 4020385994 2845808850 1902183461 1323579325 66713462 3123221390 3982936284 3016053763 3974635594 1447589313 3578237603 1689119551 1103529262 1673474244 4121650334 175048787 1139709371 4193311224 4236629777 1008866300 3305566689 3477299706 1097454053 1428113696 1303498971 526406 525081752 675352559 3613604720 4177372852 1322765737 876788411 255 362436" option to reproduce the execution
0.79/0.87	c #vars 63009
0.79/0.87	c #constraints 508
2.30/2.38	c BCD2: Hardening is enabled.
2.30/2.38	c BCD2: BiasedSearch is enabled.
2.30/2.38	c Solving starts ...
2.30/2.38	c ============================[ Search Statistics ]============================
2.30/2.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.38	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.38	c =============================================================================
2.30/2.39	c  0.0s |       0 |        0 |        0 |    21168      0 |        7 |        0
100.28/100.35	c 98.0s |       0 |    14590 |      100 |    21168      0 |        7 |        5
100.28/100.37	c 98.0s |       1 |    14590 |      100 |    21168      0 |        7 |        5
159.47/159.55	c  157s |       1 |    27450 |      200 |    23285      0 |        7 |        5
185.97/186.06	c  183s |       2 |    27595 |      250 |    23285      0 |        7 |        5
253.85/253.91	c  251s |       2 |    38678 |      350 |    25614      0 |        7 |        5
308.55/308.64	c  306s |       2 |    38912 |      450 |    25614      0 |        7 |        5
318.34/318.45	c  316s |       3 |    38989 |      475 |    25614      0 |        7 |        5
396.23/396.37	c  393s |       3 |    48866 |      575 |    28176      0 |        7 |        5
450.32/450.42	c  448s |       3 |    52340 |      675 |    28176      0 |        7 |        5
530.31/530.46	c  528s |       3 |    54294 |      775 |    28176      0 |        7 |        5
564.70/564.82	c  562s |       4 |    54754 |      813 |    28176      0 |        7 |        5
602.09/602.28	c  599s |       4 |    67445 |      913 |    30994      0 |        7 |        5
639.10/639.29	c  636s |       4 |    68153 |     1013 |    30994      0 |        7 |        5
713.58/713.78	c  711s |       4 |    70310 |     1113 |    30994      0 |        7 |        5
808.17/808.33	c  805s |       4 |    71952 |     1213 |    30994      0 |        7 |        5
856.76/856.99	c  854s |       4 |    73692 |     1313 |    30994      0 |        7 |        5
859.35/859.51	c  857s |       5 |    73870 |     1320 |    30994      0 |        7 |        5
927.15/927.40	c  925s |       5 |    83687 |     1420 |    34094      0 |        7 |        5
962.65/962.81	c  960s |       5 |    86855 |     1520 |    34094      0 |        7 |        5
992.64/992.85	c  990s |       5 |    88033 |     1620 |    34094      0 |        7 |        5
1039.23/1039.48	c 1037s |       5 |    89724 |     1720 |    34094      0 |        7 |        5
1075.33/1075.50	c 1073s |       5 |    90661 |     1820 |    34094      0 |        7 |        5
1104.92/1105.15	c 1102s |       5 |    91736 |     1920 |    34094      0 |        7 |        5
1145.21/1145.43	c 1143s |       5 |    93542 |     2020 |    34094      0 |        7 |        5
1167.11/1167.36	c 1164s |       6 |    95235 |     2081 |    37504      0 |        7 |        5
1200.11/1200.33	c 1197s |       6 |   105349 |     2181 |    37504      0 |        7 |        5
1259.80/1260.01	c 1257s |       6 |   106714 |     2281 |    37504      0 |        7 |        5
1327.39/1327.62	c 1325s |       6 |   108620 |     2381 |    37504      0 |        7 |        5
1383.58/1383.87	c 1381s |       6 |   110971 |     2481 |    37504      0 |        7 |        5
1482.86/1483.12	c 1480s |       6 |   111904 |     2581 |    37504      0 |        7 |        5
1529.16/1529.44	c 1527s |       6 |   116065 |     2681 |    37504      0 |        7 |        5
1570.25/1570.52	c 1568s |       6 |   116831 |     2781 |    37504      0 |        7 |        5
1622.24/1622.59	c 1620s |       6 |   117294 |     2881 |    37504      0 |        7 |        5
1696.73/1697.09	c 1694s |       6 |   117806 |     2981 |    37504      0 |        7 |        5
1762.32/1762.64	c 1760s |       6 |   122333 |     3081 |    37504      0 |        7 |        5

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

pid=2336
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.35 2.33 2.26 3/180 2339
/proc/meminfo: memFree=29053752/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 2883 0 0 0 0 0 0 0 20 0 4 0 23414383 788983808 2733 33554432000 4194304 16246674 140735369599360 140735369598784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 193391 2743 441 2943 0 190285 0
[pid=2339/tid=2340] ppid=2336 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 807858176 2806 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 812052480 2821 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23414384 817295360 2839 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.35 2.33 2.26 3/180 2339
/proc/meminfo: memFree=29053752/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 28053 0 0 0 6 3 0 0 20 0 4 0 23414383 1332285440 27842 33554432000 4194304 16246674 140735369599360 140735369598672 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 325265 27856 798 2943 0 322159 0
[pid=2339/tid=2340] ppid=2336 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1332285440 27868 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1332285440 27880 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1332285440 27891 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200516 s]
/proc/loadavg: 2.35 2.33 2.26 3/180 2339
/proc/meminfo: memFree=29053752/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 45523 0 0 0 14 5 0 0 20 0 4 0 23414383 1342771200 45822 33554432000 4194304 16246674 140735369599360 140735369598672 13928652 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 327825 45822 799 2943 0 324719 0
[pid=2339/tid=2340] ppid=2336 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1342771200 45822 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1342771200 45822 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1342771200 45822 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300452 s]
/proc/loadavg: 2.35 2.33 2.26 3/180 2339
/proc/meminfo: memFree=29053752/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 55395 0 0 0 22 7 0 0 20 0 4 0 23414383 1343819776 55694 33554432000 4194304 16246674 140735369599360 140735369598672 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 328081 55694 799 2943 0 324975 0
[pid=2339/tid=2340] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 55694 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 55694 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 55694 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700407 s]
/proc/loadavg: 2.35 2.33 2.26 3/180 2339
/proc/meminfo: memFree=29053752/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 67540 0 0 0 61 8 0 0 20 0 4 0 23414383 1343819776 67839 33554432000 4194304 16246674 140735369599360 140735369598672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 328081 67839 801 2943 0 324975 0
[pid=2339/tid=2340] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 67839 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 67839 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1343819776 67839 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.35 2.33 2.26 3/184 2343
/proc/meminfo: memFree=28750088/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1336900 CPUtime=1.48 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 75859 0 0 0 139 9 0 0 20 0 4 0 23414383 1368985600 76158 33554432000 4194304 16246674 140735369599360 140735369598672 4206996 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 334225 76158 836 2943 0 331119 0
[pid=2339/tid=2340] ppid=2336 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1368985600 76158 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1368985600 76158 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1368985600 76158 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1336900

[startup+3.10033 s]
/proc/loadavg: 2.35 2.33 2.26 3/184 2343
/proc/meminfo: memFree=28724676/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=3.09 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 95574 0 0 0 297 12 0 0 20 0 4 0 23414383 1385762816 95873 33554432000 4194304 16246674 140735369599360 140735369581248 5523072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 95873 879 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 95873 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 95873 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 95873 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1353284

[startup+6.30043 s]
/proc/loadavg: 2.32 2.32 2.26 3/184 2343
/proc/meminfo: memFree=28426288/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=6.29 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 156923 0 0 0 608 21 0 0 20 0 4 0 23414383 1385762816 157222 33554432000 4194304 16246674 140735369599360 140735369597248 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 157222 894 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157222 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157222 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157222 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1353284

[startup+12.7004 s]
/proc/loadavg: 2.29 2.32 2.26 3/184 2343
/proc/meminfo: memFree=28426320/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=12.69 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 156924 0 0 0 1248 21 0 0 20 0 4 0 23414383 1385762816 157223 33554432000 4194304 16246674 140735369599360 140735369598456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 157223 895 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157223 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157223 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157223 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1353284

[startup+25.5005 s]
/proc/loadavg: 2.30 2.32 2.26 3/184 2343
/proc/meminfo: memFree=28425432/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=25.49 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 156925 0 0 0 2527 22 0 0 20 0 4 0 23414383 1385762816 157224 33554432000 4194304 16246674 140735369599360 140735369597184 4225195 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 157224 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1353284

[startup+51.1006 s]
/proc/loadavg: 2.31 2.32 2.26 3/184 2343
/proc/meminfo: memFree=28427348/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=51.08 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 156925 0 0 0 5085 23 0 0 20 0 4 0 23414383 1385762816 157224 33554432000 4194304 16246674 140735369599360 140735369597184 12477709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 157224 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1353284

[startup+102.301 s]
/proc/loadavg: 2.31 2.31 2.27 3/184 2344
/proc/meminfo: memFree=28419328/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=102.28 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 156925 0 0 0 10200 28 0 0 20 0 4 0 23414383 1385762816 157224 33554432000 4194304 16246674 140735369599360 140735369581248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 157224 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 157224 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1353284


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

/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 257849 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/183 2580
/proc/meminfo: memFree=26625260/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1362.08 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 261840 0 0 0 136090 118 0 0 20 0 4 0 23414383 1385762816 262139 33554432000 4194304 16246674 140735369599360 140735369597248 12477836 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 262139 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 262139 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 262139 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 262139 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.13 2.21 2.24 3/183 2581
/proc/meminfo: memFree=26605440/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1422.08 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 266894 0 0 0 142085 123 0 0 20 0 4 0 23414383 1385762816 267193 33554432000 4194304 16246674 140735369599360 140735369598456 6021388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 267193 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 267193 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 267193 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 267193 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.24 4/183 2582
/proc/meminfo: memFree=26590836/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1482.06 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270453 0 0 0 148080 126 0 0 20 0 4 0 23414383 1385762816 270752 33554432000 4194304 16246674 140735369599360 140735369597184 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 270752 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 270752 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 270752 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 270752 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.25 2.22 2.24 3/184 2586
/proc/meminfo: memFree=26573440/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1542.06 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270493 0 0 0 154076 130 0 0 20 0 4 0 23414383 1385762816 275170 33554432000 4194304 16246674 140735369599360 140735369598456 12477709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 275170 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.36 2.24 2.24 3/184 2658
/proc/meminfo: memFree=28399100/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1602.04 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270495 0 0 0 160071 133 0 0 20 0 4 0 23414383 1385762816 275170 33554432000 4194304 16246674 140735369599360 140735369597248 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 275170 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.23 3/183 2660
/proc/meminfo: memFree=28398644/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1662.04 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270500 0 0 0 166067 137 0 0 20 0 4 0 23414383 1385762816 275170 33554432000 4194304 16246674 140735369599360 140735369597248 6020465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 275170 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.23 3/183 2661
/proc/meminfo: memFree=28398232/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1722.02 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270501 0 0 0 172062 140 0 0 20 0 4 0 23414383 1385762816 275170 33554432000 4194304 16246674 140735369599360 140735369597248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 275170 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 275170 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.24 4/183 2662
/proc/meminfo: memFree=28236820/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1782.02 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270504 0 0 0 178058 144 0 0 20 0 4 0 23414383 1385762816 277544 33554432000 4194304 16246674 140735369599360 140735369597184 5667864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 277544 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 277544 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 277544 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 277544 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.27 2.24 2.24 3/183 2663
/proc/meminfo: memFree=28170960/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1800.01 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270506 0 0 0 179856 145 0 0 20 0 4 0 23414383 1385762816 279560 33554432000 4194304 16246674 140735369599360 140735369597312 4220524 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 279560 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.3 s]
/proc/loadavg: 2.27 2.24 2.24 3/183 2663
/proc/meminfo: memFree=28170960/32872528 swapFree=17888/1798212
[pid=2339] ppid=2336 vsize=1353284 CPUtime=1800.01 cores=0,2,4,6
/proc/2339/stat : 2339 (toysat) R 2336 2339 579 0 -1 4202496 270506 0 0 0 179856 145 0 0 20 0 4 0 23414383 1385762816 279560 33554432000 4194304 16246674 140735369599360 140735369597312 4220524 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2339/statm: 338321 279560 896 2943 0 335215 0
[pid=2339/tid=2340] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2340/stat : 2340 (toysat) S 2336 2339 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812532104432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2339/tid=2341] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2341/stat : 2341 (toysat) S 2336 2339 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812521614576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2339/tid=2342] ppid=2336 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/2339/task/2342/stat : 2342 (toysat) S 2336 2339 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23414384 1385762816 279560 33554432000 4194304 16246674 140735369599360 139812511141040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1353284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.34
CPU time (s): 1800.05
CPU user time (s): 1798.57
CPU system time (s): 1.48377
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.48377
maximum resident set size= 1118240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270506
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= 29
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9062 second user time and 16.1775 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 03:34:32
IDJOB=4100441
IDBENCH=1617
IDSOLVER=2542
FILE ID=node123/4100441-1466213672
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= 1d990dd8841615caa29b3d304bde4f0b
RANDOM SEED=1791811232

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        29054024 kB
Buffers:           48864 kB
Cached:           167380 kB
SwapCached:         1640 kB
Active:          1182532 kB
Inactive:         127032 kB
Active(anon):    1094488 kB
Inactive(anon):     1100 kB
Active(file):      88044 kB
Inactive(file):   125932 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:             21448 kB
Writeback:             0 kB
AnonPages:       2892376 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             572400 kB
SReclaimable:      16388 kB
SUnreclaim:       556012 kB
KernelStack:        1488 kB
PageTables:         9856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3036888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71596 MiB
End job on node123 at 2016-06-18 04:04:33