Trace number 4107130

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.32 1800.61

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
MD5SUM67e5d33b6c1c80f60eda5657eafffc90
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark498379
Best CPU time to get the best result obtained on this benchmark1800.82
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1280998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint256
Maximum length of a constraint10497
Number of terms in the objective function 1280000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 43962832128
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 43962832128
Number of bits of the biggest sum of numbers36
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-18T22:50:04+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-4107130-1466283002.opb"]
0.00/0.01	c use --random-gen="2059833525 2617875871 78109741 63607479 723496402 2301002779 3252268405 129481341 2561342692 107397399 2057539211 2057397418 1585554335 2386767605 390286581 524509269 313083782 638350846 791772278 575828680 1409720526 328646319 2959419158 3373145024 116598335 871595402 2730747615 3835951148 1988307111 3133110675 194295372 501464911 3764374887 1346610802 1784149176 3676488424 1608482139 3144984078 3061586930 3114532840 2377010020 699393302 3533729321 105788858 3581649475 2807119525 1312092740 771228171 3241537391 2675781658 2177801636 221913013 1260217005 499945877 1674858590 3189233570 408598345 2393278039 3610386697 816894389 3735386126 2298041960 1594671123 2252643031 3005270224 2149601580 770395836 3337763862 3637135588 2904155535 905729514 2959756998 2302766889 3731819694 2289835751 3697932102 2499293618 3209889553 942076910 1963711157 297807881 2540896375 713873609 3056579502 2935625776 253112760 944783393 4012090187 3565574604 2960719229 671946854 471326850 1272365955 2408221317 1428020602 2311925903 341559383 923566970 3345528304 701593219 1017125135 226443850 3534408832 759701392 3743619370 2658752530 2368198260 4086591875 589116284 143642258 1821077940 2972748694 53685615 1746181413 2956913473 1117944849 2028842557 2525708464 3130897829 3163829147 3619417011 3133922644 2424804094 3759563174 3663588652 1788346162 1124460247 1974233614 8739814 3140633739 1388890140 3045561875 935452800 3037671489 3594698360 3288263800 580609748 2713859526 4161581396 3783293274 566778381 2762338488 3420001305 2132170695 2554499688 2963314764 4291099704 574192356 2358568564 176018591 3200220842 1556211437 787288695 2493282181 1330689866 4139630034 1446181711 2529643850 255891156 1956274376 423591589 2545046425 2145203589 3397694332 2174941988 2344468320 2852712045 1378987615 1552007605 2551881632 4201253050 2368053287 3190520689 657402228 11438090 3531465164 3996472955 911528310 2258835722 3806793505 4048286516 3464902745 1732524521 2545388116 289232944 2010214551 1916355447 1956832801 1575564051 3751834444 114216658 4193293444 3236456489 3265226140 1375719415 2620623692 3299897048 2451158434 1060282878 3190056673 1037887073 1300560328 605376439 478920383 844134286 1493668813 1068074009 3358616402 3562970196 2954701884 82203244 2425356609 853769875 4132604601 3308368822 33908313 1828460527 1564814982 4136182978 295709311 1881152164 2740091371 338856452 4070773671 3851752899 1823083995 2509819366 3542238494 1544995122 3423706778 2340878128 2558311728 3307176667 3027122659 1561745542 2039783382 3455435669 3495417275 1412204189 3312737316 507576499 670505068 3961826762 1858934800 1197491174 4237678137 3311321458 2113394202 3545960686 3291664308 413102661 1766713339 170595137 3017931062 3703480459 2436513600 255 362436" option to reproduce the execution
8.99/9.03	c #vars 1280998
8.99/9.03	c #constraints 6000
33.58/33.65	c BCD2: Hardening is enabled.
33.58/33.65	c BCD2: BiasedSearch is enabled.
33.58/33.65	c Solving starts ...
33.58/33.65	c ============================[ Search Statistics ]============================
33.58/33.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
33.58/33.65	c       |         |          |          |    Limit     GC | Var      | Constra 
33.58/33.65	c =============================================================================
33.58/33.65	c  0.0s |       0 |        0 |        0 |   429332      0 |        0 |        0
40.98/41.00	c  7.4s |       0 |     1886 |      100 |   429332      0 |        0 |        0
41.48/41.58	c  7.9s |       1 |     1886 |      100 |   429332      0 |        0 |        0
45.88/45.97	c 12.3s |       1 |    19469 |      200 |   472266      0 |        0 |        0
47.58/47.65	c 14.0s |       2 |    19469 |      250 |   472266      0 |        0 |        0
51.38/51.44	c 17.8s |       2 |    42847 |      350 |   519493      0 |        0 |        0
54.28/54.37	c 20.7s |       3 |    42847 |      475 |   519493      0 |        0 |        0
60.48/60.51	c 26.9s |       3 |    71660 |      575 |   571443      0 |        0 |        0
64.38/64.47	c 30.8s |       3 |    71660 |      675 |   571443      0 |        0 |        0
71.87/71.93	c 38.3s |       3 |   112369 |      775 |   571443      0 |        0 |        0
73.17/73.23	c 39.6s |       4 |   112369 |      813 |   571443      0 |        0 |        0
87.38/87.47	c 53.8s |       4 |   227035 |      913 |   628588      0 |        0 |        0
98.88/98.95	c 65.3s |       4 |   227035 |     1013 |   628588      0 |        0 |        0
107.97/108.02	c 74.4s |       4 |   250031 |     1113 |   628588      0 |        0 |        0
112.07/112.17	c 78.5s |       4 |   250031 |     1213 |   628588      0 |        0 |        0
116.27/116.37	c 82.7s |       4 |   250031 |     1313 |   628588      0 |        0 |        0
117.47/117.52	c 83.9s |       5 |   250031 |     1320 |   628588      0 |        0 |        0
120.97/121.03	c 87.4s |       5 |   387919 |     1420 |   691447      0 |        0 |        0
127.07/127.16	c 93.5s |       5 |   408998 |     1620 |   691447      0 |        0 |        0
137.27/137.38	c  103s |       5 |   408998 |     1720 |   691447      0 |        0 |        0
147.46/147.55	c  113s |       5 |   408998 |     1820 |   691447      0 |        0 |        0
155.56/155.69	c  122s |       5 |   426575 |     1920 |   691447      0 |        0 |        0
184.86/184.98	c  151s |       5 |   440853 |     2020 |   691447      0 |        0 |        0
225.95/226.00	c  192s |       6 |   447067 |     2081 |   760592      0 |        0 |        0
234.95/235.07	c  201s |       6 |   679350 |     2181 |   760592      0 |        0 |        0
239.25/239.34	c  205s |       6 |   679350 |     2281 |   760592      0 |        0 |        0
257.16/257.26	c  223s |       6 |   722563 |     2381 |   760592      0 |        0 |        0
350.84/350.93	c  317s |       6 |   738329 |     2481 |   760592      0 |        0 |        0
596.89/597.04	c  563s |       6 |   749090 |     2581 |   760592      0 |        0 |        0
1084.33/1084.53	c 1050s |       6 |   754852 |     2681 |   760592      0 |        0 |        0
1155.21/1155.47	c 1121s |       6 |   774134 |     2781 |   760592      0 |        0 |        0
1163.71/1163.92	c 1130s |       6 |   774134 |     2881 |   760592      0 |        0 |        0
1168.41/1168.63	c 1134s |       6 |   830265 |     2981 |   760592      0 |        0 |        0
1171.11/1171.35	c 1137s |       6 |   840096 |     3081 |   760592      0 |        0 |        0
1174.11/1174.34	c 1140s |       6 |   840096 |     3181 |   760592      0 |        0 |        0
1176.41/1176.64	c 1142s |       7 |   840096 |     3223 |   836652      0 |        0 |        0
1200.50/1200.72	c 1167s |       7 |  1125408 |     3323 |   836652      0 |        0 |        0
1284.69/1284.98	c 1251s |       7 |  1132315 |     3423 |   836652      0 |        0 |        0
1293.59/1293.83	c 1260s |       7 |  1144547 |     3523 |   836652      0 |        0 |        0
1320.79/1321.03	c 1287s |       7 |  1153956 |     3623 |   836652      0 |        0 |        0
1359.38/1359.62	c 1325s |       7 |  1156799 |     3723 |   836652      0 |        0 |        0
1373.88/1374.15	c 1340s |       7 |  1178343 |     3823 |   836652      0 |        0 |        0
1423.36/1423.69	c 1390s |       7 |  1184297 |     3923 |   836652      0 |        0 |        0
1457.96/1458.26	c 1424s |       7 |  1185446 |     4023 |   836652      0 |        0 |        0
1473.96/1474.22	c 1440s |       7 |  1186297 |     4123 |   836652      0 |        0 |        0
1493.36/1493.63	c 1459s |       7 |  1186644 |     4223 |   836652      0 |        0 |        0
1512.45/1512.79	c 1479s |       7 |  1195784 |     4323 |   836652      0 |        0 |        0
1538.15/1538.41	c 1504s |       7 |  1195784 |     4423 |   836652      0 |        0 |        0
1554.74/1555.08	c 1521s |       7 |  1209475 |     4523 |   836652      0 |        0 |        0
1564.44/1564.79	c 1531s |       7 |  1221669 |     4623 |   836652      0 |        0 |        0
1594.34/1594.64	c 1560s |       7 |  1240566 |     4723 |   836652      0 |        0 |        0
1670.23/1670.52	c 1636s |       7 |  1252237 |     4823 |   836652      0 |        0 |        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-4107130-1466283002/watcher-4107130-1466283002 -o /tmp/evaluation-result-4107130-1466283002/solver-4107130-1466283002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107130-1466283002.opb 

