Trace number 1074747

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_dwdeg 2008-06-26SAT 17.5123 17.6481

DiagnosticValue
ASSIGNMENTS832

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-3.xml
MD5SUMb03ce6bb41b3c7eeec8edd1190e4268e
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 benchmark8.19175
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
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.40/17.59	s SATISFIABLE
17.40/17.59	v 536 356 698 782 772 1055 222 1141 642 665 305 909 588 845 26 275 447 1223 975 1061 692 1224 1129 623 245 411 458 236 756 1033 395 944 771 943 327 187 849 536 271 475 564 292 721 1307 867 571 136 338 1127 21 0 1222 801 1031 80 504 458 432 943 638 311 1138 999 1211 1074 943 845 258 427 581 493 279 748 183 753 359 671 242 115 0 565 1142 395 1147 421 640 782 279 880 206 803 708 50 714 267 1227 484 0 1046 956 1027 1217 1121 970 424 1043 728 275 206 896 801 591 402 714 325 0 250 167 651 798 1121 1061 872 970 0 1083 945 365 843 748 1240 1169 640 546 84 361 406 474 235 174 1300 659 897 1147 1074 571 867 473 176 1028 0 1262 843 380 311 1035 50 246 93 753 941 748 401 1181 347 136 267 491 79 434 501 845 199 0 1121 1136 489 1217 657 563 1240 1174 1147 631 56 722 181 1028 96 116 0 1071 940 895 534 877 447 806 354 800 619 267 354 1078 1236 183 967 837 1199 758 434 894 490 1057 1031 536 956 84 581 0 1225 769 116 1276 301 239 491 338 183 409 1078 43 577 307 1201 879 758 748 0 666 1177 837 1118 1273 1113 1037 698 401 776 521 468 1007 642 176 1229 378 555 867 943 280 945 843 238 756 1177 1121 351 1138 49 288 115 1038 657 941 396 1083 190 561 0 465 684 769 588 849 7 391 250 322 513 167 1183 0 415 153 576 493 125 43 916 890 910 1030 1169 1129 165 684 718 534 613 1074 975 457 837 445 222 84 351 270 772 0 1053 473 939 365 1239 1007 272 1166 738 187 179 1120 91 359 0 828 687 651 683 546 513 325 242 657 417 1038 1138 1087 890 445 999 1047 809 84 0 163 613 660 944 415 1074 798 1169 963 728 402 186 565 183 364 909 1210 280 96 1046 491 0 642 591 1109 416 619 489 992 409 910 557 898 321 867 404 245 1055 692 837 144 776 78 0 1225 
17.40/17.59	d ASSIGNMENTS 832
17.40/17.59	c SAT 17476 TIME      832 NDS    1255 PARSTIME      3380 BUILDPB       12841 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-1074747-1215179599/watcher-1074747-1215179599 -o /tmp/evaluation-result-1074747-1215179599/solver-1074747-1215179599 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1074747-1215179599.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.21 1.72 1.35 3/74 9333
/proc/meminfo: memFree=710248/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=10800 CPUtime=0
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 1996929474 11059200 488 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 2700 488 213 9 0 1230 0
[pid=9333/tid=9334] ppid=9331 vsize=10800 CPUtime=0
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1996929475 11059200 488 996147200 134512640 134550740 4294956016 18446744073709551615 7700440 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.029601 s]
/proc/loadavg: 2.21 1.72 1.35 3/74 9333
/proc/meminfo: memFree=710248/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=10964 CPUtime=0
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 782 0 0 0 0 0 0 0 18 0 2 0 1996929474 11227136 544 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 2741 544 256 9 0 1242 0
[pid=9333/tid=9334] ppid=9331 vsize=10964 CPUtime=0
/proc/9333/task/9334/stat : 9334 (java) D 9331 9333 9167 0 -1 64 72 0 0 0 0 0 0 0 18 0 2 0 1996929475 11227136 544 996147200 134512640 134550740 4294956016 18446744073709551615 6853540 0 0 0 16784584 18446744071563608240 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964

[startup+0.101623 s]
/proc/loadavg: 2.21 1.72 1.35 3/74 9333
/proc/meminfo: memFree=710248/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=866416 CPUtime=0.07
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 3576 0 1 0 5 2 0 0 18 0 9 0 1996929474 887209984 3057 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216604 3057 1671 9 0 211076 0
[pid=9333/tid=9334] ppid=9331 vsize=866416 CPUtime=0.05
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 2638 0 1 0 4 1 0 0 18 0 9 0 1996929475 887209984 3057 996147200 134512640 134550740 4294956016 18446744073709551615 103782258 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866416

