Trace number 2095092

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
Abscon 112v4 ESACSAT 13.9559 14.1296

DiagnosticValue
CHECKS747346
NODES10248

General information on the benchmark

Namecsp/pseudo/ttp/
normalized-circ-6-3.xml
MD5SUM5f02e94dfa7c928ac6b219598e0d8ae8
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.19251
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints4626
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4626
Global constraints used (with number of constraints)

Solver Data 

0.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.18/0.26	
0.18/0.26	   configuration
0.18/0.26	     name=esac.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-2095092-1247406586.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.38/0.44	     nbVariables=540  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2  nbTotalValues=1080
0.38/0.44	       =>  wckTime=0.178  cpuTime=0.14  mem=8M867
0.38/0.45	   
0.38/0.45	   predicates being loaded...
0.48/0.52	   
0.48/0.52	   constraints being loaded...
2.85/2.95	     nbConstraints=4481  nbGlobalConstraints=5  nbMergedConstraints=150  nbConvertedConstraints=630
2.85/2.95	     nbConvertConstraintsChecks=3256  nbExtensionStructures=2  nbSharedExtensionStructures=628  nbConflictsStructures=17
2.85/2.95	     nbSharedConflictsStructures=4417  nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5
2.85/2.95	     nbEvaluationManagers=16  nbSharedEvaluationManagers=3830  minDegree=13  maxDegree=80  minArity=2  avgArity=5.04
2.85/2.95	     maxArity=332  nbGenerators=5  nbFusions=0  symmetryWckTime=0.711  symmetryCpuTime=0.34
2.85/2.95	       =>  wckTime=2.681  cpuTime=2.03  mem=34M33
2.95/3.07	   
2.95/3.07	   solver IterativeSystematicSolver being built... 
3.14/3.29	   
3.14/3.29	   INFO : Forward propagation technique limited 
3.34/3.40	       =>  wckTime=3.139  cpuTime=2.3  mem=30M819
3.73/3.84	   
3.73/3.84	   preprocessing
3.73/3.84	     nbConstraintChecks=38186  nbValidityChecks=203702  nbPropagations=2295  nbRevisions=166099
3.73/3.84	     nbUselessRevisions=165074  nbSingletonTests=755  nbEffectiveSingletonTests=0  nbACRemovals=0  nbFoundSingletons=0
3.73/3.84	     nbRemovedValues=0  detectedInconsistency=no
3.73/3.84	       =>  wckTime=0.433  cpuTime=0.39  mem=32M896
8.30/8.48	   
8.30/8.48	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M918)
13.84/14.08	   
13.84/14.08	   search
13.84/14.08	     run=7  nbConstraintChecks=709160  nbValidityChecks=4766353  minDepth=183  maxDepth=540  nbPropagations=166053
13.84/14.08	     nbRevisions=11691339  nbUselessRevisions=11528247  nbAssignments=10248  nbFailedAssignments=443  nbBacktracks=7728
13.84/14.08	     nbVisitedNodes=11549  nbRestartNogoods=25  nbFoundSolutions=1  nbSEliminables=0  nbREliminables=312.11
13.84/14.08	     nbIEliminables=131  nbDEliminables=0  nbPEliminables=0
13.84/14.08	       =>  wckTime=10.67  cpuTime=10.45  mem=33M918
13.84/14.08	   
13.84/14.08	   global
13.84/14.08	     nbConstraintChecks=747346  nbValidityChecks=4970055  nbPropagations=168348  nbRevisions=11857438
13.84/14.08	     nbUselessRevisions=11693321  nbRestartNogoods=25  solvingWckTime=10.672  solvingCpuTime=10.46  expiredTime=no
13.84/14.08	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=12.73  globalCpuTime=12.81
13.84/14.08	       =>  wckTime=13.813  cpuTime=12.76  mem=33M918
13.84/14.08	   
13.84/14.08	s SATISFIABLE
13.84/14.08	v 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 
13.84/14.08	d NODES 10248
13.84/14.08	d CHECKS 747346
13.84/14.08	   
13.84/14.08	   totalWckTime=13.89  totalCpuTime=12.81

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095092-1247406586/watcher-2095092-1247406586 -o /tmp/evaluation-result-2095092-1247406586/solver-2095092-1247406586 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095092-1247406586.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.00 2.00 1.95 2/80 31456
/proc/meminfo: memFree=1549104/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=10676 CPUtime=0
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27726048 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 2669 474 207 9 0 1184 0
[pid=31456/tid=31457] ppid=31454 vsize=10676 CPUtime=0
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27726049 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 3035096 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.083564 s]
/proc/loadavg: 2.00 2.00 1.95 2/80 31456
/proc/meminfo: memFree=1549104/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=864148 CPUtime=0.07
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 3140 0 1 0 5 2 0 0 18 0 9 0 27726048 884887552 2625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 216037 2625 1245 9 0 210930 0
[pid=31456/tid=31457] ppid=31454 vsize=864148 CPUtime=0.05
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 2225 0 1 0 4 1 0 0 20 0 9 0 27726049 884887552 2625 996147200 134512640 134550932 4294955968 18446744073709551615 4125967361 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148

