Trace number 208311

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 55.4236 55.6482

DiagnosticValue
CHECKS371184799
NODES256959

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-41_ext.xml
MD5SUMc1647d988ce01483a0a770c92877b2c9
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7946
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints339
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension339
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.43	   
0.43	   instance
0.44	     name=/tmp/evaluation/208311-1168186827/unknown.xml
0.46	   
0.46	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.50	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.50	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.50	   
0.50	   relations being loaded...
0.60	   
0.60	   constraints being loaded...
0.71	     nbConstraints=339  nbRelationTypes=339  nbExtensionStructures=339  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=339  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2970  maxDegree=24
0.71	     maxArity=2
0.71	       =>  wckTime=0.301  cpuTime=0.22  mem=12M803
0.75	   
0.75	   solver IterativeSystematicSolver being built... 
0.90	       =>  wckTime=0.495  cpuTime=0.35  mem=15M14
0.95	   
0.95	   preprocessing
0.95	     nbConstraintChecks=67952  nbPropagations=917  nbRevisions=7199  nbUselessRevisions=5968  nbSingletonTests=48
0.95	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.95	       =>  wckTime=0.048  cpuTime=0.03  mem=15M14
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=37092  nbPropagations=1445  nbRevisions=13534  nbUselessRevisions=11057  nbAssignments=26
0.98	     nbFailedAssignments=9  nbBacktracks=11  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.072  cpuTime=0.05  mem=15M14
1.00	   
1.00	   search
1.00	     run=1  nbConstraintChecks=100108  nbPropagations=3681  nbRevisions=37560  nbUselessRevisions=30529
1.00	     nbAssignments=61  nbFailedAssignments=23  nbBacktracks=27  nbVisitedNodes=106  nbRestartNogoods=2  mapSize=27
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.093  cpuTime=0.06  mem=15M14
1.01	   
1.01	   search
1.01	     run=2  nbConstraintChecks=162146  nbPropagations=6744  nbRevisions=71956  nbUselessRevisions=58224
1.01	     nbAssignments=103  nbFailedAssignments=38  nbBacktracks=50  nbVisitedNodes=178  nbRestartNogoods=4  mapSize=44
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.109  cpuTime=0.08  mem=15M14
1.03	   
1.03	   search
1.03	     run=3  nbConstraintChecks=269653  nbPropagations=11192  nbRevisions=125862  nbUselessRevisions=101548
1.03	     nbAssignments=175  nbFailedAssignments=71  nbBacktracks=83  nbVisitedNodes=306  nbRestartNogoods=6  mapSize=75
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.13  cpuTime=0.1  mem=15M14
1.06	   
1.06	   search
1.06	     run=4  nbConstraintChecks=423972  nbPropagations=17727  nbRevisions=207297  nbUselessRevisions=166960
1.06	     nbAssignments=278  nbFailedAssignments=117  nbBacktracks=133  nbVisitedNodes=486  nbRestartNogoods=10  mapSize=121
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.159  cpuTime=0.12  mem=15M14
1.10	   
1.10	   search
1.10	     run=5  nbConstraintChecks=594657  nbPropagations=26588  nbRevisions=320864  nbUselessRevisions=258427
1.10	     nbAssignments=412  nbFailedAssignments=167  nbBacktracks=210  nbVisitedNodes=713  nbRestartNogoods=13  mapSize=185
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.195  cpuTime=0.15  mem=15M14
1.16	   
1.16	   search
1.16	     run=6  nbConstraintChecks=920753  nbPropagations=39810  nbRevisions=496585  nbUselessRevisions=400117
1.16	     nbAssignments=620  nbFailedAssignments=256  nbBacktracks=324  nbVisitedNodes=1091  nbRestartNogoods=20  mapSize=290
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.252  cpuTime=0.21  mem=15M14
1.23	   
1.23	   search
1.23	     run=7  nbConstraintChecks=1371772  nbPropagations=58843  nbRevisions=755416  nbUselessRevisions=608587
1.23	     nbAssignments=915  nbFailedAssignments=375  nbBacktracks=495  nbVisitedNodes=1613  nbRestartNogoods=23  mapSize=438
1.23	     nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.327  cpuTime=0.28  mem=15M14
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=1981493  nbPropagations=86133  nbRevisions=1127745  nbUselessRevisions=908878
1.34	     nbAssignments=1351  nbFailedAssignments=547  nbBacktracks=754  nbVisitedNodes=2363  nbRestartNogoods=26
1.34	     mapSize=653  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.434  cpuTime=0.39  mem=15M14
1.54	   
1.54	   search
1.54	     run=9  nbConstraintChecks=2999972  nbPropagations=126973  nbRevisions=1690002  nbUselessRevisions=1362121
1.54	     nbAssignments=2042  nbFailedAssignments=848  nbBacktracks=1138  nbVisitedNodes=3596  nbRestartNogoods=35
1.54	     mapSize=998  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.633  cpuTime=0.55  mem=15M14
1.55	   
1.55	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M14)
1.76	   
1.76	   search
1.76	     run=10  nbConstraintChecks=4424097  nbPropagations=186706  nbRevisions=2518847  nbUselessRevisions=2030507
1.76	     nbAssignments=3032  nbFailedAssignments=1255  nbBacktracks=1716  nbVisitedNodes=5344  nbRestartNogoods=44
1.76	       =>  wckTime=0.858  cpuTime=0.76  mem=15M14
2.06	   
2.06	   search
2.06	     run=11  nbConstraintChecks=6437672  nbPropagations=273179  nbRevisions=3716069  nbUselessRevisions=2994304
2.06	     nbAssignments=4472  nbFailedAssignments=1826  nbBacktracks=2580  nbVisitedNodes=7833  nbRestartNogoods=50
2.06	       =>  wckTime=1.156  cpuTime=1.06  mem=15M14
2.55	   
2.55	   search
2.55	     run=12  nbConstraintChecks=9835426  nbPropagations=402955  nbRevisions=5524347  nbUselessRevisions=4447412
2.55	     nbAssignments=6721  nbFailedAssignments=2771  nbBacktracks=3877  nbVisitedNodes=11816  nbRestartNogoods=56
2.55	       =>  wckTime=1.644  cpuTime=1.55  mem=15M14
3.31	   
3.31	   search
3.31	     run=13  nbConstraintChecks=15072390  nbPropagations=600491  nbRevisions=8288323  nbUselessRevisions=6670073
3.31	     nbAssignments=10210  nbFailedAssignments=4278  nbBacktracks=5824  nbVisitedNodes=17970  nbRestartNogoods=65
3.31	       =>  wckTime=2.404  cpuTime=2.3  mem=15M14
4.32	   
4.32	   search
4.32	     run=14  nbConstraintChecks=21894273  nbPropagations=890955  nbRevisions=12334894  nbUselessRevisions=9927005
4.32	     nbAssignments=15038  nbFailedAssignments=6180  nbBacktracks=8743  nbVisitedNodes=26379  nbRestartNogoods=72
4.32	       =>  wckTime=3.421  cpuTime=3.33  mem=15M14
5.87	   
5.87	   search
5.87	     run=15  nbConstraintChecks=32522478  nbPropagations=1318361  nbRevisions=18308111  nbUselessRevisions=14734476
5.87	     nbAssignments=22260  nbFailedAssignments=9015  nbBacktracks=13124  nbVisitedNodes=38973  nbRestartNogoods=85
5.87	       =>  wckTime=4.965  cpuTime=4.87  mem=15M14
8.27	   
8.27	   search
8.27	     run=16  nbConstraintChecks=48782668  nbPropagations=1964287  nbRevisions=27343620  nbUselessRevisions=22017007
8.27	     nbAssignments=33499  nbFailedAssignments=13681  nbBacktracks=19692  nbVisitedNodes=58784  nbRestartNogoods=94
8.27	       =>  wckTime=7.371  cpuTime=7.27  mem=15M14
11.68	   
11.68	   search
11.68	     run=17  nbConstraintChecks=71274951  nbPropagations=2921378  nbRevisions=40735444  nbUselessRevisions=32827487
11.68	     nbAssignments=50156  nbFailedAssignments=20479  nbBacktracks=29545  nbVisitedNodes=87972  nbRestartNogoods=103
11.68	       =>  wckTime=10.773  cpuTime=10.67  mem=15M14
17.10	   
17.10	   search
17.10	     run=18  nbConstraintChecks=108780705  nbPropagations=4366807  nbRevisions=60955454  nbUselessRevisions=49121932
17.10	     nbAssignments=75619  nbFailedAssignments=31144  nbBacktracks=44323  nbVisitedNodes=133036  nbRestartNogoods=112
17.10	       =>  wckTime=16.197  cpuTime=16.09  mem=15M990
24.71	   
24.71	   search
24.71	     run=19  nbConstraintChecks=160207754  nbPropagations=6509568  nbRevisions=90910433  nbUselessRevisions=73279529
24.71	     nbAssignments=112635  nbFailedAssignments=45984  nbBacktracks=66491  nbVisitedNodes=197615  nbRestartNogoods=124
24.71	       =>  wckTime=23.802  cpuTime=23.69  mem=15M990
36.55	   
36.55	   search
36.55	     run=20  nbConstraintChecks=240755530  nbPropagations=9719668  nbRevisions=135972293  nbUselessRevisions=109635440
36.55	     nbAssignments=169003  nbFailedAssignments=69092  nbBacktracks=99744  nbVisitedNodes=296792  nbRestartNogoods=136
36.55	       =>  wckTime=35.647  cpuTime=35.53  mem=15M990
55.00	   
55.00	   search
55.00	     run=21  nbConstraintChecks=367012897  nbPropagations=14582724  nbRevisions=204517469  nbUselessRevisions=164956638
55.00	     nbAssignments=254100  nbFailedAssignments=104306  nbBacktracks=149622  nbVisitedNodes=446853  nbRestartNogoods=148
55.00	       =>  wckTime=54.097  cpuTime=53.95  mem=15M990
55.60	   
55.60	   search
55.60	     run=22  nbConstraintChecks=371116847  nbPropagations=19500814  nbRevisions=273822548  nbUselessRevisions=220890476
55.60	     nbAssignments=256959  nbFailedAssignments=105379  nbBacktracks=151368  nbVisitedNodes=451790  nbRestartNogoods=163
55.60	       =>  wckTime=54.701  cpuTime=54.56  mem=15M990
55.61	   
55.61	   global
55.61	     nbConstraintChecks=371184799  nbPropagations=19501731  nbRevisions=273829747  nbUselessRevisions=220896444
55.61	     nbRestartNogoods=163  solvingWckTime=54.701  solvingCpuTime=54.56  expiredTime=no  totalExploration=no
55.61	     nbFoundSolutions=1  globalCpuTime=54.97
55.61	       =>  wckTime=55.199  cpuTime=54.91  mem=15M990
55.61	   
55.61	s SATISFIABLE
55.61	v 9 0 5 0 17 8 5 12 2 9 11 11 12 10 0 4 12 17 13 5 18 1 10 0 6 5 11 10 3 4 6 3 11 10 18 5 3 2 13 5 
55.61	d NODES 256959
55.61	d CHECKS 371184799
55.61	   
55.61	   totalWckTime=55.276  totalCpuTime=54.97

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/node42/watcher-208311-1168186827 -o ROOT/results/node42/solver-208311-1168186827 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/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.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=172 CPUtime=0
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167081935 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407083 0 0 4096 0 0 0 0 17 0 0 0
/proc/24017/statm: 43 24 18 14 0 3 0

