Trace number 2059076

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.18 1803.87

General information on the benchmark

Namecsp/QCP-25/
normalized-qcp-25-264-7_ext.xml
MD5SUMc2a68a97e27745c8dca782d744c38811
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.5354
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints10142
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension10142
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.02	c Seed is 1490597871
0.00/0.02	c Constructing HOME/instance-2059076-1247694492.xml  with 70862 constraints
0.27/0.30	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-2059076-1247694492/watcher-2059076-1247694492 -o /tmp/evaluation-result-2059076-1247694492/solver-2059076-1247694492 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1490597871 HOME/instance-2059076-1247694492.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: 1.97 1.15 0.47 4/73 7557
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=5356 CPUtime=0
/proc/7557/stat : 7557 (pcssolve) R 7555 7557 7441 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 56514045 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 234211568287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/7557/statm: 1339 241 200 169 0 50 0
[pid=7558] ppid=7557 vsize=3676 CPUtime=0
/proc/7558/stat : 7558 (fgrep) R 7557 7557 7441 0 -1 4194304 138 0 0 0 0 0 0 0 22 0 1 0 56514046 3764224 105 996147200 4194304 4274172 548682068976 18446744073709551615 234211737664 0 0 4096 0 0 0 0 17 1 0 0
/proc/7558/statm: 919 105 85 19 0 43 0
[pid=7559] ppid=7557 vsize=5356 CPUtime=0
/proc/7559/stat : 7559 (pcssolve) R 7557 7557 7441 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 56514046 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 234211568287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/7559/statm: 1339 241 200 169 0 50 0

[startup+0.028532 s]
/proc/loadavg: 1.97 1.15 0.47 4/73 7557
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=4376 CPUtime=0
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 794 824 0 0 0 0 0 0 24 0 1 0 56514045 4481024 403 996147200 134512640 135095119 4294956304 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 1094 403 357 142 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4376

[startup+0.101549 s]
/proc/loadavg: 1.97 1.15 0.47 4/73 7557
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=7428 CPUtime=0.07
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 1667 824 0 0 7 0 0 0 24 0 1 0 56514045 7606272 1049 996147200 134512640 135095119 4294956304 18446744073709551615 134705443 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 1857 1049 367 142 0 811 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7428

[startup+0.301572 s]
/proc/loadavg: 1.97 1.15 0.47 4/73 7557
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=15900 CPUtime=0.27
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 4245 824 0 0 25 2 0 0 25 0 1 0 56514045 16281600 2759 996147200 134512640 135095119 4294956304 18446744073709551615 2286556 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 3975 2759 367 142 0 2929 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15900

[startup+0.701623 s]
/proc/loadavg: 1.97 1.15 0.47 4/73 7557
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=16192 CPUtime=0.67
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 4323 824 0 0 65 2 0 0 25 0 1 0 56514045 16580608 2837 996147200 134512640 135095119 4294956304 18446744073709551615 134626129 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 4048 2837 378 142 0 3002 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16192

[startup+1.50172 s]
/proc/loadavg: 1.97 1.15 0.47 3/74 7563
/proc/meminfo: memFree=1535592/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=16192 CPUtime=1.46
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 4366 824 0 0 144 2 0 0 25 0 1 0 56514045 16580608 2880 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 4048 2880 378 142 0 3002 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 16192

[startup+3.10292 s]
/proc/loadavg: 1.97 1.15 0.47 3/74 7563
/proc/meminfo: memFree=1534952/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=16708 CPUtime=3.06
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 4515 824 0 0 304 2 0 0 25 0 1 0 56514045 17108992 2996 996147200 134512640 135095119 4294956304 18446744073709551615 134571101 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 4177 2996 378 142 0 3131 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16708

[startup+6.30133 s]
/proc/loadavg: 1.97 1.16 0.48 3/74 7563
/proc/meminfo: memFree=1532328/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=18116 CPUtime=6.24
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 5015 824 0 0 622 2 0 0 25 0 1 0 56514045 18550784 3431 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 4529 3431 378 142 0 3483 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 18116

[startup+12.7011 s]
/proc/loadavg: 1.97 1.17 0.49 3/74 7563
/proc/meminfo: memFree=1527720/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=20804 CPUtime=12.61
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 5888 824 0 0 1257 4 0 0 25 0 1 0 56514045 21303296 4175 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 5201 4175 378 142 0 4155 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 20804

