Trace number 228362

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 ACUNSAT 25.5321 25.6331

DiagnosticValue
CHECKS122949712
NODES142602

General information on the benchmark

Nametightness/tightness0.2/
rand-2-40-11-414-200-29_ext.xml
MD5SUM050594c4dba56228ccf5da61967f157b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.29304
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints414
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension414
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/228362-1168080877/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=11  maxDomainSize=11
0.40	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=414  nbRelationTypes=414  nbExtensionStructures=414  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=414  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=8227  maxDegree=26
0.59	     maxArity=2
0.59	       =>  wckTime=0.283  cpuTime=0.22  mem=10M861
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.471  cpuTime=0.33  mem=13M695
0.79	   
0.79	   preprocessing
0.79	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.79	     detectedInconsistency=no
0.79	       =>  wckTime=0.0070  cpuTime=0.01  mem=13M695
0.82	   
0.82	   search
0.82	     run=0  nbConstraintChecks=16506  nbPropagations=404  nbRevisions=4308  nbUselessRevisions=3623  nbAssignments=26
0.82	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=37  nbRestartNogoods=0  mapSize=6  nbInferences=0
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.043  cpuTime=0.04  mem=14M670
0.85	   
0.85	   search
0.85	     run=1  nbConstraintChecks=44282  nbPropagations=1366  nbRevisions=16026  nbUselessRevisions=13343  nbAssignments=59
0.85	     nbFailedAssignments=17  nbBacktracks=26  nbVisitedNodes=92  nbRestartNogoods=3  mapSize=21  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.067  cpuTime=0.06  mem=14M670
0.87	   
0.87	   search
0.87	     run=2  nbConstraintChecks=77200  nbPropagations=2979  nbRevisions=36091  nbUselessRevisions=29998  nbAssignments=99
0.87	     nbFailedAssignments=28  nbBacktracks=48  nbVisitedNodes=155  nbRestartNogoods=5  mapSize=38  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.087  cpuTime=0.07  mem=14M670
0.88	   
0.88	   search
0.88	     run=3  nbConstraintChecks=132306  nbPropagations=5620  nbRevisions=69817  nbUselessRevisions=57788
0.88	     nbAssignments=158  nbFailedAssignments=48  nbBacktracks=81  nbVisitedNodes=255  nbRestartNogoods=8  mapSize=68
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.104  cpuTime=0.09  mem=14M670
0.90	   
0.90	   search
0.90	     run=4  nbConstraintChecks=201859  nbPropagations=9587  nbRevisions=121941  nbUselessRevisions=100762
0.90	     nbAssignments=245  nbFailedAssignments=78  nbBacktracks=131  nbVisitedNodes=398  nbRestartNogoods=11  mapSize=111
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.125  cpuTime=0.11  mem=14M670
0.94	   
0.94	   search
0.94	     run=5  nbConstraintChecks=298181  nbPropagations=15347  nbRevisions=199264  nbUselessRevisions=164469
0.94	     nbAssignments=364  nbFailedAssignments=116  nbBacktracks=209  nbVisitedNodes=592  nbRestartNogoods=14  mapSize=174
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.157  cpuTime=0.14  mem=14M670
0.98	   
0.98	   search
0.98	     run=6  nbConstraintChecks=436968  nbPropagations=23664  nbRevisions=312117  nbUselessRevisions=257243
0.98	     nbAssignments=535  nbFailedAssignments=168  nbBacktracks=323  nbVisitedNodes=870  nbRestartNogoods=15  mapSize=261
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.197  cpuTime=0.18  mem=14M670
1.04	   
1.04	   search
1.04	     run=7  nbConstraintChecks=678833  nbPropagations=36386  nbRevisions=488818  nbUselessRevisions=403044
1.04	     nbAssignments=819  nbFailedAssignments=273  nbBacktracks=493  nbVisitedNodes=1354  nbRestartNogoods=18  mapSize=412
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.264  cpuTime=0.24  mem=14M670
1.14	   
1.14	   search
1.14	     run=8  nbConstraintChecks=1011375  nbPropagations=55100  nbRevisions=753072  nbUselessRevisions=620903
1.14	     nbAssignments=1207  nbFailedAssignments=396  nbBacktracks=751  nbVisitedNodes=1996  nbRestartNogoods=26
1.14	     mapSize=612  nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.361  cpuTime=0.33  mem=14M670
1.27	   
1.27	   search
1.27	     run=9  nbConstraintChecks=1481354  nbPropagations=82382  nbRevisions=1144479  nbUselessRevisions=943805
1.27	     nbAssignments=1795  nbFailedAssignments=593  nbBacktracks=1138  nbVisitedNodes=2973  nbRestartNogoods=33
1.27	     mapSize=922  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.488  cpuTime=0.44  mem=14M670
1.31	   
1.31	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=14M670)
1.44	   
1.44	   search
1.44	     run=10  nbConstraintChecks=2203898  nbPropagations=122641  nbRevisions=1728388  nbUselessRevisions=1426747
1.44	     nbAssignments=2681  nbFailedAssignments=892  nbBacktracks=1714  nbVisitedNodes=4441  nbRestartNogoods=35
1.44	       =>  wckTime=0.662  cpuTime=0.61  mem=14M670
1.68	   
1.68	   search
1.68	     run=11  nbConstraintChecks=3312823  nbPropagations=182572  nbRevisions=2602976  nbUselessRevisions=2149634
1.68	     nbAssignments=4014  nbFailedAssignments=1355  nbBacktracks=2578  nbVisitedNodes=6665  nbRestartNogoods=45
1.68	       =>  wckTime=0.902  cpuTime=0.85  mem=14M670
2.06	   
2.06	   search
2.06	     run=12  nbConstraintChecks=5073524  nbPropagations=273600  nbRevisions=3935683  nbUselessRevisions=3248729
2.06	     nbAssignments=6012  nbFailedAssignments=2050  nbBacktracks=3878  nbVisitedNodes=10059  nbRestartNogoods=56
2.06	       =>  wckTime=1.282  cpuTime=1.22  mem=14M670
2.58	   
2.58	   search
2.58	     run=13  nbConstraintChecks=7568802  nbPropagations=409757  nbRevisions=5937552  nbUselessRevisions=4902566
2.58	     nbAssignments=9009  nbFailedAssignments=3095  nbBacktracks=5825  nbVisitedNodes=15118  nbRestartNogoods=59
2.58	       =>  wckTime=1.798  cpuTime=1.74  mem=14M670
3.34	   
3.34	   search
3.34	     run=14  nbConstraintChecks=11394420  nbPropagations=615011  nbRevisions=8955914  nbUselessRevisions=7396196
3.34	     nbAssignments=13502  nbFailedAssignments=4662  nbBacktracks=8744  nbVisitedNodes=22715  nbRestartNogoods=65
3.34	       =>  wckTime=2.562  cpuTime=2.5  mem=14M670
4.49	   
4.49	   search
4.49	     run=15  nbConstraintChecks=17214964  nbPropagations=922782  nbRevisions=13501263  nbUselessRevisions=11152035
4.49	     nbAssignments=20126  nbFailedAssignments=6901  nbBacktracks=13125  nbVisitedNodes=33872  nbRestartNogoods=71
4.49	       =>  wckTime=3.707  cpuTime=3.64  mem=14M670
6.14	   
6.14	   search
6.14	     run=16  nbConstraintChecks=25578638  nbPropagations=1379467  nbRevisions=20250192  nbUselessRevisions=16731364
6.14	     nbAssignments=30010  nbFailedAssignments=10212  nbBacktracks=19693  nbVisitedNodes=50431  nbRestartNogoods=79
6.14	       =>  wckTime=5.359  cpuTime=5.29  mem=14M670
8.69	   
8.69	   search
8.69	     run=17  nbConstraintChecks=38537445  nbPropagations=2065599  nbRevisions=30451548  nbUselessRevisions=25178301
8.69	     nbAssignments=44992  nbFailedAssignments=15334  nbBacktracks=29545  nbVisitedNodes=75789  nbRestartNogoods=88
8.69	       =>  wckTime=7.911  cpuTime=7.85  mem=14M670
12.49	   
12.49	   search
12.49	     run=18  nbConstraintChecks=57711610  nbPropagations=3092862  nbRevisions=45713277  nbUselessRevisions=37811806
12.49	     nbAssignments=67487  nbFailedAssignments=23045  nbBacktracks=44324  nbVisitedNodes=113719  nbRestartNogoods=98
12.49	       =>  wckTime=11.714  cpuTime=11.65  mem=14M670
18.24	   
18.24	   search
18.24	     run=19  nbConstraintChecks=86116467  nbPropagations=4625776  nbRevisions=68555300  nbUselessRevisions=56734878
18.24	     nbAssignments=100620  nbFailedAssignments=34001  nbBacktracks=66495  nbVisitedNodes=169314  nbRestartNogoods=103
18.24	       =>  wckTime=17.46  cpuTime=17.38  mem=14M670
25.57	   
25.57	   search
25.57	     run=20  nbConstraintChecks=122949712  nbPropagations=6805114  nbRevisions=101111204  nbUselessRevisions=83709480
25.57	     nbAssignments=142602  nbFailedAssignments=48110  nbBacktracks=94369  nbVisitedNodes=239848  nbRestartNogoods=107
25.57	       =>  wckTime=24.793  cpuTime=24.7  mem=14M670
25.57	   
25.57	   global
25.57	     nbConstraintChecks=122949712  nbPropagations=6805154  nbRevisions=101111204  nbUselessRevisions=83709480
25.57	     nbRestartNogoods=107  solvingWckTime=24.794  solvingCpuTime=24.7  expiredTime=no  totalExploration=yes
25.57	     nbFoundSolutions=0  globalCpuTime=25.07
25.57	       =>  wckTime=25.268  cpuTime=25.03  mem=14M670
25.58	   
25.58	s UNSATISFIABLE
25.58	d NODES 142602
25.58	d CHECKS 122949712
25.58	   
25.58	   totalWckTime=25.344  totalCpuTime=25.07

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-228362-1168080877 -o ROOT/results/node26/solver-228362-1168080877 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228362-1168080877/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: 0.20 1.02 1.48 3/78 21277
/proc/meminfo: memFree=1332880/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=1460 CPUtime=0
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 124 0 0 0 0 0 0 0 19 0 1 0 156482643 1495040 96 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/21276/statm: 446 105 83 14 0 91 0

