Trace number 2083342

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 1808.18

General information on the benchmark

Namecsp/fapp/fapp21/
normalized-fapp21-0500-1.xml
MD5SUMdd4c443d605f557f1e2afa2cdc6a63a1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.86811
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints2852
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2852
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.21	c Seed is 532117887
0.17/0.21	c Constructing HOME/instance-2083342-1247723013.xml  with 17594 constraints
0.28/0.31	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-2083342-1247723013/watcher-2083342-1247723013 -o /tmp/evaluation-result-2083342-1247723013/solver-2083342-1247723013 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 532117887 HOME/instance-2083342-1247723013.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.04 2.00 2.00 4/72 14736
/proc/meminfo: memFree=1076784/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=5356 CPUtime=0
/proc/14736/stat : 14736 (pcssolve) R 14734 14736 11685 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59368725 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 268582840991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14736/statm: 1339 241 200 169 0 50 0
[pid=14737] ppid=14736 vsize=3676 CPUtime=0
/proc/14737/stat : 14737 (fgrep) R 14736 14736 11685 0 -1 4194304 123 0 0 0 0 0 0 0 22 0 1 0 59368726 3764224 90 996147200 4194304 4274172 548682068976 18446744073709551615 268582969648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14737/statm: 919 90 72 19 0 43 0
[pid=14738] ppid=14736 vsize=5356 CPUtime=0
/proc/14738/stat : 14738 (pcssolve) R 14736 14736 11685 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59368726 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 268582840991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14738/statm: 1339 241 200 169 0 50 0

[startup+0.0524721 s]
/proc/loadavg: 2.04 2.00 2.00 4/72 14736
/proc/meminfo: memFree=1076784/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=5428 CPUtime=0.03
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 1004 660 0 0 3 0 0 0 18 0 1 0 59368725 5558272 635 996147200 134512640 135215973 4294956320 18446744073709551615 4160503866 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 1357 635 386 171 0 282 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5428

[startup+0.102484 s]
/proc/loadavg: 2.04 2.00 2.00 4/72 14736
/proc/meminfo: memFree=1076784/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=6864 CPUtime=0.07
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 1384 660 0 0 7 0 0 0 18 0 1 0 59368725 7028736 901 996147200 134512640 135215973 4294956320 18446744073709551615 2622489 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 1716 901 386 171 0 641 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6864

[startup+0.301523 s]
/proc/loadavg: 2.04 2.00 2.00 4/72 14736
/proc/meminfo: memFree=1076784/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=11240 CPUtime=0.28
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 2812 660 0 0 27 1 0 0 19 0 1 0 59368725 11509760 1874 996147200 134512640 135215973 4294956320 18446744073709551615 2621349 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 2810 1874 386 171 0 1735 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11240

[startup+0.701593 s]
/proc/loadavg: 2.04 2.00 2.00 4/72 14736
/proc/meminfo: memFree=1076784/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=12928 CPUtime=0.68
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 3581 660 0 0 67 1 0 0 23 0 1 0 59368725 13238272 2402 996147200 134512640 135215973 4294956320 18446744073709551615 134683461 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 3232 2402 410 171 0 2157 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12928

