Trace number 2098555

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 ACSAT 11.6722 11.783

DiagnosticValue
CHECKS9178230
NODES479

General information on the benchmark

Namecsp/queens/
normalized-queens-180.xml
MD5SUMc14abf4d20a38dc3ddd30b1ce4c8122e
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 benchmark9.79051
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints16110
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16110
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-2098555-1247416088.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.32	   
0.29/0.32	   variables being loaded...
0.29/0.38	     nbVariables=180  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180  nbTotalValues=32400
0.29/0.38	       =>  wckTime=0.131  cpuTime=0.11  mem=8M867
0.29/0.38	   
0.29/0.38	   predicates being loaded...
0.39/0.43	   
0.39/0.43	   constraints being loaded...
6.25/6.32	     nbConstraints=16112  nbGlobalConstraints=2  nbConvertedConstraints=16110  nbConvertConstraintsChecks=5832000
6.25/6.32	     nbExtensionStructures=180  nbSharedExtensionStructures=15930  nbConflictsStructures=180
6.25/6.32	     nbSharedConflictsStructures=15930  nbSharedBinaryRepresentations=45452  minDegree=181  maxDegree=181  minArity=2
6.25/6.32	     avgArity=2.02  maxArity=180  nbGenerators=1  nbFusions=1  symmetryWckTime=0.98  symmetryCpuTime=0.5  nbCliques=1
6.25/6.32	       =>  wckTime=6.076  cpuTime=5.19  mem=45M623
6.45/6.55	   
6.45/6.55	   solver IterativeSystematicSolver being built... 
6.55/6.63	   
6.55/6.63	   INFO : Forward propagation technique limited 
6.64/6.71	       =>  wckTime=6.461  cpuTime=5.32  mem=44M341
6.64/6.74	   
6.64/6.74	   preprocessing
6.64/6.74	     nbConstraintChecks=532  nbPropagations=181  nbRevisions=2  nbUselessRevisions=0  nbRemovedValues=2
6.64/6.74	     nbRemovedTuples=16109  detectedInconsistency=no
6.64/6.74	       =>  wckTime=0.03  cpuTime=0.02  mem=45M405
11.61/11.71	   
11.61/11.71	   search
11.61/11.71	     run=2  nbConstraintChecks=9177701  minDepth=176  maxDepth=180  nbPropagations=83813  nbRevisions=140667
11.61/11.71	     nbUselessRevisions=47688  nbAssignments=479  nbFailedAssignments=26  nbBacktracks=40  nbVisitedNodes=531
11.61/11.71	     nbRestartNogoods=8  nbFoundSolutions=1  mapSize=36  nbInferences=0  nbTooLargeKeys=0  nbSEliminables=0
11.61/11.71	     nbREliminables=0  nbIEliminables=102.16  nbDEliminables=0  nbPEliminables=0
11.61/11.71	       =>  wckTime=5.006  cpuTime=4.92  mem=47M403
11.61/11.72	   
11.61/11.72	   global
11.61/11.72	     nbConstraintChecks=9178233  nbPropagations=83994  nbRevisions=140669  nbUselessRevisions=47688  nbRestartNogoods=8
11.61/11.72	     solvingWckTime=5.008  solvingCpuTime=4.92  expiredTime=no  totalExploration=no  nbFoundSolutions=1
11.61/11.72	     firstSolutionCpuTime=10.21  globalCpuTime=10.27
11.61/11.72	       =>  wckTime=11.471  cpuTime=10.24  mem=47M403
11.61/11.72	   
11.61/11.72	s SATISFIABLE
11.61/11.72	v 107 95 70 115 9 5 13 175 73 86 174 6 101 76 89 7 173 88 105 8 81 112 172 10 84 171 62 170 83 11 169 75 12 92 168 14 167 15 166 16 165 17 164 18 163 19 162 114 161 100 20 120 160 21 85 159 22 158 111 113 23 127 55 51 156 25 63 123 54 157 116 154 119 24 124 56 155 61 26 121 153 28 152 29 117 58 150 43 33 27 30 149 34 145 151 144 99 69 179 35 52 91 45 148 37 40 36 48 135 146 136 139 41 50 130 132 141 42 138 46 142 39 137 131 38 143 140 47 49 44 134 98 96 4 93 106 32 176 147 31 97 80 177 74 129 79 72 66 71 103 133 60 64 57 104 108 67 122 90 128 82 110 68 118 126 109 94 125 178 53 65 78 3 59 87 1 77 2 102 180 
11.61/11.72	d NODES 479
11.61/11.72	d CHECKS 9178233
11.61/11.72	   
11.61/11.72	   totalWckTime=11.537  totalCpuTime=10.28

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-2098555-1247416088/watcher-2098555-1247416088 -o /tmp/evaluation-result-2098555-1247416088/solver-2098555-1247416088 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098555-1247416088.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.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=18576 CPUtime=0
/proc/1101/stat : 1101 (runsolver) R 1099 1101 1025 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28673484 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1101/statm: 4644 284 249 26 0 2626 0

