Trace number 2080218

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.16 1803.36

General information on the benchmark

Namecsp/js-taillard-20-15/
normalized-js-taillard-20-15-95-3.xml
MD5SUM716b48a774a2867588b51873634e2600
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.739887
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1288
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.20	c Seed is 1553006319
0.17/0.20	c Constructing HOME/instance-2080218-1247717380.xml  with 20510 constraints
0.28/0.34	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-2080218-1247717380/watcher-2080218-1247717380 -o /tmp/evaluation-result-2080218-1247717380/solver-2080218-1247717380 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1553006319 HOME/instance-2080218-1247717380.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.26 2.14 2.05 4/82 13122
/proc/meminfo: memFree=1345640/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=5356 CPUtime=0
/proc/13122/stat : 13122 (pcssolve) R 13120 13122 12010 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 58805061 5484544 238 996147200 4194304 4889804 548682068800 18446744073709551615 262909620622 0 0 4100 65536 0 0 0 17 1 0 0
/proc/13122/statm: 1339 238 198 169 0 50 0

[startup+0.103681 s]
/proc/loadavg: 2.26 2.14 2.05 4/82 13122
/proc/meminfo: memFree=1345640/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=6436 CPUtime=0.08
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 1289 662 0 0 8 0 0 0 18 0 1 0 58805061 6590464 846 996147200 134512640 135215973 4294956304 18446744073709551615 134763503 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 1609 846 388 171 0 534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6436

[startup+0.201701 s]
/proc/loadavg: 2.26 2.14 2.05 4/82 13122
/proc/meminfo: memFree=1345640/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=8908 CPUtime=0.17
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 2056 662 0 0 17 0 0 0 18 0 1 0 58805061 9121792 1326 996147200 134512640 135215973 4294956304 18446744073709551615 134705490 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 2227 1326 388 171 0 1152 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8908

[startup+0.301718 s]
/proc/loadavg: 2.26 2.14 2.05 4/82 13122
/proc/meminfo: memFree=1345640/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=10460 CPUtime=0.28
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 2599 662 0 0 27 1 0 0 19 0 1 0 58805061 10711040 1740 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 2615 1740 388 171 0 1540 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10460

[startup+0.7018 s]
/proc/loadavg: 2.26 2.14 2.05 4/82 13122
/proc/meminfo: memFree=1345640/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=20348 CPUtime=0.68
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 6014 662 0 0 66 2 0 0 23 0 1 0 58805061 20836352 3990 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 5087 3990 404 171 0 4012 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20348

[startup+1.50196 s]
/proc/loadavg: 2.26 2.14 2.05 3/83 13127
/proc/meminfo: memFree=1327648/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=25644 CPUtime=1.47
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 7734 662 0 0 144 3 0 0 25 0 1 0 58805061 26259456 4877 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 6411 4877 408 171 0 5336 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25644

[startup+3.10127 s]
/proc/loadavg: 2.26 2.14 2.05 3/83 13127
/proc/meminfo: memFree=1327008/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=25764 CPUtime=3.05
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 7889 662 0 0 302 3 0 0 25 0 1 0 58805061 26382336 5032 996147200 134512640 135215973 4294956304 18446744073709551615 134951265 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 6441 5032 408 171 0 5366 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 25764

[startup+6.30191 s]
/proc/loadavg: 2.24 2.14 2.05 3/83 13127
/proc/meminfo: memFree=1326240/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=26032 CPUtime=6.23
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 8065 662 0 0 620 3 0 0 25 0 1 0 58805061 26656768 5208 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 6508 5208 408 171 0 5433 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 26032

[startup+12.7012 s]
/proc/loadavg: 2.22 2.14 2.05 3/83 13127
/proc/meminfo: memFree=1325408/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=26468 CPUtime=12.56
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 8208 662 0 0 1253 3 0 0 25 0 1 0 58805061 27103232 5318 996147200 134512640 135215973 4294956304 18446744073709551615 134951359 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 6617 5318 408 171 0 5542 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 26468

[startup+25.5017 s]
/proc/loadavg: 2.17 2.13 2.04 3/83 13127
/proc/meminfo: memFree=1323296/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=28188 CPUtime=25.23
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 8843 662 0 0 2520 3 0 0 25 0 1 0 58805061 28864512 5888 996147200 134512640 135215973 4294956304 18446744073709551615 134590536 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 7047 5888 408 171 0 5972 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 28188

[startup+51.1017 s]
/proc/loadavg: 2.11 2.12 2.04 3/83 13127
/proc/meminfo: memFree=1319904/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=31940 CPUtime=50.6
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 9877 662 0 0 5056 4 0 0 25 0 1 0 58805061 32706560 6793 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 7985 6793 408 171 0 6910 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31940

[startup+102.302 s]
/proc/loadavg: 2.05 2.10 2.04 3/83 13127
/proc/meminfo: memFree=1310816/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=40392 CPUtime=101.31
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 12321 662 0 0 10126 5 0 0 25 0 1 0 58805061 41361408 8980 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 10098 8980 408 171 0 9023 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 40392