[startup+0.10516 s]
/proc/loadavg: 0.20 1.02 1.48 3/78 21277
/proc/meminfo: memFree=1332880/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=914988 CPUtime=0.08
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 156482643 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21276/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513197 s]
/proc/loadavg: 0.20 1.02 1.48 3/78 21277
/proc/meminfo: memFree=1332880/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915328 CPUtime=0.48
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 6512 0 1 0 44 4 0 0 16 0 8 0 156482643 937295872 6251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155888592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21276/statm: 228832 6251 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33427 s]
/proc/loadavg: 0.20 1.02 1.48 2/85 21284
/proc/meminfo: memFree=1309464/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915456 CPUtime=1.3
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 8579 0 1 0 124 6 0 0 17 0 8 0 156482643 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21276/statm: 228864 8317 2513 14 0 215334 0
[pid=21276/tid=21278] ppid=21274 vsize=915456 CPUtime=0.03
/proc/21276/task/21278/stat : 21278 (java) S 21274 21276 20694 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482647 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21276/tid=21279] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21279/stat : 21279 (java) S 21274 21276 20694 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21280/stat : 21280 (java) S 21274 21276 20694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21281] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21281/stat : 21281 (java) S 21274 21276 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156482651 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21282] ppid=21274 vsize=915456 CPUtime=0.2
/proc/21276/task/21282/stat : 21282 (java) S 21274 21276 20694 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 156482651 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21283] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21283/stat : 21283 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156482651 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21284] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21284/stat : 21284 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156482651 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456

