Trace number 2083550

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 0.3.2? (TO) 1800.13 1802.75

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-0.xml
MD5SUMa0e05c3f701a8303e8373aea0961fb40
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 benchmark37.8182
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.08	c Seed is 524992832
0.00/0.08	c Constructing HOME/instance-2083550-1247723290.xml  with 399468 constraints
7.14/7.21	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-2083550-1247723290/watcher-2083550-1247723290 -o /tmp/evaluation-result-2083550-1247723290/solver-2083550-1247723290 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 524992832 HOME/instance-2083550-1247723290.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.07 2.11 2.07 4/72 12852
/proc/meminfo: memFree=1112232/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=18576 CPUtime=0
/proc/12852/stat : 12852 (runsolver) R 12850 12852 12002 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59392860 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12852/statm: 4644 284 249 26 0 2626 0

[startup+0.016707 s]
/proc/loadavg: 2.07 2.11 2.07 4/72 12852
/proc/meminfo: memFree=1112232/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=5356 CPUtime=0
/proc/12852/stat : 12852 (pcssolve) S 12850 12852 12002 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59392860 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12852/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102722 s]
/proc/loadavg: 2.07 2.11 2.07 4/72 12852
/proc/meminfo: memFree=1112232/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=6628 CPUtime=0.07
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1310 668 0 0 5 0 1 1 18 0 1 0 59392860 6787072 900 996147200 134512640 135215973 4294956304 18446744073709551615 134590480 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 1657 900 386 171 0 582 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6628

[startup+0.30276 s]
/proc/loadavg: 2.07 2.11 2.07 4/72 12852
/proc/meminfo: memFree=1112232/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=11048 CPUtime=0.27
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 2756 668 0 0 24 1 1 1 19 0 1 0 59392860 11313152 1887 996147200 134512640 135215973 4294956304 18446744073709551615 4159166499 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 2762 1887 386 171 0 1687 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11048

[startup+0.701835 s]
/proc/loadavg: 2.07 2.11 2.07 4/72 12852
/proc/meminfo: memFree=1112232/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=22060 CPUtime=0.67
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 6235 668 0 0 62 3 1 1 23 0 1 0 59392860 22589440 3909 996147200 134512640 135215973 4294956304 18446744073709551615 4160505750 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 5515 3909 386 171 0 4440 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22060

[startup+1.50198 s]
/proc/loadavg: 2.07 2.11 2.07 3/73 12857
/proc/meminfo: memFree=1091936/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=39840 CPUtime=1.46
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 12312 668 0 0 139 5 1 1 25 0 1 0 59392860 40796160 7632 996147200 134512640 135215973 4294956304 18446744073709551615 134740100 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 9960 7632 386 171 0 8885 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39840

[startup+3.10127 s]
/proc/loadavg: 2.07 2.11 2.07 3/73 12857
/proc/meminfo: memFree=1070816/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=75648 CPUtime=3.06
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 24431 668 0 0 293 11 1 1 25 0 1 0 59392860 77463552 15030 996147200 134512640 135215973 4294956304 18446744073709551615 134583377 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 18912 15030 386 171 0 17837 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 75648

[startup+6.30185 s]
/proc/loadavg: 2.07 2.11 2.07 3/73 12857
/proc/meminfo: memFree=1013728/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=146892 CPUtime=6.25
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 48467 668 0 0 602 21 1 1 25 0 1 0 59392860 150417408 29626 996147200 134512640 135215973 4294956304 18446744073709551615 5160468 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 36723 29626 386 171 0 35648 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 146892

[startup+12.702 s]
/proc/loadavg: 2.06 2.11 2.07 3/73 12857
/proc/meminfo: memFree=943072/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=186896 CPUtime=12.61
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 67305 668 0 0 1231 28 1 1 25 0 1 0 59392860 191381504 42433 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 46724 42433 410 171 0 45649 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 186896

[startup+25.5013 s]
/proc/loadavg: 2.05 2.10 2.07 3/73 12857
/proc/meminfo: memFree=942048/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=188144 CPUtime=25.37
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 67816 668 0 0 2506 29 1 1 25 0 1 0 59392860 192659456 42630 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 47036 42630 410 171 0 45961 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 188144

[startup+51.103 s]
/proc/loadavg: 2.03 2.09 2.07 3/73 12857
/proc/meminfo: memFree=939616/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=189808 CPUtime=50.85
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 68618 668 0 0 5054 29 1 1 25 0 1 0 59392860 194363392 43015 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 47452 43015 410 171 0 46377 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 189808

[startup+102.305 s]
/proc/loadavg: 2.01 2.07 2.06 3/73 12857
/proc/meminfo: memFree=926816/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=202640 CPUtime=101.84
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 72568 668 0 0 10151 31 1 1 25 0 1 0 59392860 207503360 46132 996147200 134512640 135215973 4294956304 18446744073709551615 135094589 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 50660 46132 410 171 0 49585 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 202640

[startup+162.301 s]
/proc/loadavg: 2.00 2.06 2.05 3/73 12857
/proc/meminfo: memFree=910624/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=222760 CPUtime=161.59
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 78212 668 0 0 16124 33 1 1 25 0 1 0 59392860 228106240 50111 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 55690 50111 410 171 0 54615 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 222760