pid=27960
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.27 2.26 2.24 3/180 27963
/proc/meminfo: memFree=29025632/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=460220 CPUtime=0 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1670 0 0 0 0 0 0 0 20 0 4 0 30346160 471265280 2031 33554432000 4194304 16246674 140733451729232 140733451728656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 115823 2039 441 2943 0 112717 0
[pid=27963/tid=27964] ppid=27960 vsize=475580 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 486993920 2090 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=479676 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 491188224 2107 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30346161 496431104 2124 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.27 2.26 2.24 3/180 27963
/proc/meminfo: memFree=29025632/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 29360 0 0 0 5 3 0 0 20 0 4 0 30346160 1333334016 29660 33554432000 4194304 16246674 140733451729232 140733451711104 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 325521 29673 798 2943 0 322415 0
[pid=27963/tid=27964] ppid=27960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1333334016 29684 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1333334016 29695 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1333334016 29706 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.2005 s]
/proc/loadavg: 2.27 2.26 2.24 3/180 27963
/proc/meminfo: memFree=29025632/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 44059 0 0 0 13 6 0 0 20 0 4 0 30346160 1343819776 44869 33554432000 4194304 16246674 140733451729232 140733451711104 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 328081 44869 799 2943 0 324975 0
[pid=27963/tid=27964] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 44869 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 44869 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 44869 33554432000 4194304 16246674 140733451729232 139895999814832 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) 1312324

