Trace number 2115211

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.1.1b 2009-07-16SAT 11.6502 11.7834

DiagnosticValue
CHECKS0
NODES1290

General information on the benchmark

Namecsp/os-taillard-15/
normalized-os-taillard-15-100-3.xml
MD5SUM4464c4dbbc6767281e99ecdc6a7793b6
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 benchmark3.3125
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size946
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data 

11.58/11.75	s SATISFIABLE
11.58/11.75	v 476 383 631 419 347 715 816 99 17 225 561 881 327 618 930 757 686 601 803 306 424 839 498 261 0 27 176 14 115 383 507 926 290 447 207 672 725 111 0 358 265 827 47 839 631 364 137 207 230 717 267 670 54 875 100 839 508 570 17 407 892 407 805 118 467 721 419 185 74 263 444 235 313 0 674 78 174 87 721 801 839 372 0 561 547 686 14 444 264 705 227 540 474 78 35 302 489 114 742 383 176 27 864 622 847 396 97 152 796 51 834 556 7 208 28 542 629 679 193 460 399 166 0 445 631 542 874 796 875 17 121 415 306 717 227 581 468 547 379 718 615 158 327 874 75 240 833 877 0 807 498 597 261 383 771 674 425 882 827 166 0 35 111 845 290 97 716 794 68 208 0 757 865 174 523 230 467 932 702 399 179 75 186 678 833 266 424 447 99 27 0 42 770 152 358 316 23 0 820 358 65 136 498 411 679 121 588 916 228 742 364 702 578 725 601 845 807 315 406 96 23 275 623 179 500 
11.58/11.75	d AC 32
11.58/11.75	d RUNTIME 11.608
11.58/11.75	d NODES 1290
11.58/11.75	d NODES/s 111
11.58/11.75	d BACKTRACKS 221
11.58/11.75	d BACKTRACKS/s 19
11.58/11.75	d CHECKS 0
11.58/11.75	d CHECKS/s 0
11.58/11.75	c SAT 11.608 TIME      1290 NDS    658 PARSTIME      370 BUILDPB       934 CONFIG        9646 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2115211-1248028477/watcher-2115211-1248028477 -o /tmp/evaluation-result-2115211-1248028477/solver-2115211-1248028477 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115211-1248028477.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.89 1.95 1.68 4/81 28223
/proc/meminfo: memFree=909880/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=152 CPUtime=0
/proc/28223/stat : 28223 (java) R 28221 28223 27856 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 89912799 155648 26 996147200 134512640 134550932 4294956064 18446744073709551615 5566763 0 0 4096 0 0 0 0 17 0 0 0
/proc/28223/statm: 38 26 19 9 0 4 0

[startup+0.072123 s]
/proc/loadavg: 1.89 1.95 1.68 4/81 28223
/proc/meminfo: memFree=909880/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=862204 CPUtime=0.06
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 3025 0 1 0 4 2 0 0 18 0 9 0 89912799 882896896 2505 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 215551 2505 1200 9 0 210421 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862204

[startup+0.101124 s]
/proc/loadavg: 1.89 1.95 1.68 4/81 28223
/proc/meminfo: memFree=909880/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=864072 CPUtime=0.09
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 3868 0 1 0 7 2 0 0 18 0 9 0 89912799 884809728 3318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216018 3318 1744 9 0 210487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072

[startup+0.301144 s]
/proc/loadavg: 1.89 1.95 1.68 4/81 28223
/proc/meminfo: memFree=909880/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=864988 CPUtime=0.29
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 4964 0 1 0 26 3 0 0 18 0 9 0 89912799 885747712 4389 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216247 4389 1858 9 0 210716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864988

[startup+0.701189 s]
/proc/loadavg: 1.89 1.95 1.68 4/81 28223
/proc/meminfo: memFree=909880/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=864988 CPUtime=0.68
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 8233 0 1 0 63 5 0 0 18 0 9 0 89912799 885747712 7647 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216247 7647 1902 9 0 210716 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864988

[startup+1.50228 s]
/proc/loadavg: 1.89 1.95 1.68 3/90 28232
/proc/meminfo: memFree=874864/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865136 CPUtime=1.47
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 17134 0 1 0 138 9 0 0 18 0 9 0 89912799 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216284 16513 1977 9 0 210753 0
[pid=28223/tid=28225] ppid=28221 vsize=865136 CPUtime=1.15
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14778 0 1 0 107 8 0 0 25 0 9 0 89912801 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865136 CPUtime=0.02
/proc/28223/task/28226/stat : 28226 (java) R 28221 28223 27856 0 -1 64 983 0 0 0 2 0 0 0 16 0 9 0 89912802 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865136 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 89912802 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865136 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 89912802 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865136 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865136 CPUtime=0.28
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 647 0 0 0 28 0 0 0 15 0 9 0 89912804 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865136 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865136 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 885899264 16513 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865136

[startup+3.10244 s]
/proc/loadavg: 1.89 1.95 1.68 3/90 28232
/proc/meminfo: memFree=842992/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=3.06
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 19246 0 1 0 295 11 0 0 18 0 9 0 89912799 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 18617 1998 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=2.49
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14897 0 1 0 240 9 0 0 25 0 9 0 89912801 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4127426026 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.08
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 2857 0 0 0 8 0 0 0 17 0 9 0 89912802 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.47
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 761 0 0 0 46 1 0 0 15 0 9 0 89912804 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 18617 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865256

