Trace number 1074809

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 NameAnswerCPU timeWall clock time
choco2_impwdeg 2008-06-26SAT 17.2424 17.2903

DiagnosticValue
ASSIGNMENTS866

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.41663
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

17.18/17.23	s SATISFIABLE
17.18/17.23	v 519 727 872 397 187 175 1043 366 418 1216 898 1300 592 1135 343 856 985 463 635 783 766 1019 523 284 579 463 627 389 369 361 1291 1194 927 843 326 265 680 642 1099 612 1158 765 812 363 754 627 563 752 1071 708 789 399 884 1109 314 994 734 947 1293 1204 1315 578 1198 457 741 408 205 924 328 1327 812 1099 422 1101 1296 670 620 530 1001 377 734 1386 783 314 1322 1251 1111 680 1013 947 1191 478 557 159 352 848 73 395 631 234 437 700 595 926 820 1293 801 945 90 166 764 1200 507 343 978 1105 110 902 369 1036 1172 730 872 764 1327 1173 1376 1087 1030 693 706 204 161 1261 902 272 562 1134 623 984 927 993 661 1100 856 1385 1244 620 1087 0 1295 228 1170 715 519 592 1184 1211 809 1006 1255 366 789 1314 290 1165 1029 922 1103 836 208 182 831 1105 151 80 691 589 462 19 1216 139 40 1290 526 978 581 1134 437 0 507 1105 1007 882 721 563 375 106 623 817 1205 1359 366 1290 1112 326 928 827 159 284 1007 494 105 731 0 19 567 632 401 1072 1112 944 327 840 567 177 158 1200 1036 240 401 105 71 40 457 777 1343 655 123 0 1155 1295 240 884 533 110 1031 706 160 731 372 622 36 1213 299 422 0 450 1255 946 1166 689 1071 375 436 314 916 1336 578 177 139 994 1270 4 222 827 478 1223 731 76 832 981 643 554 94 298 1009 456 1200 938 1241 744 213 151 1376 361 284 0 1337 731 848 1046 751 661 1261 160 589 642 397 1213 91 343 222 944 1172 4 280 462 0 526 1165 1036 1241 1280 1361 851 1343 981 1337 93 659 1113 754 416 946 562 327 471 187 0 471 875 1000 832 1131 920 553 754 663 939 819 372 280 272 187 1109 91 1046 615 0 450 998 545 830 1315 926 1197 280 187 1266 628 1251 691 94 984 0 851 361 765 1103 708 973 553 442 526 545 1293 1030 851 1194 1111 781 343 77 265 166 0 635 1135 91 
17.18/17.23	d ASSIGNMENTS 866
17.18/17.23	c SAT 17148 TIME      866 NDS    933 PARSTIME      3084 BUILDPB       13131 RES       true RESTART       1 HEURISTIC

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074809-1215179855/watcher-1074809-1215179855 -o /tmp/evaluation-result-1074809-1215179855/solver-1074809-1215179855 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1074809-1215179855.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.22 2.12 2.05 4/76 19359
/proc/meminfo: memFree=1590472/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=152 CPUtime=0
/proc/19359/stat : 19359 (java) R 19357 19359 16959 0 -1 0 223 0 0 0 0 0 0 0 18 0 1 0 1996957479 155648 26 996147200 134512640 134550740 4294956016 18446744073709551615 7917867 0 0 4096 0 0 0 0 17 0 0 0
/proc/19359/statm: 38 26 19 9 0 4 0

[startup+0.095098 s]
/proc/loadavg: 2.22 2.12 2.05 4/76 19359
/proc/meminfo: memFree=1590472/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=866524 CPUtime=0.09
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 3804 0 1 0 7 2 0 0 18 0 9 0 1996957479 887320576 3277 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216631 3277 1754 9 0 211103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866524

[startup+0.101097 s]
/proc/loadavg: 2.22 2.12 2.05 4/76 19359
/proc/meminfo: memFree=1590472/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=866524 CPUtime=0.09
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 3875 0 1 0 7 2 0 0 18 0 9 0 1996957479 887320576 3336 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216631 3336 1777 9 0 211103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866524

