Trace number 2081703

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
pcs-restart 0.3.2? (TO) 1800.15 1809.74

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-12.xml
MD5SUM25d0763f0ac75a92331779534e76fb94
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1707
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12940
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 640890927
0.00/0.02	c Constructing HOME/instance-2081703-1247720269.xml  with 82480 constraints
1.26/1.35	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081703-1247720269/watcher-2081703-1247720269 -o /tmp/evaluation-result-2081703-1247720269/solver-2081703-1247720269 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 640890927 HOME/instance-2081703-1247720269.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): 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

[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 3/72 14582
/proc/meminfo: memFree=1186544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=18576 CPUtime=0
/proc/14582/stat : 14582 (runsolver) R 14580 12424 12424 0 -1 4194368 10 0 0 0 0 0 0 0 21 0 1 0 59094316 19021824 282 996147200 4194304 4302564 548682068496 18446744073709551615 268580189900 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14582/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0583071 s]
/proc/loadavg: 2.03 2.03 2.00 3/72 14582
/proc/meminfo: memFree=1186544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=5436 CPUtime=0.03
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1004 659 0 0 3 0 0 0 25 0 1 0 59094316 5566464 635 996147200 134512640 135215973 4294956320 18446744073709551615 2618698 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 1359 635 388 171 0 284 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5436

[startup+0.101317 s]
/proc/loadavg: 2.03 2.03 2.00 3/72 14582
/proc/meminfo: memFree=1186544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=6416 CPUtime=0.07
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1286 659 0 0 7 0 0 0 25 0 1 0 59094316 6569984 843 996147200 134512640 135215973 4294956320 18446744073709551615 134761711 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 1604 843 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.301359 s]
/proc/loadavg: 2.03 2.03 2.00 3/72 14582
/proc/meminfo: memFree=1186544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=10968 CPUtime=0.27
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 2727 659 0 0 26 1 0 0 25 0 1 0 59094316 11231232 1820 996147200 134512640 135215973 4294956320 18446744073709551615 134533281 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 2742 1820 388 171 0 1667 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10968

[startup+0.701437 s]
/proc/loadavg: 2.03 2.03 2.00 3/72 14582
/proc/meminfo: memFree=1186544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=20324 CPUtime=0.68
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 5775 659 0 0 65 3 0 0 25 0 1 0 59094316 20811776 3681 996147200 134512640 135215973 4294956320 18446744073709551615 134761750 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 5081 3681 388 171 0 4006 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20324

