Trace number 2065775

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? (MO) 1173.99 1178.85

General information on the benchmark

Namecsp/os-taillard-15/
normalized-os-taillard-15-95-3.xml
MD5SUM3402f4fe587d9b501967a261cbfa42d3
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 benchmark0.84987
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size899
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
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.00/0.01	c Seed is 1613863016
0.00/0.01	c Constructing HOME/instance-2065775-1247703871.xml  with 22050 constraints
0.28/0.33	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-2065775-1247703871/watcher-2065775-1247703871 -o /tmp/evaluation-result-2065775-1247703871/solver-2065775-1247703871 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1613863016 HOME/instance-2065775-1247703871.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.91 1.98 1.87 4/73 10846
/proc/meminfo: memFree=1403072/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=5356 CPUtime=0
/proc/10846/stat : 10846 (pcssolve) S 10844 10846 9846 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 57452456 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10846/statm: 1339 242 201 169 0 50 0
[pid=10849] ppid=10846 vsize=3680 CPUtime=0
/proc/10849/stat : 10849 (fgrep) S 10846 10846 9846 0 -1 4194304 154 0 0 0 0 0 0 0 19 0 1 0 57452456 3768320 122 996147200 4194304 4274172 548682068976 18446744073709551615 214945202402 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/10849/statm: 920 122 93 19 0 44 0
[pid=10850] ppid=10846 vsize=5356 CPUtime=0
/proc/10850/stat : 10850 (pcssolve) R 10846 10846 9846 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 57452457 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 4600096 0 0 4100 65536 0 0 0 17 0 0 0
/proc/10850/statm: 1339 243 202 169 0 50 0

[startup+0.0449689 s]
/proc/loadavg: 1.91 1.98 1.87 4/73 10846
/proc/meminfo: memFree=1403072/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=5236 CPUtime=0.02
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 987 661 0 0 2 0 0 0 18 0 1 0 57452456 5361664 618 996147200 134512640 135215973 4294956304 18446744073709551615 4159151619 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 1309 618 388 171 0 234 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5236

[startup+0.101975 s]
/proc/loadavg: 1.91 1.98 1.87 4/73 10846
/proc/meminfo: memFree=1403072/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=6528 CPUtime=0.08
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 1370 661 0 0 8 0 0 0 18 0 1 0 57452456 6684672 891 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 1632 891 388 171 0 557 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6528

[startup+0.301998 s]
/proc/loadavg: 1.91 1.98 1.87 4/73 10846
/proc/meminfo: memFree=1403072/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=12324 CPUtime=0.28
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 3112 661 0 0 27 1 0 0 19 0 1 0 57452456 12619776 1952 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 3081 1952 388 171 0 2006 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12324

[startup+0.701047 s]
/proc/loadavg: 1.91 1.98 1.87 4/73 10846
/proc/meminfo: memFree=1403072/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=21108 CPUtime=0.69
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 6158 661 0 0 66 3 0 0 23 0 1 0 57452456 21614592 4019 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 5277 4019 406 171 0 4202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21108

[startup+1.50114 s]
/proc/loadavg: 1.91 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1388024/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=21108 CPUtime=1.48
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 6254 661 0 0 145 3 0 0 25 0 1 0 57452456 21614592 4115 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 5277 4115 406 171 0 4202 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21108

[startup+3.10132 s]
/proc/loadavg: 1.91 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1387704/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=21656 CPUtime=3.07
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 6387 661 0 0 304 3 0 0 25 0 1 0 57452456 22175744 4248 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 5414 4248 406 171 0 4339 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 21656

[startup+6.30268 s]
/proc/loadavg: 1.92 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1386232/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=23404 CPUtime=6.26
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 6850 661 0 0 623 3 0 0 25 0 1 0 57452456 23965696 4678 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 5851 4678 406 171 0 4776 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23404

[startup+12.7014 s]
/proc/loadavg: 1.93 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1382528/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=26276 CPUtime=12.63
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 7598 661 0 0 1259 4 0 0 25 0 1 0 57452456 26906624 5426 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 6569 5426 406 171 0 5494 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26276

[startup+25.5019 s]
/proc/loadavg: 1.94 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1371264/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=38168 CPUtime=25.38
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 10709 661 0 0 2532 6 0 0 25 0 1 0 57452456 39084032 8182 996147200 134512640 135215973 4294956304 18446744073709551615 134609908 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 9542 8182 406 171 0 8467 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 38168