[startup+0.301132 s]
/proc/loadavg: 2.22 2.12 2.05 4/76 19359
/proc/meminfo: memFree=1590472/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867308 CPUtime=0.28
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 4994 0 1 0 26 2 0 0 18 0 9 0 1996957479 888123392 4447 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216827 4447 1855 9 0 211299 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867308

[startup+0.701199 s]
/proc/loadavg: 2.22 2.12 2.05 4/76 19359
/proc/meminfo: memFree=1590472/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867432 CPUtime=0.69
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 9104 0 1 0 65 4 0 0 18 0 9 0 1996957479 888250368 8543 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216858 8543 1903 9 0 211330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867432

[startup+1.50233 s]
/proc/loadavg: 2.22 2.12 2.05 3/85 19368
/proc/meminfo: memFree=1541440/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867492 CPUtime=1.49
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 20384 0 1 0 140 9 0 0 18 0 9 0 1996957479 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216873 19788 1981 9 0 211345 0
[pid=19359/tid=19361] ppid=19357 vsize=867492 CPUtime=1.14
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15454 0 1 0 107 7 0 0 25 0 9 0 1996957480 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4126833960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867492 CPUtime=0.09
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 3621 0 0 0 9 0 0 0 17 0 9 0 1996957481 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867492 CPUtime=0.22
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 582 0 0 0 22 0 0 0 16 0 9 0 1996957483 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888311808 19788 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867492

[startup+3.1016 s]
/proc/loadavg: 2.22 2.12 2.05 3/85 19368
/proc/meminfo: memFree=1512384/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867492 CPUtime=3.09
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 21918 0 1 0 298 11 0 0 18 0 9 0 1996957479 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216873 21315 1982 9 0 211345 0
[pid=19359/tid=19361] ppid=19357 vsize=867492 CPUtime=2.66
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15461 0 1 0 258 8 0 0 25 0 9 0 1996957480 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4126832553 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867492 CPUtime=0.13
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 5114 0 0 0 12 1 0 0 16 0 9 0 1996957481 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867492 CPUtime=0.26
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 616 0 0 0 26 0 0 0 16 0 9 0 1996957483 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867492 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888311808 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867492

[startup+6.30214 s]
/proc/loadavg: 2.20 2.12 2.04 3/85 19368
/proc/meminfo: memFree=1496576/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=6.29
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 25898 0 1 0 615 14 0 0 18 0 9 0 1996957479 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 25278 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=5.52
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15654 0 1 0 543 9 0 0 25 0 9 0 1996957480 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4127343936 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.3
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 8777 0 0 0 27 3 0 0 17 0 9 0 1996957481 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.44
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 740 0 0 0 44 0 0 0 15 0 9 0 1996957483 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 25278 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867744

[startup+12.704 s]
/proc/loadavg: 2.18 2.12 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=12.68
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27396 0 1 0 1252 16 0 0 18 0 9 0 1996957479 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26772 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=11.85
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15658 0 1 0 1174 11 0 0 25 0 9 0 1996957480 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4127351805 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.35
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 32 3 0 0 16 0 9 0 1996957481 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 743 0 0 0 45 0 0 0 16 0 9 0 1996957483 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26772 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867744

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

[startup+14.3065 s]
/proc/loadavg: 2.18 2.12 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=14.29
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27399 0 1 0 1412 17 0 0 18 0 9 0 1996957479 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26775 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=13.44
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15659 0 1 0 1333 11 0 0 25 0 9 0 1996957480 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4127607922 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.35
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 32 3 0 0 16 0 9 0 1996957481 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 745 0 0 0 45 0 0 0 16 0 9 0 1996957483 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26775 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 867744