[startup+0.301654 s]
/proc/loadavg: 2.21 1.72 1.35 3/74 9333
/proc/meminfo: memFree=710248/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=866556 CPUtime=0.26
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 4299 0 1 0 23 3 0 0 18 0 9 0 1996929474 887353344 3752 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216639 3752 1852 9 0 211111 0
[pid=9333/tid=9334] ppid=9331 vsize=866556 CPUtime=0.23
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 3340 0 1 0 21 2 0 0 19 0 9 0 1996929475 887353344 3752 996147200 134512640 134550740 4294956016 18446744073709551615 4125960198 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866556

[startup+0.702722 s]
/proc/loadavg: 2.21 1.72 1.35 3/74 9333
/proc/meminfo: memFree=710248/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867416 CPUtime=0.66
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 6725 0 1 0 62 4 0 0 18 0 9 0 1996929474 888233984 6173 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216854 6173 1866 9 0 211326 0
[pid=9333/tid=9334] ppid=9331 vsize=867416 CPUtime=0.52
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 5481 0 1 0 49 3 0 0 20 0 9 0 1996929475 888233984 6173 996147200 134512640 134550740 4294956016 18446744073709551615 4125950500 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867416

[startup+1.50186 s]
/proc/loadavg: 2.21 1.72 1.35 4/83 9342
/proc/meminfo: memFree=681504/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867500 CPUtime=1.43
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 15907 0 1 0 133 10 0 0 18 0 9 0 1996929474 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216875 15316 1964 9 0 211347 0
[pid=9333/tid=9334] ppid=9331 vsize=867500 CPUtime=1.23
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 14622 0 1 0 114 9 0 0 18 0 9 0 1996929475 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 103681620 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1996929479 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996929479 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996929479 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867500 CPUtime=0.19
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 553 0 0 0 19 0 0 0 16 0 9 0 1996929481 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888320000 15316 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 867500

[startup+3.10113 s]
/proc/loadavg: 2.21 1.72 1.35 3/83 9342
/proc/meminfo: memFree=631456/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867500 CPUtime=3.02
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 21888 0 1 0 288 14 0 0 18 0 9 0 1996929474 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216875 21287 1982 9 0 211347 0
[pid=9333/tid=9334] ppid=9331 vsize=867500 CPUtime=2.57
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15466 0 1 0 247 10 0 0 25 0 9 0 1996929475 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4126962657 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867500 CPUtime=0.15
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 5082 0 0 0 13 2 0 0 16 0 9 0 1996929479 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867500 CPUtime=0.27
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 612 0 0 0 27 0 0 0 16 0 9 0 1996929481 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867500 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888320000 21287 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 867500

[startup+6.30267 s]
/proc/loadavg: 2.20 1.72 1.35 3/83 9342
/proc/meminfo: memFree=614624/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=6.2
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 25821 0 4 0 603 17 0 0 18 0 9 0 1996929474 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 25206 1997 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=5.41
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15626 0 4 0 530 11 0 0 25 0 9 0 1996929475 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4127026210 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.31
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 8735 0 0 0 28 3 0 0 17 0 9 0 1996929479 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.44
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 732 0 0 0 43 1 0 0 15 0 9 0 1996929481 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 25206 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867620

[startup+12.7018 s]
/proc/loadavg: 2.18 1.73 1.36 3/83 9342
/proc/meminfo: memFree=608032/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=12.59
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27318 0 4 0 1240 19 0 0 18 0 9 0 1996929474 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 26700 1997 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=11.75
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15629 0 4 0 1162 13 0 0 25 0 9 0 1996929475 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4126751492 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.37
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 33 4 0 0 16 0 9 0 1996929479 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.45
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 735 0 0 0 44 1 0 0 16 0 9 0 1996929481 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 26700 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 867620

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

[startup+15.9023 s]
/proc/loadavg: 2.16 1.73 1.36 3/83 9342
/proc/meminfo: memFree=607904/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=15.79
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27323 0 4 0 1559 20 0 0 18 0 9 0 1996929474 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 26703 1997 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=14.94
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15632 0 4 0 1481 13 0 0 25 0 9 0 1996929475 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 102064641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.37
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 33 4 0 0 17 0 9 0 1996929479 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.46
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 737 0 0 0 45 1 0 0 15 0 9 0 1996929481 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 26703 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 867620

[startup+16.7024 s]
/proc/loadavg: 2.16 1.73 1.36 3/83 9342
/proc/meminfo: memFree=607840/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=16.59
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27325 0 4 0 1639 20 0 0 18 0 9 0 1996929474 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 26704 1997 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=15.73
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15633 0 4 0 1560 13 0 0 25 0 9 0 1996929475 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.38
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 34 4 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.46
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 738 0 0 0 45 1 0 0 16 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.59
Current children cumulated vsize (KiB) 867620