[startup+25.5017 s]
/proc/loadavg: 1.98 1.21 0.51 3/74 7563
/proc/meminfo: memFree=1518440/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=25796 CPUtime=25.34
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 7543 824 0 0 2529 5 0 0 25 0 1 0 56514045 26415104 5573 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 6449 5573 378 142 0 5403 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 25796

[startup+51.102 s]
/proc/loadavg: 1.98 1.28 0.55 3/74 7563
/proc/meminfo: memFree=1502568/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=39240 CPUtime=50.83
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 11613 824 0 0 5074 9 0 0 25 0 1 0 56514045 40181760 7976 996147200 134512640 135095119 4294956304 18446744073709551615 134637435 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 9810 7976 378 142 0 8764 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 39240

[startup+102.306 s]
/proc/loadavg: 1.99 1.39 0.62 3/74 7563
/proc/meminfo: memFree=1455208/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=55112 CPUtime=101.78
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 16736 824 0 0 10164 14 0 0 25 0 1 0 56514045 56434688 12074 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 13778 12074 378 142 0 12732 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 55112

[startup+162.302 s]
/proc/loadavg: 1.99 1.50 0.71 3/74 7563
/proc/meminfo: memFree=1430760/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=75464 CPUtime=161.48
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 22993 824 0 0 16128 20 0 0 25 0 1 0 56514045 77275136 16282 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 18866 16282 378 142 0 17820 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 75464

[startup+222.301 s]
/proc/loadavg: 1.99 1.58 0.79 3/74 7565
/proc/meminfo: memFree=1400936/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=101568 CPUtime=221.19
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 30762 824 0 0 22095 24 0 0 25 0 1 0 56514045 104005632 21745 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 25392 21745 378 142 0 24346 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 101568

[startup+282.301 s]
/proc/loadavg: 1.99 1.66 0.86 3/74 7565
/proc/meminfo: memFree=1380264/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=107328 CPUtime=280.9
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 33129 824 0 0 28063 27 0 0 25 0 1 0 56514045 109903872 24112 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 26832 24112 378 142 0 25786 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 107328

[startup+342.302 s]
/proc/loadavg: 1.99 1.72 0.93 3/74 7565
/proc/meminfo: memFree=1354536/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=134336 CPUtime=340.61
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 40821 824 0 0 34026 35 0 0 25 0 1 0 56514045 137560064 27707 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 33584 27707 378 142 0 32538 0
Current children cumulated CPU time (s) 340.61
Current children cumulated vsize (KiB) 134336

[startup+402.301 s]
/proc/loadavg: 1.99 1.77 0.99 3/74 7565
/proc/meminfo: memFree=1329256/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=144960 CPUtime=400.32
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 44371 824 0 0 39993 39 0 0 25 0 1 0 56514045 148439040 31257 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 36240 31257 378 142 0 35194 0
Current children cumulated CPU time (s) 400.32
Current children cumulated vsize (KiB) 144960

[startup+462.302 s]
/proc/loadavg: 1.99 1.81 1.05 3/74 7565
/proc/meminfo: memFree=1304040/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=155072 CPUtime=460.03
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 47763 824 0 0 45959 44 0 0 25 0 1 0 56514045 158793728 34649 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 38768 34649 378 142 0 37722 0
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (KiB) 155072

[startup+522.301 s]
/proc/loadavg: 1.99 1.84 1.11 3/74 7565
/proc/meminfo: memFree=1276904/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=164416 CPUtime=519.74
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 50887 824 0 0 51926 48 0 0 25 0 1 0 56514045 168361984 37773 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 41104 37773 378 142 0 40058 0
Current children cumulated CPU time (s) 519.74
Current children cumulated vsize (KiB) 164416

[startup+582.302 s]
/proc/loadavg: 1.99 1.86 1.16 3/74 7565
/proc/meminfo: memFree=1248680/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=174272 CPUtime=579.44
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 54192 824 0 0 57892 52 0 0 25 0 1 0 56514045 178454528 41078 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/7557/statm: 43568 41078 378 142 0 42522 0
Current children cumulated CPU time (s) 579.44
Current children cumulated vsize (KiB) 174272

