Trace number 208575

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, and are wall clock time (not CPU 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 109 ACSAT 12.6381 12.8094

DiagnosticValue
CHECKS9213391
NODES10456

General information on the benchmark

Namerandom/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-25_ext.xml
MD5SUMf2195ab1808ba05b939b12ff252365d7
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.15361
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/208575-1168074756/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.41	       =>  wckTime=0.097  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.70	   
0.70	   constraints being loaded...
0.86	     nbConstraints=59  nbRelationTypes=59  nbExtensionStructures=59  nbSharedExtensionStructures=0
0.86	     nbConflictsStructures=59  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
0.86	       =>  wckTime=0.547  cpuTime=0.49  mem=43M458
0.94	   
0.94	   solver IterativeSystematicSolver being built... 
1.11	       =>  wckTime=0.794  cpuTime=0.63  mem=21M494
1.11	   
1.11	   preprocessing
1.11	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.11	     detectedInconsistency=no
1.11	       =>  wckTime=0.0020  cpuTime=0.0  mem=21M494
1.22	   
1.22	   search
1.22	     run=0  nbConstraintChecks=25609  nbValidityChecks=45150  nbPropagations=328  nbRevisions=3201
1.22	     nbUselessRevisions=2468  nbAssignments=27  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=48
1.22	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.109  cpuTime=0.07  mem=21M494
1.28	   
1.28	   search
1.28	     run=1  nbConstraintChecks=61313  nbValidityChecks=116124  nbPropagations=1110  nbRevisions=11503
1.28	     nbUselessRevisions=8923  nbAssignments=65  nbFailedAssignments=32  nbBacktracks=25  nbVisitedNodes=114
1.28	     nbRestartNogoods=4  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.169  cpuTime=0.12  mem=21M494
1.38	   
1.38	   search
1.38	     run=2  nbConstraintChecks=124988  nbValidityChecks=245001  nbPropagations=2570  nbRevisions=28819
1.38	     nbUselessRevisions=22489  nbAssignments=139  nbFailedAssignments=79  nbBacktracks=48  nbVisitedNodes=247
1.38	     nbRestartNogoods=11  mapSize=43  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.268  cpuTime=0.21  mem=21M494
1.49	   
1.49	   search
1.49	     run=3  nbConstraintChecks=201165  nbValidityChecks=395882  nbPropagations=5053  nbRevisions=56907
1.49	     nbUselessRevisions=44223  nbAssignments=239  nbFailedAssignments=142  nbBacktracks=81  nbVisitedNodes=432
1.49	     nbRestartNogoods=17  mapSize=71  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.38  cpuTime=0.32  mem=21M494
1.63	   
1.63	   search
1.63	     run=4  nbConstraintChecks=304046  nbValidityChecks=599000  nbPropagations=8930  nbRevisions=100614
1.63	     nbUselessRevisions=78104  nbAssignments=340  nbFailedAssignments=190  nbBacktracks=131  nbVisitedNodes=618
1.63	     nbRestartNogoods=32  mapSize=119  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.521  cpuTime=0.46  mem=21M494
1.91	   
1.91	   search
1.91	     run=5  nbConstraintChecks=509949  nbValidityChecks=1023149  nbPropagations=15498  nbRevisions=176891
1.91	     nbUselessRevisions=137378  nbAssignments=565  nbFailedAssignments=336  nbBacktracks=206  nbVisitedNodes=1047
1.91	     nbRestartNogoods=37  mapSize=192  nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.797  cpuTime=0.72  mem=21M494
2.27	   
2.27	   search
2.27	     run=6  nbConstraintChecks=789616  nbValidityChecks=1609472  nbPropagations=25568  nbRevisions=297611
2.27	     nbUselessRevisions=231744  nbAssignments=916  nbFailedAssignments=569  nbBacktracks=320  nbVisitedNodes=1716
2.27	     nbRestartNogoods=49  mapSize=302  nbInferences=0  nbTooLargeKeys=0
2.27	       =>  wckTime=1.161  cpuTime=1.07  mem=21M494
2.73	   
2.73	   search
2.73	     run=7  nbConstraintChecks=1127995  nbValidityChecks=2303930  nbPropagations=40691  nbRevisions=468130
2.73	     nbUselessRevisions=363869  nbAssignments=1410  nbFailedAssignments=888  nbBacktracks=492  nbVisitedNodes=2658
2.73	     nbRestartNogoods=56  mapSize=454  nbInferences=0  nbTooLargeKeys=0
2.73	       =>  wckTime=1.618  cpuTime=1.53  mem=21M494
3.46	   
3.46	   search
3.46	     run=8  nbConstraintChecks=1695293  nbValidityChecks=3405273  nbPropagations=63040  nbRevisions=721094
3.46	     nbUselessRevisions=560168  nbAssignments=2003  nbFailedAssignments=1220  nbBacktracks=750  nbVisitedNodes=3752
3.46	     nbRestartNogoods=63  mapSize=699  nbInferences=0  nbTooLargeKeys=0
3.46	       =>  wckTime=2.35  cpuTime=2.23  mem=21M494
4.41	   
4.41	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=21M494)
4.50	   
4.50	   search
4.50	     run=9  nbConstraintChecks=2525092  nbValidityChecks=5074040  nbPropagations=96255  nbRevisions=1101667
4.50	     nbUselessRevisions=855938  nbAssignments=2919  nbFailedAssignments=1748  nbBacktracks=1135  nbVisitedNodes=5463
4.50	     nbRestartNogoods=71
4.50	       =>  wckTime=3.389  cpuTime=3.25  mem=21M494
5.99	   
5.99	   search
5.99	     run=10  nbConstraintChecks=3706890  nbValidityChecks=7503830  nbPropagations=146472  nbRevisions=1672436
5.99	     nbUselessRevisions=1299826  nbAssignments=4262  nbFailedAssignments=2511  nbBacktracks=1711  nbVisitedNodes=7977
5.99	     nbRestartNogoods=82
5.99	       =>  wckTime=4.879  cpuTime=4.72  mem=21M494
8.52	   
8.52	   search
8.52	     run=11  nbConstraintChecks=5801575  nbValidityChecks=11849629  nbPropagations=224172  nbRevisions=2573386
8.52	     nbUselessRevisions=2000992  nbAssignments=6672  nbFailedAssignments=4053  nbBacktracks=2575  nbVisitedNodes=12557
8.52	     nbRestartNogoods=95
8.52	       =>  wckTime=7.406  cpuTime=7.22  mem=21M494
11.87	   
11.87	   search
11.87	     run=12  nbConstraintChecks=8516223  nbValidityChecks=17326827  nbPropagations=339830  nbRevisions=3898676
11.87	     nbUselessRevisions=3032527  nbAssignments=9713  nbFailedAssignments=5792  nbBacktracks=3873  nbVisitedNodes=18237
11.87	     nbRestartNogoods=103
11.87	       =>  wckTime=10.764  cpuTime=10.55  mem=22M463
12.75	   
12.75	   search
12.75	     run=13  nbConstraintChecks=9213391  nbValidityChecks=18724999  nbPropagations=465191  nbRevisions=5331281
12.75	     nbUselessRevisions=4147635  nbAssignments=10456  nbFailedAssignments=6174  nbBacktracks=4214  nbVisitedNodes=19598
12.75	     nbRestartNogoods=118
12.75	       =>  wckTime=11.638  cpuTime=11.41  mem=22M463
12.75	   
12.75	   global
12.75	     nbConstraintChecks=9213391  nbValidityChecks=18724999  nbPropagations=465211  nbRevisions=5331281
12.75	     nbUselessRevisions=4147635  nbRestartNogoods=118  solvingWckTime=11.639  solvingCpuTime=11.41  expiredTime=no
12.75	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=12.09
12.75	       =>  wckTime=12.436  cpuTime=12.04  mem=22M463
12.75	   
12.75	s SATISFIABLE
12.75	v 1 8 7 18 17 18 15 17 16 14 0 8 19 16 1 10 6 7 14 2 
12.75	d NODES 10456
12.75	d CHECKS 9213391
12.75	   
12.75	   totalWckTime=12.517  totalCpuTime=12.09

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-208575-1168074756 -o ROOT/results/node19/solver-208575-1168074756 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=18540 CPUtime=0
/proc/22684/stat : 22684 (runsolver) R 22682 22684 22561 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155870270 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22684/statm: 4635 279 244 17 0 2626 0

