Trace number 208678

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 ESACSAT 36.7414 37.3345

DiagnosticValue
CHECKS29110912
NODES34358

General information on the benchmark

Namerandom/rand-3-20-20-fcd/
rand-3-20-20-60-632-fcd-23_ext.xml
MD5SUM183773318bbfeda436ec7ca073b0db0a
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 benchmark7.30789
SatisfiableYES
(Un)Satisfiability was provedYES
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/208678-1168189328/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.39	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.42	       =>  wckTime=0.103  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.69	   
0.69	   constraints being loaded...
0.85	     nbConstraints=57  nbRelationTypes=57  nbExtensionStructures=57  nbSharedExtensionStructures=0
0.85	     nbConflictsStructures=57  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=3
0.85	       =>  wckTime=0.531  cpuTime=0.47  mem=41M374
0.93	   
0.93	   solver IterativeSystematicSolver being built... 
1.10	       =>  wckTime=0.789  cpuTime=0.62  mem=20M991
1.18	   
1.18	   preprocessing
1.18	     nbConstraintChecks=18888  nbValidityChecks=30846  nbPropagations=166  nbRevisions=1472  nbUselessRevisions=1261
1.18	     nbSingletonTests=26  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.18	       =>  wckTime=0.077  cpuTime=0.05  mem=20M991
1.27	   
1.27	   search
1.27	     run=0  nbConstraintChecks=48439  nbValidityChecks=93702  nbPropagations=614  nbRevisions=6928
1.27	     nbUselessRevisions=5524  nbAssignments=44  nbFailedAssignments=30  nbBacktracks=10  nbVisitedNodes=84
1.27	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.166  cpuTime=0.13  mem=21M994
1.33	   
1.33	   search
1.33	     run=1  nbConstraintChecks=81599  nbValidityChecks=158995  nbPropagations=1705  nbRevisions=18748
1.33	     nbUselessRevisions=14933  nbAssignments=89  nbFailedAssignments=55  nbBacktracks=26  nbVisitedNodes=162
1.33	     nbRestartNogoods=4  mapSize=22  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.226  cpuTime=0.18  mem=21M994
1.40	   
1.40	   search
1.40	     run=2  nbConstraintChecks=119158  nbValidityChecks=237371  nbPropagations=3353  nbRevisions=36798
1.40	     nbUselessRevisions=29296  nbAssignments=144  nbFailedAssignments=84  nbBacktracks=49  nbVisitedNodes=261
1.40	     nbRestartNogoods=7  mapSize=41  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.294  cpuTime=0.24  mem=21M994
1.49	   
1.49	   search
1.49	     run=3  nbConstraintChecks=178060  nbValidityChecks=351723  nbPropagations=5801  nbRevisions=63821
1.49	     nbUselessRevisions=50638  nbAssignments=219  nbFailedAssignments=119  nbBacktracks=82  nbVisitedNodes=391
1.49	     nbRestartNogoods=10  mapSize=68  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.381  cpuTime=0.32  mem=21M994
1.62	   
1.62	   search
1.62	     run=4  nbConstraintChecks=266928  nbValidityChecks=541861  nbPropagations=9570  nbRevisions=105952
1.62	     nbUselessRevisions=83851  nbAssignments=354  nbFailedAssignments=190  nbBacktracks=132  nbVisitedNodes=620
1.62	     nbRestartNogoods=15  mapSize=108  nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.507  cpuTime=0.44  mem=21M994
1.89	   
1.89	   search
1.89	     run=5  nbConstraintChecks=492307  nbValidityChecks=978840  nbPropagations=15977  nbRevisions=176902
1.89	     nbUselessRevisions=138710  nbAssignments=633  nbFailedAssignments=391  nbBacktracks=207  nbVisitedNodes=1153
1.89	     nbRestartNogoods=19  mapSize=169  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.784  cpuTime=0.71  mem=21M994
2.14	   
2.14	   search
2.14	     run=6  nbConstraintChecks=675526  nbValidityChecks=1364952  nbPropagations=25464  nbRevisions=280987
2.14	     nbUselessRevisions=219549  nbAssignments=896  nbFailedAssignments=535  nbBacktracks=320  nbVisitedNodes=1632
2.14	     nbRestartNogoods=21  mapSize=270  nbInferences=0  nbTooLargeKeys=0
2.14	       =>  wckTime=1.03  cpuTime=0.95  mem=21M994
2.51	   
2.51	   search
2.51	     run=7  nbConstraintChecks=951647  nbValidityChecks=1940884  nbPropagations=39311  nbRevisions=432202
2.51	     nbUselessRevisions=337189  nbAssignments=1275  nbFailedAssignments=723  nbBacktracks=490  nbVisitedNodes=2291
2.51	     nbRestartNogoods=26  mapSize=418  nbInferences=0  nbTooLargeKeys=0
2.51	       =>  wckTime=1.406  cpuTime=1.31  mem=21M994
2.98	   
2.98	   search
2.98	     run=8  nbConstraintChecks=1297002  nbValidityChecks=2646787  nbPropagations=58791  nbRevisions=643596
2.98	     nbUselessRevisions=501808  nbAssignments=1805  nbFailedAssignments=982  nbBacktracks=746  nbVisitedNodes=3220
2.98	     nbRestartNogoods=36  mapSize=628  nbInferences=0  nbTooLargeKeys=0
2.98	       =>  wckTime=1.869  cpuTime=1.76  mem=21M994
4.06	   
4.06	   search
4.06	     run=9  nbConstraintChecks=2159367  nbValidityChecks=4387063  nbPropagations=89719  nbRevisions=987198
4.06	     nbUselessRevisions=769692  nbAssignments=2791  nbFailedAssignments=1579  nbBacktracks=1130  nbVisitedNodes=5072
4.06	     nbRestartNogoods=41  mapSize=977  nbInferences=0  nbTooLargeKeys=0
4.06	       =>  wckTime=2.949  cpuTime=2.82  mem=21M994
4.20	   
4.20	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=21M994)
4.98	   
4.98	   search
4.98	     run=10  nbConstraintChecks=2886331  nbValidityChecks=5866990  nbPropagations=132327  nbRevisions=1458084
4.98	     nbUselessRevisions=1136612  nbAssignments=3928  nbFailedAssignments=2112  nbBacktracks=1707  nbVisitedNodes=7015
4.98	     nbRestartNogoods=50
4.98	       =>  wckTime=3.877  cpuTime=3.72  mem=21M994
6.72	   
6.72	   search
6.72	     run=11  nbConstraintChecks=4301518  nbValidityChecks=8725830  nbPropagations=195587  nbRevisions=2161564
6.72	     nbUselessRevisions=1684532  nbAssignments=5833  nbFailedAssignments=3147  nbBacktracks=2571  nbVisitedNodes=10467
6.72	     nbRestartNogoods=59
6.72	       =>  wckTime=5.618  cpuTime=5.45  mem=21M994
10.44	   
10.44	   search
10.44	     run=12  nbConstraintChecks=7335541  nbValidityChecks=14745642  nbPropagations=298655  nbRevisions=3310894
10.44	     nbUselessRevisions=2580169  nbAssignments=9009  nbFailedAssignments=5023  nbBacktracks=3868  nbVisitedNodes=16440
10.44	     nbRestartNogoods=72
10.44	       =>  wckTime=9.334  cpuTime=9.11  mem=21M994
14.16	   
14.16	   search
14.16	     run=13  nbConstraintChecks=10338702  nbValidityChecks=20814349  nbPropagations=449521  nbRevisions=4973501
14.16	     nbUselessRevisions=3875191  nbAssignments=13255  nbFailedAssignments=7311  nbBacktracks=5815  nbVisitedNodes=24140
14.16	     nbRestartNogoods=96
14.16	       =>  wckTime=13.057  cpuTime=12.8  mem=21M994
20.38	   
20.38	   search
20.39	     run=14  nbConstraintChecks=15354758  nbValidityChecks=31062652  nbPropagations=671871  nbRevisions=7442771
20.39	     nbUselessRevisions=5799469  nbAssignments=19833  nbFailedAssignments=10965  nbBacktracks=8735  nbVisitedNodes=36176
20.39	     nbRestartNogoods=113
20.39	       =>  wckTime=19.279  cpuTime=18.94  mem=21M994
33.64	   
33.64	   search
33.64	     run=15  nbConstraintChecks=26167159  nbValidityChecks=52095552  nbPropagations=1029994  nbRevisions=11443980
33.64	     nbUselessRevisions=8918775  nbAssignments=30569  nbFailedAssignments=17312  nbBacktracks=13114
33.64	     nbVisitedNodes=56263  nbRestartNogoods=123
33.64	       =>  wckTime=32.534  cpuTime=31.93  mem=21M994
37.27	   
37.27	   search
37.27	     run=16  nbConstraintChecks=29092024  nbValidityChecks=57964722  nbPropagations=1429908  nbRevisions=15922352
37.27	     nbUselessRevisions=12412273  nbAssignments=34358  nbFailedAssignments=19210  nbBacktracks=14985
37.27	     nbVisitedNodes=63009  nbRestartNogoods=130
37.27	       =>  wckTime=36.161  cpuTime=35.52  mem=21M994
37.27	   
37.27	   global
37.27	     nbConstraintChecks=29110912  nbValidityChecks=57995568  nbPropagations=1430074  nbRevisions=15923824
37.27	     nbUselessRevisions=12413534  nbRestartNogoods=130  solvingWckTime=36.162  solvingCpuTime=35.52  expiredTime=no
37.27	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=36.2
37.27	       =>  wckTime=36.954  cpuTime=36.14  mem=21M994
37.27	   
37.27	s SATISFIABLE
37.27	v 7 8 3 7 18 3 10 10 1 15 14 7 9 10 1 6 4 10 2 17 
37.27	d NODES 34358
37.27	d CHECKS 29110912
37.27	   
37.27	   totalWckTime=37.039  totalCpuTime=36.2

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/node33/watcher-208678-1168189328 -o ROOT/results/node33/solver-208678-1168189328 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208678-1168189328/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.78 1.29 1.19 4/91 10723
/proc/meminfo: memFree=1389216/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=906644 CPUtime=0.03
/proc/10722/stat : 10722 (java) S 10720 10722 9676 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 167326799 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 226661 1817 1036 14 0 214244 0
[pid=10722/tid=10724] ppid=10720 vsize=906644 CPUtime=0
/proc/10722/task/10724/stat : 10724 (java) R 10720 10722 9676 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 167326803 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104278 s]
/proc/loadavg: 1.78 1.29 1.19 4/91 10723
/proc/meminfo: memFree=1389216/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=914988 CPUtime=0.09
/proc/10722/stat : 10722 (java) S 10720 10722 9676 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 167326799 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228747 2743 1427 14 0 215242 0
[pid=10722/tid=10724] ppid=10720 vsize=914988 CPUtime=0
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167326803 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512361 s]
/proc/loadavg: 1.78 1.29 1.19 4/91 10723
/proc/meminfo: memFree=1389216/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915328 CPUtime=0.49
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 7425 0 1 0 45 4 0 0 18 0 8 0 167326799 937295872 7164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228832 7164 2137 14 0 215302 0
[pid=10722/tid=10724] ppid=10720 vsize=915328 CPUtime=0
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167326803 937295872 7164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33554 s]
/proc/loadavg: 1.88 1.32 1.19 4/98 10730
/proc/meminfo: memFree=1332904/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915460 CPUtime=1.3
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 16795 0 1 0 120 10 0 0 24 0 8 0 167326799 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228865 16533 2527 14 0 215335 0
[pid=10722/tid=10724] ppid=10720 vsize=915460 CPUtime=0.06
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 167326803 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10725] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10725/stat : 10725 (java) S 10720 10722 9676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10726] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10726/stat : 10726 (java) S 10720 10722 9676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10727] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10727/stat : 10727 (java) S 10720 10722 9676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167326807 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10728] ppid=10720 vsize=915460 CPUtime=0.16
/proc/10722/task/10728/stat : 10728 (java) S 10720 10722 9676 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 167326807 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10729] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10729/stat : 10729 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167326807 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10730] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10730/stat : 10730 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167326807 937431040 16533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98888 s]
/proc/loadavg: 1.88 1.32 1.19 3/98 10736
/proc/meminfo: memFree=1332776/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915460 CPUtime=2.94
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 16819 0 1 0 284 10 0 0 25 0 8 0 167326799 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228865 16555 2527 14 0 215335 0
[pid=10722/tid=10724] ppid=10720 vsize=915460 CPUtime=0.06
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 167326803 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10725] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10725/stat : 10725 (java) S 10720 10722 9676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10726] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10726/stat : 10726 (java) S 10720 10722 9676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10727] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10727/stat : 10727 (java) S 10720 10722 9676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167326807 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10728] ppid=10720 vsize=915460 CPUtime=0.21
/proc/10722/task/10728/stat : 10728 (java) S 10720 10722 9676 0 -1 64 378 0 0 0 21 0 0 0 15 0 8 0 167326807 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10729] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10729/stat : 10729 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167326807 937431040 16555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10730] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10730/stat : 10730 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167326807 937431040 16555 18446744073709551615 134512640 134570532 4294956480 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.27555 s]
/proc/loadavg: 1.89 1.33 1.20 3/98 10738
/proc/meminfo: memFree=1332712/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915460 CPUtime=6.18
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 16828 0 1 0 608 10 0 0 25 0 8 0 167326799 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228865 16562 2527 14 0 215335 0
[pid=10722/tid=10724] ppid=10720 vsize=915460 CPUtime=0.06
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 167326803 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10725] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10725/stat : 10725 (java) S 10720 10722 9676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10726] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10726/stat : 10726 (java) S 10720 10722 9676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10727] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10727/stat : 10727 (java) S 10720 10722 9676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167326807 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10728] ppid=10720 vsize=915460 CPUtime=0.22
/proc/10722/task/10728/stat : 10728 (java) S 10720 10722 9676 0 -1 64 385 0 0 0 22 0 0 0 16 0 8 0 167326807 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10729] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10729/stat : 10729 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167326807 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10730] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10730/stat : 10730 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167326807 937431040 16562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460