[startup+0.107439 s]
/proc/loadavg: 1.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=47976 CPUtime=0
/proc/24017/stat : 24017 (java) D 24015 24017 22865 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 167081935 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/24017/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.515484 s]
/proc/loadavg: 1.91 1.95 1.83 4/85 24018
/proc/meminfo: memFree=1512120/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915328 CPUtime=0.38
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 6132 0 1 0 34 4 0 0 24 0 8 0 167081935 937295872 5871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228832 5871 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328

[startup+1.33657 s]
/proc/loadavg: 1.91 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1488192/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=1.2
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8721 0 1 0 113 7 0 0 25 0 8 0 167081935 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8459 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.18
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 378 0 0 0 17 1 0 0 16 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915456

[startup+2.97376 s]
/proc/loadavg: 1.91 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487936/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=2.81
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8768 0 1 0 274 7 0 0 25 0 8 0 167081935 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8505 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167081950 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915456

[startup+6.17611 s]
/proc/loadavg: 1.92 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=6.02
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8779 0 1 0 594 8 0 0 25 0 8 0 167081935 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8514 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167081950 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915456

[startup+12.6498 s]
/proc/loadavg: 1.92 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=12.48
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8784 0 1 0 1240 8 0 0 25 0 8 0 167081935 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8519 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915456