[startup+0.300468 s]
/proc/loadavg: 2.27 2.26 2.24 3/180 27963
/proc/meminfo: memFree=29025632/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 44833 0 0 0 23 6 0 0 20 0 4 0 30346160 1343819776 45643 33554432000 4194304 16246674 140733451729232 140733451711104 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 328081 45643 799 2943 0 324975 0
[pid=27963/tid=27964] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 45643 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 45643 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 45643 33554432000 4194304 16246674 140733451729232 139895999814832 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.7004 s]
/proc/loadavg: 2.27 2.26 2.24 3/180 27963
/proc/meminfo: memFree=29025632/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 58518 0 0 0 61 8 0 0 20 0 4 0 30346160 1343819776 59328 33554432000 4194304 16246674 140733451729232 140733451711104 7361485 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 328081 59328 800 2943 0 324975 0
[pid=27963/tid=27964] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 59328 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 59328 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 59328 33554432000 4194304 16246674 140733451729232 139895999814832 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.50039 s]
/proc/loadavg: 2.27 2.26 2.24 4/184 27967
/proc/meminfo: memFree=28754528/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 86834 0 0 0 138 11 0 0 20 0 4 0 30346160 1343819776 87645 33554432000 4194304 16246674 140733451729232 140733451712224 7377409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 328081 87661 800 2943 0 324975 0
[pid=27963/tid=27964] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 87673 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 87684 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1343819776 87695 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.27 2.26 2.24 4/184 27967
/proc/meminfo: memFree=28574628/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1336900 CPUtime=3.08 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 176043 0 0 0 285 23 0 0 20 0 4 0 30346160 1368985600 182474 33554432000 4194304 16246674 140733451729232 140733451727040 7364278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 334225 182474 802 2943 0 331119 0
[pid=27963/tid=27964] ppid=27960 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1368985600 182474 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1368985600 182474 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1368985600 182474 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1336900