[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.05 3/73 12859
/proc/meminfo: memFree=909152/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=222760 CPUtime=221.35
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 78241 668 0 0 22100 33 1 1 25 0 1 0 59392860 228106240 50140 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 55690 50140 410 171 0 54615 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 222760

[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 12859
/proc/meminfo: memFree=906784/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=223024 CPUtime=281.12
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 78545 668 0 0 28076 34 1 1 25 0 1 0 59392860 228376576 50444 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 55756 50444 411 171 0 54681 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 223024

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.04 3/73 12859
/proc/meminfo: memFree=901856/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=225664 CPUtime=340.88
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 79579 668 0 0 34052 34 1 1 25 0 1 0 59392860 231079936 51478 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 56416 51478 411 171 0 55341 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 225664

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.03 3/73 12859
/proc/meminfo: memFree=899360/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=226984 CPUtime=400.62
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 130083 668 0 0 40009 51 1 1 25 0 1 0 59392860 232431616 51850 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 56746 51850 413 171 0 55671 0
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (KiB) 226984

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/73 12859
/proc/meminfo: memFree=892064/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=233584 CPUtime=460.38
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 163932 668 0 0 45971 65 1 1 25 0 1 0 59392860 239190016 53495 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12852/statm: 58396 53495 413 171 0 57321 0
Current children cumulated CPU time (s) 460.38
Current children cumulated vsize (KiB) 233584

[startup+522.302 s]
/proc/loadavg: 1.95 1.99 2.01 3/83 12934
/proc/meminfo: memFree=984392/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=235956 CPUtime=520.23
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 204709 668 0 0 51939 82 1 1 25 0 1 0 59392860 241618944 54100 996147200 134512640 135215973 4294956304 18446744073709551615 135096386 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 58989 54100 413 171 0 57914 0
Current children cumulated CPU time (s) 520.23
Current children cumulated vsize (KiB) 235956

[startup+582.302 s]
/proc/loadavg: 1.98 1.99 2.01 3/83 12934
/proc/meminfo: memFree=900296/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=238588 CPUtime=580.21
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 254494 668 0 0 57918 101 1 1 25 0 1 0 59392860 244314112 54749 996147200 134512640 135215973 4294956304 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 59647 54749 413 171 0 58572 0
Current children cumulated CPU time (s) 580.21
Current children cumulated vsize (KiB) 238588

[startup+642.301 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12934
/proc/meminfo: memFree=844872/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=244792 CPUtime=640.19
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 304540 668 0 0 63897 120 1 1 25 0 1 0 59392860 250667008 56323 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 61198 56323 413 171 0 60123 0
Current children cumulated CPU time (s) 640.19
Current children cumulated vsize (KiB) 244792

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=723968/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=257728 CPUtime=880.07
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 510949 668 0 0 87810 195 1 1 25 0 1 0 59392860 263913472 59548 996147200 134512640 135215973 4294956304 18446744073709551615 134591520 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 64432 59548 413 171 0 63357 0
Current children cumulated CPU time (s) 880.07
Current children cumulated vsize (KiB) 257728

[startup+942.302 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=706624/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=263004 CPUtime=940.05
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 539510 668 0 0 93796 207 1 1 25 0 1 0 59392860 269316096 60885 996147200 134512640 135215973 4294956304 18446744073709551615 134591365 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 65751 60885 413 171 0 64676 0
Current children cumulated CPU time (s) 940.05
Current children cumulated vsize (KiB) 263004

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=688960/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=266568 CPUtime=1000.02
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 558002 668 0 0 99784 216 1 1 25 0 1 0 59392860 272965632 61781 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 66642 61781 413 171 0 65567 0
Current children cumulated CPU time (s) 1000.02
Current children cumulated vsize (KiB) 266568

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=676800/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=270264 CPUtime=1060
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 576503 668 0 0 105775 223 1 1 25 0 1 0 59392860 276750336 62686 996147200 134512640 135215973 4294956304 18446744073709551615 4158960029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 67566 62686 413 171 0 66491 0
Current children cumulated CPU time (s) 1060
Current children cumulated vsize (KiB) 270264

[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=663240/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=274356 CPUtime=1119.97
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 598277 668 0 0 111764 231 1 1 25 0 1 0 59392860 280940544 63876 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 68589 63876 413 171 0 67514 0
Current children cumulated CPU time (s) 1119.97
Current children cumulated vsize (KiB) 274356

[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=648712/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=279108 CPUtime=1179.94
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 624550 668 0 0 117751 241 1 1 25 0 1 0 59392860 285806592 65249 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 69777 65249 413 171 0 68702 0
Current children cumulated CPU time (s) 1179.94
Current children cumulated vsize (KiB) 279108

[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=638728/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=280428 CPUtime=1239.92
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 671736 668 0 0 123733 257 1 1 25 0 1 0 59392860 287158272 65623 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 70107 65623 413 171 0 69032 0
Current children cumulated CPU time (s) 1239.92
Current children cumulated vsize (KiB) 280428

[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=625288/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=280428 CPUtime=1299.89
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 720878 668 0 0 129712 275 1 1 25 0 1 0 59392860 287158272 65629 996147200 134512640 135215973 4294956304 18446744073709551615 134597387 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 70107 65629 413 171 0 69032 0
Current children cumulated CPU time (s) 1299.89
Current children cumulated vsize (KiB) 280428

[startup+1362.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=614472/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=284916 CPUtime=1359.86
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 788417 668 0 0 135685 299 1 1 25 0 1 0 59392860 291753984 66768 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 71229 66768 413 171 0 70154 0
Current children cumulated CPU time (s) 1359.86
Current children cumulated vsize (KiB) 284916

[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=606664/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=289932 CPUtime=1419.83
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 885954 668 0 0 141650 331 1 1 25 0 1 0 59392860 296890368 68025 996147200 134512640 135215973 4294956304 18446744073709551615 4158960074 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 72483 68025 413 171 0 71408 0
Current children cumulated CPU time (s) 1419.83
Current children cumulated vsize (KiB) 289932

[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=599368/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=293892 CPUtime=1479.8
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 953472 668 0 0 147623 355 1 1 25 0 1 0 59392860 300945408 69143 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 73473 69143 413 171 0 72398 0
Current children cumulated CPU time (s) 1479.8
Current children cumulated vsize (KiB) 293892

[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=584840/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=319348 CPUtime=1539.78
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1010705 668 0 0 153600 376 1 1 25 0 1 0 59392860 327012352 72251 996147200 134512640 135215973 4294956304 18446744073709551615 134583718 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 79837 72251 413 171 0 78762 0
Current children cumulated CPU time (s) 1539.78
Current children cumulated vsize (KiB) 319348

[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=584840/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=319476 CPUtime=1599.75
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1045580 668 0 0 159584 389 1 1 25 0 1 0 59392860 327143424 72266 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 79869 72266 413 171 0 78794 0
Current children cumulated CPU time (s) 1599.75
Current children cumulated vsize (KiB) 319476

[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=584776/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=319476 CPUtime=1659.72
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1069826 668 0 0 165572 398 1 1 25 0 1 0 59392860 327143424 72276 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 79869 72276 413 171 0 78794 0
Current children cumulated CPU time (s) 1659.72
Current children cumulated vsize (KiB) 319476

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=584520/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=319476 CPUtime=1719.7
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1089757 668 0 0 171562 406 1 1 25 0 1 0 59392860 327143424 72287 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 79869 72287 413 171 0 78794 0
Current children cumulated CPU time (s) 1719.7
Current children cumulated vsize (KiB) 319476

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=582280/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=321720 CPUtime=1779.67
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1110563 668 0 0 177550 415 1 1 25 0 1 0 59392860 329441280 72841 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 80430 72841 413 171 0 79355 0
Current children cumulated CPU time (s) 1779.67
Current children cumulated vsize (KiB) 321720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.7 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=580936/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=323040 CPUtime=1800.07
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1117870 668 0 0 179587 418 1 1 25 0 1 0 59392860 330792960 73176 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 80760 73176 413 171 0 79685 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 323040

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

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

[startup+1802.7 s]
/proc/loadavg: 1.99 1.99 2.00 3/83 12940
/proc/meminfo: memFree=580936/2055920 swapFree=4192812/4192956
[pid=12852] ppid=12850 vsize=323040 CPUtime=1800.07
/proc/12852/stat : 12852 (pcs.big) R 12850 12852 12002 0 -1 4194304 1117870 668 0 0 179587 418 1 1 25 0 1 0 59392860 330792960 73176 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 0 0 0
/proc/12852/statm: 80760 73176 413 171 0 79685 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 323040

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.75
CPU time (s): 1800.13
CPU user time (s): 1795.89
CPU system time (s): 4.24135
CPU usage (%): 99.8546
Max. virtual memory (cumulated for all children) (KiB): 332664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 4.24136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118538
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= 35
involuntary context switches= 34906

runsolver used 2.6166 second user time and 5.17921 second system time

The end

Launcher Data 

Begin job on node45 at 2009-07-16 07:48:11
IDJOB=2083550
IDBENCH=57854
IDSOLVER=733
FILE ID=node45/2083550-1247723290
PBS_JOBID= 9521445
Free space on /tmp= 66368 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-0.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083550-1247723290/watcher-2083550-1247723290 -o /tmp/evaluation-result-2083550-1247723290/solver-2083550-1247723290 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 524992832 HOME/instance-2083550-1247723290.xml

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

MD5SUM BENCH= a0e05c3f701a8303e8373aea0961fb40
RANDOM SEED=524992832

node45.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.281
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.281
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:       1112712 kB
Buffers:         84464 kB
Cached:         589280 kB
SwapCached:          0 kB
Active:         290584 kB
Inactive:       560484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1112712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10616 kB
Writeback:           0 kB
Mapped:         188884 kB
Slab:            77068 kB
Committed_AS:   675764 kB
PageTables:       2124 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= 66372 MiB
End job on node45 at 2009-07-16 08:18:16