[startup+15.9028 s]
/proc/loadavg: 2.17 2.11 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=15.88
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27403 0 1 0 1571 17 0 0 18 0 9 0 1996957479 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26776 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=15.03
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15662 0 1 0 1492 11 0 0 25 0 9 0 1996957480 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4127344807 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.36
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 33 3 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 746 0 0 0 45 0 0 0 16 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 867744

[startup+16.7029 s]
/proc/loadavg: 2.17 2.11 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=16.68
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27403 0 1 0 1651 17 0 0 18 0 9 0 1996957479 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26776 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=15.83
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15662 0 1 0 1572 11 0 0 25 0 9 0 1996957480 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4127555069 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.36
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 33 3 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 746 0 0 0 45 0 0 0 16 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26776 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 867744

[startup+17.1048 s]
/proc/loadavg: 2.17 2.11 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=17.08
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27405 0 1 0 1691 17 0 0 18 0 9 0 1996957479 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26777 1998 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=16.23
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15663 0 1 0 1612 11 0 0 25 0 9 0 1996957480 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4127351473 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.36
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 33 3 0 0 17 0 9 0 1996957481 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 747 0 0 0 45 0 0 0 15 0 9 0 1996957483 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26777 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 867744

[startup+17.202 s]
/proc/loadavg: 2.17 2.11 2.04 3/85 19368
/proc/meminfo: memFree=1490432/2055920 swapFree=4180240/4192956
[pid=19359] ppid=19357 vsize=867744 CPUtime=17.18
/proc/19359/stat : 19359 (java) S 19357 19359 16959 0 -1 0 27407 0 1 0 1701 17 0 0 18 0 9 0 1996957479 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 216936 26779 2000 9 0 211408 0
[pid=19359/tid=19361] ppid=19357 vsize=867744 CPUtime=16.32
/proc/19359/task/19361/stat : 19361 (java) R 19357 19359 16959 0 -1 64 15663 0 1 0 1621 11 0 0 25 0 9 0 1996957480 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19362] ppid=19357 vsize=867744 CPUtime=0.36
/proc/19359/task/19362/stat : 19362 (java) S 19357 19359 16959 0 -1 64 10268 0 0 0 33 3 0 0 17 0 9 0 1996957481 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19363] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19363/stat : 19363 (java) S 19357 19359 16959 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19357 19359 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996957481 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1996957483 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19366] ppid=19357 vsize=867744 CPUtime=0.45
/proc/19359/task/19366/stat : 19366 (java) S 19357 19359 16959 0 -1 64 749 0 0 0 45 0 0 0 15 0 9 0 1996957483 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19367] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19367/stat : 19367 (java) S 19357 19359 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1996957483 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19359/tid=19368] ppid=19357 vsize=867744 CPUtime=0
/proc/19359/task/19368/stat : 19368 (java) S 19357 19359 16959 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996957483 888569856 26779 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 867744

Child status: 0
Real time (s): 17.2903
CPU time (s): 17.2424
CPU user time (s): 17.0534
CPU system time (s): 0.188971
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 867744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0534
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27420
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2833
involuntary context switches= 2852

runsolver used 0.028995 second user time and 0.068989 second system time

The end

Launcher Data (download as text)

Begin job on node50 at 2008-07-04 15:57:35
IDJOB=1074809
IDBENCH=56445
IDSOLVER=348
FILE ID=node50/1074809-1215179855
PBS_JOBID= 7881466
Free space on /tmp= 66508 MiB

SOLVER NAME= choco2_impwdeg 2008-06-26
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074809-1215179855/watcher-1074809-1215179855 -o /tmp/evaluation-result-1074809-1215179855/solver-1074809-1215179855 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1074809-1215179855.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=320702624

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

/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.261
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.261
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:       1590952 kB
Buffers:         65164 kB
Cached:         212760 kB
SwapCached:       6724 kB
Active:         307504 kB
Inactive:        85836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590952 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:            7028 kB
Writeback:           0 kB
Mapped:         122040 kB
Slab:            56720 kB
Committed_AS:  4067052 kB
PageTables:       2148 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= 66500 MiB
End job on node50 at 2008-07-04 15:57:52