Trace number 354626

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, and are wall clock time (not CPU 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
PB-clasp 2007-04-10SAT (TO)343 1802.04 1802.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
MD5SUM1b7a4ba09fe0e6b5976c5bba841ee84f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark94
Best CPU time to get the best result obtained on this benchmark14.0759
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 94
Optimality of the best value was proved YES
Number of variables19021
Total number of constraints6904
Number of constraints which are clauses6904
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint403
Number of terms in the objective function 19021
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 19021
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 19021
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

17.95/18.04	o 826
28.14/28.24	o 346
38.54/38.67	o 344
48.93/49.06	o 343
1800.07/1800.72	c Somebody sent me a SIGTERM
1800.07/1800.72	s SATISFIABLE
1800.07/1800.72	v x7 x18 x24 x26 x34 x39 x67 x102 x143 x159 x809 x981 x1262 x1277 x1562 x1573 x1761 x1977 x2457 x2508 x2593 x2629 x2674 x2749 x2999
1800.07/1800.72	v x3038 x3062 x3107 x3257 x3276 x3297 x3299 x3324 x3360 x3385 x3412 x3452 x3455 x3520 x3553 x3590 x3626 x3701 x3715 x4073 x4308
1800.07/1800.72	v x4358 x4410 x4432 x4519 x4762 x4810 x4944 x4991 x5002 x5035 x5045 x5116 x5146 x5248 x5254 x5258 x5319 x5367 x5487 x5521 x5556
1800.07/1800.72	v x5582 x5596 x5614 x5722 x5729 x5762 x5765 x5776 x5954 x5955 x5976 x5983 x5994 x6002 x6020 x6132 x6190 x6255 x6264 x6270 x6273
1800.07/1800.72	v x6282 x6348 x6366 x6367 x7014 x7159 x7400 x7634 x7812 x8330 x8374 x8447 x8459 x8535 x8646 x8849 x8891 x8960 x9026 x9188 x9224
1800.07/1800.72	v x9254 x9264 x9275 x9290 x9306 x9349 x9442 x9756 x9921 x9924 x9934 x10011 x10055 x10321 x10340 x10463 x10469 x10496 x10502
1800.07/1800.72	v x10524 x10543 x10549 x10568 x10574 x10588 x10608 x10614 x10632 x10638 x10653 x10669 x10689 x10727 x10735 x10741 x10749
1800.07/1800.72	v x10773 x10807 x10825 x10845 x10847 x10977 x11327 x11398 x11401 x11405 x11447 x11691 x11776 x11808 x11810 x11811 x11814
1800.07/1800.72	v x11853 x11855 x11859 x12126 x12253 x12335 x12375 x12476 x12781 x13186 x13293 x13348 x13428 x13474 x13478 x13559 x13624
1800.07/1800.72	v x13636 x13643 x13674 x13710 x13727 x13764 x13787 x13801 x13829 x13956 x13976 x14067 x14116 x14129 x14163 x14169 x14182
1800.07/1800.72	v x14196 x14220 x14260 x14428 x14733 x14849 x14964 x15008 x15066 x15067 x15124 x15164 x15175 x15277 x15287 x15305 x15511
1800.07/1800.72	v x15813 x15843 x16061 x16134 x16217 x16309 x16315 x16330 x16492 x16499 x16533 x16765 x16899 x16926 x16991 x16995 x16999
1800.07/1800.72	v x17002 x17206 x17241 x17291 x17391 x17395 x17397 x17399 x17408 x17430 x17437 x17456 x17457 x17458 x17459 x17482 x17499
1800.07/1800.72	v x17501 x17517 x17609 x17641 x17676 x17739 x17761 x17789 x17844 x17866 x17901 x17906 x17911 x17916 x17923 x17924 x17925
1800.07/1800.72	v x17932 x17934 x17936 x17962 x17969 x17977 x17996 x18018 x18039 x18045 x18050 x18079 x18116 x18122 x18151 x18164 x18170
1800.07/1800.72	v x18214 x18220 x18224 x18249 x18262 x18271 x18316 x18318 x18383 x18385 x18390 x18394 x18427 x18431 x18441 x18474 x18478
1800.07/1800.72	v x18483 x18486 x18491 x18499 x18505 x18508 x18523 x18535 x18542 x18551 x18563 x18566 x18569 x18598 x18609 x18611 x18613
1800.07/1800.72	v x18614 x18621 x18622 x18628 x18630 x18637 x18657 x18668 x18672 x18761 x18791 x18808 x18816 x18827 x18844 x18865 x18877
1800.07/1800.72	v x18885 x18898 x18901 x18919 x18943 x18953 x18963 x18974 x18980 x19003 x19021
1800.07/1800.74	pb2clasp1: no process killed
1800.07/1800.74	clasp-1.0: no process killed
51.04/1802.72	sh: line 1: 15113 Done                    cat /tmp/evaluation/354626-1176720576/temp/instance-354626-1176720576.opb.op
51.04/1802.72	     15114 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/354626-1176720576/temp/instance-354626-1176720576.opb.clasp

Verifier Data (download as text)

OK	343

Conversion Script Data (download as text)

/tmp/evaluation/354626-1176720576/instance-354626-1176720576.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node55/watcher-354626-1176720576 -o ROOT/results/node55/solver-354626-1176720576 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-354626-1176720576.opb /tmp/evaluation/354626-1176720576/temp 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.72 0.94 0.98 3/64 14863
/proc/meminfo: memFree=1814276/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=12268 CPUtime=0
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 119967698 12562432 362 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761455329 0 0 4224 0 0 0 0 17 1 0 0
/proc/14863/statm: 3067 362 275 3 0 167 0

[startup+0.035579 s]
/proc/loadavg: 0.72 0.94 0.98 3/64 14863
/proc/meminfo: memFree=1814276/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=14200 CPUtime=0.03
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 1945 0 0 0 3 0 0 0 18 0 1 0 119967698 14540800 856 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761488810 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3550 868 320 3 0 650 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14200

[startup+0.102585 s]
/proc/loadavg: 0.72 0.94 0.98 3/64 14863
/proc/meminfo: memFree=1814276/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=14200 CPUtime=0.09
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 7857 0 0 0 7 2 0 0 18 0 1 0 119967698 14540800 872 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761488810 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3550 884 320 3 0 650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200

[startup+0.301603 s]
/proc/loadavg: 0.72 0.94 0.98 3/64 14863
/proc/meminfo: memFree=1814276/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=14328 CPUtime=0.29
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 25938 0 0 0 23 6 0 0 19 0 1 0 119967698 14671872 920 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761488810 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3582 920 320 3 0 682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14328

[startup+0.702641 s]
/proc/loadavg: 0.72 0.94 0.98 3/64 14863
/proc/meminfo: memFree=1814276/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=14460 CPUtime=0.7
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 61368 0 0 0 54 16 0 0 23 0 1 0 119967698 14807040 952 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761819353 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3615 914 320 3 0 715 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14460

[startup+1.50172 s]
/proc/loadavg: 0.72 0.94 0.98 2/65 14864
/proc/meminfo: memFree=1811516/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=14712 CPUtime=1.49
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 129781 0 0 0 114 35 0 0 25 0 1 0 119967698 15065088 1019 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248779837186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3678 1019 320 3 0 778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14712

[startup+3.10187 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 14864
/proc/meminfo: memFree=1810876/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=15616 CPUtime=3.09
/proc/14863/stat : 14863 (pbclasp) R 14861 14863 14780 0 -1 4194304 211513 0 0 0 250 59 0 0 25 0 1 0 119967698 15990784 1232 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761489280 0 0 4224 16384 0 0 0 17 1 0 0
/proc/14863/statm: 3904 1232 320 3 0 1004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15616

[startup+6.30117 s]
/proc/loadavg: 0.74 0.94 0.98 2/67 14866
/proc/meminfo: memFree=1806316/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=17852 CPUtime=4.39
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 212116 0 0 0 380 59 0 0 16 0 1 0 119967698 18280448 1788 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/14863/statm: 4463 1788 324 3 0 1563 0
[pid=14865] ppid=14863 vsize=5352 CPUtime=0
/proc/14865/stat : 14865 (sh) S 14863 14863 14780 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 119968138 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14865/statm: 1338 229 193 169 0 49 0
[pid=14866] ppid=14865 vsize=12664 CPUtime=1.88
/proc/14866/stat : 14866 (pb2clasp1) R 14865 14863 14780 0 -1 4194304 566 0 0 0 188 0 0 0 25 0 1 0 119968139 12967936 528 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248779526170 0 0 4224 0 0 0 0 17 1 0 0
/proc/14866/statm: 3166 528 339 3 0 266 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 35868

[startup+12.7018 s]
/proc/loadavg: 0.78 0.94 0.98 2/67 14873
/proc/meminfo: memFree=1781300/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19436 CPUtime=9.59
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 213185 1656 0 0 385 60 509 5 17 0 1 0 119967698 19902464 2226 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4859 2226 343 3 0 1959 0
[pid=14871] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14871/stat : 14871 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119968660 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14871/statm: 1338 224 188 169 0 49 0
[pid=14873] ppid=14871 vsize=19552 CPUtime=3.05
/proc/14873/stat : 14873 (clasp-1.0) R 14871 14863 14780 0 -1 4194304 4688 0 0 0 303 2 0 0 25 0 1 0 119968660 20021248 4471 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14873/statm: 4888 4471 245 81 0 4262 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44340

[startup+25.503 s]
/proc/loadavg: 0.82 0.94 0.98 2/67 14881
/proc/meminfo: memFree=1780068/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=18.06
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 213807 7772 0 0 387 60 1346 13 16 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14879] ppid=14863 vsize=5352 CPUtime=0
/proc/14879/stat : 14879 (sh) S 14863 14863 14780 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 119969508 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14879/statm: 1338 224 188 169 0 49 0
[pid=14881] ppid=14879 vsize=20688 CPUtime=7.38
/proc/14881/stat : 14881 (clasp-1.0) R 14879 14863 14780 0 -1 4194304 5112 0 0 0 736 2 0 0 25 0 1 0 119969508 21184512 4776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617707 0 0 4096 0 0 0 0 17 1 0 0
/proc/14881/statm: 5172 4776 249 81 0 4546 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45608

[startup+51.1024 s]
/proc/loadavg: 0.88 0.95 0.98 2/67 14905
/proc/meminfo: memFree=1780076/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=20688 CPUtime=1.95
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 5089 0 0 0 193 2 0 0 25 0 1 0 119972610 21184512 4753 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733927 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 5172 4753 249 81 0 4546 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 45608

[startup+102.305 s]
/proc/loadavg: 0.95 0.95 0.98 2/67 14905
/proc/meminfo: memFree=1751284/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=49732 CPUtime=53.14
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 12320 0 0 0 5306 8 0 0 25 0 1 0 119972610 50925568 11984 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 12433 11984 249 81 0 11807 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 74652

[startup+162.303 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 14905
/proc/meminfo: memFree=1741236/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=59824 CPUtime=113.13
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 14820 0 0 0 11303 10 0 0 25 0 1 0 119972610 61259776 14484 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784698 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 14956 14484 249 81 0 14330 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 84744

[startup+222.303 s]
/proc/loadavg: 0.99 0.96 0.98 2/67 14905
/proc/meminfo: memFree=1735220/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=65780 CPUtime=173.11
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 16316 0 0 0 17300 11 0 0 25 0 1 0 119972610 67358720 15980 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616592 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 16445 15980 249 81 0 15819 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 90700

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 14905
/proc/meminfo: memFree=1730100/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=70748 CPUtime=233.09
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 17568 0 0 0 23297 12 0 0 25 0 1 0 119972610 72445952 17232 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 17687 17232 249 81 0 17061 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 95668

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 14905
/proc/meminfo: memFree=1730164/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0

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

/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=107052 CPUtime=1552.63
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 27085 0 0 0 155243 20 0 0 25 0 1 0 119972610 109621248 26220 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 26763 26220 249 81 0 26137 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 131972

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1693556/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=107052 CPUtime=1612.61
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 27085 0 0 0 161241 20 0 0 25 0 1 0 119972610 109621248 26220 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134740340 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 26763 26220 249 81 0 26137 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 131972

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679412/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=121264 CPUtime=1672.6
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 30616 0 0 0 167237 23 0 0 25 0 1 0 119972610 124174336 29751 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 30316 29751 249 81 0 29690 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 146184

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679348/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=121264 CPUtime=1732.58
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 30621 0 0 0 173235 23 0 0 25 0 1 0 119972610 124174336 29756 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 30316 29756 249 81 0 29690 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 146184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679284/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=121264 CPUtime=1750.99
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 30629 0 0 0 175076 23 0 0 25 0 1 0 119972610 124174336 29764 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 30316 29764 249 81 0 29690 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 146184

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679284/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.07
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214561 27444 0 0 393 61 4417 36 18 0 1 0 119967698 20037632 2236 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2236 343 3 0 1992 0
[pid=14903] ppid=14863 vsize=5352 CPUtime=0.01
/proc/14903/stat : 14903 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 119972610 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14903/statm: 1338 224 188 169 0 49 0
[pid=14905] ppid=14903 vsize=121264 CPUtime=1750.99
/proc/14905/stat : 14905 (clasp-1.0) R 14903 14863 14780 0 -1 4194304 30629 0 0 0 175076 23 0 0 25 0 1 0 119972610 124174336 29764 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/14905/statm: 30316 29764 249 81 0 29690 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 146184

# WARNING:
# current cumulated CPU time (49.15 s) is less than in the last sample (1800.07 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1750.92 s) to the 'lost time'.

[startup+1800.82 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679284/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.15
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214733 29221 0 0 395 61 4418 41 16 0 1 0 119967698 20037632 2237 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2237 343 3 0 1992 0
Current children cumulated CPU time (s) 49.15
Current children cumulated vsize (KiB) 19568

Sending SIGKILL to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 15103
/proc/meminfo: memFree=1679284/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.15
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214733 29221 0 0 395 61 4418 41 16 0 1 0 119967698 20037632 2237 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2237 343 3 0 1992 0
Current children cumulated CPU time (s) 49.15
Current children cumulated vsize (KiB) 19568

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 15114
/proc/meminfo: memFree=1783068/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.15
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214733 29221 0 0 395 61 4418 41 16 0 1 0 119967698 20037632 2237 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2237 343 3 0 1992 0
[pid=15112] ppid=14863 vsize=5352 CPUtime=0.01
/proc/15112/stat : 15112 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 120147778 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15112/statm: 1338 224 188 169 0 49 0
[pid=15114] ppid=15112 vsize=20688 CPUtime=1.38
/proc/15114/stat : 15114 (clasp-1.0) R 15112 14863 14780 0 -1 4194304 5087 0 0 0 135 3 0 0 25 0 1 0 120147778 21184512 4751 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733953 0 0 4096 0 0 0 0 17 1 0 0
/proc/15114/statm: 5172 4751 249 81 0 4546 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 45608

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 15114
/proc/meminfo: memFree=1783068/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.15
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214733 29221 0 0 395 61 4418 41 16 0 1 0 119967698 20037632 2237 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2237 343 3 0 1992 0
[pid=15112] ppid=14863 vsize=5352 CPUtime=0.01
/proc/15112/stat : 15112 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 120147778 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15112/statm: 1338 224 188 169 0 49 0
[pid=15114] ppid=15112 vsize=20688 CPUtime=1.78
/proc/15114/stat : 15114 (clasp-1.0) R 15112 14863 14780 0 -1 4194304 5088 0 0 0 175 3 0 0 25 0 1 0 120147778 21184512 4752 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733890 0 0 4096 0 0 0 0 17 1 0 0
/proc/15114/statm: 5172 4752 249 81 0 4546 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 45608

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 15114
/proc/meminfo: memFree=1783068/2055920 swapFree=4184636/4192956
[pid=14863] ppid=14861 vsize=19568 CPUtime=49.15
/proc/14863/stat : 14863 (pbclasp) S 14861 14863 14780 0 -1 4194304 214733 29221 0 0 395 61 4418 41 16 0 1 0 119967698 20037632 2237 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770510740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/14863/statm: 4892 2237 343 3 0 1992 0
[pid=15112] ppid=14863 vsize=5352 CPUtime=0.01
/proc/15112/stat : 15112 (sh) S 14863 14863 14780 0 -1 4194304 287 121 0 0 0 0 0 1 16 0 1 0 120147778 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15112/statm: 1338 224 188 169 0 49 0
[pid=15114] ppid=15112 vsize=20688 CPUtime=1.88
/proc/15114/stat : 15114 (clasp-1.0) R 15112 14863 14780 0 -1 4194304 5089 0 0 0 185 3 0 0 25 0 1 0 120147778 21184512 4753 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/15114/statm: 5172 4753 249 81 0 4546 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 45608

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1750.92
#  lost CPU user time (s): 1750.73
#  lost CPU system time (s): 0.19

Real time (s): 1802.74
CPU time (s): 1802.04
CPU user time (s): 1800.76
CPU system time (s): 1.28083
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 146184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0264
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250937
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= 6155
involuntary context switches= 1993

runsolver used 2.18567 second user time and 4.33834 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Apr 16 10:49:37 UTC 2007

IDJOB= 354626
IDBENCH= 2846
IDSOLVER= 167
FILE ID= node55/354626-1176720576

PBS_JOBID= 4559494

Free space on /tmp= 66513 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb
COMMAND LINE= pbclasp instance-354626-1176720576.opb /tmp/evaluation/354626-1176720576/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-354626-1176720576 -o ROOT/results/node55/conversion-354626-1176720576 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354626-1176720576/instance-354626-1176720576.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-354626-1176720576 -o ROOT/results/node55/solver-354626-1176720576 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-354626-1176720576.opb /tmp/evaluation/354626-1176720576/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  1b7a4ba09fe0e6b5976c5bba841ee84f

RANDOM SEED= 500540863

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1814684 kB
Buffers:          6192 kB
Cached:         162852 kB
SwapCached:       2384 kB
Active:          45516 kB
Inactive:       133048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814684 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            4884 kB
Writeback:           0 kB
Mapped:          16188 kB
Slab:            48768 kB
Committed_AS:  1033348 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66505 MiB

End job on node55 on Mon Apr 16 11:19:40 UTC 2007