Trace number 2081769

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.14 1813.73

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-5.xml
MD5SUMf6f477f012c3c0af28d31d9c82a6ffd7
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 size1598
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.04	c Seed is 976947158
0.00/0.04	c Constructing HOME/instance-2081769-1247720445.xml  with 82480 constraints
1.36/1.41	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-2081769-1247720445/watcher-2081769-1247720445 -o /tmp/evaluation-result-2081769-1247720445/solver-2081769-1247720445 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 976947158 HOME/instance-2081769-1247720445.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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.09 2.04 4/81 15610
/proc/meminfo: memFree=1121280/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=5260 CPUtime=0
/proc/15610/stat : 15610 (pcssolve) R 15608 15610 13934 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 59107670 5386240 51 996147200 4194304 4889804 548682068800 18446744073709551615 226235523897 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 1315 51 37 169 0 14 0

[startup+0.0697281 s]
/proc/loadavg: 2.11 2.09 2.04 4/81 15610
/proc/meminfo: memFree=1121280/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=5568 CPUtime=0.04
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1047 659 0 0 4 0 0 0 18 0 1 0 59107670 5701632 678 996147200 134512640 135215973 4294956304 18446744073709551615 4159744868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 1392 678 388 171 0 317 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5568

[startup+0.102731 s]
/proc/loadavg: 2.11 2.09 2.04 4/81 15610
/proc/meminfo: memFree=1121280/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=6416 CPUtime=0.07
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1286 659 0 0 7 0 0 0 18 0 1 0 59107670 6569984 843 996147200 134512640 135215973 4294956304 18446744073709551615 4159189558 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 1604 843 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.302762 s]
/proc/loadavg: 2.11 2.09 2.04 4/81 15610
/proc/meminfo: memFree=1121280/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=10972 CPUtime=0.27
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 2709 659 0 0 26 1 0 0 19 0 1 0 59107670 11235328 1802 996147200 134512640 135215973 4294956304 18446744073709551615 134807985 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 2743 1802 388 171 0 1668 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10972

[startup+0.701783 s]
/proc/loadavg: 2.11 2.09 2.04 4/81 15610
/proc/meminfo: memFree=1121280/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=20080 CPUtime=0.67
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 5675 659 0 0 64 3 0 0 23 0 1 0 59107670 20561920 3581 996147200 134512640 135215973 4294956304 18446744073709551615 4158960402 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 5020 3581 388 171 0 3945 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20080

[startup+1.50186 s]
/proc/loadavg: 2.10 2.09 2.04 3/82 15615
/proc/meminfo: memFree=1102456/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=44392 CPUtime=1.46
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 14035 659 0 0 139 7 0 0 25 0 1 0 59107670 45457408 9154 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 11098 9154 404 171 0 10023 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44392

[startup+3.102 s]
/proc/loadavg: 2.10 2.09 2.04 3/82 15615
/proc/meminfo: memFree=1075320/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=67820 CPUtime=3.05
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 23236 659 0 0 293 12 0 0 25 0 1 0 59107670 69447680 14921 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 16955 14921 408 171 0 15880 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 67820

[startup+6.30128 s]
/proc/loadavg: 2.10 2.09 2.04 3/82 15615
/proc/meminfo: memFree=1053880/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=88260 CPUtime=6.21
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 33131 659 0 0 606 15 0 0 25 0 1 0 59107670 90378240 17071 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 22065 17071 408 171 0 20990 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 88260

[startup+12.7019 s]
/proc/loadavg: 2.09 2.09 2.04 3/82 15615
/proc/meminfo: memFree=1046136/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=88540 CPUtime=12.56
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 39193 659 0 0 1237 19 0 0 25 0 1 0 59107670 90664960 18993 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 22135 18993 408 171 0 21060 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 88540

[startup+25.503 s]
/proc/loadavg: 2.15 2.10 2.04 3/82 15621
/proc/meminfo: memFree=1044024/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=88688 CPUtime=25.23
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 57238 659 0 0 2497 26 0 0 25 0 1 0 59107670 90816512 19167 996147200 134512640 135215973 4294956304 18446744073709551615 134982800 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 22172 19167 408 171 0 21097 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 88688

[startup+51.1023 s]
/proc/loadavg: 2.10 2.09 2.04 3/82 15621
/proc/meminfo: memFree=1040888/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=89344 CPUtime=50.58
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 77012 659 0 0 5024 34 0 0 25 0 1 0 59107670 91488256 19933 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 22336 19933 408 171 0 21261 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 89344

[startup+102.308 s]
/proc/loadavg: 2.04 2.07 2.03 3/82 15621
/proc/meminfo: memFree=1020408/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=132992 CPUtime=101.3
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 126401 659 0 0 10076 54 0 0 25 0 1 0 59107670 136183808 24995 996147200 134512640 135215973 4294956304 18446744073709551615 134600167 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 33248 24995 408 171 0 32173 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 132992