[startup+0.09007 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=865980 CPUtime=0.07
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 3667 0 1 0 6 1 0 0 21 0 9 0 28673484 886763520 3150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216495 3150 1682 9 0 210980 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865980

[startup+0.101109 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=865980 CPUtime=0.08
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 3741 0 1 0 7 1 0 0 21 0 9 0 28673484 886763520 3209 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216495 3209 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980

[startup+0.301096 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=866380 CPUtime=0.29
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 5997 0 1 0 25 4 0 0 21 0 9 0 28673484 887173120 5363 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216595 5363 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.701137 s]
/proc/loadavg: 2.29 2.10 2.07 4/80 1101
/proc/meminfo: memFree=1568404/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867776 CPUtime=0.68
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 9537 0 1 0 62 6 0 0 21 0 9 0 28673484 888602624 8891 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216944 8891 2037 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776

[startup+1.50123 s]
/proc/loadavg: 2.29 2.10 2.07 3/89 1110
/proc/meminfo: memFree=1520396/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867688 CPUtime=1.48
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 18758 0 1 0 137 11 0 0 21 0 9 0 28673484 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216922 18086 2026 9 0 211380 0
[pid=1101/tid=1103] ppid=1099 vsize=867688 CPUtime=1.24
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 15788 0 1 0 115 9 0 0 25 0 9 0 28673485 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 102417146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=867688 CPUtime=0.06
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 1595 0 0 0 6 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=867688 CPUtime=0.15
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 673 0 0 0 15 0 0 0 16 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28673489 888512512 18086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867688

[startup+3.10139 s]
/proc/loadavg: 2.26 2.10 2.07 3/89 1110
/proc/meminfo: memFree=1503308/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=867688 CPUtime=3.07
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 18821 0 1 0 296 11 0 0 21 0 9 0 28673484 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 216922 18146 2029 9 0 211380 0
[pid=1101/tid=1103] ppid=1099 vsize=867688 CPUtime=2.79
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 15819 0 1 0 270 9 0 0 25 0 9 0 28673485 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4126467441 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=867688 CPUtime=0.06
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 1595 0 0 0 6 0 0 0 17 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28673487 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=867688 CPUtime=0.19
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 705 0 0 0 19 0 0 0 16 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=867688 CPUtime=0
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28673489 888512512 18146 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867688

[startup+6.30272 s]
/proc/loadavg: 2.26 2.10 2.07 4/89 1110
/proc/meminfo: memFree=1487692/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868012 CPUtime=6.25
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 29035 1192 1 0 517 81 25 2 21 0 9 0 28673484 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217003 24582 2043 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868012 CPUtime=5.62
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 19250 1192 1 0 460 75 25 2 24 0 9 0 28673485 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4127213696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868012 CPUtime=0.58
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 7977 1192 0 0 29 2 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 5 1192 0 0 0 0 25 2 16 0 9 0 28673487 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868012 CPUtime=0.54
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 965 1192 0 0 27 0 25 2 15 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868012 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888844288 24582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868012

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

[startup+9.50105 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471308/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=9.43
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41544 1192 1 0 832 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=8.5
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24003 1192 1 0 746 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127180324 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (KiB) 868100

[startup+11.1022 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.02
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41643 1192 1 0 991 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.08
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24102 1192 1 0 904 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127389806 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 868100

[startup+11.5023 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.42
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41669 1192 1 0 1031 84 25 2 21 0 9 0 28673484 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26717 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.48
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24128 1192 1 0 944 77 25 2 25 0 9 0 28673485 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4127389813 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1082 1192 0 0 36 1 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26717 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 868100

[startup+11.7023 s]
/proc/loadavg: 2.40 2.13 2.08 3/89 1114
/proc/meminfo: memFree=1471180/2055920 swapFree=4192812/4192956
[pid=1101] ppid=1099 vsize=868100 CPUtime=11.61
/proc/1101/stat : 1101 (java) S 1099 1101 1025 0 -1 0 41755 1192 1 0 1050 84 25 2 21 0 9 0 28673484 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1101/statm: 217025 26723 2663 9 0 211461 0
[pid=1101/tid=1103] ppid=1099 vsize=868100 CPUtime=10.68
/proc/1101/task/1103/stat : 1103 (java) R 1099 1101 1025 0 -1 64 24210 1192 1 0 964 77 25 2 25 0 9 0 28673485 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4127464422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1104] ppid=1099 vsize=868100 CPUtime=0.8
/proc/1101/task/1104/stat : 1104 (java) S 1099 1101 1025 0 -1 64 15600 1192 0 0 49 4 25 2 16 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1105] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1105/stat : 1105 (java) S 1099 1101 1025 0 -1 64 21 1192 0 0 0 0 25 2 17 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1106] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1106/stat : 1106 (java) S 1099 1101 1025 0 -1 64 16 1192 0 0 0 0 25 2 16 0 9 0 28673487 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1107] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1107/stat : 1107 (java) S 1099 1101 1025 0 -1 64 2 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1108] ppid=1099 vsize=868100 CPUtime=0.64
/proc/1101/task/1108/stat : 1108 (java) S 1099 1101 1025 0 -1 64 1086 1192 0 0 36 1 25 2 16 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1109] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1109/stat : 1109 (java) S 1099 1101 1025 0 -1 64 0 1192 0 0 0 0 25 2 25 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1101/tid=1110] ppid=1099 vsize=868100 CPUtime=0.27
/proc/1101/task/1110/stat : 1110 (java) S 1099 1101 1025 0 -1 64 11 1192 0 0 0 0 25 2 15 0 9 0 28673489 888934400 26723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 868100