[startup+6.30039 s]
/proc/loadavg: 2.33 2.27 2.25 3/184 27967
/proc/meminfo: memFree=28165492/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 199485 0 0 0 600 29 0 0 20 0 4 0 30346160 1419317248 217669 33554432000 4194304 16246674 140733451729232 140733451727040 7439516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 346513 217669 802 2943 0 343407 0
[pid=27963/tid=27964] ppid=27960 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 1419317248 217669 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 1419317248 217669 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 1419317248 217669 33554432000 4194304 16246674 140733451729232 139895999814832 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) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.25 3/184 27967
/proc/meminfo: memFree=27211808/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=2374212 CPUtime=12.68 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 491200 0 0 0 1202 66 0 0 20 0 4 0 30346160 2431193088 525736 33554432000 4194304 16246674 140733451729232 140733451728544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 593553 525736 810 2943 0 590447 0
[pid=27963/tid=27964] ppid=27960 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 2431193088 525736 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 2431193088 525736 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=2374212 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 2431193088 525736 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2374212

[startup+25.5004 s]
/proc/loadavg: 2.23 2.25 2.24 3/184 27967
/proc/meminfo: memFree=24833708/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=4696644 CPUtime=25.49 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1071736 0 0 0 2402 147 0 0 20 0 4 0 30346160 4809363456 1115470 33554432000 4194304 16246674 140733451729232 140733451727896 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1174161 1115478 842 2943 0 1171055 0
[pid=27963/tid=27964] ppid=27960 vsize=4696644 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 4809363456 1115484 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=4696644 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 4809363456 1115489 33554432000 4194304 16246674 140733451729232 139896010288144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=4696644 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 4809363456 1115494 33554432000 4194304 16246674 140733451729232 139895999814832 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) 4696644

[startup+51.1003 s]
/proc/loadavg: 2.23 2.25 2.24 3/184 27967
/proc/meminfo: memFree=24473712/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=4782660 CPUtime=51.08 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1093420 0 0 0 4954 154 0 0 20 0 4 0 30346160 4897443840 1137154 33554432000 4194304 16246674 140733451729232 140733451711104 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1195665 1137154 892 2943 0 1192559 0
[pid=27963/tid=27964] ppid=27960 vsize=4782660 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 4897443840 1137154 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=4782660 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 4897443840 1137154 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=4782660 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 4897443840 1137154 33554432000 4194304 16246674 140733451729232 139895999814832 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) 4782660