[startup+12.7709 s]
/proc/loadavg: 1.90 1.34 1.20 3/98 10742
/proc/meminfo: memFree=1332648/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915460 CPUtime=12.6
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 16829 0 1 0 1250 10 0 0 25 0 8 0 167326799 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228865 16563 2527 14 0 215335 0
[pid=10722/tid=10724] ppid=10720 vsize=915460 CPUtime=0.06
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 167326803 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10725] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10725/stat : 10725 (java) S 10720 10722 9676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10726] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10726/stat : 10726 (java) S 10720 10722 9676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10727] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10727/stat : 10727 (java) S 10720 10722 9676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10728] ppid=10720 vsize=915460 CPUtime=0.22
/proc/10722/task/10728/stat : 10728 (java) S 10720 10722 9676 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10729] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10729/stat : 10729 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10730] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10730/stat : 10730 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460

[startup+25.6423 s]
/proc/loadavg: 1.99 1.38 1.22 3/98 10750
/proc/meminfo: memFree=1276840/2055920 swapFree=4192224/4192956
[pid=10722] ppid=10720 vsize=915460 CPUtime=25.21
/proc/10722/stat : 10722 (java) R 10720 10722 9676 0 -1 0 16830 0 1 0 2511 10 0 0 25 0 8 0 167326799 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10722/statm: 228865 16563 2527 14 0 215335 0
[pid=10722/tid=10724] ppid=10720 vsize=915460 CPUtime=0.06
/proc/10722/task/10724/stat : 10724 (java) S 10720 10722 9676 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 167326803 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10725] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10725/stat : 10725 (java) S 10720 10722 9676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10726] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10726/stat : 10726 (java) S 10720 10722 9676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167326804 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10727] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10727/stat : 10727 (java) S 10720 10722 9676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10728] ppid=10720 vsize=915460 CPUtime=0.23
/proc/10722/task/10728/stat : 10728 (java) S 10720 10722 9676 0 -1 64 386 0 0 0 23 0 0 0 16 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10729] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10729/stat : 10729 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10722/tid=10730] ppid=10720 vsize=915460 CPUtime=0
/proc/10722/task/10730/stat : 10730 (java) S 10720 10722 9676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167326807 937431040 16563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 37.3345
CPU time (s): 36.7414
CPU user time (s): 36.6204
CPU system time (s): 0.120981
CPU usage (%): 98.4114
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6204
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16839
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= 1786
involuntary context switches= 3456

runsolver used 0.06099 s user time and 0.144977 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Jan  7 17:02:10 UTC 2007


IDJOB= 208678
IDBENCH= 4425
FILE ID= node33/208678-1168189328

PBS_JOBID= 3479256

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  183773318bbfeda436ec7ca073b0db0a

RANDOM SEED= 776569176

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.281
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.281
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:       1389632 kB
Buffers:         40876 kB
Cached:         446916 kB
SwapCached:        448 kB
Active:         210400 kB
Inactive:       389012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1389632 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            2876 kB
Writeback:           0 kB
Mapped:         131568 kB
Slab:            51516 kB
Committed_AS:  3780588 kB
PageTables:       2224 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= 66553 MiB



End job on node33 on Sun Jan  7 17:02:47 UTC 2007