[startup+2.97142 s]
/proc/loadavg: 0.20 1.02 1.48 2/85 21284
/proc/meminfo: memFree=1309208/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915456 CPUtime=2.93
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 8595 0 1 0 287 6 0 0 18 0 8 0 156482643 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21276/statm: 228864 8332 2513 14 0 215334 0
[pid=21276/tid=21278] ppid=21274 vsize=915456 CPUtime=0.03
/proc/21276/task/21278/stat : 21278 (java) S 21274 21276 20694 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482647 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21276/tid=21279] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21279/stat : 21279 (java) S 21274 21276 20694 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21280/stat : 21280 (java) S 21274 21276 20694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21281] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21281/stat : 21281 (java) S 21274 21276 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156482651 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21282] ppid=21274 vsize=915456 CPUtime=0.21
/proc/21276/task/21282/stat : 21282 (java) S 21274 21276 20694 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156482651 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21283] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21283/stat : 21283 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156482651 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21284] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21284/stat : 21284 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156482651 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.26473 s]
/proc/loadavg: 0.26 1.02 1.48 2/85 21284
/proc/meminfo: memFree=1309080/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915456 CPUtime=6.23
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 8603 0 1 0 617 6 0 0 20 0 8 0 156482643 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21276/statm: 228864 8339 2513 14 0 215334 0
[pid=21276/tid=21278] ppid=21274 vsize=915456 CPUtime=0.03
/proc/21276/task/21278/stat : 21278 (java) S 21274 21276 20694 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482647 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21276/tid=21279] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21279/stat : 21279 (java) S 21274 21276 20694 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21280/stat : 21280 (java) S 21274 21276 20694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21281] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21281/stat : 21281 (java) S 21274 21276 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156482651 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21282] ppid=21274 vsize=915456 CPUtime=0.21
/proc/21276/task/21282/stat : 21282 (java) S 21274 21276 20694 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156482651 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21283] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21283/stat : 21283 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156482651 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21284] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21284/stat : 21284 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156482651 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456