Child status: 0
Real time (s): 11.783
CPU time (s): 11.6722
CPU user time (s): 10.7864
CPU system time (s): 0.885865
CPU usage (%): 99.0597
Max. virtual memory (cumulated for all children) (KiB): 868100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7864
system time used= 0.885865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43068
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= 2123
involuntary context switches= 2537

runsolver used 0.019996 second user time and 0.042993 second system time

The end

Launcher Data 

Begin job on node90 at 2009-07-12 18:28:08
IDJOB=2098555
IDBENCH=58731
IDSOLVER=773
FILE ID=node90/2098555-1247416088
PBS_JOBID= 9510732
Free space on /tmp= 66296 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/queens/normalized-queens-180.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098555-1247416088/watcher-2098555-1247416088 -o /tmp/evaluation-result-2098555-1247416088/solver-2098555-1247416088 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098555-1247416088.xml

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

MD5SUM BENCH= c14abf4d20a38dc3ddd30b1ce4c8122e
RANDOM SEED=875478481

node90.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.212
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.212
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:       1568884 kB
Buffers:         68900 kB
Cached:         242880 kB
SwapCached:          0 kB
Active:         269464 kB
Inactive:       151112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568884 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7484 kB
Writeback:           0 kB
Mapped:         122984 kB
Slab:            51600 kB
Committed_AS:  1018900 kB
PageTables:       2012 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= 66292 MiB
End job on node90 at 2009-07-12 18:28:20