[startup+1.5016 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14587
/proc/meminfo: memFree=1167080/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=44524 CPUtime=1.46
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 14137 659 0 0 141 5 0 0 25 0 1 0 59094316 45592576 9191 996147200 134512640 135215973 4294956320 18446744073709551615 134590569 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 11131 9191 404 171 0 10056 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44524

[startup+3.10191 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14587
/proc/meminfo: memFree=1140136/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=88256 CPUtime=3.05
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 28327 659 0 0 294 11 0 0 25 0 1 0 59094316 90374144 16823 996147200 134512640 135215973 4294956320 18446744073709551615 134641053 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 22064 16823 404 171 0 20989 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 88256

[startup+6.30154 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14587
/proc/meminfo: memFree=1117416/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=88256 CPUtime=6.22
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 32578 659 0 0 609 13 0 0 25 0 1 0 59094316 90374144 17417 996147200 134512640 135215973 4294956320 18446744073709551615 134581791 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 22064 17417 408 171 0 20989 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 88256

[startup+12.7018 s]
/proc/loadavg: 2.02 2.03 2.00 4/73 14587
/proc/meminfo: memFree=1109672/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=88380 CPUtime=12.57
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 41302 659 0 0 1241 16 0 0 25 0 1 0 59094316 90501120 19241 996147200 134512640 135215973 4294956320 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 22095 19241 408 171 0 21020 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 88380

[startup+25.5013 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 14587
/proc/meminfo: memFree=1089320/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=129920 CPUtime=25.25
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 67869 659 0 0 2499 26 0 0 25 0 1 0 59094316 133038080 24040 996147200 134512640 135215973 4294956320 18446744073709551615 135095025 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 32480 24040 408 171 0 31405 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 129920

[startup+51.1013 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14587
/proc/meminfo: memFree=1087208/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=130352 CPUtime=50.63
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 89164 659 0 0 5027 36 0 0 25 0 1 0 59094316 133480448 24152 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 32588 24152 408 171 0 31513 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 130352

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14587
/proc/meminfo: memFree=1081704/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=131788 CPUtime=101.38
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 145027 659 0 0 10080 58 0 0 25 0 1 0 59094316 134950912 24579 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 32947 24579 408 171 0 31872 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 131788

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14587
/proc/meminfo: memFree=1076072/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=133596 CPUtime=160.87
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 215624 659 0 0 15998 89 0 0 25 0 1 0 59094316 136802304 24943 996147200 134512640 135215973 4294956320 18446744073709551615 135098283 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 33399 24943 408 171 0 32324 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 133596

[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14593
/proc/meminfo: memFree=1070240/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=134892 CPUtime=220.32
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 258688 659 0 0 21925 107 0 0 25 0 1 0 59094316 138129408 25365 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 33723 25365 408 171 0 32648 0
Current children cumulated CPU time (s) 220.32
Current children cumulated vsize (KiB) 134892

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1064544/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=137524 CPUtime=279.81
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 291980 659 0 0 27858 123 0 0 25 0 1 0 59094316 140824576 25832 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 34381 25832 408 171 0 33306 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 137524

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1058400/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=138960 CPUtime=339.27
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 362424 659 0 0 33774 153 0 0 25 0 1 0 59094316 142295040 26379 996147200 134512640 135215973 4294956320 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 34740 26379 408 171 0 33665 0
Current children cumulated CPU time (s) 339.27
Current children cumulated vsize (KiB) 138960

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1051296/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=140640 CPUtime=398.75
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 433948 659 0 0 39692 183 0 0 25 0 1 0 59094316 144015360 26902 996147200 134512640 135215973 4294956320 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 35160 26902 408 171 0 34085 0
Current children cumulated CPU time (s) 398.75
Current children cumulated vsize (KiB) 140640

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1040864/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=144744 CPUtime=458.23
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 554440 659 0 0 45594 229 0 0 25 0 1 0 59094316 148217856 27511 996147200 134512640 135215973 4294956320 18446744073709551615 134587250 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 36186 27511 408 171 0 35111 0
Current children cumulated CPU time (s) 458.23
Current children cumulated vsize (KiB) 144744

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1030888/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=146176 CPUtime=517.7
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 627868 659 0 0 51512 258 0 0 25 0 1 0 59094316 149684224 28627 996147200 134512640 135215973 4294956320 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 36544 28627 408 171 0 35469 0
Current children cumulated CPU time (s) 517.7
Current children cumulated vsize (KiB) 146176

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1023784/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=148528 CPUtime=577.18
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 673002 659 0 0 57441 277 0 0 25 0 1 0 59094316 152092672 29325 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 37132 29325 408 171 0 36057 0
Current children cumulated CPU time (s) 577.18
Current children cumulated vsize (KiB) 148528

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=1017640/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=150072 CPUtime=636.66
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 715105 659 0 0 63372 294 0 0 25 0 1 0 59094316 153673728 29821 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 37518 29821 408 171 0 36443 0
Current children cumulated CPU time (s) 636.66
Current children cumulated vsize (KiB) 150072

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=988136/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=162980 CPUtime=874.58
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 875720 659 0 0 87099 359 0 0 25 0 1 0 59094316 166891520 32298 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 40745 32298 408 171 0 39670 0
Current children cumulated CPU time (s) 874.58
Current children cumulated vsize (KiB) 162980

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=979816/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=166788 CPUtime=934.06
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 906479 659 0 0 93033 373 0 0 25 0 1 0 59094316 170790912 33318 996147200 134512640 135215973 4294956320 18446744073709551615 134591223 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 41697 33318 408 171 0 40622 0
Current children cumulated CPU time (s) 934.06
Current children cumulated vsize (KiB) 166788

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14593
/proc/meminfo: memFree=972776/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=169284 CPUtime=993.55
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 953215 659 0 0 98962 393 0 0 25 0 1 0 59094316 173346816 34031 996147200 134512640 135215973 4294956320 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/14582/statm: 42321 34031 408 171 0 41246 0
Current children cumulated CPU time (s) 993.55
Current children cumulated vsize (KiB) 169284

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14633
/proc/meminfo: memFree=1083168/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=172344 CPUtime=1053.05
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 993621 659 0 0 104890 415 0 0 25 0 1 0 59094316 176480256 34900 996147200 134512640 135215973 4294956320 18446744073709551615 134587688 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 43086 34900 408 171 0 42011 0
Current children cumulated CPU time (s) 1053.05
Current children cumulated vsize (KiB) 172344

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=881360/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=174036 CPUtime=1113.01
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1040806 659 0 0 110866 435 0 0 25 0 1 0 59094316 178212864 35372 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 43509 35372 408 171 0 42434 0
Current children cumulated CPU time (s) 1113.01
Current children cumulated vsize (KiB) 174036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=879568/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=175344 CPUtime=1172.98
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1090023 659 0 0 116843 455 0 0 25 0 1 0 59094316 179552256 35806 996147200 134512640 135215973 4294956320 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 43836 35806 408 171 0 42761 0
Current children cumulated CPU time (s) 1172.98
Current children cumulated vsize (KiB) 175344

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 14635
/proc/meminfo: memFree=875344/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=179000 CPUtime=1232.95
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1170168 659 0 0 122810 485 0 0 25 0 1 0 59094316 183296000 36808 996147200 134512640 135215973 4294956320 18446744073709551615 134648319 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 44750 36808 408 171 0 43675 0
Current children cumulated CPU time (s) 1232.95
Current children cumulated vsize (KiB) 179000

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 14635
/proc/meminfo: memFree=872144/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=181856 CPUtime=1292.93
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1238869 659 0 0 128780 513 0 0 25 0 1 0 59094316 186220544 37613 996147200 134512640 135215973 4294956320 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 45464 37613 408 171 0 44389 0
Current children cumulated CPU time (s) 1292.93
Current children cumulated vsize (KiB) 181856

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=868944/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=184480 CPUtime=1352.9
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1291612 659 0 0 134757 533 0 0 25 0 1 0 59094316 188907520 38330 996147200 134512640 135215973 4294956320 18446744073709551615 134907920 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 46120 38330 408 171 0 45045 0
Current children cumulated CPU time (s) 1352.9
Current children cumulated vsize (KiB) 184480

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=867344/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=185780 CPUtime=1412.88
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1335554 659 0 0 140736 552 0 0 25 0 1 0 59094316 190238720 38733 996147200 134512640 135215973 4294956320 18446744073709551615 134591071 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 46445 38733 408 171 0 45370 0
Current children cumulated CPU time (s) 1412.88
Current children cumulated vsize (KiB) 185780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=863888/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=189056 CPUtime=1472.84
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1367058 659 0 0 146719 565 0 0 25 0 1 0 59094316 193593344 39601 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 47264 39601 408 171 0 46189 0
Current children cumulated CPU time (s) 1472.84
Current children cumulated vsize (KiB) 189056

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=860752/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=191932 CPUtime=1532.81
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1428970 659 0 0 152694 587 0 0 25 0 1 0 59094316 196538368 40379 996147200 134512640 135215973 4294956320 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 47983 40379 408 171 0 46908 0
Current children cumulated CPU time (s) 1532.81
Current children cumulated vsize (KiB) 191932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=858000/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=194416 CPUtime=1592.79
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1471890 659 0 0 158675 604 0 0 25 0 1 0 59094316 199081984 41071 996147200 134512640 135215973 4294956320 18446744073709551615 134957966 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 48604 41071 408 171 0 47529 0
Current children cumulated CPU time (s) 1592.79
Current children cumulated vsize (KiB) 194416

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=854480/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=197428 CPUtime=1652.76
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1507531 659 0 0 164657 619 0 0 25 0 1 0 59094316 202166272 41936 996147200 134512640 135215973 4294956320 18446744073709551615 134533182 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 49357 41936 408 171 0 48282 0
Current children cumulated CPU time (s) 1652.76
Current children cumulated vsize (KiB) 197428

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=850000/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=209552 CPUtime=1712.73
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1557452 659 0 0 170634 639 0 0 25 0 1 0 59094316 214581248 43026 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 52388 43026 408 171 0 51313 0
Current children cumulated CPU time (s) 1712.73
Current children cumulated vsize (KiB) 209552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=848336/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=210720 CPUtime=1772.7
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1618898 659 0 0 176608 662 0 0 25 0 1 0 59094316 215777280 43407 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 52680 43407 408 171 0 51605 0
Current children cumulated CPU time (s) 1772.7
Current children cumulated vsize (KiB) 210720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=845840/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=213200 CPUtime=1800.1
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1640284 659 0 0 179339 671 0 0 25 0 1 0 59094316 218316800 44024 996147200 134512640 135215973 4294956320 18446744073709551615 4158960495 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 53300 44024 408 171 0 52225 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 213200

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

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

[startup+1809.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14635
/proc/meminfo: memFree=845840/2055924 swapFree=4192812/4192956
[pid=14582] ppid=14580 vsize=213200 CPUtime=1800.1
/proc/14582/stat : 14582 (pcs.big) R 14580 14582 12424 0 -1 4194304 1640284 659 0 0 179339 671 0 0 25 0 1 0 59094316 218316800 44024 996147200 134512640 135215973 4294956320 18446744073709551615 4158960495 0 0 4096 0 0 0 0 17 0 0 0
/proc/14582/statm: 53300 44024 408 171 0 52225 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 213200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.74
CPU time (s): 1800.15
CPU user time (s): 1793.4
CPU system time (s): 6.74697
CPU usage (%): 99.4701
Max. virtual memory (cumulated for all children) (KiB): 213344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.4
system time used= 6.74697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1640943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 24588

runsolver used 2.40063 second user time and 5.71213 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-16 06:57:49
IDJOB=2081703
IDBENCH=57474
IDSOLVER=734
FILE ID=node6/2081703-1247720269
PBS_JOBID= 9521477
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-12.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081703-1247720269/watcher-2081703-1247720269 -o /tmp/evaluation-result-2081703-1247720269/solver-2081703-1247720269 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 640890927 HOME/instance-2081703-1247720269.xml

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

MD5SUM BENCH= 25d0763f0ac75a92331779534e76fb94
RANDOM SEED=640890927

node6.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.263
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.263
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:      2055924 kB
MemFree:       1187024 kB
Buffers:        108420 kB
Cached:         560224 kB
SwapCached:          0 kB
Active:         346724 kB
Inactive:       426160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1187024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3352 kB
Writeback:           0 kB
Mapped:         115768 kB
Slab:            81356 kB
Committed_AS:   571956 kB
PageTables:       1992 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= 66292 MiB
End job on node6 at 2009-07-16 07:28:01