[startup+25.5413 s]
/proc/loadavg: 1.94 1.95 1.83 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=25.37
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8788 0 1 0 2529 8 0 0 25 0 8 0 167081935 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8523 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456

[startup+51.1751 s]
/proc/loadavg: 2.04 1.97 1.84 3/92 24025
/proc/meminfo: memFree=1487744/2055920 swapFree=4191892/4192956
[pid=24017] ppid=24015 vsize=915456 CPUtime=50.97
/proc/24017/stat : 24017 (java) R 24015 24017 22865 0 -1 0 8791 0 1 0 5089 8 0 0 25 0 8 0 167081935 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24017/statm: 228864 8526 2524 14 0 215334 0
[pid=24017/tid=24019] ppid=24015 vsize=915456 CPUtime=0.03
/proc/24017/task/24019/stat : 24019 (java) S 24015 24017 22865 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167081950 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24020] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24020/stat : 24020 (java) S 24015 24017 22865 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167081951 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24021] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24021/stat : 24021 (java) S 24015 24017 22865 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167081951 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24022] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24022/stat : 24022 (java) S 24015 24017 22865 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24023] ppid=24015 vsize=915456 CPUtime=0.21
/proc/24017/task/24023/stat : 24023 (java) S 24015 24017 22865 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24024] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24024/stat : 24024 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24017/tid=24025] ppid=24015 vsize=915456 CPUtime=0
/proc/24017/task/24025/stat : 24025 (java) S 24015 24017 22865 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167081954 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 55.6482
CPU time (s): 55.4236
CPU user time (s): 55.3306
CPU system time (s): 0.092985
CPU usage (%): 99.5964
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.3306
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8887
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= 2299
involuntary context switches= 3848

runsolver used 0.079987 s user time and 0.19497 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sun Jan  7 16:20:27 UTC 2007


IDJOB= 208311
IDBENCH= 4371
FILE ID= node42/208311-1168186827

PBS_JOBID= 3479228

Free space on /tmp= 66554 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-208311-1168186827 -o ROOT/results/node42/solver-208311-1168186827 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208311-1168186827/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c1647d988ce01483a0a770c92877b2c9

RANDOM SEED= 199182599

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.229
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.229
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:       1512536 kB
Buffers:         43864 kB
Cached:         320352 kB
SwapCached:        400 kB
Active:         276916 kB
Inactive:       206672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1512536 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1912 kB
Writeback:           0 kB
Mapped:         138224 kB
Slab:            44904 kB
Committed_AS:  3959512 kB
PageTables:       2016 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= 66554 MiB



End job on node42 on Sun Jan  7 16:21:23 UTC 2007