Trace number 4079318

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? (MO) 283.84 283.911

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_1_ic.opb
MD5SUMf4b001b21391ecbeff4bb8396c33afa0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18260924
Best CPU time to get the best result obtained on this benchmark2.04269
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 92345408
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4313276341
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 92345408
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4313276341
Number of bits of the biggest sum of numbers33
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-08T06:35:23+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-4079318-1465360523.opb"]
0.00/0.01	c use --random-gen="2516302845 356516341 1065846477 3807736627 1177653323 504660515 681016703 3149503480 1576587604 3176548291 2152233201 1632209573 1929393219 711905262 989094270 1256651535 310946670 3548034758 3367577540 279205357 3477334603 2029839925 1829280535 2384555851 1803974100 3197991561 978565304 575894053 3024383462 3374187356 3745334700 133855537 2299946999 3599787608 1606739164 2003239983 2162339958 3145174416 1872329685 1970791487 1533284553 938613110 2448502666 203932970 3585165154 3110409118 2409659421 2615136738 4183099785 128451995 2202377638 1526107610 2780739053 94680721 153957753 4148297518 3239991633 919562625 1122838276 2451552345 312226649 4197806033 1229431501 2990605021 3436986301 4185897151 2970817185 4246611784 2855637415 2021767676 2539802353 416466769 922955829 1115103660 672912757 3496432961 1243561822 427894479 1640021777 3804397421 2060628635 4016602084 1060795303 994501139 3672655362 354421545 3667420293 64668742 3438475918 567329238 95741096 1189353202 2069927274 2942154269 3972916506 2570377703 3216595443 599786861 1317954153 2858924766 735344705 3151900542 3573798006 3775028685 996998104 1443695588 4021344953 4000308271 915605912 3403742346 3500261125 1504864592 4149636892 2822839460 3706365124 4077978637 2718363462 735683349 2076550399 1881306252 3246374971 2340467302 202820260 3210401105 3913245896 3867180999 1140967297 3476913512 835506269 493906616 1501961730 316060734 1555498657 2961337064 481344412 3735651972 4112044246 887647238 1709456706 1926578649 1975857125 3081340072 4209294881 1873197369 2860028073 2348407800 2818735120 2933335456 1437972502 3346461066 4288528684 2209928489 935131569 3444091603 2640640905 4006535771 2022355656 2585477731 1422971373 1648718408 3153124032 3333455083 3269999693 4201867655 1330346212 441827479 256247745 3954593072 2393781982 3418036092 3539413333 2018013747 2591801862 2037753970 1237692520 348538940 681924328 1796569643 1197209669 1861839908 936109799 58278908 2613844846 2084196950 1429735607 247473056 788905154 2358118523 3695169544 1376211172 1326723123 1637688398 541045846 3700369351 892738724 348168147 3116413349 3108526523 1630510272 384396316 919724832 903517745 454045049 240981800 24253911 2995450646 698762348 2698835396 932457819 4176459036 2897039345 478464681 1829599462 1476734954 1848870269 2788734018 1206078141 501113026 3611121119 449426530 2254643979 1686650554 4222068902 3478345941 47147514 2843874970 1537646792 2879051235 348576889 2583048160 2231630210 1555552962 3915651474 3471859815 3312883044 2365372982 3341844277 2216837308 2524711335 2121443628 2208278508 744539067 2427991137 4281505920 86912179 2694633139 441591845 2764653171 2039918480 689441924 2853534870 3816900599 1778700572 436132395 1158811421 3640799747 255 362436" option to reproduce the execution
0.00/0.07	c #vars 3435
0.00/0.07	c #constraints 6802
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     3622      0 |       45 |        0
0.19/0.28	c  0.1s |       1 |      136 |      100 |     3622      0 |       45 |        0
0.39/0.43	c  0.2s |       1 |      314 |      188 |     3985      0 |       45 |        0
0.39/0.43	c #cpu_time = 0.231s
0.39/0.43	c #wall_clock_time = 0.232s
0.39/0.43	c #decision = 314
0.39/0.43	c #random_decision = 0
0.39/0.43	c #conflict = 188
0.39/0.43	c #restart = 1
0.39/0.43	o 270037112
10.08/10.12	c BCD2: updating upper bound: 4313276341 -> 270037126
19.80/19.84	c BCD2: 0 <= obj <= 270037126
19.80/19.84	c BCD2: #cores=0, #unrelaxed=645, #relaxed=0, #hardened=0
19.80/19.84	c BCD2: #sat=1 #unsat=1 bias=1/2
19.80/19.84	c Solving starts ...
19.80/19.84	c ============================[ Search Statistics ]============================
19.80/19.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.80/19.84	c       |         |          |          |    Limit     GC | Var      | Constra 
19.80/19.84	c =============================================================================
19.80/19.84	c  0.0s |       0 |        0 |        0 |     3985      0 |       45 |        0
19.80/19.85	c  0.0s |       0 |       88 |        1 |     3985      0 |       45 |        0
19.80/19.85	c #cpu_time = 0.008s
19.80/19.85	c #wall_clock_time = 0.008s
19.80/19.85	c #decision = 88
19.80/19.85	c #random_decision = 0
19.80/19.85	c #conflict = 1
19.80/19.85	c #restart = 0
19.80/19.85	c BCD2: found a new core of size 88: cost of the new core is >=103823
19.80/19.85	c lower bound updated to 103808
27.49/27.52	c BCD2: 103823 <= obj <= 270037126
27.49/27.52	c BCD2: #cores=1, #unrelaxed=557, #relaxed=88, #hardened=0
27.49/27.52	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=25445
running on 8 cores: 4-7,12-15

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.22 2.15 2.10 2/254 25448
/proc/meminfo: memFree=31008260/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1072572 CPUtime=0 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 4063 0 0 0 0 0 0 0 20 0 4 0 117894288 1098313728 4424 33554432000 4194304 16246674 140736809048416 140736809047840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 268911 4434 441 2943 0 265805 0
[pid=25448/tid=25451] ppid=25445 vsize=1095100 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1121382400 4510 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1099196 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1125576704 4528 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1104316 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1130819584 4545 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.22 2.15 2.10 2/254 25448
/proc/meminfo: memFree=31008260/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 24149 0 0 0 6 3 0 0 20 0 4 0 117894288 1249447936 24448 33554432000 4194304 16246674 140736809048416 140736809047728 12874965 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 305041 24455 841 2943 0 301935 0
[pid=25448/tid=25451] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 24460 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 24465 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 24471 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200517 s]
/proc/loadavg: 2.22 2.15 2.10 2/254 25448
/proc/meminfo: memFree=31008260/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1220164 CPUtime=0.19 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 42718 0 0 0 13 6 0 0 20 0 4 0 117894288 1249447936 43018 33554432000 4194304 16246674 140736809048416 140736809047728 5991173 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 305041 43027 868 2943 0 301935 0
[pid=25448/tid=25451] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 43033 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 43038 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 43043 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.30048 s]
/proc/loadavg: 2.22 2.15 2.10 2/254 25448
/proc/meminfo: memFree=31008260/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1220164 CPUtime=0.29 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 53579 0 0 0 22 7 0 0 20 0 4 0 117894288 1249447936 53878 33554432000 4194304 16246674 140736809048416 140736809047728 5602147 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 305041 53883 884 2943 0 301935 0
[pid=25448/tid=25451] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 53887 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 53890 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 53894 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700405 s]
/proc/loadavg: 2.22 2.15 2.10 2/254 25448
/proc/meminfo: memFree=31008260/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1220164 CPUtime=0.69 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 128709 0 0 0 51 18 0 0 20 0 4 0 117894288 1249447936 129009 33554432000 4194304 16246674 140736809048416 140736809047728 12449399 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 305041 129025 892 2943 0 301935 0
[pid=25448/tid=25451] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 129035 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 129044 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1249447936 129053 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 2.22 2.15 2.10 3/265 25475
/proc/meminfo: memFree=29878812/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1332804 CPUtime=1.48 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 274189 0 0 0 112 36 0 0 20 0 4 0 117894288 1364791296 274489 33554432000 4194304 16246674 140736809048416 140736809030336 4225154 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 333201 274493 893 2943 0 330095 0
[pid=25448/tid=25451] ppid=25445 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1364791296 274496 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1364791296 274500 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1364791296 274502 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1332804