[startup+0.101566 s]
/proc/loadavg: 2.00 2.00 1.95 2/80 31456
/proc/meminfo: memFree=1549104/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=865984 CPUtime=0.08
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 3732 0 1 0 6 2 0 0 18 0 9 0 27726048 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 216496 3200 1695 9 0 210981 0
[pid=31456/tid=31457] ppid=31454 vsize=865984 CPUtime=0.06
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 2815 0 1 0 5 1 0 0 18 0 9 0 27726049 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 2629284 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301608 s]
/proc/loadavg: 2.00 2.00 1.95 2/80 31456
/proc/meminfo: memFree=1549104/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=866380 CPUtime=0.28
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 5804 0 1 0 24 4 0 0 18 0 9 0 27726048 887173120 5183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 216595 5183 1970 9 0 211053 0
[pid=31456/tid=31457] ppid=31454 vsize=866380 CPUtime=0.23
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 4823 0 1 0 20 3 0 0 19 0 9 0 27726049 887173120 5183 996147200 134512640 134550932 4294955968 18446744073709551615 102526294 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701685 s]
/proc/loadavg: 2.00 2.00 1.95 2/80 31456
/proc/meminfo: memFree=1549104/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=867732 CPUtime=0.68
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 8685 0 1 0 63 5 0 0 18 0 9 0 27726048 888557568 8039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 216933 8039 2034 9 0 211369 0
[pid=31456/tid=31457] ppid=31454 vsize=867732 CPUtime=0.51
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 7325 0 1 0 47 4 0 0 21 0 9 0 27726049 888557568 8039 996147200 134512640 134550932 4294955968 18446744073709551615 4126736821 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867732

