Trace number 2083319

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.07 1814.65

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-4.xml
MD5SUM5bbba61bcb8f32abe3947428d8a4279f
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 benchmark23.7514
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
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.08/0.10	c Seed is 1506313863
0.08/0.10	c Constructing HOME/instance-2083319-1247722962.xml  with 41104 constraints
0.58/0.69	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-2083319-1247722962/watcher-2083319-1247722962 -o /tmp/evaluation-result-2083319-1247722962/solver-2083319-1247722962 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1506313863 HOME/instance-2083319-1247722962.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.12 2.03 2.01 4/82 14601
/proc/meminfo: memFree=1399928/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=5212 CPUtime=0
/proc/14601/stat : 14601 (pcssolve) R 14599 14601 12947 0 -1 4194304 124 0 0 0 0 0 0 0 20 0 1 0 59361502 5337088 97 996147200 4194304 4889804 548682068800 18446744073709551615 214945463724 0 0 4096 0 0 0 0 17 1 0 0
/proc/14601/statm: 1303 97 78 169 0 14 0

[startup+0.102495 s]
/proc/loadavg: 2.12 2.03 2.01 4/82 14601
/proc/meminfo: memFree=1399928/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=6836 CPUtime=0.08
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 1408 662 0 0 8 0 0 0 21 0 1 0 59361502 7000064 925 996147200 134512640 135215973 4294956304 18446744073709551615 3034813 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 1709 925 386 171 0 634 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6836

[startup+0.201506 s]
/proc/loadavg: 2.12 2.03 2.01 4/82 14601
/proc/meminfo: memFree=1399928/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=9308 CPUtime=0.18
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 2204 662 0 0 18 0 0 0 21 0 1 0 59361502 9531392 1464 996147200 134512640 135215973 4294956304 18446744073709551615 4159144592 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 2327 1464 386 171 0 1252 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9308

[startup+0.301523 s]
/proc/loadavg: 2.12 2.03 2.01 4/82 14601
/proc/meminfo: memFree=1399928/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=12576 CPUtime=0.28
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 3187 662 0 0 27 1 0 0 22 0 1 0 59361502 12877824 2085 996147200 134512640 135215973 4294956304 18446744073709551615 4159156498 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 3144 2085 386 171 0 2069 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12576

[startup+0.701565 s]
/proc/loadavg: 2.12 2.03 2.01 4/82 14601
/proc/meminfo: memFree=1399928/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=18392 CPUtime=0.67
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 6439 662 0 0 65 2 0 0 25 0 1 0 59361502 18833408 3302 996147200 134512640 135215973 4294956304 18446744073709551615 3031109 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 4598 3302 395 171 0 3523 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 18392