[startup+3.10043 s]
/proc/loadavg: 2.22 2.15 2.10 3/265 25475
/proc/meminfo: memFree=29427076/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1402436 CPUtime=3.09 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 291798 0 0 0 269 40 0 0 20 0 4 0 117894288 1436094464 292097 33554432000 4194304 16246674 140736809048416 140736809030336 4220965 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 350609 292097 893 2943 0 347503 0
[pid=25448/tid=25451] ppid=25445 vsize=1402436 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1436094464 292097 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1402436 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1436094464 292097 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1402436 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1436094464 292097 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1402436

[startup+6.30041 s]
/proc/loadavg: 2.20 2.15 2.10 3/265 25475
/proc/meminfo: memFree=28564608/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1678916 CPUtime=6.28 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 360845 0 0 0 579 49 0 0 20 0 4 0 117894288 1719209984 361145 33554432000 4194304 16246674 140736809048416 140736809046272 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 419729 361154 893 2943 0 416623 0
[pid=25448/tid=25451] ppid=25445 vsize=1678916 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1719209984 361158 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1678916 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1719209984 361162 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1678916 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1719209984 361165 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1678916

[startup+12.7005 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 25475
/proc/meminfo: memFree=28271304/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=1845828 CPUtime=12.69 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 497370 0 0 0 1199 70 0 0 20 0 4 0 117894288 1890127872 402949 33554432000 4194304 16246674 140736809048416 140736809047728 4225056 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 461457 402949 896 2943 0 458351 0
[pid=25448/tid=25451] ppid=25445 vsize=1845828 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 1890127872 402949 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=1845828 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 1890127872 402949 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=1845828 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 1890127872 402949 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1845828

[startup+25.5005 s]
/proc/loadavg: 2.14 2.14 2.10 3/265 25475
/proc/meminfo: memFree=27892644/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=2225732 CPUtime=25.48 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 592360 0 0 0 2465 83 0 0 20 0 4 0 117894288 2279149568 497939 33554432000 4194304 16246674 140736809048416 140736809046272 4225343 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 556433 497939 910 2943 0 553327 0
[pid=25448/tid=25451] ppid=25445 vsize=2225732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 2279149568 497939 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=2225732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 2279149568 497939 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=2225732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 2279149568 497939 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2225732

[startup+51.1005 s]
/proc/loadavg: 2.09 2.12 2.09 3/265 25475
/proc/meminfo: memFree=26437924/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=3677764 CPUtime=51.08 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 978667 0 0 0 4972 136 0 0 20 0 4 0 117894288 3766030336 860950 33554432000 4194304 16246674 140736809048416 140736809047512 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 919441 860950 912 2943 0 916335 0
[pid=25448/tid=25451] ppid=25445 vsize=3677764 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 3766030336 860950 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=3677764 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 3766030336 860950 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=3677764 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 3766030336 860950 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3677764

[startup+102.301 s]
/proc/loadavg: 2.09 2.12 2.09 3/265 25476
/proc/meminfo: memFree=20238972/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=9869892 CPUtime=102.27 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 2526642 0 0 0 9882 345 0 0 20 0 4 0 117894288 10106769408 2408925 33554432000 4194304 16246674 140736809048416 140736809047080 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 2467473 2408927 912 2943 0 2464367 0
[pid=25448/tid=25451] ppid=25445 vsize=9869892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 10106769408 2408969 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=9869892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 10106769408 2408974 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=9869892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 10106769408 2408979 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9869892

[startup+162.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/265 25477
/proc/meminfo: memFree=18529668/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=11569732 CPUtime=162.25 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 2951668 0 0 0 15817 408 0 0 20 0 4 0 117894288 11847405568 2833949 33554432000 4194304 16246674 140736809048416 140736809046336 13899629 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 2892433 2833949 916 2943 0 2889327 0
[pid=25448/tid=25451] ppid=25445 vsize=11569732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 11847405568 2833949 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=11569732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 11847405568 2833949 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=11569732 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 11847405568 2833949 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11569732

[startup+222.311 s]
/proc/loadavg: 2.08 2.09 2.08 3/265 25478
/proc/meminfo: memFree=14999768/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=15093316 CPUtime=222.25 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 3776704 0 0 0 21704 521 0 0 20 0 4 0 117894288 15455555584 3714684 33554432000 4194304 16246674 140736809048416 140736809046400 4226245 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 3773329 3714684 916 2943 0 3770223 0
[pid=25448/tid=25451] ppid=25445 vsize=15093316 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 15455555584 3714684 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=15093316 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 15455555584 3714684 33554432000 4194304 16246674 140736809048416 140708850670608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=15093316 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 15455555584 3714684 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15093316

[startup+282.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/266 25483
/proc/meminfo: memFree=14998032/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=15401540 CPUtime=282.22 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 3853755 0 0 0 27689 533 0 0 20 0 4 0 117894288 15771176960 3791735 33554432000 4194304 16246674 140736809048416 140736809047512 14628944 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 3850385 3791743 916 2943 0 3847279 0
[pid=25448/tid=25451] ppid=25445 vsize=15401540 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 15771176960 3791750 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=15401540 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 15771176960 3791757 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=15401540 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 15771176960 3791764 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 15401540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+283.1 s]
/proc/loadavg: 2.15 2.10 2.09 3/266 25483
/proc/meminfo: memFree=14447476/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=15885892 CPUtime=283.02 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) R 25445 25448 20050 0 -1 4202496 3974817 0 0 0 27753 549 0 0 20 0 4 0 117894288 16267153408 3912797 33554432000 4194304 16246674 140736809048416 140736809047512 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 3971473 3912809 916 2943 0 3968367 0
[pid=25448/tid=25451] ppid=25445 vsize=15885892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25451/stat : 25451 (toysat) S 25445 25448 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 117894288 16267153408 3912817 33554432000 4194304 16246674 140736809048416 140708861160688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=15885892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) S 25445 25448 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117894288 16267153408 3912823 33554432000 4194304 16246674 140736809048416 140708850670832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=25448/tid=25454] ppid=25445 vsize=15885892 CPUtime=0 cores=4-7,12-15
/proc/25448/task/25454/stat : 25454 (toysat) S 25445 25448 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117894288 16267153408 3912829 33554432000 4194304 16246674 140736809048416 140708765756592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 283.02
Current children cumulated vsize (KiB) 15885892

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

