Trace number 2081153

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) 1317.25 1329.74

General information on the benchmark

Namecsp/super-os/super-os-taillard-7/
normalized-super-os-taillard-7-1.xml
MD5SUM97481891139e08ce4c2f4e33c080b0f8
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 benchmark6.61099
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Maximum constraint arity2
Maximum domain size434
Number of constraints which are defined in extension0
Number of constraints which are defined in intension931
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.02	c Seed is 1895459663
0.00/0.02	c Constructing HOME/instance-2081153-1247719363.xml  with 6223 constraints
0.08/0.11	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-2081153-1247719363/watcher-2081153-1247719363 -o /tmp/evaluation-result-2081153-1247719363/solver-2081153-1247719363 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1895459663 HOME/instance-2081153-1247719363.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.92 2.01 2.04 4/82 14146
/proc/meminfo: memFree=1365472/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=5356 CPUtime=0
/proc/14146/stat : 14146 (pcssolve) R 14144 14146 12940 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 59002770 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 268213742239 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14146/statm: 1339 241 200 169 0 50 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0
/proc/14147/stat : 14147 (pcssolve) R 14146 14146 12940 0 -1 4194368 22 0 0 0 0 0 0 0 24 0 1 0 59002771 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 268213742887 0 0 4096 0 0 0 0 17 1 0 0
/proc/14147/statm: 1339 243 202 169 0 50 0
[pid=14148] ppid=14146 vsize=5356 CPUtime=0
/proc/14148/stat : 14148 (pcssolve) R 14146 14146 12940 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 59002771 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 268213742239 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14148/statm: 1339 241 200 169 0 50 0

[startup+0.018854 s]
/proc/loadavg: 1.92 2.01 2.04 4/82 14146
/proc/meminfo: memFree=1365472/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=2888 CPUtime=0
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 389 659 0 0 0 0 0 0 25 0 1 0 59002770 2957312 35 996147200 134512640 135215973 4294956304 18446744073709551615 9274148 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 722 35 25 171 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2888

[startup+0.101865 s]
/proc/loadavg: 1.92 2.01 2.04 4/82 14146
/proc/meminfo: memFree=1365472/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=6464 CPUtime=0.08
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 1294 659 0 0 8 0 0 0 25 0 1 0 59002770 6619136 851 996147200 134512640 135215973 4294956304 18446744073709551615 4159198544 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 1616 851 388 171 0 541 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6464

[startup+0.301887 s]
/proc/loadavg: 1.92 2.01 2.04 4/82 14146
/proc/meminfo: memFree=1365472/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=8952 CPUtime=0.28
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 2073 659 0 0 27 1 0 0 25 0 1 0 59002770 9166848 1418 996147200 134512640 135215973 4294956304 18446744073709551615 9704778 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 2238 1418 406 171 0 1163 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8952

[startup+0.701936 s]
/proc/loadavg: 1.92 2.01 2.04 4/82 14146
/proc/meminfo: memFree=1365472/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=9088 CPUtime=0.67
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 2104 659 0 0 66 1 0 0 25 0 1 0 59002770 9306112 1449 996147200 134512640 135215973 4294956304 18446744073709551615 134591129 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 2272 1449 406 171 0 1197 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9088

[startup+1.50202 s]
/proc/loadavg: 1.92 2.01 2.04 3/83 14151
/proc/meminfo: memFree=1361048/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=9572 CPUtime=1.47
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 2218 659 0 0 146 1 0 0 25 0 1 0 59002770 9801728 1563 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 2393 1563 406 171 0 1318 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9572

[startup+3.10121 s]
/proc/loadavg: 1.92 2.01 2.04 3/83 14151
/proc/meminfo: memFree=1360024/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=10620 CPUtime=3.05
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 2507 659 0 0 304 1 0 0 25 0 1 0 59002770 10874880 1852 996147200 134512640 135215973 4294956304 18446744073709551615 134617702 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 2655 1852 406 171 0 1580 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10620

[startup+6.30257 s]
/proc/loadavg: 1.93 2.01 2.04 3/83 14151
/proc/meminfo: memFree=1357592/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=12920 CPUtime=6.22
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 3118 659 0 0 620 2 0 0 25 0 1 0 59002770 13230080 2365 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 3230 2365 406 171 0 2155 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 12920

[startup+12.7013 s]
/proc/loadavg: 1.93 2.01 2.04 3/83 14151
/proc/meminfo: memFree=1351064/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=19128 CPUtime=12.56
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 4781 659 0 0 1253 3 0 0 25 0 1 0 59002770 19587072 3963 996147200 134512640 135215973 4294956304 18446744073709551615 134600356 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 4782 3963 406 171 0 3707 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 19128