[startup+1.50165 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 14606
/proc/meminfo: memFree=1381232/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=25224 CPUtime=1.47
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 8173 662 0 0 144 3 0 0 25 0 1 0 59361502 25829376 5019 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 6306 5019 410 171 0 5231 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25224

[startup+3.10183 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 14606
/proc/meminfo: memFree=1380784/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=25848 CPUtime=3.06
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 8410 662 0 0 303 3 0 0 25 0 1 0 59361502 26468352 5098 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 6462 5098 410 171 0 5387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 25848

[startup+6.30119 s]
/proc/loadavg: 2.11 2.03 2.01 4/83 14606
/proc/meminfo: memFree=1378096/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=28792 CPUtime=6.23
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 9231 662 0 0 620 3 0 0 25 0 1 0 59361502 29483008 5710 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 7198 5710 410 171 0 6123 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 28792

[startup+12.7019 s]
/proc/loadavg: 2.10 2.03 2.01 3/83 14606
/proc/meminfo: memFree=1377584/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=28924 CPUtime=12.57
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 9436 662 0 0 1254 3 0 0 25 0 1 0 59361502 29618176 5915 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 7231 5915 410 171 0 6156 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 28924

[startup+25.5014 s]
/proc/loadavg: 2.08 2.03 2.01 3/83 14606
/proc/meminfo: memFree=1375664/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=32040 CPUtime=25.26
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 14856 662 0 0 2522 4 0 0 25 0 1 0 59361502 32808960 6368 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 8010 6368 413 171 0 6935 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 32040

[startup+51.1013 s]
/proc/loadavg: 2.05 2.03 2.00 3/83 14606
/proc/meminfo: memFree=1372208/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=35616 CPUtime=50.64
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 32132 662 0 0 5054 10 0 0 25 0 1 0 59361502 36470784 7264 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 8904 7264 413 171 0 7829 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 35616

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 14606
/proc/meminfo: memFree=1364016/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=43664 CPUtime=101.41
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 66583 662 0 0 10120 21 0 0 25 0 1 0 59361502 44711936 9305 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 10916 9305 413 171 0 9841 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 43664

[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 14606
/proc/meminfo: memFree=1354672/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=51972 CPUtime=160.89
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 95804 662 0 0 16058 31 0 0 25 0 1 0 59361502 53219328 11646 996147200 134512640 135215973 4294956304 18446744073709551615 134589765 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 12993 11646 413 171 0 11918 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 51972

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 14606
/proc/meminfo: memFree=1351024/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=55140 CPUtime=220.39
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 127425 662 0 0 22000 39 0 0 25 0 1 0 59361502 56463360 12502 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 13785 12502 413 171 0 12710 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 55140

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14606
/proc/meminfo: memFree=1346800/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=59408 CPUtime=279.86
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 166997 662 0 0 27937 49 0 0 25 0 1 0 59361502 60833792 13574 996147200 134512640 135215973 4294956304 18446744073709551615 4158960865 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 14852 13574 413 171 0 13777 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 59408

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14606
/proc/meminfo: memFree=1339632/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=66528 CPUtime=339.35
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 201286 662 0 0 33875 60 0 0 25 0 1 0 59361502 68124672 15348 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 16632 15348 413 171 0 15557 0
Current children cumulated CPU time (s) 339.35
Current children cumulated vsize (KiB) 66528

[startup+402.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/84 14681
/proc/meminfo: memFree=1293912/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=79188 CPUtime=398.83
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 238201 662 0 0 39810 73 0 0 25 0 1 0 59361502 81088512 18523 996147200 134512640 135215973 4294956304 18446744073709551615 135097575 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 19797 18523 413 171 0 18722 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 79188

[startup+462.302 s]
/proc/loadavg: 2.27 2.07 2.02 3/84 14681
/proc/meminfo: memFree=1134936/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=86048 CPUtime=458.32
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 276889 662 0 0 45747 85 0 0 25 0 1 0 59361502 88113152 20251 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 21512 20251 413 171 0 20437 0
Current children cumulated CPU time (s) 458.32
Current children cumulated vsize (KiB) 86048

[startup+522.302 s]
/proc/loadavg: 2.23 2.09 2.02 4/84 14681
/proc/meminfo: memFree=617176/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=92496 CPUtime=517.81
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 319792 662 0 0 51683 98 0 0 25 0 1 0 59361502 94715904 21854 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 23124 21854 413 171 0 22049 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 92496

[startup+582.302 s]
/proc/loadavg: 2.20 2.10 2.03 4/84 14684
/proc/meminfo: memFree=555728/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=100548 CPUtime=577.28
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 363399 662 0 0 57616 112 0 0 25 0 1 0 59361502 102961152 23881 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 25137 23881 413 171 0 24062 0
Current children cumulated CPU time (s) 577.28
Current children cumulated vsize (KiB) 100548

[startup+642.301 s]
/proc/loadavg: 2.30 2.15 2.05 3/74 14716
/proc/meminfo: memFree=1307368/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=111932 CPUtime=636.73
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 397793 662 0 0 63550 123 0 0 25 0 1 0 59361502 114618368 25942 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 27983 25942 413 171 0 26908 0
Current children cumulated CPU time (s) 636.73
Current children cumulated vsize (KiB) 111932

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.06 2.03 3/74 14716
/proc/meminfo: memFree=1236520/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=145824 CPUtime=874.89
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 555453 662 0 0 87319 170 0 0 25 0 1 0 59361502 149323776 34467 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 36456 34467 413 171 0 35381 0
Current children cumulated CPU time (s) 874.89
Current children cumulated vsize (KiB) 145824

[startup+942.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/74 14716
/proc/meminfo: memFree=1221352/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=151892 CPUtime=934.43
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 578871 662 0 0 93267 176 0 0 25 0 1 0 59361502 155537408 35975 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 37973 35975 413 171 0 36898 0
Current children cumulated CPU time (s) 934.43
Current children cumulated vsize (KiB) 151892

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/74 14716
/proc/meminfo: memFree=1207272/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=157960 CPUtime=993.96
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 606780 662 0 0 99213 183 0 0 25 0 1 0 59361502 161751040 37494 996147200 134512640 135215973 4294956304 18446744073709551615 134585688 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 39490 37494 413 171 0 38415 0
Current children cumulated CPU time (s) 993.96
Current children cumulated vsize (KiB) 157960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/74 14716
/proc/meminfo: memFree=1193384/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=164556 CPUtime=1053.51
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 638489 662 0 0 105157 194 0 0 25 0 1 0 59361502 168505344 39173 996147200 134512640 135215973 4294956304 18446744073709551615 134585661 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 41139 39173 413 171 0 40064 0
Current children cumulated CPU time (s) 1053.51
Current children cumulated vsize (KiB) 164556

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14722
/proc/meminfo: memFree=1179944/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=170620 CPUtime=1113.02
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 666987 662 0 0 111099 203 0 0 25 0 1 0 59361502 174714880 40686 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 42655 40686 413 171 0 41580 0
Current children cumulated CPU time (s) 1113.02
Current children cumulated vsize (KiB) 170620

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14722
/proc/meminfo: memFree=1167528/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=176424 CPUtime=1172.57
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 683383 662 0 0 117048 209 0 0 25 0 1 0 59361502 180658176 42137 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 44106 42137 413 171 0 43031 0
Current children cumulated CPU time (s) 1172.57
Current children cumulated vsize (KiB) 176424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14722
/proc/meminfo: memFree=1156968/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=180244 CPUtime=1232.11
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 704719 662 0 0 122996 215 0 0 25 0 1 0 59361502 184569856 43103 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 45061 43103 413 171 0 43986 0
Current children cumulated CPU time (s) 1232.11
Current children cumulated vsize (KiB) 180244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1146600/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=183540 CPUtime=1291.65
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 726854 662 0 0 128944 221 0 0 25 0 1 0 59361502 187944960 43923 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 45885 43923 413 171 0 44810 0
Current children cumulated CPU time (s) 1291.65
Current children cumulated vsize (KiB) 183540

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1132968/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=188680 CPUtime=1351.18
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 755744 662 0 0 134888 230 0 0 25 0 1 0 59361502 193208320 45233 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 47170 45233 413 171 0 46095 0
Current children cumulated CPU time (s) 1351.18
Current children cumulated vsize (KiB) 188680

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1117352/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=193696 CPUtime=1410.73
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 784873 662 0 0 140833 240 0 0 25 0 1 0 59361502 198344704 46502 996147200 134512640 135215973 4294956304 18446744073709551615 135094919 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 48424 46502 413 171 0 47349 0
Current children cumulated CPU time (s) 1410.73
Current children cumulated vsize (KiB) 193696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1102248/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=200548 CPUtime=1470.26
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 827530 662 0 0 146776 250 0 0 25 0 1 0 59361502 205361152 48209 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 50137 48209 413 171 0 49062 0
Current children cumulated CPU time (s) 1470.26
Current children cumulated vsize (KiB) 200548

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1084328/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=210048 CPUtime=1529.8
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 864864 662 0 0 152720 260 0 0 25 0 1 0 59361502 215089152 50613 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 52512 50613 413 171 0 51437 0
Current children cumulated CPU time (s) 1529.8
Current children cumulated vsize (KiB) 210048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1067432/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=220592 CPUtime=1589.34
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 906128 662 0 0 158660 274 0 0 25 0 1 0 59361502 225886208 53239 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 55148 53239 413 171 0 54073 0
Current children cumulated CPU time (s) 1589.34
Current children cumulated vsize (KiB) 220592

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 14722
/proc/meminfo: memFree=1045416/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=239396 CPUtime=1648.88
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 977436 662 0 0 164593 295 0 0 25 0 1 0 59361502 245141504 57364 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 59849 57364 413 171 0 58774 0
Current children cumulated CPU time (s) 1648.88
Current children cumulated vsize (KiB) 239396

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 14722
/proc/meminfo: memFree=1026600/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=254180 CPUtime=1708.42
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 1050429 662 0 0 170526 316 0 0 25 0 1 0 59361502 260280320 61092 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 63545 61092 413 171 0 62470 0
Current children cumulated CPU time (s) 1708.42
Current children cumulated vsize (KiB) 254180

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=1008104/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=268832 CPUtime=1767.96
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 1124948 662 0 0 176459 337 0 0 25 0 1 0 59361502 275283968 64771 996147200 134512640 135215973 4294956304 18446744073709551615 135094313 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 67208 64771 413 171 0 66133 0
Current children cumulated CPU time (s) 1767.96
Current children cumulated vsize (KiB) 268832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=998312/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=276620 CPUtime=1800.01
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 1164581 662 0 0 179653 348 0 0 25 0 1 0 59361502 283258880 66709 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 69155 66709 413 171 0 68080 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 276620

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

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

[startup+1814.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14722
/proc/meminfo: memFree=998312/2055920 swapFree=4192812/4192956
[pid=14601] ppid=14599 vsize=276620 CPUtime=1800.01
/proc/14601/stat : 14601 (pcs.big) R 14599 14601 12947 0 -1 4194304 1164581 662 0 0 179653 348 0 0 25 0 1 0 59361502 283258880 66709 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/14601/statm: 69155 66709 413 171 0 68080 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 276620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.65
CPU time (s): 1800.07
CPU user time (s): 1796.54
CPU system time (s): 3.52646
CPU usage (%): 99.1967
Max. virtual memory (cumulated for all children) (KiB): 276620

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

runsolver used 1.83872 second user time and 4.79227 second system time

The end

Launcher Data 

Begin job on node85 at 2009-07-16 07:42:42
IDJOB=2083319
IDBENCH=57773
IDSOLVER=733
FILE ID=node85/2083319-1247722962
PBS_JOBID= 9521464
Free space on /tmp= 126540 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083319-1247722962/watcher-2083319-1247722962 -o /tmp/evaluation-result-2083319-1247722962/solver-2083319-1247722962 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1506313863 HOME/instance-2083319-1247722962.xml

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

MD5SUM BENCH= 5bbba61bcb8f32abe3947428d8a4279f
RANDOM SEED=1506313863

node85.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.220
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.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1400408 kB
Buffers:         89764 kB
Cached:         455392 kB
SwapCached:          0 kB
Active:         236548 kB
Inactive:       345436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1400408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2628 kB
Writeback:           0 kB
Mapped:          57128 kB
Slab:            58716 kB
Committed_AS:   497684 kB
PageTables:       1860 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= 126536 MiB
End job on node85 at 2009-07-16 08:12:58