[startup+102.3 s]
/proc/loadavg: 2.23 2.24 2.23 3/183 27968
/proc/meminfo: memFree=23181476/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=6071876 CPUtime=102.27 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1415728 0 0 0 10029 198 0 0 20 0 4 0 30346160 6217601024 1459462 33554432000 4194304 16246674 140733451729232 140733451711104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1517969 1459462 896 2943 0 1514863 0
[pid=27963/tid=27964] ppid=27960 vsize=6071876 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 6217601024 1459462 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=6071876 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 6217601024 1459462 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=6071876 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 6217601024 1459462 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6071876


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

[pid=27963] ppid=27960 vsize=7075396 CPUtime=1362.08 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1666609 0 0 0 135493 715 0 0 20 0 4 0 30346160 7245205504 1710598 33554432000 4194304 16246674 140733451729232 140733451711104 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1768849 1710598 896 2943 0 1765743 0
[pid=27963/tid=27964] ppid=27960 vsize=7075396 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7245205504 1710598 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7075396 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7245205504 1710598 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7075396 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7245205504 1710598 33554432000 4194304 16246674 140733451729232 139895999814832 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) 7075396

[startup+1422.3 s]
/proc/loadavg: 2.20 2.25 2.22 3/183 28072
/proc/meminfo: memFree=9423348/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7097924 CPUtime=1422.07 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1672223 0 0 0 141474 733 0 0 20 0 4 0 30346160 7268274176 1716212 33554432000 4194304 16246674 140733451729232 140733451728328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1774481 1716212 896 2943 0 1771375 0
[pid=27963/tid=27964] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716212 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716212 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716212 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 7097924

[startup+1482.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/183 28073
/proc/meminfo: memFree=9450924/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7097924 CPUtime=1482.06 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1672247 0 0 0 147459 747 0 0 20 0 4 0 30346160 7268274176 1716230 33554432000 4194304 16246674 140733451729232 140733451711104 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1774481 1716230 896 2943 0 1771375 0
[pid=27963/tid=27964] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139895999814832 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) 7097924

[startup+1542.3 s]
/proc/loadavg: 2.29 2.26 2.23 3/183 28074
/proc/meminfo: memFree=9451328/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7097924 CPUtime=1542.04 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1672247 0 0 0 153452 752 0 0 20 0 4 0 30346160 7268274176 1716230 33554432000 4194304 16246674 140733451729232 140733451711104 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1774481 1716230 896 2943 0 1771375 0
[pid=27963/tid=27964] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7097924 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7268274176 1716230 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 7097924

[startup+1602.3 s]
/proc/loadavg: 2.24 2.24 2.22 3/183 28075
/proc/meminfo: memFree=9425132/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7124548 CPUtime=1602.03 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1678780 0 0 0 159436 767 0 0 20 0 4 0 30346160 7295537152 1722763 33554432000 4194304 16246674 140733451729232 140733451728408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1781137 1722763 896 2943 0 1778031 0
[pid=27963/tid=27964] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722763 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722763 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722763 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 7124548

[startup+1662.3 s]
/proc/loadavg: 2.38 2.27 2.23 3/183 28077
/proc/meminfo: memFree=9422744/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7124548 CPUtime=1662.03 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1678903 0 0 0 165411 792 0 0 20 0 4 0 30346160 7295537152 1722886 33554432000 4194304 16246674 140733451729232 140733451728408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1781137 1722886 896 2943 0 1778031 0
[pid=27963/tid=27964] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722886 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722886 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7124548 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7295537152 1722886 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 7124548

[startup+1722.3 s]
/proc/loadavg: 2.54 2.33 2.25 3/183 28078
/proc/meminfo: memFree=9380444/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7167556 CPUtime=1722.02 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1689596 0 0 0 171384 818 0 0 20 0 4 0 30346160 7339577344 1733579 33554432000 4194304 16246674 140733451729232 140733451728408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1791889 1733579 896 2943 0 1788783 0
[pid=27963/tid=27964] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733579 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733579 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733579 33554432000 4194304 16246674 140733451729232 139895999814832 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) 7167556