[startup+1.50184 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31465
/proc/meminfo: memFree=1505704/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=867732 CPUtime=1.47
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 17165 0 1 0 125 22 0 0 18 0 9 0 27726048 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 216933 16516 2043 9 0 211369 0
[pid=31456/tid=31457] ppid=31454 vsize=867732 CPUtime=1.23
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 15750 0 1 0 103 20 0 0 25 0 9 0 27726049 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4126488856 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 27726051 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 27726051 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27726051 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27726053 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=867732 CPUtime=0.21
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 717 0 0 0 21 0 0 0 15 0 9 0 27726053 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27726053 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=867732 CPUtime=0
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27726053 888557568 16516 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867732

[startup+3.10216 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31465
/proc/meminfo: memFree=1483304/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=3.05
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 33825 979 1 0 245 36 23 1 18 0 9 0 27726048 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23785 2659 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=2.5
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 21170 979 1 0 196 30 23 1 19 0 9 0 27726049 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 103229374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.49
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 10863 979 0 0 22 3 23 1 17 0 9 0 27726051 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.5
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 943 979 0 0 26 0 23 1 15 0 9 0 27726053 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 13 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23785 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868176

[startup+6.30179 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31469
/proc/meminfo: memFree=1463272/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=6.22
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 43477 979 1 0 559 39 23 1 18 0 9 0 27726048 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23902 2662 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=5.54
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 29946 979 1 0 498 32 23 1 25 0 9 0 27726049 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4127266737 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.51
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 11638 979 0 0 24 3 23 1 17 0 9 0 27726051 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 15 0 9 0 27726051 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.6
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 1015 979 0 0 35 1 23 1 15 0 9 0 27726053 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 42 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23902 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868176

[startup+12.702 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31471
/proc/meminfo: memFree=1463016/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=12.55
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 43533 979 1 0 1192 39 23 1 18 0 9 0 27726048 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23920 2662 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=11.82
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 29950 979 1 0 1126 32 23 1 25 0 9 0 27726049 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4127273868 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.51
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 11638 979 0 0 24 3 23 1 17 0 9 0 27726051 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 15 0 9 0 27726051 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.65
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 1067 979 0 0 40 1 23 1 15 0 9 0 27726053 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 42 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868176

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

[startup+13.5022 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31471
/proc/meminfo: memFree=1463080/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=13.34
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 43535 979 1 0 1271 39 23 1 18 0 9 0 27726048 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23921 2662 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=12.61
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 29950 979 1 0 1205 32 23 1 25 0 9 0 27726049 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4127117037 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.51
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 11638 979 0 0 24 3 23 1 16 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 15 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.65
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 1069 979 0 0 40 1 23 1 17 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 42 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.34
Current children cumulated vsize (KiB) 868176

[startup+13.9023 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31471
/proc/meminfo: memFree=1463080/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=13.74
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 43535 979 1 0 1311 39 23 1 18 0 9 0 27726048 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23921 2662 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=13.01
/proc/31456/task/31457/stat : 31457 (java) R 31454 31456 30737 0 -1 64 29950 979 1 0 1245 32 23 1 25 0 9 0 27726049 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4127282004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.51
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 11638 979 0 0 24 3 23 1 16 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 15 0 9 0 27726051 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.65
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 1069 979 0 0 40 1 23 1 17 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 42 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 868176

[startup+14.1023 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 31471
/proc/meminfo: memFree=1463080/2055924 swapFree=4192812/4192956
[pid=31456] ppid=31454 vsize=868176 CPUtime=13.92
/proc/31456/stat : 31456 (java) S 31454 31456 30737 0 -1 0 43544 979 1 0 1329 39 23 1 18 0 9 0 27726048 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31456/statm: 217044 23925 2662 9 0 211480 0
[pid=31456/tid=31457] ppid=31454 vsize=868176 CPUtime=13.2
/proc/31456/task/31457/stat : 31457 (java) S 31454 31456 30737 0 -1 64 29958 979 1 0 1263 33 23 1 25 0 9 0 27726049 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31459] ppid=31454 vsize=868176 CPUtime=0.51
/proc/31456/task/31459/stat : 31459 (java) S 31454 31456 30737 0 -1 64 11638 979 0 0 24 3 23 1 16 0 9 0 27726051 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31460] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31460/stat : 31460 (java) S 31454 31456 30737 0 -1 64 20 979 0 0 0 0 23 1 16 0 9 0 27726051 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31461] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31461/stat : 31461 (java) S 31454 31456 30737 0 -1 64 8 979 0 0 0 0 23 1 15 0 9 0 27726051 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31462] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31462/stat : 31462 (java) S 31454 31456 30737 0 -1 64 2 979 0 0 0 0 23 1 18 0 9 0 27726053 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31463] ppid=31454 vsize=868176 CPUtime=0.65
/proc/31456/task/31463/stat : 31463 (java) S 31454 31456 30737 0 -1 64 1070 979 0 0 40 1 23 1 16 0 9 0 27726053 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31464] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31464/stat : 31464 (java) S 31454 31456 30737 0 -1 64 1 979 0 0 0 0 23 1 19 0 9 0 27726053 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31456/tid=31465] ppid=31454 vsize=868176 CPUtime=0.24
/proc/31456/task/31465/stat : 31465 (java) S 31454 31456 30737 0 -1 64 42 979 0 0 0 0 23 1 15 0 9 0 27726053 889012224 23925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 868176

Child status: 0
Real time (s): 14.1296
CPU time (s): 13.9559
CPU user time (s): 13.5279
CPU system time (s): 0.427934
CPU usage (%): 98.7702
Max. virtual memory (cumulated for all children) (KiB): 868176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5279
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44552
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2377
involuntary context switches= 2989

runsolver used 0.020996 second user time and 0.055991 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-12 15:49:46
IDJOB=2095092
IDBENCH=54864
IDSOLVER=774
FILE ID=node6/2095092-1247406586
PBS_JOBID= 9510632
Free space on /tmp= 66404 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/ttp/normalized-circ-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095092-1247406586/watcher-2095092-1247406586 -o /tmp/evaluation-result-2095092-1247406586/solver-2095092-1247406586 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095092-1247406586.xml

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

MD5SUM BENCH= 5f02e94dfa7c928ac6b219598e0d8ae8
RANDOM SEED=360599315

node6.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.263
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.263
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:      2055924 kB
MemFree:       1549648 kB
Buffers:         76072 kB
Cached:         250192 kB
SwapCached:          0 kB
Active:         254584 kB
Inactive:       169032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1549648 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2968 kB
Writeback:           0 kB
Mapped:         117796 kB
Slab:            67736 kB
Committed_AS:   996296 kB
PageTables:       2044 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= 66400 MiB
End job on node6 at 2009-07-12 15:50:01