Trace number 2115215

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 26.8309 26.988

DiagnosticValue
CHECKS0
NODES4755

General information on the benchmark

Namecsp/os-taillard-15/
normalized-os-taillard-15-100-7.xml
MD5SUMab54a3befb7bc28d039702d9f31a2fb5
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 benchmark1.9497
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size916
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 

26.75/26.95	s SATISFIABLE
26.75/26.95	v 841 770 666 6 476 736 36 337 383 147 508 65 550 454 230 0 603 739 537 610 662 69 346 469 211 445 140 694 736 246 0 105 839 546 337 249 609 732 29 667 487 824 411 838 191 348 497 265 662 731 83 891 698 11 623 37 145 805 186 436 186 823 831 609 463 692 83 0 429 445 662 274 793 350 453 308 443 736 225 488 150 377 36 181 839 45 662 605 544 0 51 318 526 69 768 637 673 207 863 161 887 432 732 0 265 251 348 808 6 694 303 0 15 502 168 98 230 65 662 581 464 657 250 174 863 411 441 590 33 163 512 116 478 0 764 838 698 768 841 429 454 98 540 601 0 222 189 791 611 322 81 274 618 863 0 808 182 590 778 555 163 4 838 322 383 555 116 581 377 749 463 211 435 432 292 807 563 0 891 667 673 318 764 269 590 610 164 462 562 831 436 296 788 349 739 435 560 83 445 183 116 502 69 601 207 0 151 23 832 303 544 770 161 688 183 641 623 563 512 350 778 251 839 116 445 
26.75/26.95	d AC 32
26.75/26.95	d RUNTIME 26.813
26.75/26.95	d NODES 4755
26.75/26.95	d NODES/s 177
26.75/26.95	d BACKTRACKS 1476
26.75/26.95	d BACKTRACKS/s 55
26.75/26.95	d CHECKS 0
26.75/26.95	d CHECKS/s 0
26.75/26.95	c SAT 26.813 TIME      4755 NDS    713 PARSTIME      370 BUILDPB       935 CONFIG        24795 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-2115215-1248028478/watcher-2115215-1248028478 -o /tmp/evaluation-result-2115215-1248028478/solver-2115215-1248028478 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115215-1248028478.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: 2.48 2.10 1.74 4/81 23858
/proc/meminfo: memFree=566232/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=18576 CPUtime=0
/proc/23858/stat : 23858 (runsolver) R 23856 23858 23457 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 89913005 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 228043844903 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23858/statm: 4644 284 249 26 0 2626 0

[startup+0.0388429 s]
/proc/loadavg: 2.48 2.10 1.74 4/81 23858
/proc/meminfo: memFree=566232/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=859892 CPUtime=0.02
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 2173 0 1 0 1 1 0 0 18 0 5 0 89913005 880529408 1782 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 214973 1784 836 9 0 209888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 859892

[startup+0.101858 s]
/proc/loadavg: 2.48 2.10 1.74 4/81 23858
/proc/meminfo: memFree=566232/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=864104 CPUtime=0.08
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 3823 0 1 0 7 1 0 0 18 0 9 0 89913005 884842496 3283 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216026 3286 1727 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864104

[startup+0.301895 s]
/proc/loadavg: 2.48 2.10 1.74 4/81 23858
/proc/meminfo: memFree=566232/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=864396 CPUtime=0.28
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 4576 0 1 0 26 2 0 0 18 0 9 0 89913005 885141504 4001 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216099 4001 1855 9 0 210568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864396

[startup+0.701973 s]
/proc/loadavg: 2.48 2.10 1.74 4/81 23858
/proc/meminfo: memFree=566232/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865000 CPUtime=0.69
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 7651 0 1 0 64 5 0 0 18 0 9 0 89913005 885760000 7065 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216250 7066 1901 9 0 210719 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 865000

[startup+1.50113 s]
/proc/loadavg: 2.48 2.10 1.74 3/90 23867
/proc/meminfo: memFree=533840/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865144 CPUtime=1.48
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 15721 0 1 0 138 10 0 0 18 0 9 0 89913005 885907456 15101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216286 15102 1969 9 0 210755 0
[pid=23858/tid=23860] ppid=23856 vsize=865144 CPUtime=1.19
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14350 0 1 0 110 9 0 0 25 0 9 0 89913007 885907456 15103 996147200 134512640 134550932 4294955888 18446744073709551615 4127134137 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 89913008 885907456 15103 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 89913008 885907456 15104 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 3 0 0 0 0 0 0 0 23 0 9 0 89913008 885907456 15104 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 885907456 15105 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865144 CPUtime=0.27
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 644 0 0 0 27 0 0 0 15 0 9 0 89913010 885907456 15105 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 885907456 15106 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865144 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 885907456 15107 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865144

[startup+3.10244 s]
/proc/loadavg: 2.48 2.10 1.74 3/90 23867
/proc/meminfo: memFree=499472/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=3.07
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 19240 0 1 0 293 14 0 0 18 0 9 0 89913005 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 18612 1998 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=2.51
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14903 0 1 0 241 10 0 0 25 0 9 0 89913007 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4127573152 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.08
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 2846 0 0 0 7 1 0 0 16 0 9 0 89913008 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.45
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 759 0 0 0 44 1 0 0 15 0 9 0 89913010 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 18612 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865268