[startup+1782.3 s]
/proc/loadavg: 2.47 2.34 2.26 3/183 28079
/proc/meminfo: memFree=9379156/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7167556 CPUtime=1782.01 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1689655 0 0 0 177356 845 0 0 20 0 4 0 30346160 7339577344 1733638 33554432000 4194304 16246674 140733451729232 140733451728408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1791889 1733638 896 2943 0 1788783 0
[pid=27963/tid=27964] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 7167556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.44 2.34 2.26 4/184 28083
/proc/meminfo: memFree=9378124/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=7167556 CPUtime=1800 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) R 27960 27963 24910 0 -1 4202496 1689656 0 0 0 179146 854 0 0 20 0 4 0 30346160 7339577344 1733638 33554432000 4194304 16246674 140733451729232 140733451728408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 1791889 1733638 896 2943 0 1788783 0
[pid=27963/tid=27964] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27964/stat : 27964 (toysat) S 27960 27963 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139896095223024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) S 27960 27963 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139896010288368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=27963/tid=27966] ppid=27960 vsize=7167556 CPUtime=0 cores=0,2,4,6
/proc/27963/task/27966/stat : 27966 (toysat) S 27960 27963 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30346161 7339577344 1733638 33554432000 4194304 16246674 140733451729232 139895999814832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 7167556

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

[startup+1800.5 s]
/proc/loadavg: 2.48 2.35 2.26 4/182 28083
/proc/meminfo: memFree=14271384/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) Z 27960 27963 24910 0 -1 4203532 1689656 0 0 0 179147 874 0 0 20 0 2 0 30346160 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 0 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=0 CPUtime=0.19 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) R 27960 27963 24910 0 -1 4203588 7 0 0 0 0 19 0 0 20 0 2 0 30346161 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

[startup+1800.61 s]
/proc/loadavg: 2.48 2.35 2.26 4/182 28083
/proc/meminfo: memFree=14271384/32872528 swapFree=1499884/1696108
[pid=27963] ppid=27960 vsize=0 CPUtime=1800.31 cores=0,2,4,6
/proc/27963/stat : 27963 (toysat) Z 27960 27963 24910 0 -1 4203532 1689656 0 0 0 179147 884 0 0 20 0 2 0 30346160 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27963/statm: 0 0 0 0 0 0 0
[pid=27963/tid=27965] ppid=27960 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/27963/task/27965/stat : 27965 (toysat) R 27960 27963 24910 0 -1 4203588 7 0 0 0 0 29 0 0 20 0 2 0 30346161 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.32
CPU user time (s): 1791.47
CPU system time (s): 8.84666
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 7167556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.47
system time used= 8.84666
maximum resident set size= 6934552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1689656
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= 67
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76028 second user time and 6.70198 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 22:50:04
IDJOB=4107130
IDBENCH=71892
IDSOLVER=2542
FILE ID=node137/4107130-1466283002
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71628 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107130-1466283002/watcher-4107130-1466283002 -o /tmp/evaluation-result-4107130-1466283002/solver-4107130-1466283002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107130-1466283002.opb

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

MD5SUM BENCH= 67e5d33b6c1c80f60eda5657eafffc90
RANDOM SEED=1847782796

node137.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.486
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.97
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.486
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.486
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.486
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.486
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.486
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.38
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.486
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.486
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:        29026276 kB
Buffers:           41908 kB
Cached:           219988 kB
SwapCached:         1216 kB
Active:          1300916 kB
Inactive:         106320 kB
Active(anon):    1143920 kB
Inactive(anon):     3980 kB
Active(file):     156996 kB
Inactive(file):   102340 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             76676 kB
Writeback:             0 kB
AnonPages:       2841360 kB
Mapped:            10592 kB
Shmem:                 0 kB
Slab:             607292 kB
SReclaimable:      50968 kB
SUnreclaim:       556324 kB
KernelStack:        1464 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2982104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1335296 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= 71428 MiB
End job on node137 at 2016-06-18 23:20:05