[startup+0.109545 s]
/proc/loadavg: 1.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=914988 CPUtime=0.1
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 3042 0 1 0 8 2 0 0 17 0 8 0 155870270 936947712 2788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228747 2788 1444 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.517621 s]
/proc/loadavg: 1.80 1.95 1.97 4/93 22685
/proc/meminfo: memFree=1148952/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915328 CPUtime=0.5
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 7670 0 1 0 45 5 0 0 18 0 8 0 155870270 937295872 7409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228832 7409 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34078 s]
/proc/loadavg: 1.80 1.95 1.97 4/100 22692
/proc/meminfo: memFree=1090336/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=1.31
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17366 0 1 0 121 10 0 0 24 0 8 0 155870270 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17103 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.17
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.99009 s]
/proc/loadavg: 1.80 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090208/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=2.94
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17386 0 1 0 284 10 0 0 25 0 8 0 155870270 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17122 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.21
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 374 0 0 0 20 1 0 0 16 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.28171 s]
/proc/loadavg: 1.81 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090144/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=6.2
/proc/22684/stat : 22684 (java) R 22682 22684 22561 0 -1 0 17396 0 1 0 610 10 0 0 25 0 8 0 155870270 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17130 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.23
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7739 s]
/proc/loadavg: 1.83 1.95 1.97 3/100 22692
/proc/meminfo: memFree=1090144/2055920 swapFree=4171232/4192956
[pid=22684] ppid=22682 vsize=915460 CPUtime=12.62
/proc/22684/stat : 22684 (java) S 22682 22684 22561 0 -1 0 17399 0 1 0 1251 11 0 0 25 0 8 0 155870270 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22684/statm: 228865 17132 2517 14 0 215335 0
[pid=22684/tid=22686] ppid=22682 vsize=915460 CPUtime=0.06
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22561 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22687] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22688] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155870274 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22689] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22690] ppid=22682 vsize=915460 CPUtime=0.23
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22561 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22691] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22684/tid=22692] ppid=22682 vsize=915460 CPUtime=0
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155870278 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 12.8094
CPU time (s): 12.6381
CPU user time (s): 12.5151
CPU system time (s): 0.122981
CPU usage (%): 98.6622
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5151
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17404
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= 1247
involuntary context switches= 1789

runsolver used 0.022996 s user time and 0.046992 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 09:12:36 UTC 2007


IDJOB= 208575
IDBENCH= 4411
FILE ID= node19/208575-1168074756

PBS_JOBID= 3475785

Free space on /tmp= 66303 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-208575-1168074756 -o ROOT/results/node19/solver-208575-1168074756 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208575-1168074756/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f2195ab1808ba05b939b12ff252365d7

RANDOM SEED= 758054744

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.260
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.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1149368 kB
Buffers:         70132 kB
Cached:         580452 kB
SwapCached:      10036 kB
Active:         399316 kB
Inactive:       406048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1149368 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            3168 kB
Writeback:           0 kB
Mapped:         174080 kB
Slab:            85508 kB
Committed_AS:  4374556 kB
PageTables:       2652 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= 66303 MiB



End job on node19 on Sat Jan  6 09:12:49 UTC 2007