[startup+12.7333 s]
/proc/loadavg: 0.32 1.02 1.47 2/85 21284
/proc/meminfo: memFree=1309080/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915456 CPUtime=12.69
/proc/21276/stat : 21276 (java) R 21274 21276 20694 0 -1 0 8608 0 1 0 1263 6 0 0 25 0 8 0 156482643 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21276/statm: 228864 8344 2513 14 0 215334 0
[pid=21276/tid=21278] ppid=21274 vsize=915456 CPUtime=0.03
/proc/21276/task/21278/stat : 21278 (java) S 21274 21276 20694 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482647 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21276/tid=21279] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21279/stat : 21279 (java) S 21274 21276 20694 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21280/stat : 21280 (java) S 21274 21276 20694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21281] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21281/stat : 21281 (java) S 21274 21276 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156482651 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21282] ppid=21274 vsize=915456 CPUtime=0.21
/proc/21276/task/21282/stat : 21282 (java) S 21274 21276 20694 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156482651 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21283] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21283/stat : 21283 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156482651 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21284] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21284/stat : 21284 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156482651 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456

[startup+25.5945 s]
/proc/loadavg: 0.47 1.02 1.46 3/85 21284
/proc/meminfo: memFree=1309080/2055920 swapFree=4192812/4192956
[pid=21276] ppid=21274 vsize=915456 CPUtime=25.51
/proc/21276/stat : 21276 (java) S 21274 21276 20694 0 -1 0 8697 0 1 0 2545 6 0 0 25 0 8 0 156482643 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21276/statm: 228864 8433 2513 14 0 215334 0
[pid=21276/tid=21278] ppid=21274 vsize=915456 CPUtime=0.03
/proc/21276/task/21278/stat : 21278 (java) S 21274 21276 20694 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156482647 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21276/tid=21279] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21279/stat : 21279 (java) S 21274 21276 20694 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21280/stat : 21280 (java) S 21274 21276 20694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156482648 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21281] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21281/stat : 21281 (java) S 21274 21276 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156482651 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21282] ppid=21274 vsize=915456 CPUtime=0.21
/proc/21276/task/21282/stat : 21282 (java) S 21274 21276 20694 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156482651 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21283] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21283/stat : 21283 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156482651 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21276/tid=21284] ppid=21274 vsize=915456 CPUtime=0
/proc/21276/task/21284/stat : 21284 (java) S 21274 21276 20694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156482651 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 25.6331
CPU time (s): 25.5321
CPU user time (s): 25.4581
CPU system time (s): 0.073988
CPU usage (%): 99.6061
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4581
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8703
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= 1356
involuntary context switches= 850

runsolver used 0.032994 s user time and 0.071989 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Sat Jan  6 10:54:42 UTC 2007


IDJOB= 228362
IDBENCH= 6184
FILE ID= node26/228362-1168080877

PBS_JOBID= 3476087

Free space on /tmp= 66538 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228362-1168080877/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-228362-1168080877 -o ROOT/results/node26/solver-228362-1168080877 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228362-1168080877/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  050594c4dba56228ccf5da61967f157b

RANDOM SEED= 497407826

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.236
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.236
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:       1333232 kB
Buffers:         42996 kB
Cached:         545544 kB
SwapCached:          0 kB
Active:         122584 kB
Inactive:       525720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1333232 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          78772 kB
Slab:            59744 kB
Committed_AS:  2765524 kB
PageTables:       1912 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= 66538 MiB



End job on node26 on Sat Jan  6 10:55:09 UTC 2007