[startup+642.301 s]
/proc/loadavg: 1.99 1.89 1.21 3/74 7565
/proc/meminfo: memFree=1224040/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=183364 CPUtime=639.15

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.93 1.34 3/74 7603
/proc/meminfo: memFree=1401320/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=282408 CPUtime=818.96
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 83879 824 0 0 81827 69 0 0 25 0 1 0 56514045 289185792 58475 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 70602 58475 378 142 0 69556 0
Current children cumulated CPU time (s) 818.96
Current children cumulated vsize (KiB) 282408

[startup+882.302 s]
/proc/loadavg: 1.99 1.94 1.38 3/74 7603
/proc/meminfo: memFree=1393768/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=282408 CPUtime=878.94
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 84516 824 0 0 87824 70 0 0 25 0 1 0 56514045 289185792 59112 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 70602 59112 378 142 0 69556 0
Current children cumulated CPU time (s) 878.94
Current children cumulated vsize (KiB) 282408

[startup+942.301 s]
/proc/loadavg: 1.99 1.95 1.41 3/74 7603
/proc/meminfo: memFree=1383336/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=282408 CPUtime=938.92
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 85155 824 0 0 93820 72 0 0 25 0 1 0 56514045 289185792 59751 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 70602 59751 378 142 0 69556 0
Current children cumulated CPU time (s) 938.92
Current children cumulated vsize (KiB) 282408

[startup+1002.3 s]
/proc/loadavg: 1.99 1.95 1.45 3/74 7603
/proc/meminfo: memFree=1378920/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=282408 CPUtime=998.9
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 85828 824 0 0 99817 73 0 0 25 0 1 0 56514045 289185792 60424 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 70602 60424 378 142 0 69556 0
Current children cumulated CPU time (s) 998.9
Current children cumulated vsize (KiB) 282408

[startup+1062.3 s]
/proc/loadavg: 1.99 1.96 1.48 3/74 7603
/proc/meminfo: memFree=1365800/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=290344 CPUtime=1058.88
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 88483 824 0 0 105811 77 0 0 25 0 1 0 56514045 297312256 63079 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 72586 63079 378 142 0 71540 0
Current children cumulated CPU time (s) 1058.88
Current children cumulated vsize (KiB) 290344

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.51 3/74 7603
/proc/meminfo: memFree=1351848/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=298152 CPUtime=1118.85
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 91087 824 0 0 111804 81 0 0 25 0 1 0 56514045 305307648 65683 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 74538 65683 378 142 0 73492 0
Current children cumulated CPU time (s) 1118.85
Current children cumulated vsize (KiB) 298152

[startup+1182.3 s]
/proc/loadavg: 2.03 1.98 1.54 3/74 7603
/proc/meminfo: memFree=1338024/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=306344 CPUtime=1178.82
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 93766 824 0 0 117799 83 0 0 25 0 1 0 56514045 313696256 68362 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 76586 68362 378 142 0 75540 0
Current children cumulated CPU time (s) 1178.82
Current children cumulated vsize (KiB) 306344

[startup+1242.3 s]
/proc/loadavg: 2.01 1.98 1.57 3/74 7603
/proc/meminfo: memFree=1324648/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=314024 CPUtime=1238.81
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 96306 824 0 0 123794 87 0 0 25 0 1 0 56514045 321560576 70902 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 78506 70902 378 142 0 77460 0
Current children cumulated CPU time (s) 1238.81
Current children cumulated vsize (KiB) 314024

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.59 3/74 7603
/proc/meminfo: memFree=1311144/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=321832 CPUtime=1298.79
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 98898 824 0 0 129789 90 0 0 25 0 1 0 56514045 329555968 73494 996147200 134512640 135095119 4294956304 18446744073709551615 134642550 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 80458 73494 378 142 0 79412 0
Current children cumulated CPU time (s) 1298.79
Current children cumulated vsize (KiB) 321832

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/74 7603
/proc/meminfo: memFree=1297960/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=329896 CPUtime=1358.76
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 101541 824 0 0 135783 93 0 0 25 0 1 0 56514045 337813504 76137 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 82474 76137 378 142 0 81428 0
Current children cumulated CPU time (s) 1358.76
Current children cumulated vsize (KiB) 329896

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.64 3/74 7603
/proc/meminfo: memFree=1285160/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=337448 CPUtime=1418.74
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 104047 824 0 0 141778 96 0 0 25 0 1 0 56514045 345546752 78643 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 84362 78643 378 142 0 83316 0
Current children cumulated CPU time (s) 1418.74
Current children cumulated vsize (KiB) 337448

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/74 7603
/proc/meminfo: memFree=1272808/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=345000 CPUtime=1478.71
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 106525 824 0 0 147771 100 0 0 25 0 1 0 56514045 353280000 81121 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 86250 81121 378 142 0 85204 0
Current children cumulated CPU time (s) 1478.71
Current children cumulated vsize (KiB) 345000

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.67 3/74 7603
/proc/meminfo: memFree=1260392/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=352424 CPUtime=1538.69
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 108971 824 0 0 153766 103 0 0 25 0 1 0 56514045 360882176 83567 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 88106 83567 378 142 0 87060 0
Current children cumulated CPU time (s) 1538.69
Current children cumulated vsize (KiB) 352424