[startup+162.303 s]
/proc/loadavg: 2.02 2.08 2.03 3/83 13127
/proc/meminfo: memFree=1303200/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=49120 CPUtime=160.74
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 14757 662 0 0 16068 6 0 0 25 0 1 0 58805061 50298880 10903 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 12280 10903 408 171 0 11205 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 49120

[startup+222.306 s]
/proc/loadavg: 2.00 2.06 2.02 3/83 13127
/proc/meminfo: memFree=1291488/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=65528 CPUtime=220.18
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 19329 662 0 0 22009 9 0 0 25 0 1 0 58805061 67100672 13810 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/13122/statm: 16382 13810 408 171 0 15307 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 65528

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 13170
/proc/meminfo: memFree=1491552/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=75708 CPUtime=279.82
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 22115 662 0 0 27969 13 0 0 25 0 1 0 58805061 77524992 15571 996147200 134512640 135215973 4294956304 18446744073709551615 134592108 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 18927 15571 408 171 0 17852 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 75708

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 13170
/proc/meminfo: memFree=1478880/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=88132 CPUtime=339.79
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 25506 662 0 0 33963 16 0 0 25 0 1 0 58805061 90247168 18672 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 22033 18672 408 171 0 20958 0
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (KiB) 88132

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 13170
/proc/meminfo: memFree=1469984/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=95992 CPUtime=399.76
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 27731 662 0 0 39959 17 0 0 25 0 1 0 58805061 98295808 20897 996147200 134512640 135215973 4294956304 18446744073709551615 134957665 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 23998 20897 408 171 0 22923 0
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (KiB) 95992