[startup+6.30107 s]
/proc/loadavg: 2.60 2.13 1.75 3/90 23867
/proc/meminfo: memFree=485648/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=6.26
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 22567 0 1 0 610 16 0 0 18 0 9 0 89913005 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 21936 1998 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=5.6
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14906 0 1 0 549 11 0 0 25 0 9 0 89913007 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.16
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 6159 0 0 0 14 2 0 0 16 0 9 0 89913008 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.46
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 770 0 0 0 45 1 0 0 15 0 9 0 89913010 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 21936 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865268

[startup+12.7023 s]
/proc/loadavg: 2.71 2.16 1.76 3/90 23867
/proc/meminfo: memFree=479952/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=12.62
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 23963 0 1 0 1245 17 0 0 18 0 9 0 89913005 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 23325 2003 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=11.92
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14921 0 1 0 1180 12 0 0 25 0 9 0 89913007 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4127679196 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.2
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 7529 0 0 0 17 3 0 0 17 0 9 0 89913008 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.48
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 781 0 0 0 47 1 0 0 15 0 9 0 89913010 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 23325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865268

[startup+25.5018 s]
/proc/loadavg: 2.55 2.15 1.77 3/90 23867
/proc/meminfo: memFree=480080/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=25.36
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 23971 0 1 0 2518 18 0 0 18 0 9 0 89913005 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 23326 2003 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=24.62
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14928 0 1 0 2450 12 0 0 25 0 9 0 89913007 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4127432400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.22
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 7529 0 0 0 19 3 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.48
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 782 0 0 0 47 1 0 0 16 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 865268

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

[startup+26.302 s]
/proc/loadavg: 2.55 2.15 1.77 3/90 23867
/proc/meminfo: memFree=480144/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=26.16
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 23971 0 1 0 2598 18 0 0 18 0 9 0 89913005 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 23326 2003 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=25.42
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14928 0 1 0 2530 12 0 0 25 0 9 0 89913007 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4127605493 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.22
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 7529 0 0 0 19 3 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.48
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 782 0 0 0 47 1 0 0 17 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.16
Current children cumulated vsize (KiB) 865268

[startup+26.7011 s]
/proc/loadavg: 2.55 2.15 1.77 3/90 23867
/proc/meminfo: memFree=480144/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=26.55
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 23971 0 1 0 2637 18 0 0 18 0 9 0 89913005 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 23326 2003 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=25.81
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14928 0 1 0 2569 12 0 0 25 0 9 0 89913007 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4127464007 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.22
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 7529 0 0 0 19 3 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.49
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 782 0 0 0 48 1 0 0 16 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 865268

[startup+26.9011 s]
/proc/loadavg: 2.55 2.15 1.77 3/90 23867
/proc/meminfo: memFree=480144/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=865268 CPUtime=26.75
/proc/23858/stat : 23858 (java) S 23856 23858 23457 0 -1 0 23971 0 1 0 2657 18 0 0 18 0 9 0 89913005 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23858/statm: 216317 23326 2003 9 0 210786 0
[pid=23858/tid=23860] ppid=23856 vsize=865268 CPUtime=26.01
/proc/23858/task/23860/stat : 23860 (java) R 23856 23858 23457 0 -1 64 14928 0 1 0 2589 12 0 0 25 0 9 0 89913007 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4127451399 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23861] ppid=23856 vsize=865268 CPUtime=0.22
/proc/23858/task/23861/stat : 23861 (java) S 23856 23858 23457 0 -1 64 7529 0 0 0 19 3 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23862] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23862/stat : 23862 (java) S 23856 23858 23457 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23863] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23863/stat : 23863 (java) S 23856 23858 23457 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89913008 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23864] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23864/stat : 23864 (java) S 23856 23858 23457 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23865] ppid=23856 vsize=865268 CPUtime=0.49
/proc/23858/task/23865/stat : 23865 (java) S 23856 23858 23457 0 -1 64 782 0 0 0 48 1 0 0 16 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23866] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23866/stat : 23866 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23858/tid=23867] ppid=23856 vsize=865268 CPUtime=0
/proc/23858/task/23867/stat : 23867 (java) S 23856 23858 23457 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89913010 886034432 23326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.75
Current children cumulated vsize (KiB) 865268

Child status: 0
Real time (s): 26.988
CPU time (s): 26.8309
CPU user time (s): 26.633
CPU system time (s): 0.197969
CPU usage (%): 99.418
Max. virtual memory (cumulated for all children) (KiB): 865268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.633
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24008
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= 3425
involuntary context switches= 4241

runsolver used 0.037994 second user time and 0.092985 second system time

The end

Launcher Data 

Begin job on node77 at 2009-07-19 20:34:38
IDJOB=2115215
IDBENCH=54414
IDSOLVER=780
FILE ID=node77/2115215-1248028478
PBS_JOBID= 9528900
Free space on /tmp= 66000 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-100-7.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-2115215-1248028478/watcher-2115215-1248028478 -o /tmp/evaluation-result-2115215-1248028478/solver-2115215-1248028478 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115215-1248028478.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= ab54a3befb7bc28d039702d9f31a2fb5
RANDOM SEED=1117365953

node77.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.256
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.256
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:        566776 kB
Buffers:         88824 kB
Cached:        1149592 kB
SwapCached:          0 kB
Active:         289624 kB
Inactive:      1093036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        566776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5496 kB
Writeback:           0 kB
Mapped:         162072 kB
Slab:            91624 kB
Committed_AS:  1235004 kB
PageTables:       2016 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= 65996 MiB
End job on node77 at 2009-07-19 20:35:05