[startup+25.5018 s]
/proc/loadavg: 1.95 2.00 2.04 3/83 14151
/proc/meminfo: memFree=1343960/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=27500 CPUtime=25.24
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 7118 659 0 0 2520 4 0 0 25 0 1 0 59002770 28160000 5785 996147200 134512640 135215973 4294956304 18446744073709551615 134591044 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 6875 5785 406 171 0 5800 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 27500

[startup+51.1017 s]
/proc/loadavg: 1.96 2.00 2.04 3/83 14151
/proc/meminfo: memFree=1327832/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=43820 CPUtime=50.6
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 11670 659 0 0 5053 7 0 0 25 0 1 0 59002770 44871680 9824 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 10955 9824 406 171 0 9880 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 43820

[startup+102.306 s]
/proc/loadavg: 1.98 2.00 2.03 3/83 14151
/proc/meminfo: memFree=1292184/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=80324 CPUtime=101.32
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 21772 659 0 0 10120 12 0 0 25 0 1 0 59002770 82251776 18644 996147200 134512640 135215973 4294956304 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 20081 18644 406 171 0 19006 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 80324

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.03 3/83 14151
/proc/meminfo: memFree=1254488/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=128936 CPUtime=160.75
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 34982 659 0 0 16055 20 0 0 25 0 1 0 59002770 132030464 29292 996147200 134512640 135215973 4294956304 18446744073709551615 9707352 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 32234 29292 406 171 0 31159 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 128936

[startup+222.301 s]
/proc/loadavg: 2.01 2.01 2.02 3/83 14151
/proc/meminfo: memFree=1216344/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=157668 CPUtime=220.19
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 43233 659 0 0 21993 26 0 0 25 0 1 0 59002770 161452032 37543 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 39417 37543 406 171 0 38342 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 157668

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 14151
/proc/meminfo: memFree=1180568/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=205776 CPUtime=279.62
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 56352 659 0 0 27929 33 0 0 25 0 1 0 59002770 210714624 46565 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 51444 46565 406 171 0 50369 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 205776

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 14151
/proc/meminfo: memFree=1142680/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=238940 CPUtime=339.06
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 65742 659 0 0 33867 39 0 0 25 0 1 0 59002770 244674560 55955 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 59735 55955 406 171 0 58660 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 238940

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 14151
/proc/meminfo: memFree=1114072/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=263436 CPUtime=398.5
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 72931 659 0 0 39806 44 0 0 25 0 1 0 59002770 269758464 63144 996147200 134512640 135215973 4294956304 18446744073709551615 134648593 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 65859 63144 406 171 0 64784 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 263436

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14151
/proc/meminfo: memFree=1076056/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=300544 CPUtime=457.94
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 83389 659 0 0 45743 51 0 0 25 0 1 0 59002770 307757056 72577 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 75136 72577 406 171 0 74061 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 300544

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14151
/proc/meminfo: memFree=1044696/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=360332 CPUtime=517.38
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 99520 659 0 0 51678 60 0 0 25 0 1 0 59002770 368979968 80515 996147200 134512640 135215973 4294956304 18446744073709551615 134600411 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 90083 80515 406 171 0 89008 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 360332

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=1009048/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=390800 CPUtime=576.81
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 108298 659 0 0 57617 64 0 0 25 0 1 0 59002770 400179200 89293 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 97700 89293 406 171 0 96625 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 390800

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=962008/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=432168 CPUtime=636.24
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 119961 659 0 0 63555 69 0 0 25 0 1 0 59002770 442540032 100956 996147200 134512640 135215973 4294956304 18446744073709551615 134586689 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 108042 100956 406 171 0 106967 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 432168

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=911832/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=477184 CPUtime=695.69
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 132569 659 0 0 69494 75 0 0 25 0 1 0 59002770 488636416 113564 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 119296 113564 406 171 0 118221 0
Current children cumulated CPU time (s) 695.69
Current children cumulated vsize (KiB) 477184

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=856792/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=535592 CPUtime=755.12
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 148257 659 0 0 75429 83 0 0 25 0 1 0 59002770 548446208 127203 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 133898 127203 406 171 0 132823 0
Current children cumulated CPU time (s) 755.12
Current children cumulated vsize (KiB) 535592

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=823192/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=564884 CPUtime=814.55
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 156739 659 0 0 81366 89 0 0 25 0 1 0 59002770 578441216 135685 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 141221 135685 406 171 0 140146 0
Current children cumulated CPU time (s) 814.55
Current children cumulated vsize (KiB) 564884

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=787928/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=595644 CPUtime=873.99
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 165467 659 0 0 87304 95 0 0 25 0 1 0 59002770 609939456 144413 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 148911 144413 406 171 0 147836 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 595644

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=749784/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=629508 CPUtime=933.43
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 175104 659 0 0 93241 102 0 0 25 0 1 0 59002770 644616192 154050 996147200 134512640 135215973 4294956304 18446744073709551615 134591276 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 157377 154050 406 171 0 156302 0
Current children cumulated CPU time (s) 933.43
Current children cumulated vsize (KiB) 629508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=710552/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=729332 CPUtime=992.86
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 201137 659 0 0 99171 115 0 0 25 0 1 0 59002770 746835968 163698 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 182333 163698 406 171 0 181258 0
Current children cumulated CPU time (s) 992.86
Current children cumulated vsize (KiB) 729332

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14153
/proc/meminfo: memFree=671896/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=763612 CPUtime=1052.3
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 210863 659 0 0 105109 121 0 0 25 0 1 0 59002770 781938688 173424 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 190903 173424 406 171 0 189828 0
Current children cumulated CPU time (s) 1052.3
Current children cumulated vsize (KiB) 763612

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14159
/proc/meminfo: memFree=637976/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=793152 CPUtime=1111.73
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 219265 659 0 0 111046 127 0 0 25 0 1 0 59002770 812187648 181826 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 198288 181826 406 171 0 197213 0
Current children cumulated CPU time (s) 1111.73
Current children cumulated vsize (KiB) 793152

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14159
/proc/meminfo: memFree=600280/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=827616 CPUtime=1171.17
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 228890 659 0 0 116984 133 0 0 25 0 1 0 59002770 847478784 191451 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 206904 191451 406 171 0 205829 0
Current children cumulated CPU time (s) 1171.17
Current children cumulated vsize (KiB) 827616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14159
/proc/meminfo: memFree=558744/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=864164 CPUtime=1230.61
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 239089 659 0 0 122921 140 0 0 25 0 1 0 59002770 884903936 201650 996147200 134512640 135215973 4294956304 18446744073709551615 134590630 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 216041 201650 406 171 0 214966 0
Current children cumulated CPU time (s) 1230.61
Current children cumulated vsize (KiB) 864164

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14159
/proc/meminfo: memFree=514456/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=903708 CPUtime=1290.04
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 249981 659 0 0 128857 147 0 0 25 0 1 0 59002770 925396992 212542 996147200 134512640 135215973 4294956304 18446744073709551615 134597482 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 225927 212542 406 171 0 224852 0
Current children cumulated CPU time (s) 1290.04
Current children cumulated vsize (KiB) 903708



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1329.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/72 14161
/proc/meminfo: memFree=515760/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=921644 CPUtime=1317.09
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4194304 254882 659 0 0 131559 150 0 0 25 0 1 0 59002770 943763456 217443 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14146/statm: 230411 217443 406 171 0 229336 0
Current children cumulated CPU time (s) 1317.09
Current children cumulated vsize (KiB) 921644

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

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

