Trace number 2068470

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 1808.42

General information on the benchmark

Namecsp/pseudo/
primesDimacs/normalized-g-125-18.xml
MD5SUM22689bcc3124eea2b7d80bb2193e6792
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4500
Number of constraints72413
Maximum constraint arity18
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension72413
Global constraints used (with number of constraints)

Solver Data 

0.00/0.07	c has operations which may create big domains
0.00/0.07	c big-domain mode
0.00/0.08	c Seed is 301249292
0.00/0.08	c Constructing HOME/instance-2068470-1247706613.xml  with 151326 constraints
3.66/3.77	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-2068470-1247706613/watcher-2068470-1247706613 -o /tmp/evaluation-result-2068470-1247706613/solver-2068470-1247706613 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 301249292 HOME/instance-2068470-1247706613.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.01 2.07 2.02 4/82 10839
/proc/meminfo: memFree=930440/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=5356 CPUtime=0
/proc/10839/stat : 10839 (pcssolve) R 10837 10839 9232 0 -1 4194304 305 0 0 0 0 0 0 0 22 0 1 0 57725829 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231882679108 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/10839/statm: 1339 242 201 169 0 50 0
[pid=10840] ppid=10839 vsize=0 CPUtime=0
/proc/10840/stat : 10840 (fgrep) Z 10839 10839 9232 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 57725829 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/10840/statm: 0 0 0 0 0 0 0
[pid=10841] ppid=10839 vsize=0 CPUtime=0
/proc/10841/stat : 10841 (grep) Z 10839 10839 9232 0 -1 4194316 162 0 0 0 0 0 0 0 17 0 1 0 57725829 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/10841/statm: 0 0 0 0 0 0 0

[startup+0.104889 s]
/proc/loadavg: 2.01 2.07 2.02 4/82 10839
/proc/meminfo: memFree=930440/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=5064 CPUtime=0.08
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 944 826 0 0 2 0 5 1 20 0 1 0 57725829 5185536 553 996147200 134512640 135215973 4294956304 18446744073709551615 4160505753 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 1266 553 361 171 0 191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5064

[startup+0.201902 s]
/proc/loadavg: 2.01 2.07 2.02 4/82 10839
/proc/meminfo: memFree=930440/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=6816 CPUtime=0.18
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 1455 826 0 0 12 0 5 1 21 0 1 0 57725829 6979584 946 996147200 134512640 135215973 4294956304 18446744073709551615 4158918177 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 1704 946 385 171 0 629 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6816

[startup+0.301917 s]
/proc/loadavg: 2.01 2.07 2.02 4/82 10839
/proc/meminfo: memFree=930440/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=8440 CPUtime=0.28
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 1894 826 0 0 21 1 5 1 22 0 1 0 57725829 8642560 1239 996147200 134512640 135215973 4294956304 18446744073709551615 134590027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 2110 1239 385 171 0 1035 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8440

[startup+0.701963 s]
/proc/loadavg: 2.01 2.07 2.02 4/82 10839
/proc/meminfo: memFree=930440/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=12408 CPUtime=0.67
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3210 826 0 0 60 1 5 1 25 0 1 0 57725829 12705792 2144 996147200 134512640 135215973 4294956304 18446744073709551615 134550960 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 3102 2144 385 171 0 2027 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 12408

[startup+1.50106 s]
/proc/loadavg: 2.01 2.07 2.02 3/83 10845
/proc/meminfo: memFree=920256/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=20712 CPUtime=1.48
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 5986 826 0 0 139 3 5 1 25 0 1 0 57725829 21209088 4002 996147200 134512640 135215973 4294956304 18446744073709551615 134761780 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 5178 4002 385 171 0 4103 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20712

[startup+3.10224 s]
/proc/loadavg: 2.01 2.06 2.02 3/83 10845
/proc/meminfo: memFree=910528/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=37060 CPUtime=3.06
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 11479 826 0 0 295 5 5 1 25 0 1 0 57725829 37949440 7665 996147200 134512640 135215973 4294956304 18446744073709551615 134846467 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 9265 7665 385 171 0 8190 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37060

[startup+6.30162 s]
/proc/loadavg: 2.01 2.06 2.02 3/83 10845
/proc/meminfo: memFree=864384/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=77332 CPUtime=6.25
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 27861 826 0 0 607 12 5 1 25 0 1 0 57725829 79187968 16780 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 19333 16780 409 171 0 18258 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 77332

