Trace number 2082605

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.14 1806.51

General information on the benchmark

Namecsp/super-jobShop/
super-jobShop-enddr1/normalized-super-jobShop-enddr1-4.xml
MD5SUM164f4b1b291855f1e42db974a877c836
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.9587
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints845
Maximum constraint arity2
Maximum domain size126
Number of constraints which are defined in extension0
Number of constraints which are defined in intension845
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 1438959166
0.00/0.02	c Constructing HOME/instance-2082605-1247721416.xml  with 5015 constraints
0.00/0.09	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-2082605-1247721416/watcher-2082605-1247721416 -o /tmp/evaluation-result-2082605-1247721416/solver-2082605-1247721416 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1438959166 HOME/instance-2082605-1247721416.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.99 2.00 2.00 4/72 13003
/proc/meminfo: memFree=1199080/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=18576 CPUtime=0
/proc/13003/stat : 13003 (runsolver) R 13001 13003 11570 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 59208444 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13003/statm: 4644 284 249 26 0 2626 0

[startup+0.105922 s]
/proc/loadavg: 1.99 2.00 2.00 4/72 13003
/proc/meminfo: memFree=1199080/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=7000 CPUtime=0.08
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 1487 662 0 0 8 0 0 0 25 0 1 0 59208444 7168000 1002 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 1750 1002 404 171 0 675 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7000

[startup+0.202945 s]
/proc/loadavg: 1.99 2.00 2.00 4/72 13003
/proc/meminfo: memFree=1199080/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=8420 CPUtime=0.18
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 1976 662 0 0 17 1 0 0 25 0 1 0 59208444 8622080 1333 996147200 134512640 135215973 4294956304 18446744073709551615 134902528 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2105 1333 408 171 0 1030 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8420

[startup+0.302963 s]
/proc/loadavg: 1.99 2.00 2.00 4/72 13003
/proc/meminfo: memFree=1199080/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=9648 CPUtime=0.28
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 2330 662 0 0 27 1 0 0 25 0 1 0 59208444 9879552 1478 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2412 1478 408 171 0 1337 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9648

[startup+0.702035 s]
/proc/loadavg: 1.99 2.00 2.00 4/72 13003
/proc/meminfo: memFree=1199080/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=9784 CPUtime=0.68
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 2347 662 0 0 67 1 0 0 25 0 1 0 59208444 10018816 1495 996147200 134512640 135215973 4294956304 18446744073709551615 134591872 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2446 1495 408 171 0 1371 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9784

