Trace number 218018

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 77.9741 78.3828

DiagnosticValue
CHECKS65579300
NODES80141

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-35_ext.xml
MD5SUMd5af35334a8778ebb0d07932167b6266
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.7498
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints57
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension57
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/218018-1168079529/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.41	       =>  wckTime=0.099  cpuTime=0.1  mem=6M951
0.41	   
0.41	   relations being loaded...
0.68	   
0.68	   constraints being loaded...
0.84	     nbConstraints=57  nbRelationTypes=57  nbExtensionStructures=57  nbSharedExtensionStructures=0
0.84	     nbConflictsStructures=57  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
0.84	       =>  wckTime=0.526  cpuTime=0.49  mem=41M538
0.92	   
0.92	   solver IterativeSystematicSolver being built... 
1.09	       =>  wckTime=0.773  cpuTime=0.61  mem=21M118
1.09	   
1.09	   preprocessing
1.09	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.09	     detectedInconsistency=no
1.09	       =>  wckTime=0.0020  cpuTime=0.01  mem=21M118
1.18	   
1.18	   search
1.18	     run=0  nbConstraintChecks=17042  nbValidityChecks=27535  nbPropagations=219  nbRevisions=1918
1.18	     nbUselessRevisions=1494  nbAssignments=21  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=35
1.18	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.089  cpuTime=0.06  mem=21M118
1.24	   
1.24	   search
1.25	     run=1  nbConstraintChecks=47771  nbValidityChecks=98267  nbPropagations=928  nbRevisions=9768
1.25	     nbUselessRevisions=7794  nbAssignments=80  nbFailedAssignments=48  nbBacktracks=25  nbVisitedNodes=145
1.25	     nbRestartNogoods=1  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.154  cpuTime=0.12  mem=21M118
1.30	   
1.30	   search
1.30	     run=2  nbConstraintChecks=80578  nbValidityChecks=165024  nbPropagations=2134  nbRevisions=22894
1.30	     nbUselessRevisions=18147  nbAssignments=131  nbFailedAssignments=74  nbBacktracks=47  nbVisitedNodes=237
1.30	     nbRestartNogoods=2  mapSize=39  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.209  cpuTime=0.16  mem=21M118
1.40	   
1.40	   search
1.40	     run=3  nbConstraintChecks=145590  nbValidityChecks=295548  nbPropagations=4214  nbRevisions=44729
1.40	     nbUselessRevisions=35335  nbAssignments=217  nbFailedAssignments=121  nbBacktracks=83  nbVisitedNodes=394
1.40	     nbRestartNogoods=4  mapSize=74  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.308  cpuTime=0.26  mem=21M118
1.50	   
1.50	   search
1.50	     run=4  nbConstraintChecks=220122  nbValidityChecks=447523  nbPropagations=7462  nbRevisions=78977
1.50	     nbUselessRevisions=62061  nbAssignments=332  nbFailedAssignments=183  nbBacktracks=133  nbVisitedNodes=598
1.50	     nbRestartNogoods=8  mapSize=117  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.409  cpuTime=0.36  mem=21M118
1.66	   
1.66	   search
1.66	     run=5  nbConstraintChecks=333471  nbValidityChecks=676398  nbPropagations=12307  nbRevisions=129376
1.66	     nbUselessRevisions=101400  nbAssignments=493  nbFailedAssignments=266  nbBacktracks=209  nbVisitedNodes=882
1.66	     nbRestartNogoods=11  mapSize=182  nbInferences=0  nbTooLargeKeys=0
1.66	       =>  wckTime=0.564  cpuTime=0.51  mem=21M118
1.97	   
1.97	   search
1.97	     run=6  nbConstraintChecks=575688  nbValidityChecks=1164998  nbPropagations=20123  nbRevisions=216697
1.97	     nbUselessRevisions=169844  nbAssignments=781  nbFailedAssignments=438  nbBacktracks=322  nbVisitedNodes=1426
1.97	     nbRestartNogoods=14  mapSize=289  nbInferences=0  nbTooLargeKeys=0
1.97	       =>  wckTime=0.881  cpuTime=0.82  mem=21M118
2.33	   
2.33	   search
2.33	     run=7  nbConstraintChecks=847226  nbValidityChecks=1708076  nbPropagations=31725  nbRevisions=344119
2.33	     nbUselessRevisions=269246  nbAssignments=1165  nbFailedAssignments=648  nbBacktracks=493  nbVisitedNodes=2129
2.33	     nbRestartNogoods=16  mapSize=444  nbInferences=0  nbTooLargeKeys=0
2.33	       =>  wckTime=1.239  cpuTime=1.17  mem=21M118
2.96	   
2.96	   search
2.96	     run=8  nbConstraintChecks=1323852  nbValidityChecks=2710298  nbPropagations=50851  nbRevisions=548903
2.96	     nbUselessRevisions=427857  nbAssignments=1847  nbFailedAssignments=1069  nbBacktracks=749  nbVisitedNodes=3419
2.96	     nbRestartNogoods=20  mapSize=684  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=1.865  cpuTime=1.78  mem=21M118
3.79	   
3.79	   search
3.79	     run=9  nbConstraintChecks=1992139  nbValidityChecks=4056170  nbPropagations=79401  nbRevisions=852932
3.79	     nbUselessRevisions=663060  nbAssignments=2769  nbFailedAssignments=1602  nbBacktracks=1133  nbVisitedNodes=5125
3.79	     nbRestartNogoods=24  mapSize=1027  nbInferences=0  nbTooLargeKeys=0
3.79	       =>  wckTime=2.697  cpuTime=2.59  mem=22M86
3.82	   
3.82	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=22M86)
4.99	   
4.99	   search
4.99	     run=10  nbConstraintChecks=2975960  nbValidityChecks=6078095  nbPropagations=122821  nbRevisions=1305560
4.99	     nbUselessRevisions=1012191  nbAssignments=4128  nbFailedAssignments=2380  nbBacktracks=1710  nbVisitedNodes=7641
4.99	     nbRestartNogoods=32
4.99	       =>  wckTime=3.903  cpuTime=3.79  mem=22M86
6.52	   
6.52	   search
6.52	     run=11  nbConstraintChecks=4256616  nbValidityChecks=8566801  nbPropagations=184650  nbRevisions=1944249
6.52	     nbUselessRevisions=1505304  nbAssignments=5809  nbFailedAssignments=3195  nbBacktracks=2574  nbVisitedNodes=10643
6.52	     nbRestartNogoods=49
6.52	       =>  wckTime=5.426  cpuTime=5.3  mem=22M86
9.69	   
9.69	   search
9.69	     run=12  nbConstraintChecks=6997694  nbValidityChecks=14013395  nbPropagations=278006  nbRevisions=2949586
9.69	     nbUselessRevisions=2285123  nbAssignments=9241  nbFailedAssignments=5325  nbBacktracks=3874  nbVisitedNodes=17035
9.69	     nbRestartNogoods=67
9.69	       =>  wckTime=8.601  cpuTime=8.46  mem=22M86
13.24	   
13.24	   search
13.24	     run=13  nbConstraintChecks=10029118  nbValidityChecks=20022006  nbPropagations=413894  nbRevisions=4389913
13.24	     nbUselessRevisions=3402924  nbAssignments=13267  nbFailedAssignments=7401  nbBacktracks=5820  nbVisitedNodes=24318
13.24	     nbRestartNogoods=79
13.24	       =>  wckTime=12.153  cpuTime=11.99  mem=22M86
20.89	   
20.89	   search
20.89	     run=14  nbConstraintChecks=16493198  nbValidityChecks=33019313  nbPropagations=630302  nbRevisions=6791066
20.89	     nbUselessRevisions=5273567  nbAssignments=20573  nbFailedAssignments=11783  nbBacktracks=8740  nbVisitedNodes=38080
20.89	     nbRestartNogoods=95
20.89	       =>  wckTime=19.803  cpuTime=19.6  mem=22M86
29.26	   
29.26	   search
29.26	     run=15  nbConstraintChecks=23641992  nbValidityChecks=47404810  nbPropagations=945703  nbRevisions=10225162
29.26	     nbUselessRevisions=7945862  nbAssignments=30446  nbFailedAssignments=17274  nbBacktracks=13119
29.26	     nbVisitedNodes=56139  nbRestartNogoods=97
29.26	       =>  wckTime=28.172  cpuTime=27.93  mem=22M86
42.92	   
42.92	   search
42.92	     run=16  nbConstraintChecks=35308347  nbValidityChecks=70437453  nbPropagations=1415199  nbRevisions=15264748
42.92	     nbUselessRevisions=11866381  nbAssignments=44725  nbFailedAssignments=24979  nbBacktracks=19691
42.92	     nbVisitedNodes=82243  nbRestartNogoods=107
42.92	       =>  wckTime=41.826  cpuTime=41.52  mem=22M86
64.96	   
64.96	   search
64.96	     run=17  nbConstraintChecks=54263874  nbValidityChecks=107192313  nbPropagations=2121024  nbRevisions=22787166
64.96	     nbUselessRevisions=17719269  nbAssignments=66315  nbFailedAssignments=36713  nbBacktracks=29543
64.96	     nbVisitedNodes=121843  nbRestartNogoods=116
64.96	       =>  wckTime=63.871  cpuTime=63.46  mem=22M86
78.34	   
78.34	   search
78.34	     run=18  nbConstraintChecks=65579300  nbValidityChecks=129887924  nbPropagations=2978039  nbRevisions=31950002
78.34	     nbUselessRevisions=24854520  nbAssignments=80141  nbFailedAssignments=44064  nbBacktracks=36019
78.34	     nbVisitedNodes=147135  nbRestartNogoods=128
78.34	       =>  wckTime=77.25  cpuTime=76.77  mem=22M86
78.34	   
78.34	   global
78.34	     nbConstraintChecks=65579300  nbValidityChecks=129887924  nbPropagations=2978059  nbRevisions=31950002
78.34	     nbUselessRevisions=24854520  nbRestartNogoods=128  solvingWckTime=77.252  solvingCpuTime=76.77  expiredTime=no
78.34	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=77.42
78.34	       =>  wckTime=78.028  cpuTime=77.38  mem=22M86
78.35	   
78.35	s UNSATISFIABLE
78.35	d NODES 80141
78.35	d CHECKS 65579300
78.35	   
78.35	   totalWckTime=78.11  totalCpuTime=77.43

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/node40/watcher-218018-1168079529 -o ROOT/results/node40/solver-218018-1168079529 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218018-1168079529/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.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=18540 CPUtime=0
/proc/27492/stat : 27492 (runsolver) R 27490 27492 26920 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156352271 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27492/statm: 4635 279 244 17 0 2626 0