[startup+12.7014 s]
/proc/loadavg: 2.01 2.06 2.02 3/83 10845
/proc/meminfo: memFree=864008/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=77728 CPUtime=12.62
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 40410 826 0 0 1239 17 5 1 25 0 1 0 57725829 79593472 16865 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 19432 16865 409 171 0 18357 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 77728

[startup+25.5019 s]
/proc/loadavg: 2.01 2.06 2.01 3/83 10845
/proc/meminfo: memFree=860040/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=81732 CPUtime=25.38
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 68047 826 0 0 2504 28 5 1 25 0 1 0 57725829 83693568 17852 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 20433 17852 409 171 0 19358 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 81732

[startup+51.1019 s]
/proc/loadavg: 2.00 2.05 2.01 3/83 10845
/proc/meminfo: memFree=852680/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=89484 CPUtime=50.87
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 111681 826 0 0 5034 47 5 1 25 0 1 0 57725829 91631616 19797 996147200 134512640 135215973 4294956304 18446744073709551615 134583365 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 22371 19797 409 171 0 21296 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 89484

[startup+102.302 s]
/proc/loadavg: 2.23 2.10 2.03 4/83 10845
/proc/meminfo: memFree=838984/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=102624 CPUtime=101.86
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 238373 826 0 0 10076 104 5 1 25 0 1 0 57725829 105086976 23096 996147200 134512640 135215973 4294956304 18446744073709551615 134649105 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 25656 23096 409 171 0 24581 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 102624

[startup+162.302 s]
/proc/loadavg: 2.33 2.15 2.04 3/83 10845
/proc/meminfo: memFree=819336/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=122020 CPUtime=161.6
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 345061 826 0 0 15995 159 5 1 25 0 1 0 57725829 124948480 28022 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 30505 28022 409 171 0 29430 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 122020

[startup+222.306 s]
/proc/loadavg: 2.11 2.11 2.04 3/83 10845
/proc/meminfo: memFree=796872/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=144856 CPUtime=221.36
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 439619 826 0 0 21933 197 5 1 25 0 1 0 57725829 148332544 33611 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 36214 33611 409 171 0 35139 0
Current children cumulated CPU time (s) 221.36
Current children cumulated vsize (KiB) 144856

[startup+282.301 s]
/proc/loadavg: 2.04 2.09 2.03 3/83 10846
/proc/meminfo: memFree=839744/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=166828 CPUtime=281.12
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 527780 826 0 0 27875 231 5 1 25 0 1 0 57725829 170831872 39198 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 41707 39198 409 171 0 40632 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 166828

[startup+342.301 s]
/proc/loadavg: 2.01 2.07 2.03 3/83 10846
/proc/meminfo: memFree=818560/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=187788 CPUtime=340.88
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 667684 826 0 0 33794 288 5 1 25 0 1 0 57725829 192294912 44365 996147200 134512640 135215973 4294956304 18446744073709551615 134977013 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 46947 44365 409 171 0 45872 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 187788

[startup+402.301 s]
/proc/loadavg: 2.00 2.06 2.02 3/83 10846
/proc/meminfo: memFree=797248/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=210496 CPUtime=400.64
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 833417 826 0 0 39703 355 5 1 25 0 1 0 57725829 215547904 49685 996147200 134512640 135215973 4294956304 18446744073709551615 134600298 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 52624 49685 409 171 0 51549 0
Current children cumulated CPU time (s) 400.64
Current children cumulated vsize (KiB) 210496