[startup+1.50118 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1194528/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=9944 CPUtime=1.47
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 2380 662 0 0 146 1 0 0 25 0 1 0 59208444 10182656 1528 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2486 1528 408 171 0 1411 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9944

[startup+3.10148 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1194144/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=10200 CPUtime=3.06
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 2463 662 0 0 305 1 0 0 25 0 1 0 59208444 10444800 1611 996147200 134512640 135215973 4294956304 18446744073709551615 134648448 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2550 1611 408 171 0 1475 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10200

[startup+6.30207 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1193056/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=11400 CPUtime=6.22
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 2768 662 0 0 621 1 0 0 25 0 1 0 59208444 11673600 1916 996147200 134512640 135215973 4294956304 18446744073709551615 134592272 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 2850 1916 408 171 0 1775 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11400

[startup+12.7012 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1190368/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=13616 CPUtime=12.56
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 3375 662 0 0 1254 2 0 0 25 0 1 0 59208444 13942784 2425 996147200 134512640 135215973 4294956304 18446744073709551615 4158960812 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 3404 2425 408 171 0 2329 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13616

[startup+25.5016 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1185120/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=18672 CPUtime=25.24
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 4762 662 0 0 2521 3 0 0 25 0 1 0 59208444 19120128 3618 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 4668 3618 408 171 0 3593 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 18672

[startup+51.1023 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1174816/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=28340 CPUtime=50.6
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 7498 662 0 0 5054 6 0 0 25 0 1 0 59208444 29020160 6097 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 7085 6097 408 171 0 6010 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 28340

[startup+102.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1154592/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=46928 CPUtime=101.32
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 12714 662 0 0 10122 10 0 0 25 0 1 0 59208444 48054272 10671 996147200 134512640 135215973 4294956304 18446744073709551615 134641012 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 11732 10671 408 171 0 10657 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 46928

[startup+162.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1133472/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=68332 CPUtime=160.75
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 18661 662 0 0 16061 14 0 0 25 0 1 0 59208444 69971968 15593 996147200 134512640 135215973 4294956304 18446744073709551615 134592235 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 17083 15593 408 171 0 16008 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 68332

[startup+222.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1111072/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=87440 CPUtime=220.18
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 24053 662 0 0 22000 18 0 0 25 0 1 0 59208444 89538560 20728 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 21860 20728 408 171 0 20785 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 87440

[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1088288/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=114504 CPUtime=279.61
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 31422 662 0 0 27937 24 0 0 25 0 1 0 59208444 117252096 26048 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 28626 26048 408 171 0 27551 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 114504

[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1068128/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=130820 CPUtime=339.04
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 36051 662 0 0 33877 27 0 0 25 0 1 0 59208444 133959680 30677 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 32705 30677 408 171 0 31630 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 130820

[startup+402.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1045536/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=152036 CPUtime=398.48
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 41944 662 0 0 39817 31 0 0 25 0 1 0 59208444 155684864 36057 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 38009 36057 408 171 0 36934 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 152036

[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=1024928/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=168504 CPUtime=457.91
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 46597 662 0 0 45756 35 0 0 25 0 1 0 59208444 172548096 40710 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 42126 40710 408 171 0 41051 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 168504

[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=999776/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=202948 CPUtime=517.35
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 55790 662 0 0 51694 41 0 0 25 0 1 0 59208444 207818752 45806 996147200 134512640 135215973 4294956304 18446744073709551615 134586829 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 50737 45806 408 171 0 49662 0
Current children cumulated CPU time (s) 517.35
Current children cumulated vsize (KiB) 202948

[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 13008
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=220560 CPUtime=576.78
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 60749 662 0 0 57632 46 0 0 25 0 1 0 59208444 225853440 50765 996147200 134512640 135215973 4294956304 18446744073709551615 134680740 0 0 4096 0 0 0 0 17 1 0 0
/proc/13003/statm: 55140 50765 408 171 0 54065 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 220560

[startup+642.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 13040
/proc/meminfo: memFree=957344/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=238928 CPUtime=636.44
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 65942 662 0 0 63594 50 0 0 25 0 1 0 59208444 244662272 55958 996147200 134512640 135215973 4294956304 18446744073709551615 134597628 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 59732 55958 408 171 0 58657 0
Current children cumulated CPU time (s) 636.44
Current children cumulated vsize (KiB) 238928

[startup+702.303 s]

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

[startup+882.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/73 13040
/proc/meminfo: memFree=839328/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=323292 CPUtime=876.34
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 89803 662 0 0 87568 66 0 0 25 0 1 0 59208444 331051008 78794 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 80823 78794 408 171 0 79748 0
Current children cumulated CPU time (s) 876.34
Current children cumulated vsize (KiB) 323292

[startup+942.302 s]
/proc/loadavg: 2.07 2.04 2.00 3/73 13040
/proc/meminfo: memFree=814112/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=372216 CPUtime=936.3
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 102722 662 0 0 93558 72 0 0 25 0 1 0 59208444 381149184 83520 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 93054 83520 408 171 0 91979 0
Current children cumulated CPU time (s) 936.3
Current children cumulated vsize (KiB) 372216

[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/73 13040
/proc/meminfo: memFree=791776/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=391400 CPUtime=996.28
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 108164 662 0 0 99551 77 0 0 25 0 1 0 59208444 400793600 88962 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 97850 88962 408 171 0 96775 0
Current children cumulated CPU time (s) 996.28
Current children cumulated vsize (KiB) 391400

[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 13040
/proc/meminfo: memFree=766176/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=412816 CPUtime=1056.26
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 114259 662 0 0 105545 81 0 0 25 0 1 0 59208444 422723584 95057 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 103204 95057 408 171 0 102129 0
Current children cumulated CPU time (s) 1056.26
Current children cumulated vsize (KiB) 412816

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 13040
/proc/meminfo: memFree=739680/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=434616 CPUtime=1116.22
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 120384 662 0 0 111537 85 0 0 25 0 1 0 59208444 445046784 101182 996147200 134512640 135215973 4294956304 18446744073709551615 134587333 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 108654 101182 408 171 0 107579 0
Current children cumulated CPU time (s) 1116.22
Current children cumulated vsize (KiB) 434616

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 13040
/proc/meminfo: memFree=711008/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=455504 CPUtime=1176.19
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 126334 662 0 0 117529 90 0 0 25 0 1 0 59208444 466436096 107132 996147200 134512640 135215973 4294956304 18446744073709551615 134617172 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 113876 107132 408 171 0 112801 0
Current children cumulated CPU time (s) 1176.19
Current children cumulated vsize (KiB) 455504

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13040
/proc/meminfo: memFree=680800/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=479416 CPUtime=1236.17
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 133034 662 0 0 123522 95 0 0 25 0 1 0 59208444 490921984 113832 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 119854 113832 408 171 0 118779 0
Current children cumulated CPU time (s) 1236.17
Current children cumulated vsize (KiB) 479416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13040
/proc/meminfo: memFree=657440/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=498676 CPUtime=1296.14
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 138455 662 0 0 129514 100 0 0 25 0 1 0 59208444 510644224 119253 996147200 134512640 135215973 4294956304 18446744073709551615 134533360 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 124669 119253 408 171 0 123594 0
Current children cumulated CPU time (s) 1296.14
Current children cumulated vsize (KiB) 498676

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13040
/proc/meminfo: memFree=624928/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=535396 CPUtime=1356.11
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 148245 662 0 0 135507 104 0 0 25 0 1 0 59208444 548245504 126994 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 133849 126994 408 171 0 132774 0
Current children cumulated CPU time (s) 1356.11
Current children cumulated vsize (KiB) 535396

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13040
/proc/meminfo: memFree=602592/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=552000 CPUtime=1416.1
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 153019 662 0 0 141501 109 0 0 25 0 1 0 59208444 565248000 131768 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 138000 131768 408 171 0 136925 0
Current children cumulated CPU time (s) 1416.1
Current children cumulated vsize (KiB) 552000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=581216/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=570268 CPUtime=1476.06
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 158192 662 0 0 147493 113 0 0 25 0 1 0 59208444 583954432 136941 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 142567 136941 408 171 0 141492 0
Current children cumulated CPU time (s) 1476.06
Current children cumulated vsize (KiB) 570268

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=558496/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=588236 CPUtime=1536.04
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 163295 662 0 0 153488 116 0 0 25 0 1 0 59208444 602353664 142044 996147200 134512640 135215973 4294956304 18446744073709551615 134591167 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 147059 142044 408 171 0 145984 0
Current children cumulated CPU time (s) 1536.04
Current children cumulated vsize (KiB) 588236

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=534560/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=605960 CPUtime=1596.01
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 168365 662 0 0 159482 119 0 0 25 0 1 0 59208444 620503040 147114 996147200 134512640 135215973 4294956304 18446744073709551615 134533375 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 151490 147114 408 171 0 150415 0
Current children cumulated CPU time (s) 1596.01
Current children cumulated vsize (KiB) 605960

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=507680/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=622312 CPUtime=1655.98
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 173012 662 0 0 165475 123 0 0 25 0 1 0 59208444 637247488 151761 996147200 134512640 135215973 4294956304 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 155578 151761 408 171 0 154503 0
Current children cumulated CPU time (s) 1655.98
Current children cumulated vsize (KiB) 622312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=485472/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=637936 CPUtime=1715.95
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 177488 662 0 0 171468 127 0 0 25 0 1 0 59208444 653246464 156237 996147200 134512640 135215973 4294956304 18446744073709551615 134907445 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 159484 156237 408 171 0 158409 0
Current children cumulated CPU time (s) 1715.95
Current children cumulated vsize (KiB) 637936

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=466464/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=653604 CPUtime=1775.92
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 181961 662 0 0 177462 130 0 0 25 0 1 0 59208444 669290496 160710 996147200 134512640 135215973 4294956304 18446744073709551615 134609791 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 163401 160710 408 171 0 162326 0
Current children cumulated CPU time (s) 1775.92
Current children cumulated vsize (KiB) 653604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=458848/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=659592 CPUtime=1800.01
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 183685 662 0 0 179870 131 0 0 25 0 1 0 59208444 675422208 162434 996147200 134512640 135215973 4294956304 18446744073709551615 134533329 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 164898 162434 408 171 0 163823 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 659592

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

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

[startup+1806.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=458848/2055920 swapFree=4192812/4192956
[pid=13003] ppid=13001 vsize=659592 CPUtime=1800.01
/proc/13003/stat : 13003 (pcs.big) R 13001 13003 11570 0 -1 4194304 183685 662 0 0 179870 131 0 0 25 0 1 0 59208444 675422208 162434 996147200 134512640 135215973 4294956304 18446744073709551615 134533329 0 0 4096 0 0 0 0 17 0 0 0
/proc/13003/statm: 164898 162434 408 171 0 163823 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 659592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.51
CPU time (s): 1800.14
CPU user time (s): 1798.71
CPU system time (s): 1.42578
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 659592

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

runsolver used 2.07768 second user time and 5.06723 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 07:16:56
IDJOB=2082605
IDBENCH=57606
IDSOLVER=734
FILE ID=node24/2082605-1247721416
PBS_JOBID= 9521478
Free space on /tmp= 66412 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082605-1247721416/watcher-2082605-1247721416 -o /tmp/evaluation-result-2082605-1247721416/solver-2082605-1247721416 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1438959166 HOME/instance-2082605-1247721416.xml

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

MD5SUM BENCH= 164f4b1b291855f1e42db974a877c836
RANDOM SEED=1438959166

node24.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.287
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.287
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:       1199560 kB
Buffers:         90992 kB
Cached:         523660 kB
SwapCached:          0 kB
Active:         339876 kB
Inactive:       426052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1199560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1824 kB
Writeback:           0 kB
Mapped:         162820 kB
Slab:            75264 kB
Committed_AS:   705836 kB
PageTables:       2180 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= 66404 MiB
End job on node24 at 2009-07-16 07:47:05