[startup+462.304 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13170
/proc/meminfo: memFree=1461408/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=103528 CPUtime=459.73
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 29846 662 0 0 45954 19 0 0 25 0 1 0 58805061 106012672 23012 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 25882 23012 408 171 0 24807 0
Current children cumulated CPU time (s) 459.73
Current children cumulated vsize (KiB) 103528

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 13170
/proc/meminfo: memFree=1452896/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=111216 CPUtime=519.7
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 31996 662 0 0 51949 21 0 0 25 0 1 0 58805061 113885184 25162 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 27804 25162 408 171 0 26729 0
Current children cumulated CPU time (s) 519.7
Current children cumulated vsize (KiB) 111216

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13170
/proc/meminfo: memFree=1442016/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=128892 CPUtime=579.67
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 36742 662 0 0 57943 24 0 0 25 0 1 0 58805061 131985408 27859 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 32223 27859 408 171 0 31148 0
Current children cumulated CPU time (s) 579.67
Current children cumulated vsize (KiB) 128892

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1428256/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=141256 CPUtime=639.65
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 40240 662 0 0 63938 27 0 0 25 0 1 0 58805061 144646144 31357 996147200 134512640 135215973 4294956304 18446744073709551615 134958601 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 35314 31357 408 171 0 34239 0
Current children cumulated CPU time (s) 639.65
Current children cumulated vsize (KiB) 141256

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 13170
/proc/meminfo: memFree=1387808/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=176508 CPUtime=819.56
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 50258 662 0 0 81922 34 0 0 25 0 1 0 58805061 180744192 41375 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 44127 41375 408 171 0 43052 0
Current children cumulated CPU time (s) 819.56
Current children cumulated vsize (KiB) 176508

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1377376/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=185576 CPUtime=879.53
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 52831 662 0 0 87917 36 0 0 25 0 1 0 58805061 190029824 43948 996147200 134512640 135215973 4294956304 18446744073709551615 135094436 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 46394 43948 408 171 0 45319 0
Current children cumulated CPU time (s) 879.53
Current children cumulated vsize (KiB) 185576

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1367264/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=210828 CPUtime=939.5
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 59442 662 0 0 93911 39 0 0 25 0 1 0 58805061 215887872 46462 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 52707 46462 408 171 0 51632 0
Current children cumulated CPU time (s) 939.5
Current children cumulated vsize (KiB) 210828

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1354976/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=223816 CPUtime=999.47
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 63040 662 0 0 99905 42 0 0 25 0 1 0 58805061 229187584 49482 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 55954 49482 408 171 0 54879 0
Current children cumulated CPU time (s) 999.47
Current children cumulated vsize (KiB) 223816

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1347616/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=230432 CPUtime=1059.44
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 64918 662 0 0 105901 43 0 0 25 0 1 0 58805061 235962368 51360 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 57608 51360 408 171 0 56533 0
Current children cumulated CPU time (s) 1059.44
Current children cumulated vsize (KiB) 230432

[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1338976/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=237960 CPUtime=1119.41
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 67026 662 0 0 111896 45 0 0 25 0 1 0 58805061 243671040 53468 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 59490 53468 408 171 0 58415 0
Current children cumulated CPU time (s) 1119.41
Current children cumulated vsize (KiB) 237960

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1332576/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=243584 CPUtime=1179.38
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 68668 662 0 0 117892 46 0 0 25 0 1 0 58805061 249430016 55110 996147200 134512640 135215973 4294956304 18446744073709551615 135094919 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 60896 55110 408 171 0 59821 0
Current children cumulated CPU time (s) 1179.38
Current children cumulated vsize (KiB) 243584

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1323296/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=251740 CPUtime=1239.35
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 70930 662 0 0 123887 48 0 0 25 0 1 0 58805061 257781760 57372 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 62935 57372 408 171 0 61860 0
Current children cumulated CPU time (s) 1239.35
Current children cumulated vsize (KiB) 251740

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1316064/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=258192 CPUtime=1299.32
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 72774 662 0 0 129883 49 0 0 25 0 1 0 58805061 264388608 59216 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 64548 59216 408 171 0 63473 0
Current children cumulated CPU time (s) 1299.32
Current children cumulated vsize (KiB) 258192

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1308512/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=264832 CPUtime=1359.3
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 74647 662 0 0 135879 51 0 0 25 0 1 0 58805061 271187968 61089 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 66208 61089 408 171 0 65133 0
Current children cumulated CPU time (s) 1359.3
Current children cumulated vsize (KiB) 264832

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1299872/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=272528 CPUtime=1419.27
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 76762 662 0 0 141875 52 0 0 25 0 1 0 58805061 279068672 63204 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 68132 63204 408 171 0 67057 0
Current children cumulated CPU time (s) 1419.27
Current children cumulated vsize (KiB) 272528

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1292256/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=279136 CPUtime=1479.24
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 78627 662 0 0 147870 54 0 0 25 0 1 0 58805061 285835264 65069 996147200 134512640 135215973 4294956304 18446744073709551615 134917511 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 69784 65069 408 171 0 68709 0
Current children cumulated CPU time (s) 1479.24
Current children cumulated vsize (KiB) 279136

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1285408/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=284928 CPUtime=1539.22
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 80317 662 0 0 153866 56 0 0 25 0 1 0 58805061 291766272 66759 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 71232 66759 408 171 0 70157 0
Current children cumulated CPU time (s) 1539.22
Current children cumulated vsize (KiB) 284928

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1276960/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=292600 CPUtime=1599.18
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 82439 662 0 0 159860 58 0 0 25 0 1 0 58805061 299622400 68881 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 73150 68881 408 171 0 72075 0
Current children cumulated CPU time (s) 1599.18
Current children cumulated vsize (KiB) 292600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1266464/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=301584 CPUtime=1659.15
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 85064 662 0 0 165856 59 0 0 25 0 1 0 58805061 308822016 71506 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 75396 71506 408 171 0 74321 0
Current children cumulated CPU time (s) 1659.15
Current children cumulated vsize (KiB) 301584

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1256928/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=310408 CPUtime=1719.13
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 87537 662 0 0 171852 61 0 0 25 0 1 0 58805061 317857792 73979 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 77602 73979 408 171 0 76527 0
Current children cumulated CPU time (s) 1719.13
Current children cumulated vsize (KiB) 310408

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1246624/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=319252 CPUtime=1779.09
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 90017 662 0 0 177847 62 0 0 25 0 1 0 58805061 326914048 76459 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 79813 76459 408 171 0 78738 0
Current children cumulated CPU time (s) 1779.09
Current children cumulated vsize (KiB) 319252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13170
/proc/meminfo: memFree=1242784/2055920 swapFree=4192812/4192956
[pid=13122] ppid=13120 vsize=322764 CPUtime=1800.09
/proc/13122/stat : 13122 (pcs.big) R 13120 13122 12010 0 -1 4194304 90973 662 0 0 179946 63 0 0 25 0 1 0 58805061 330510336 77415 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 80691 77415 408 171 0 79616 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 322764

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.36
CPU time (s): 1800.16
CPU user time (s): 1799.47
CPU system time (s): 0.685895
CPU usage (%): 99.8225
Max. virtual memory (cumulated for all children) (KiB): 322764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.685895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91635
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= 25
involuntary context switches= 15832

runsolver used 1.9977 second user time and 5.05223 second system time

The end

Launcher Data 

Begin job on node11 at 2009-07-16 06:09:40
IDJOB=2080218
IDBENCH=57039
IDSOLVER=734
FILE ID=node11/2080218-1247717380
PBS_JOBID= 9521466
Free space on /tmp= 66420 MiB

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

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

MD5SUM BENCH= 716b48a774a2867588b51873634e2600
RANDOM SEED=1553006319

node11.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.274
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.274
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:       1346120 kB
Buffers:         66748 kB
Cached:         306096 kB
SwapCached:          0 kB
Active:         335324 kB
Inactive:       304828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1346120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2172 kB
Writeback:           0 kB
Mapped:         287788 kB
Slab:            54380 kB
Committed_AS:   881052 kB
PageTables:       2420 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= 66416 MiB
End job on node11 at 2009-07-16 06:39:46