[startup+1.50175 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1068456/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=13456 CPUtime=1.47
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 3747 660 0 0 146 1 0 0 25 0 1 0 59368725 13778944 2508 996147200 134512640 135215973 4294956320 18446744073709551615 4158960584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 3364 2508 410 171 0 2289 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13456

[startup+3.10106 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1067368/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=13984 CPUtime=3.06
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 3933 660 0 0 305 1 0 0 25 0 1 0 59368725 14319616 2694 996147200 134512640 135215973 4294956320 18446744073709551615 134597408 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 3496 2694 410 171 0 2421 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13984

[startup+6.3027 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1066280/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=16420 CPUtime=6.23
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 4634 660 0 0 622 1 0 0 25 0 1 0 59368725 16814080 3081 996147200 134512640 135215973 4294956320 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 4105 3081 411 171 0 3030 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 16420

[startup+12.702 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1064424/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=16512 CPUtime=12.58
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 4735 660 0 0 1256 2 0 0 25 0 1 0 59368725 16908288 3182 996147200 134512640 135215973 4294956320 18446744073709551615 134969741 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 4128 3182 413 171 0 3053 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 16512

[startup+25.5015 s]
/proc/loadavg: 2.02 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1060456/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=19596 CPUtime=25.28
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 5511 660 0 0 2526 2 0 0 25 0 1 0 59368725 20066304 3958 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 4899 3958 413 171 0 3824 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 19596

[startup+51.1015 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1051752/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=26684 CPUtime=50.68
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 7302 660 0 0 5066 2 0 0 25 0 1 0 59368725 27324416 5749 996147200 134512640 135215973 4294956320 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 6671 5749 413 171 0 5596 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 26684

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1035112/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=40176 CPUtime=101.49
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 10672 660 0 0 10145 4 0 0 25 0 1 0 59368725 41140224 9119 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 10044 9119 413 171 0 8969 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 40176

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1025064/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=49644 CPUtime=161.03
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 13051 660 0 0 16098 5 0 0 25 0 1 0 59368725 50835456 11498 996147200 134512640 135215973 4294956320 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 12411 11498 413 171 0 11336 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 49644

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1000680/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=72268 CPUtime=220.56
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 18739 660 0 0 22049 7 0 0 25 0 1 0 59368725 74002432 17186 996147200 134512640 135215973 4294956320 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 18067 17186 413 171 0 16992 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 72268

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=982888/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=88324 CPUtime=280.1
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 22773 660 0 0 28002 8 0 0 25 0 1 0 59368725 90443776 21220 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 22081 21220 413 171 0 21006 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 88324

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=965416/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=103300 CPUtime=339.65
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 26544 660 0 0 33955 10 0 0 25 0 1 0 59368725 105779200 24958 996147200 134512640 135215973 4294956320 18446744073709551615 134597296 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 25825 24958 413 171 0 24750 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 103300

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=946344/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=119860 CPUtime=399.19
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 30706 660 0 0 39908 11 0 0 25 0 1 0 59368725 122736640 29120 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 29965 29120 413 171 0 28890 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 119860

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=930984/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=133412 CPUtime=458.72
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 34128 660 0 0 45859 13 0 0 25 0 1 0 59368725 136613888 32252 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 33353 32252 413 171 0 32278 0
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (KiB) 133412

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=917288/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=144704 CPUtime=518.26
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 36978 660 0 0 51812 14 0 0 25 0 1 0 59368725 148176896 35102 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 36176 35102 413 171 0 35101 0
Current children cumulated CPU time (s) 518.26
Current children cumulated vsize (KiB) 144704

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=906472/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=154336 CPUtime=577.79
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 39396 660 0 0 57764 15 0 0 25 0 1 0 59368725 158040064 37520 996147200 134512640 135215973 4294956320 18446744073709551615 134597336 0 0 4096 0 0 0 0 17 1 0 0
/proc/14736/statm: 38584 37520 413 171 0 37509 0
Current children cumulated CPU time (s) 577.79
Current children cumulated vsize (KiB) 154336

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=893800/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=166604 CPUtime=637.34

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

[startup+882.302 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14783
/proc/meminfo: memFree=988128/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=255924 CPUtime=875.51
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 64940 660 0 0 87525 26 0 0 25 0 1 0 59368725 262066176 63064 996147200 134512640 135215973 4294956320 18446744073709551615 134587893 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 63981 63064 413 171 0 62906 0
Current children cumulated CPU time (s) 875.51
Current children cumulated vsize (KiB) 255924

[startup+942.302 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 14783
/proc/meminfo: memFree=942112/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=269516 CPUtime=935.48
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 68367 660 0 0 93520 28 0 0 25 0 1 0 59368725 275984384 66491 996147200 134512640 135215973 4294956320 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 67379 66491 413 171 0 66304 0
Current children cumulated CPU time (s) 935.48
Current children cumulated vsize (KiB) 269516

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14783
/proc/meminfo: memFree=911136/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=286256 CPUtime=995.45
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 72563 660 0 0 99515 30 0 0 25 0 1 0 59368725 293126144 70687 996147200 134512640 135215973 4294956320 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 71564 70687 413 171 0 70489 0
Current children cumulated CPU time (s) 995.45
Current children cumulated vsize (KiB) 286256

[startup+1062.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 14789
/proc/meminfo: memFree=882648/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=301324 CPUtime=1055.42
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 76352 660 0 0 105510 32 0 0 25 0 1 0 59368725 308555776 74476 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 75331 74476 413 171 0 74256 0
Current children cumulated CPU time (s) 1055.42
Current children cumulated vsize (KiB) 301324

[startup+1122.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/83 14790
/proc/meminfo: memFree=847696/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=313436 CPUtime=1115.38
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 79456 660 0 0 111505 33 0 0 25 0 1 0 59368725 320958464 77580 996147200 134512640 135215973 4294956320 18446744073709551615 4158512613 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 78359 77580 413 171 0 77284 0
Current children cumulated CPU time (s) 1115.38
Current children cumulated vsize (KiB) 313436

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/83 14790
/proc/meminfo: memFree=828240/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=325244 CPUtime=1175.36
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 82419 660 0 0 117501 35 0 0 25 0 1 0 59368725 333049856 80543 996147200 134512640 135215973 4294956320 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 81311 80543 413 171 0 80236 0
Current children cumulated CPU time (s) 1175.36
Current children cumulated vsize (KiB) 325244

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 14790
/proc/meminfo: memFree=759376/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=338372 CPUtime=1235.33
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 85712 660 0 0 123497 36 0 0 25 0 1 0 59368725 346492928 83836 996147200 134512640 135215973 4294956320 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 84593 83836 413 171 0 83518 0
Current children cumulated CPU time (s) 1235.33
Current children cumulated vsize (KiB) 338372

[startup+1302.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/83 14790
/proc/meminfo: memFree=512848/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=350580 CPUtime=1295.31
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 88786 660 0 0 129493 38 0 0 25 0 1 0 59368725 358993920 86910 996147200 134512640 135215973 4294956320 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 87645 86910 413 171 0 86570 0
Current children cumulated CPU time (s) 1295.31
Current children cumulated vsize (KiB) 350580

[startup+1362.3 s]
/proc/loadavg: 2.25 2.10 2.03 3/83 14790
/proc/meminfo: memFree=269528/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=363348 CPUtime=1355.28
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 91978 660 0 0 135489 39 0 0 25 0 1 0 59368725 372068352 90102 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 90837 90102 413 171 0 89762 0
Current children cumulated CPU time (s) 1355.28
Current children cumulated vsize (KiB) 363348

[startup+1422.31 s]
/proc/loadavg: 2.14 2.09 2.03 3/83 14790
/proc/meminfo: memFree=164056/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=381488 CPUtime=1415.25
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 96638 660 0 0 141484 41 0 0 25 0 1 0 59368725 390643712 94184 996147200 134512640 135215973 4294956320 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 95372 94184 413 171 0 94297 0
Current children cumulated CPU time (s) 1415.25
Current children cumulated vsize (KiB) 381488

[startup+1482.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/83 14791
/proc/meminfo: memFree=115472/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=396336 CPUtime=1475.22
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 100359 660 0 0 147479 43 0 0 25 0 1 0 59368725 405848064 97905 996147200 134512640 135215973 4294956320 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 99084 97905 413 171 0 98009 0
Current children cumulated CPU time (s) 1475.22
Current children cumulated vsize (KiB) 396336

[startup+1542.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/83 14791
/proc/meminfo: memFree=61136/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=418396 CPUtime=1535.19
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 105908 660 0 0 153474 45 0 0 25 0 1 0 59368725 428437504 103454 996147200 134512640 135215973 4294956320 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 104599 103454 413 171 0 103524 0
Current children cumulated CPU time (s) 1535.19
Current children cumulated vsize (KiB) 418396

[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/73 14823
/proc/meminfo: memFree=754472/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=442204 CPUtime=1595.1
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 111883 660 0 0 159462 48 0 0 25 0 1 0 59368725 452816896 109364 996147200 134512640 135215973 4294956320 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 110551 109364 413 171 0 109476 0
Current children cumulated CPU time (s) 1595.1
Current children cumulated vsize (KiB) 442204

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/73 14823
/proc/meminfo: memFree=653736/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=460672 CPUtime=1654.85
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 116522 660 0 0 165436 49 0 0 25 0 1 0 59368725 471728128 114003 996147200 134512640 135215973 4294956320 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 115168 114003 413 171 0 114093 0
Current children cumulated CPU time (s) 1654.85
Current children cumulated vsize (KiB) 460672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/73 14823
/proc/meminfo: memFree=636968/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=477252 CPUtime=1714.6
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 120695 660 0 0 171410 50 0 0 25 0 1 0 59368725 488706048 118176 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 119313 118176 413 171 0 118238 0
Current children cumulated CPU time (s) 1714.6
Current children cumulated vsize (KiB) 477252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14823
/proc/meminfo: memFree=619752/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=493960 CPUtime=1774.36
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 124904 660 0 0 177384 52 0 0 25 0 1 0 59368725 505815040 122385 996147200 134512640 135215973 4294956320 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 123490 122385 413 171 0 122415 0
Current children cumulated CPU time (s) 1774.36
Current children cumulated vsize (KiB) 493960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14823
/proc/meminfo: memFree=612456/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=501524 CPUtime=1800.05
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 126822 660 0 0 179953 52 0 0 25 0 1 0 59368725 513560576 124174 996147200 134512640 135215973 4294956320 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 125381 124174 413 171 0 124306 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 501524

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

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

[startup+1808.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14823
/proc/meminfo: memFree=612456/2055924 swapFree=4192812/4192956
[pid=14736] ppid=14734 vsize=501524 CPUtime=1800.05
/proc/14736/stat : 14736 (pcs.big) R 14734 14736 11685 0 -1 4194304 126822 660 0 0 179953 52 0 0 25 0 1 0 59368725 513560576 124174 996147200 134512640 135215973 4294956320 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/14736/statm: 125381 124174 413 171 0 124306 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 501524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.18
CPU time (s): 1800.15
CPU user time (s): 1799.54
CPU system time (s): 0.607907
CPU usage (%): 99.5558
Max. virtual memory (cumulated for all children) (KiB): 501524

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

runsolver used 2.13567 second user time and 5.29719 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-16 07:43:33
IDJOB=2083342
IDBENCH=57788
IDSOLVER=734
FILE ID=node6/2083342-1247723013
PBS_JOBID= 9521358
Free space on /tmp= 66308 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083342-1247723013/watcher-2083342-1247723013 -o /tmp/evaluation-result-2083342-1247723013/solver-2083342-1247723013 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 532117887 HOME/instance-2083342-1247723013.xml

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

MD5SUM BENCH= dd4c443d605f557f1e2afa2cdc6a63a1
RANDOM SEED=532117887

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:       1077264 kB
Buffers:        108976 kB
Cached:         570412 kB
SwapCached:          0 kB
Active:         452808 kB
Inactive:       429332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1077264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2116 kB
Writeback:           0 kB
Mapped:         214312 kB
Slab:            81372 kB
Committed_AS:   692996 kB
PageTables:       2324 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= 66312 MiB
End job on node6 at 2009-07-16 08:13:43