[startup+17.1015 s]
/proc/loadavg: 2.16 1.73 1.36 3/83 9342
/proc/meminfo: memFree=607840/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=16.99
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27325 0 4 0 1679 20 0 0 18 0 9 0 1996929474 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 26704 1997 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=16.13
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15633 0 4 0 1600 13 0 0 25 0 9 0 1996929475 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4127397962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.38
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 34 4 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.46
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 738 0 0 0 45 1 0 0 16 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 26704 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (KiB) 867620

[startup+17.5016 s]
/proc/loadavg: 2.16 1.73 1.36 3/83 9342
/proc/meminfo: memFree=607776/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867620 CPUtime=17.4
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27328 0 4 0 1720 20 0 0 18 0 9 0 1996929474 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216905 26706 1999 9 0 211377 0
[pid=9333/tid=9334] ppid=9331 vsize=867620 CPUtime=16.53
/proc/9333/task/9334/stat : 9334 (java) R 9331 9333 9167 0 -1 64 15634 0 4 0 1640 13 0 0 25 0 9 0 1996929475 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4127336976 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867620 CPUtime=0.38
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 34 4 0 0 17 0 9 0 1996929479 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867620 CPUtime=0.46
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 740 0 0 0 45 1 0 0 16 0 9 0 1996929481 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867620 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888442880 26706 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.4
Current children cumulated vsize (KiB) 867620

[startup+17.6066 s]
/proc/loadavg: 2.16 1.73 1.36 3/83 9342
/proc/meminfo: memFree=607776/2055920 swapFree=4180444/4192956
[pid=9333] ppid=9331 vsize=867944 CPUtime=17.48
/proc/9333/stat : 9333 (java) S 9331 9333 9167 0 -1 0 27338 0 4 0 1728 20 0 0 18 0 9 0 1996929474 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9333/statm: 216986 26715 2000 9 0 211458 0
[pid=9333/tid=9334] ppid=9331 vsize=867944 CPUtime=16.61
/proc/9333/task/9334/stat : 9334 (java) S 9331 9333 9167 0 -1 64 15638 0 4 0 1648 13 0 0 25 0 9 0 1996929475 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9336] ppid=9331 vsize=867944 CPUtime=0.38
/proc/9333/task/9336/stat : 9336 (java) S 9331 9333 9167 0 -1 64 10226 0 0 0 34 4 0 0 17 0 9 0 1996929479 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9337] ppid=9331 vsize=867944 CPUtime=0
/proc/9333/task/9337/stat : 9337 (java) S 9331 9333 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996929479 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9338] ppid=9331 vsize=867944 CPUtime=0
/proc/9333/task/9338/stat : 9338 (java) S 9331 9333 9167 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996929479 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9339] ppid=9331 vsize=867944 CPUtime=0
/proc/9333/task/9339/stat : 9339 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996929481 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9340] ppid=9331 vsize=867944 CPUtime=0.46
/proc/9333/task/9340/stat : 9340 (java) S 9331 9333 9167 0 -1 64 741 0 0 0 45 1 0 0 15 0 9 0 1996929481 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9333/tid=9341] ppid=9331 vsize=867944 CPUtime=0
/proc/9333/task/9341/stat : 9341 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996929481 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9333/tid=9342] ppid=9331 vsize=867944 CPUtime=0
/proc/9333/task/9342/stat : 9342 (java) S 9331 9333 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996929481 888774656 26715 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 867944

Child status: 0
Real time (s): 17.6481
CPU time (s): 17.5123
CPU user time (s): 17.2894
CPU system time (s): 0.222966
CPU usage (%): 99.2309
Max. virtual memory (cumulated for all children) (KiB): 867944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2894
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27341
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2726
involuntary context switches= 2536

runsolver used 0.019996 second user time and 0.069989 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-04 15:53:19
IDJOB=1074747
IDBENCH=56436
IDSOLVER=349
FILE ID=node68/1074747-1215179599
PBS_JOBID= 7881588
Free space on /tmp= 66124 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b03ce6bb41b3c7eeec8edd1190e4268e
RANDOM SEED=514839568

node68.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:        710728 kB
Buffers:         12516 kB
Cached:         574804 kB
SwapCached:       6728 kB
Active:         783368 kB
Inactive:       499568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        710728 kB
SwapTotal:     4192956 kB
SwapFree:      4180444 kB
Dirty:            7184 kB
Writeback:           0 kB
Mapped:         702420 kB
Slab:            46004 kB
Committed_AS:  4979776 kB
PageTables:       3364 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= 66120 MiB
End job on node68 at 2008-07-04 15:53:37