[startup+0.10973 s]
/proc/loadavg: 1.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=914988 CPUtime=0.09
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 3018 0 1 0 8 1 0 0 17 0 8 0 156352271 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517786 s]
/proc/loadavg: 1.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915328 CPUtime=0.49
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 7612 0 1 0 45 4 0 0 18 0 8 0 156352271 937295872 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228832 7351 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33889 s]
/proc/loadavg: 1.49 1.83 1.78 4/87 27500
/proc/meminfo: memFree=1606688/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=1.31
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16787 0 1 0 122 9 0 0 23 0 8 0 156352271 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16524 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.17
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 357 0 0 0 17 0 0 0 15 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 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.9861 s]
/proc/loadavg: 1.61 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1606496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=2.96
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16806 0 1 0 286 10 0 0 25 0 8 0 156352271 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16542 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 17 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.21
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460

[startup+6.19352 s]
/proc/loadavg: 1.61 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1598496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=6.14
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16815 0 1 0 604 10 0 0 25 0 8 0 156352271 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16549 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.23
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460

[startup+12.6674 s]
/proc/loadavg: 1.67 1.86 1.79 3/87 27500
/proc/meminfo: memFree=1598496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=12.58
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 1248 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460

[startup+25.535 s]
/proc/loadavg: 1.72 1.86 1.79 3/87 27500
/proc/meminfo: memFree=1598624/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=25.39
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 2529 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915460

[startup+51.1643 s]
/proc/loadavg: 1.81 1.87 1.80 3/87 27500
/proc/meminfo: memFree=1598688/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=50.89
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 5079 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 78.3828
CPU time (s): 77.9741
CPU user time (s): 77.8552
CPU system time (s): 0.118981
CPU usage (%): 99.4787
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.8552
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16824
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= 2581
involuntary context switches= 3640

runsolver used 0.091986 s user time and 0.267959 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Sat Jan  6 10:32:09 UTC 2007


IDJOB= 218018
IDBENCH= 5189
FILE ID= node40/218018-1168079529

PBS_JOBID= 3476071

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d5af35334a8778ebb0d07932167b6266

RANDOM SEED= 276262406

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.239
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.239
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:       1663416 kB
Buffers:         20448 kB
Cached:         203340 kB
SwapCached:          0 kB
Active:         147148 kB
Inactive:       174372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1663416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6732 kB
Writeback:           0 kB
Mapped:         117976 kB
Slab:            56212 kB
Committed_AS:  3767288 kB
PageTables:       1980 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= 66540 MiB



End job on node40 on Sat Jan  6 10:33:28 UTC 2007