[startup+283.205 s]
/proc/loadavg: 2.15 2.10 2.09 3/266 25483
/proc/meminfo: memFree=14447476/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=0 CPUtime=283.13 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) Z 25445 25448 20050 0 -1 4203532 3975489 0 0 0 27754 559 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 0 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=0 CPUtime=0.09 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) R 25445 25448 20050 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 283.13
Current children cumulated vsize (KiB) 0

[startup+283.6 s]
/proc/loadavg: 2.15 2.10 2.09 3/266 25483
/proc/meminfo: memFree=14447476/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=0 CPUtime=283.53 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) Z 25445 25448 20050 0 -1 4203532 3975489 0 0 0 27754 599 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 0 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=0 CPUtime=0.48 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) R 25445 25448 20050 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 283.53
Current children cumulated vsize (KiB) 0

[startup+283.8 s]
/proc/loadavg: 2.21 2.12 2.09 3/264 25483
/proc/meminfo: memFree=27597152/32872528 swapFree=9196/9196
[pid=25448] ppid=25445 vsize=0 CPUtime=283.74 cores=4-7,12-15
/proc/25448/stat : 25448 (toysat) Z 25445 25448 20050 0 -1 4203532 3975489 0 0 0 27754 620 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/25448/statm: 0 0 0 0 0 0 0
[pid=25448/tid=25453] ppid=25445 vsize=0 CPUtime=0.69 cores=4-7,12-15
/proc/25448/task/25453/stat : 25453 (toysat) R 25445 25448 20050 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 117894288 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 283.74
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 283.911
CPU time (s): 283.84
CPU user time (s): 277.542
CPU system time (s): 6.29804
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 15885892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.542
system time used= 6.29804
maximum resident set size= 15653876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3975489
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= 148
involuntary context switches= 290

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2928 second user time and 1.89471 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-08 06:35:23
IDJOB=4079318
IDBENCH=92788
IDSOLVER=2542
FILE ID=node132/4079318-1465360523
RUNJOBID= node132-1465358721-25297
PBS_JOBID= 19853401
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_1_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079318-1465360523/watcher-4079318-1465360523 -o /tmp/evaluation-result-4079318-1465360523/solver-4079318-1465360523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465358721-25297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079318-1465360523.opb

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

MD5SUM BENCH= f4b001b21391ecbeff4bb8396c33afa0
RANDOM SEED=1080461844

node132.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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.41
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31007804 kB
Buffers:          185000 kB
Cached:           901512 kB
SwapCached:         3220 kB
Active:           415372 kB
Inactive:         677004 kB
Active(anon):       5360 kB
Inactive(anon):     3332 kB
Active(file):     410012 kB
Inactive(file):   673672 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094612 kB
Dirty:             16508 kB
Writeback:             8 kB
AnonPages:         13312 kB
Mapped:             7232 kB
Shmem:                 0 kB
Slab:             625684 kB
SReclaimable:      65768 kB
SUnreclaim:       559916 kB
KernelStack:        2200 kB
PageTables:         3304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     114604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71704 MiB
End job on node132 at 2016-06-08 06:40:07