[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.87 3/74 10851
/proc/meminfo: memFree=1351168/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=57736 CPUtime=50.87
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 15861 661 0 0 5079 8 0 0 25 0 1 0 57452456 59121664 12948 996147200 134512640 135215973 4294956304 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 14434 12948 406 171 0 13359 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 57736

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.88 3/74 10851
/proc/meminfo: memFree=1305216/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=101952 CPUtime=101.87
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 27438 661 0 0 10174 13 0 0 25 0 1 0 57452456 104398848 23947 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 25488 23947 406 171 0 24413 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 101952

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.88 3/74 10851
/proc/meminfo: memFree=1255936/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=150200 CPUtime=161.63
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 40771 661 0 0 16144 19 0 0 25 0 1 0 57452456 153804800 35742 996147200 134512640 135215973 4294956304 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 37550 35742 406 171 0 36475 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 150200

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.89 3/74 10851
/proc/meminfo: memFree=1216896/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=190556 CPUtime=221.38
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 51933 661 0 0 22112 26 0 0 25 0 1 0 57452456 195129344 44855 996147200 134512640 135215973 4294956304 18446744073709551615 134598286 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 47639 44855 406 171 0 46564 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 190556

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.89 3/74 10851
/proc/meminfo: memFree=1171904/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=234504 CPUtime=281.14
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 63683 661 0 0 28083 31 0 0 25 0 1 0 57452456 240132096 55580 996147200 134512640 135215973 4294956304 18446744073709551615 134551183 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 58626 55580 406 171 0 57551 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 234504

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.90 3/74 10851
/proc/meminfo: memFree=1128320/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=264484 CPUtime=340.89
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 71862 661 0 0 34053 36 0 0 25 0 1 0 57452456 270831616 63759 996147200 134512640 135215973 4294956304 18446744073709551615 134532952 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 66121 63759 406 171 0 65046 0
Current children cumulated CPU time (s) 340.89
Current children cumulated vsize (KiB) 264484

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=1096896/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=307380 CPUtime=400.66
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 83678 661 0 0 40022 44 0 0 25 0 1 0 57452456 314757120 71478 996147200 134512640 135215973 4294956304 18446744073709551615 134983206 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 76845 71478 406 171 0 75770 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 307380

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=1042624/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=357700 CPUtime=460.41
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 96893 661 0 0 45992 49 0 0 25 0 1 0 57452456 366284800 84693 996147200 134512640 135215973 4294956304 18446744073709551615 134902800 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 89425 84693 406 171 0 88350 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 357700

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=984128/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=422156 CPUtime=520.17
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 113359 661 0 0 51961 56 0 0 25 0 1 0 57452456 432287744 99110 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 105539 99110 406 171 0 104464 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (KiB) 422156

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=936960/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=467312 CPUtime=579.93
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 124854 661 0 0 57932 61 0 0 25 0 1 0 57452456 478527488 110605 996147200 134512640 135215973 4294956304 18446744073709551615 134585374 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 116828 110605 406 171 0 115753 0
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (KiB) 467312

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=887616/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=512948 CPUtime=639.69
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 136794 661 0 0 63902 67 0 0 25 0 1 0 57452456 525258752 122545 996147200 134512640 135215973 4294956304 18446744073709551615 134957802 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 128237 122545 406 171 0 127162 0
Current children cumulated CPU time (s) 639.69
Current children cumulated vsize (KiB) 512948

[startup+702.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=835840/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=558384 CPUtime=699.44
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 149636 661 0 0 69871 73 0 0 25 0 1 0 57452456 571785216 135387 996147200 134512640 135215973 4294956304 18446744073709551615 134648260 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 139596 135387 406 171 0 138521 0
Current children cumulated CPU time (s) 699.44
Current children cumulated vsize (KiB) 558384

[startup+762.307 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=780736/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=605704 CPUtime=759.2
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 162984 661 0 0 75840 80 0 0 25 0 1 0 57452456 620240896 148735 996147200 134512640 135215973 4294956304 18446744073709551615 134523892 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 151426 148735 406 171 0 150351 0
Current children cumulated CPU time (s) 759.2
Current children cumulated vsize (KiB) 605704

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=737408/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=644608 CPUtime=818.96
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 173294 661 0 0 81811 85 0 0 25 0 1 0 57452456 660078592 159045 996147200 134512640 135215973 4294956304 18446744073709551615 134592246 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 161152 159045 406 171 0 160077 0
Current children cumulated CPU time (s) 818.96
Current children cumulated vsize (KiB) 644608

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=697536/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=681488 CPUtime=878.71
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 182665 661 0 0 87779 92 0 0 25 0 1 0 57452456 697843712 168416 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 170372 168416 406 171 0 169297 0
Current children cumulated CPU time (s) 878.71
Current children cumulated vsize (KiB) 681488

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=659520/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=717252 CPUtime=938.48
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 191789 661 0 0 93750 98 0 0 25 0 1 0 57452456 734466048 177540 996147200 134512640 135215973 4294956304 18446744073709551615 135096358 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 179313 177540 406 171 0 178238 0
Current children cumulated CPU time (s) 938.48
Current children cumulated vsize (KiB) 717252

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/74 10851
/proc/meminfo: memFree=617408/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=755632 CPUtime=998.23
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 201547 661 0 0 99719 104 0 0 25 0 1 0 57452456 773767168 187298 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 188908 187298 406 171 0 187833 0
Current children cumulated CPU time (s) 998.23
Current children cumulated vsize (KiB) 755632

[startup+1062.31 s]
/proc/loadavg: 2.20 2.03 1.93 3/84 10893
/proc/meminfo: memFree=563952/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=794176 CPUtime=1058.11
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 211345 661 0 0 105699 112 0 0 25 0 1 0 57452456 813236224 197096 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/10846/statm: 198544 197096 406 171 0 197469 0
Current children cumulated CPU time (s) 1058.11
Current children cumulated vsize (KiB) 794176

[startup+1122.3 s]
/proc/loadavg: 2.30 2.08 1.95 3/84 10893
/proc/meminfo: memFree=470064/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=829952 CPUtime=1117.94
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 220435 661 0 0 111676 118 0 0 25 0 1 0 57452456 849870848 206186 996147200 134512640 135215973 4294956304 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 1 0 0
/proc/10846/statm: 207488 206186 406 171 0 206413 0
Current children cumulated CPU time (s) 1117.94
Current children cumulated vsize (KiB) 829952



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1178.7 s]
/proc/loadavg: 2.37 2.14 1.97 3/84 10893
/proc/meminfo: memFree=359344/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=935544 CPUtime=1173.83
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4194304 242870 661 0 0 117252 131 0 0 25 0 1 0 57452456 957997056 228621 996147200 134512640 135215973 4294956304 18446744073709551615 3034620 0 0 4096 0 0 0 0 17 1 0 0
/proc/10846/statm: 233886 228621 406 171 0 232811 0
Current children cumulated CPU time (s) 1173.83
Current children cumulated vsize (KiB) 935544

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

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

[startup+1178.81 s]
/proc/loadavg: 2.37 2.14 1.97 3/84 10893
/proc/meminfo: memFree=359344/2055920 swapFree=4192812/4192956
[pid=10846] ppid=10844 vsize=0 CPUtime=1173.93
/proc/10846/stat : 10846 (pcs.big) R 10844 10846 9846 0 -1 4195332 242870 661 0 0 117252 141 0 0 25 0 1 0 57452456 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10846/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1173.93
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1178.85
CPU time (s): 1173.99
CPU user time (s): 1172.53
CPU system time (s): 1.46278
CPU usage (%): 99.5883
Max. virtual memory (cumulated for all children) (KiB): 935544

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

runsolver used 1.23581 second user time and 3.13252 second system time

The end

Launcher Data 

Begin job on node85 at 2009-07-16 02:24:31
IDJOB=2065775
IDBENCH=54420
IDSOLVER=734
FILE ID=node85/2065775-1247703871
PBS_JOBID= 9521149
Free space on /tmp= 126536 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065775-1247703871/watcher-2065775-1247703871 -o /tmp/evaluation-result-2065775-1247703871/solver-2065775-1247703871 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1613863016 HOME/instance-2065775-1247703871.xml

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

MD5SUM BENCH= 3402f4fe587d9b501967a261cbfa42d3
RANDOM SEED=1613863016

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:       1403616 kB
Buffers:         79284 kB
Cached:         446968 kB
SwapCached:          0 kB
Active:         243944 kB
Inactive:       336628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1403616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          65640 kB
Slab:            57096 kB
Committed_AS:   490168 kB
PageTables:       1808 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= 126540 MiB
End job on node85 at 2009-07-16 02:44:12