[startup+1329.71 s]
/proc/loadavg: 2.00 2.00 2.00 2/72 14161
/proc/meminfo: memFree=515760/2055920 swapFree=4192812/4192956
[pid=14146] ppid=14144 vsize=0 CPUtime=1317.19
/proc/14146/stat : 14146 (pcs.big) R 14144 14146 12940 0 -1 4195332 254882 659 0 0 131559 160 0 0 25 0 1 0 59002770 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/14146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1317.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1329.74
CPU time (s): 1317.25
CPU user time (s): 1315.6
CPU system time (s): 1.64275
CPU usage (%): 99.0605
Max. virtual memory (cumulated for all children) (KiB): 921644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1315.6
system time used= 1.64275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255541
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= 18
involuntary context switches= 54140

runsolver used 1.65875 second user time and 4.39633 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-16 06:42:43
IDJOB=2081153
IDBENCH=57335
IDSOLVER=734
FILE ID=node32/2081153-1247719363
PBS_JOBID= 9521459
Free space on /tmp= 66324 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081153-1247719363/watcher-2081153-1247719363 -o /tmp/evaluation-result-2081153-1247719363/solver-2081153-1247719363 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1895459663 HOME/instance-2081153-1247719363.xml

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

MD5SUM BENCH= 97481891139e08ce4c2f4e33c080b0f8
RANDOM SEED=1895459663

node32.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.236
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.236
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:       1365952 kB
Buffers:         89412 kB
Cached:         475940 kB
SwapCached:          0 kB
Active:         219240 kB
Inactive:       384336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1365952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1848 kB
Writeback:           0 kB
Mapped:          58604 kB
Slab:            71228 kB
Committed_AS:   596416 kB
PageTables:       2012 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66320 MiB
End job on node32 at 2009-07-16 07:04:54