[startup+6.30178 s]
/proc/loadavg: 1.98 1.97 1.69 3/90 28232
/proc/meminfo: memFree=829104/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=6.23
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 22583 0 1 0 609 14 0 0 18 0 9 0 89912799 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 21952 1998 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=5.57
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14902 0 1 0 547 10 0 0 25 0 9 0 89912801 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4127477284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.15
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 6180 0 0 0 14 1 0 0 16 0 9 0 89912802 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.48
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 770 0 0 0 47 1 0 0 16 0 9 0 89912804 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 21952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865256

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

[startup+9.50212 s]
/proc/loadavg: 1.98 1.97 1.69 3/90 28232
/proc/meminfo: memFree=823600/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=9.4
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 23968 0 1 0 925 15 0 0 18 0 9 0 89912799 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 23333 2000 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=8.69
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14914 0 1 0 859 10 0 0 25 0 9 0 89912801 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4126046733 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.2
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 7550 0 0 0 18 2 0 0 17 0 9 0 89912802 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.48
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 773 0 0 0 47 1 0 0 16 0 9 0 89912804 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 23333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 865256

[startup+11.1023 s]
/proc/loadavg: 1.98 1.97 1.69 3/90 28232
/proc/meminfo: memFree=823536/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=10.98
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 23970 0 1 0 1083 15 0 0 18 0 9 0 89912799 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 23334 2000 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=10.27
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14915 0 1 0 1017 10 0 0 25 0 9 0 89912801 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4127463491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.2
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 7550 0 0 0 18 2 0 0 17 0 9 0 89912802 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.49
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 774 0 0 0 48 1 0 0 15 0 9 0 89912804 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 23334 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 865256

[startup+11.5023 s]
/proc/loadavg: 1.98 1.97 1.69 3/90 28232
/proc/meminfo: memFree=823536/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=11.38
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 23972 0 1 0 1123 15 0 0 18 0 9 0 89912799 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 23335 2000 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=10.66
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14916 0 1 0 1056 10 0 0 25 0 9 0 89912801 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4126046811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.2
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 7550 0 0 0 18 2 0 0 17 0 9 0 89912802 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.49
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 775 0 0 0 48 1 0 0 15 0 9 0 89912804 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 23335 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 865256

[startup+11.7024 s]
/proc/loadavg: 1.98 1.97 1.69 3/90 28232
/proc/meminfo: memFree=823536/2055920 swapFree=4192812/4192956
[pid=28223] ppid=28221 vsize=865256 CPUtime=11.58
/proc/28223/stat : 28223 (java) S 28221 28223 27856 0 -1 0 23973 0 1 0 1143 15 0 0 18 0 9 0 89912799 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28223/statm: 216314 23336 2000 9 0 210783 0
[pid=28223/tid=28225] ppid=28221 vsize=865256 CPUtime=10.86
/proc/28223/task/28225/stat : 28225 (java) R 28221 28223 27856 0 -1 64 14916 0 1 0 1076 10 0 0 25 0 9 0 89912801 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4127471984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28226] ppid=28221 vsize=865256 CPUtime=0.2
/proc/28223/task/28226/stat : 28226 (java) S 28221 28223 27856 0 -1 64 7550 0 0 0 18 2 0 0 17 0 9 0 89912802 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28227] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28227/stat : 28227 (java) S 28221 28223 27856 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28228] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28228/stat : 28228 (java) S 28221 28223 27856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89912802 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28229] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28229/stat : 28229 (java) S 28221 28223 27856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89912804 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28230] ppid=28221 vsize=865256 CPUtime=0.49
/proc/28223/task/28230/stat : 28230 (java) S 28221 28223 27856 0 -1 64 776 0 0 0 48 1 0 0 16 0 9 0 89912804 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28231] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28231/stat : 28231 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89912804 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28223/tid=28232] ppid=28221 vsize=865256 CPUtime=0
/proc/28223/task/28232/stat : 28232 (java) S 28221 28223 27856 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89912804 886022144 23336 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 865256

Child status: 0
Real time (s): 11.7834
CPU time (s): 11.6502
CPU user time (s): 11.4833
CPU system time (s): 0.166974
CPU usage (%): 98.8696
Max. virtual memory (cumulated for all children) (KiB): 865256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4833
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24014
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= 3185
involuntary context switches= 3593

runsolver used 0.018997 second user time and 0.045993 second system time

The end

Launcher Data 

Begin job on node81 at 2009-07-19 20:34:37
IDJOB=2115211
IDBENCH=54405
IDSOLVER=780
FILE ID=node81/2115211-1248028477
PBS_JOBID= 9528892
Free space on /tmp= 126632 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-100-3.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2115211-1248028477/watcher-2115211-1248028477 -o /tmp/evaluation-result-2115211-1248028477/solver-2115211-1248028477 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115211-1248028477.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4464c4dbbc6767281e99ecdc6a7793b6
RANDOM SEED=428801626

node81.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.233
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.233
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        910360 kB
Buffers:        103096 kB
Cached:         804568 kB
SwapCached:          0 kB
Active:         401164 kB
Inactive:       650772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        910360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8076 kB
Writeback:           0 kB
Mapped:         162040 kB
Slab:            78412 kB
Committed_AS:  1326236 kB
PageTables:       2116 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126628 MiB
End job on node81 at 2009-07-19 20:34:49