[startup+162.302 s]
/proc/loadavg: 2.01 2.06 2.03 3/82 15621
/proc/meminfo: memFree=1019192/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=134180 CPUtime=160.75
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 179325 659 0 0 15997 78 0 0 25 0 1 0 59107670 137400320 25341 996147200 134512640 135215973 4294956304 18446744073709551615 134588235 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 33545 25341 408 171 0 32470 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 134180

[startup+222.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 15621
/proc/meminfo: memFree=1017784/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=135580 CPUtime=220.18
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 212725 659 0 0 21926 92 0 0 25 0 1 0 59107670 138833920 25630 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 33895 25630 408 171 0 32820 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 135580

[startup+282.303 s]
/proc/loadavg: 2.00 2.03 2.02 3/82 15621
/proc/meminfo: memFree=1016440/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=136716 CPUtime=279.62
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 255016 659 0 0 27851 111 0 0 25 0 1 0 59107670 139997184 25969 996147200 134512640 135215973 4294956304 18446744073709551615 134592217 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 34179 25969 408 171 0 33104 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 136716

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 15621
/proc/meminfo: memFree=1014968/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=138932 CPUtime=339.06
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 309314 659 0 0 33768 138 0 0 25 0 1 0 59107670 142266368 26328 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 34733 26328 408 171 0 33658 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 138932

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15621
/proc/meminfo: memFree=1013688/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=140120 CPUtime=398.5
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 342082 659 0 0 39698 152 0 0 25 0 1 0 59107670 143482880 26666 996147200 134512640 135215973 4294956304 18446744073709551615 134609809 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 35030 26666 408 171 0 33955 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 140120

[startup+462.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15621
/proc/meminfo: memFree=1008760/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=141036 CPUtime=457.93
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 383071 659 0 0 45622 171 0 0 25 0 1 0 59107670 144420864 27911 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 35259 27911 408 171 0 34184 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 141036

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15621
/proc/meminfo: memFree=1007480/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=142084 CPUtime=517.38
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 434118 659 0 0 51544 194 0 0 25 0 1 0 59107670 145494016 28243 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 35521 28243 408 171 0 34446 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 142084

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15621
/proc/meminfo: memFree=1006264/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=145172 CPUtime=576.82
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 501715 659 0 0 57459 223 0 0 25 0 1 0 59107670 148656128 28535 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 36293 28535 408 171 0 35218 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 145172

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15621
/proc/meminfo: memFree=1004984/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=146072 CPUtime=636.25
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 571854 659 0 0 63371 254 0 0 25 0 1 0 59107670 149577728 28846 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 36518 28846 408 171 0 35443 0
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (KiB) 146072

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.12 2.08 2.02 3/82 15621
/proc/meminfo: memFree=998968/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=150888 CPUtime=874.01
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 759549 659 0 0 87065 336 0 0 25 0 1 0 59107670 154509312 30310 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 37722 30310 408 171 0 36647 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 150888

[startup+942.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/82 15621
/proc/meminfo: memFree=997176/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=152192 CPUtime=933.45
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 800523 659 0 0 92990 355 0 0 25 0 1 0 59107670 155844608 30712 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 38048 30712 408 171 0 36973 0
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (KiB) 152192

[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 15621
/proc/meminfo: memFree=995896/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=153644 CPUtime=992.89
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 837776 659 0 0 98916 373 0 0 25 0 1 0 59107670 157331456 31119 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 38411 31119 408 171 0 37336 0
Current children cumulated CPU time (s) 992.89
Current children cumulated vsize (KiB) 153644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 15621
/proc/meminfo: memFree=993464/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=155752 CPUtime=1052.33
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 873284 659 0 0 104845 388 0 0 25 0 1 0 59107670 159490048 31713 996147200 134512640 135215973 4294956304 18446744073709551615 135096351 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 38938 31713 408 171 0 37863 0
Current children cumulated CPU time (s) 1052.33
Current children cumulated vsize (KiB) 155752

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 15621
/proc/meminfo: memFree=991352/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=161596 CPUtime=1111.77
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 911877 659 0 0 110770 407 0 0 25 0 1 0 59107670 165474304 32228 996147200 134512640 135215973 4294956304 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 40399 32228 408 171 0 39324 0
Current children cumulated CPU time (s) 1111.77
Current children cumulated vsize (KiB) 161596

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15621
/proc/meminfo: memFree=987000/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=164632 CPUtime=1171.2
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 944787 659 0 0 116700 420 0 0 25 0 1 0 59107670 168583168 33053 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 41158 33053 408 171 0 40083 0
Current children cumulated CPU time (s) 1171.2
Current children cumulated vsize (KiB) 164632

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15621
/proc/meminfo: memFree=984504/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=166764 CPUtime=1230.64
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 975694 659 0 0 122629 435 0 0 25 0 1 0 59107670 170766336 33669 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 41691 33669 408 171 0 40616 0
Current children cumulated CPU time (s) 1230.64
Current children cumulated vsize (KiB) 166764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15621
/proc/meminfo: memFree=981112/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=169556 CPUtime=1290.08
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1008919 659 0 0 128557 451 0 0 25 0 1 0 59107670 173625344 34464 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 42389 34464 408 171 0 41314 0
Current children cumulated CPU time (s) 1290.08
Current children cumulated vsize (KiB) 169556

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15621
/proc/meminfo: memFree=977528/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=172972 CPUtime=1349.53
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1045558 659 0 0 134484 469 0 0 25 0 1 0 59107670 177123328 35361 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 43243 35361 408 171 0 42168 0
Current children cumulated CPU time (s) 1349.53
Current children cumulated vsize (KiB) 172972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15621
/proc/meminfo: memFree=976312/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=173876 CPUtime=1408.96
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1076209 659 0 0 140414 482 0 0 25 0 1 0 59107670 178049024 35652 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15610/statm: 43469 35652 408 171 0 42394 0
Current children cumulated CPU time (s) 1408.96
Current children cumulated vsize (KiB) 173876

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 4/83 15664
/proc/meminfo: memFree=1011072/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=175568 CPUtime=1468.81
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1119832 659 0 0 146377 504 0 0 25 0 1 0 59107670 179781632 36150 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 43892 36150 408 171 0 42817 0
Current children cumulated CPU time (s) 1468.81
Current children cumulated vsize (KiB) 175568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15664
/proc/meminfo: memFree=923136/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=178720 CPUtime=1528.79
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1182637 659 0 0 152349 530 0 0 25 0 1 0 59107670 183009280 36993 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 44680 36993 408 171 0 43605 0
Current children cumulated CPU time (s) 1528.79
Current children cumulated vsize (KiB) 178720

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 15664
/proc/meminfo: memFree=913472/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=180396 CPUtime=1588.76
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1238134 659 0 0 158323 553 0 0 25 0 1 0 59107670 184725504 37497 996147200 134512640 135215973 4294956304 18446744073709551615 134590630 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 45099 37497 408 171 0 44024 0
Current children cumulated CPU time (s) 1588.76
Current children cumulated vsize (KiB) 180396

[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 15664
/proc/meminfo: memFree=866240/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=182908 CPUtime=1648.75
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1263642 659 0 0 164310 565 0 0 25 0 1 0 59107670 187297792 38165 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 45727 38165 408 171 0 44652 0
Current children cumulated CPU time (s) 1648.75
Current children cumulated vsize (KiB) 182908

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 15664
/proc/meminfo: memFree=823488/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=185764 CPUtime=1708.72
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1288683 659 0 0 170296 576 0 0 25 0 1 0 59107670 190222336 38918 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 46441 38918 408 171 0 45366 0
Current children cumulated CPU time (s) 1708.72
Current children cumulated vsize (KiB) 185764

[startup+1782.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/83 15664
/proc/meminfo: memFree=788160/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=187664 CPUtime=1768.7
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1312422 659 0 0 176284 586 0 0 25 0 1 0 59107670 192167936 39473 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 46916 39473 408 171 0 45841 0
Current children cumulated CPU time (s) 1768.7
Current children cumulated vsize (KiB) 187664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/83 15664
/proc/meminfo: memFree=772032/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=189096 CPUtime=1800.1
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1327004 659 0 0 179417 593 0 0 25 0 1 0 59107670 193634304 39841 996147200 134512640 135215973 4294956304 18446744073709551615 134641120 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 47274 39841 408 171 0 46199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 189096

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

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

[startup+1813.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/83 15664
/proc/meminfo: memFree=772032/2055920 swapFree=4192812/4192956
[pid=15610] ppid=15608 vsize=189096 CPUtime=1800.1
/proc/15610/stat : 15610 (pcs.big) R 15608 15610 13934 0 -1 4194304 1327004 659 0 0 179417 593 0 0 25 0 1 0 59107670 193634304 39841 996147200 134512640 135215973 4294956304 18446744073709551615 134641120 0 0 4096 0 0 0 0 17 0 0 0
/proc/15610/statm: 47274 39841 408 171 0 46199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 189096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.73
CPU time (s): 1800.14
CPU user time (s): 1794.18
CPU system time (s): 5.96309
CPU usage (%): 99.2506
Max. virtual memory (cumulated for all children) (KiB): 189240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 5.96309
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1327663
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= 21
involuntary context switches= 59509

runsolver used 2.22766 second user time and 6.03008 second system time

The end

Launcher Data 

Begin job on node58 at 2009-07-16 07:00:45
IDJOB=2081769
IDBENCH=57493
IDSOLVER=734
FILE ID=node58/2081769-1247720445
PBS_JOBID= 9521349
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= f6f477f012c3c0af28d31d9c82a6ffd7
RANDOM SEED=976947158

node58.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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1121760 kB
Buffers:         83600 kB
Cached:         619452 kB
SwapCached:          0 kB
Active:         351540 kB
Inactive:       509488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1121760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3356 kB
Writeback:           0 kB
Mapped:         178388 kB
Slab:            58068 kB
Committed_AS:   714892 kB
PageTables:       2064 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= 66240 MiB
End job on node58 at 2009-07-16 07:31:01