[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/83 10846
/proc/meminfo: memFree=768640/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=238340 CPUtime=460.39
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 981100 826 0 0 45619 414 5 1 25 0 1 0 57725829 244060160 56820 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 59585 56820 409 171 0 58510 0
Current children cumulated CPU time (s) 460.39
Current children cumulated vsize (KiB) 238340

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/83 10846
/proc/meminfo: memFree=747712/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=258856 CPUtime=520.15
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 1181846 826 0 0 51519 490 5 1 25 0 1 0 57725829 265068544 62078 996147200 134512640 135215973 4294956304 18446744073709551615 134982801 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 64714 62078 409 171 0 63639 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 258856

[startup+582.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 10846
/proc/meminfo: memFree=718792/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=287080 CPUtime=579.91
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 1351580 826 0 0 57426 559 5 1 25 0 1 0 57725829 293969920 69288 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/10839/statm: 71770 69288 409 171 0 70695 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 287080

[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 10846
/proc/meminfo: memFree=688008/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=321288 CPUtime=639.66

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

[startup+882.307 s]
/proc/loadavg: 2.19 2.06 2.01 3/83 10887
/proc/meminfo: memFree=507536/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=436012 CPUtime=878.51
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 1919282 826 0 0 87051 794 5 1 25 0 1 0 57725829 446476288 106245 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 109003 106245 409 171 0 107928 0
Current children cumulated CPU time (s) 878.51
Current children cumulated vsize (KiB) 436012

[startup+942.302 s]
/proc/loadavg: 2.20 2.08 2.02 3/83 10887
/proc/meminfo: memFree=486672/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=456476 CPUtime=938.22
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2007353 826 0 0 92978 838 5 1 25 0 1 0 57725829 467431424 111496 996147200 134512640 135215973 4294956304 18446744073709551615 134600167 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 114119 111496 409 171 0 113044 0
Current children cumulated CPU time (s) 938.22
Current children cumulated vsize (KiB) 456476

[startup+1002.3 s]
/proc/loadavg: 2.24 2.11 2.03 5/83 10887
/proc/meminfo: memFree=466192/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=476240 CPUtime=997.93
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2098157 826 0 0 98906 881 5 1 25 0 1 0 57725829 487669760 116528 996147200 134512640 135215973 4294956304 18446744073709551615 134583377 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 119060 116528 409 171 0 117985 0
Current children cumulated CPU time (s) 997.93
Current children cumulated vsize (KiB) 476240

[startup+1062.3 s]
/proc/loadavg: 2.30 2.15 2.05 3/83 10887
/proc/meminfo: memFree=446800/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=495344 CPUtime=1057.64
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2184866 826 0 0 104840 918 5 1 25 0 1 0 57725829 507232256 121401 996147200 134512640 135215973 4294956304 18446744073709551615 134600245 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 123836 121401 409 171 0 122761 0
Current children cumulated CPU time (s) 1057.64
Current children cumulated vsize (KiB) 495344

[startup+1122.3 s]
/proc/loadavg: 2.25 2.16 2.06 4/83 10887
/proc/meminfo: memFree=424400/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=517248 CPUtime=1117.35
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2275579 826 0 0 110767 962 5 1 25 0 1 0 57725829 529661952 126998 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 129312 126998 409 171 0 128237 0
Current children cumulated CPU time (s) 1117.35
Current children cumulated vsize (KiB) 517248

[startup+1182.3 s]
/proc/loadavg: 2.24 2.18 2.07 3/83 10887
/proc/meminfo: memFree=402064/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=547536 CPUtime=1177.05
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2365512 826 0 0 116694 1005 5 1 25 0 1 0 57725829 560676864 132636 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 136884 132636 409 171 0 135809 0
Current children cumulated CPU time (s) 1177.05
Current children cumulated vsize (KiB) 547536

[startup+1242.3 s]
/proc/loadavg: 2.19 2.18 2.08 3/83 10887
/proc/meminfo: memFree=379664/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=569036 CPUtime=1236.77
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2455224 826 0 0 122624 1047 5 1 25 0 1 0 57725829 582692864 138134 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 142259 138134 409 171 0 141184 0
Current children cumulated CPU time (s) 1236.77
Current children cumulated vsize (KiB) 569036

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.08 3/83 10887
/proc/meminfo: memFree=356560/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=591900 CPUtime=1296.48
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2540347 826 0 0 128553 1089 5 1 25 0 1 0 57725829 606105600 143963 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 147975 143963 409 171 0 146900 0
Current children cumulated CPU time (s) 1296.48
Current children cumulated vsize (KiB) 591900

[startup+1362.3 s]
/proc/loadavg: 2.19 2.19 2.09 3/83 10887
/proc/meminfo: memFree=330000/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=617948 CPUtime=1356.19
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2631204 826 0 0 134484 1129 5 1 25 0 1 0 57725829 632778752 150606 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 154487 150606 409 171 0 153412 0
Current children cumulated CPU time (s) 1356.19
Current children cumulated vsize (KiB) 617948

[startup+1422.3 s]
/proc/loadavg: 2.30 2.22 2.10 3/83 10887
/proc/meminfo: memFree=306192/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=640700 CPUtime=1415.9
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2716695 826 0 0 140417 1167 5 1 25 0 1 0 57725829 656076800 156393 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 160175 156393 409 171 0 159100 0
Current children cumulated CPU time (s) 1415.9
Current children cumulated vsize (KiB) 640700

[startup+1482.3 s]
/proc/loadavg: 2.42 2.26 2.12 3/83 10887
/proc/meminfo: memFree=287056/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=659376 CPUtime=1475.6
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2823970 826 0 0 146336 1218 5 1 25 0 1 0 57725829 675201024 161168 996147200 134512640 135215973 4294956304 18446744073709551615 134590969 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 164844 161168 409 171 0 163769 0
Current children cumulated CPU time (s) 1475.6
Current children cumulated vsize (KiB) 659376

[startup+1542.31 s]
/proc/loadavg: 2.41 2.28 2.14 3/83 10887
/proc/meminfo: memFree=273040/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=673128 CPUtime=1535.32
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 2996540 826 0 0 152231 1295 5 1 25 0 1 0 57725829 689283072 164654 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 168282 164654 409 171 0 167207 0
Current children cumulated CPU time (s) 1535.32
Current children cumulated vsize (KiB) 673128

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.13 3/83 10887
/proc/meminfo: memFree=258128/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=687640 CPUtime=1595.03
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3171987 826 0 0 158121 1376 5 1 25 0 1 0 57725829 704143360 168393 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 171910 168393 409 171 0 170835 0
Current children cumulated CPU time (s) 1595.03
Current children cumulated vsize (KiB) 687640

[startup+1662.3 s]
/proc/loadavg: 2.33 2.26 2.14 3/83 10887
/proc/meminfo: memFree=244304/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=701096 CPUtime=1654.74
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3339654 826 0 0 164010 1458 5 1 25 0 1 0 57725829 717922304 171814 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 175274 171814 409 171 0 174199 0
Current children cumulated CPU time (s) 1654.74
Current children cumulated vsize (KiB) 701096

[startup+1722.3 s]
/proc/loadavg: 2.32 2.26 2.14 3/83 10887
/proc/meminfo: memFree=230288/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=715096 CPUtime=1714.44
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3497344 826 0 0 169907 1531 5 1 25 0 1 0 57725829 732258304 175344 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 178774 175344 409 171 0 177699 0
Current children cumulated CPU time (s) 1714.44
Current children cumulated vsize (KiB) 715096

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.15 4/83 10887
/proc/meminfo: memFree=215888/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=728984 CPUtime=1774.16
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3619045 826 0 0 175826 1584 5 1 25 0 1 0 57725829 746479616 178883 996147200 134512640 135215973 4294956304 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 182246 178883 409 171 0 181171 0
Current children cumulated CPU time (s) 1774.16
Current children cumulated vsize (KiB) 728984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.3 s]
/proc/loadavg: 2.20 2.23 2.14 3/83 10887
/proc/meminfo: memFree=208784/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=735868 CPUtime=1800.04
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4194304 3662954 826 0 0 178391 1607 5 1 25 0 1 0 57725829 753528832 180644 996147200 134512640 135215973 4294956304 18446744073709551615 134533269 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 183967 180644 409 171 0 182892 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 735868

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

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

[startup+1808.41 s]
/proc/loadavg: 2.20 2.23 2.14 3/84 10888
/proc/meminfo: memFree=857352/2055920 swapFree=4192812/4192956
[pid=10839] ppid=10837 vsize=0 CPUtime=1800.14
/proc/10839/stat : 10839 (pcs.big) R 10837 10839 9232 0 -1 4195332 3662954 826 0 0 178391 1617 5 1 25 0 1 0 57725829 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/10839/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.42
CPU time (s): 1800.16
CPU user time (s): 1783.97
CPU system time (s): 16.1975
CPU usage (%): 99.5434
Max. virtual memory (cumulated for all children) (KiB): 735868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.97
system time used= 16.1975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3663780
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= 23
involuntary context switches= 56869

runsolver used 1.67575 second user time and 4.93925 second system time

The end

Launcher Data 

Begin job on node75 at 2009-07-16 03:10:14
IDJOB=2068470
IDBENCH=54868
IDSOLVER=734
FILE ID=node75/2068470-1247706613
PBS_JOBID= 9521166
Free space on /tmp= 66244 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-g-125-18.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068470-1247706613/watcher-2068470-1247706613 -o /tmp/evaluation-result-2068470-1247706613/solver-2068470-1247706613 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 301249292 HOME/instance-2068470-1247706613.xml

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

MD5SUM BENCH= 22689bcc3124eea2b7d80bb2193e6792
RANDOM SEED=301249292

node75.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.232
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.232
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:        930984 kB
Buffers:         56240 kB
Cached:         228000 kB
SwapCached:          0 kB
Active:         820060 kB
Inactive:       235156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        930984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11180 kB
Writeback:           0 kB
Mapped:         791412 kB
Slab:            53376 kB
Committed_AS:  1295716 kB
PageTables:       3352 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= 66244 MiB
End job on node75 at 2009-07-16 03:40:24