[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.69 3/74 7603
/proc/meminfo: memFree=1237160/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=359848 CPUtime=1598.67
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 111405 824 0 0 159760 107 0 0 25 0 1 0 56514045 368484352 86001 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 89962 86001 378 142 0 88916 0
Current children cumulated CPU time (s) 1598.67
Current children cumulated vsize (KiB) 359848

[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.71 3/74 7603
/proc/meminfo: memFree=1226664/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=367016 CPUtime=1658.64
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 113748 824 0 0 165755 109 0 0 25 0 1 0 56514045 375824384 88344 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 91754 88344 378 142 0 90708 0
Current children cumulated CPU time (s) 1658.64
Current children cumulated vsize (KiB) 367016

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.73 3/74 7603
/proc/meminfo: memFree=1216232/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=374184 CPUtime=1718.62
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 116110 824 0 0 171750 112 0 0 25 0 1 0 56514045 383164416 90706 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 93546 90706 378 142 0 92500 0
Current children cumulated CPU time (s) 1718.62
Current children cumulated vsize (KiB) 374184

[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.74 3/74 7603
/proc/meminfo: memFree=1205736/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=381224 CPUtime=1778.59
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 118407 824 0 0 177745 114 0 0 25 0 1 0 56514045 390373376 93003 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 95306 93003 378 142 0 94260 0
Current children cumulated CPU time (s) 1778.59
Current children cumulated vsize (KiB) 381224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.8 s]
/proc/loadavg: 2.00 1.98 1.74 3/74 7603
/proc/meminfo: memFree=1201960/2055920 swapFree=4192812/4192956
[pid=7557] ppid=7555 vsize=383784 CPUtime=1800.09
/proc/7557/stat : 7557 (pcs.small) R 7555 7557 7441 0 -1 4194304 119246 824 0 0 179893 116 0 0 25 0 1 0 56514045 392994816 93842 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/7557/statm: 95946 93842 378 142 0 94900 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 383784

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.87
CPU time (s): 1800.18
CPU user time (s): 1798.94
CPU system time (s): 1.23281
CPU usage (%): 99.7951
Max. virtual memory (cumulated for all children) (KiB): 383784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120070
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= 11747

runsolver used 2.44763 second user time and 5.76612 second system time

The end

Launcher Data 

Begin job on node54 at 2009-07-15 23:48:12
IDJOB=2059076
IDBENCH=53549
IDSOLVER=734
FILE ID=node54/2059076-1247694492
PBS_JOBID= 9521205
Free space on /tmp= 66296 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-7_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059076-1247694492/watcher-2059076-1247694492 -o /tmp/evaluation-result-2059076-1247694492/solver-2059076-1247694492 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1490597871 HOME/instance-2059076-1247694492.xml

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

MD5SUM BENCH= c2a68a97e27745c8dca782d744c38811
RANDOM SEED=1490597871

node54.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.232
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.232
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:       1546384 kB
Buffers:         47768 kB
Cached:         261224 kB
SwapCached:          0 kB
Active:         161804 kB
Inactive:       280344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2452 kB
Writeback:           0 kB
Mapped:         144496 kB
Slab:            52516 kB
Committed_AS:   647976 kB
PageTables:       2040 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node54 at 2009-07-16 00:18:18