Trace number 194377

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 195.182 196.45

DiagnosticValue
CHECKS1335280719
NODES866976

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-34_ext.xml
MD5SUMff5f2154b2fd6690bcea6f080eb30d5f
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 benchmark195.182
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints462
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension462
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.68	   
0.68	Abscon 109 (November, 2006)
0.68	   
0.68	   configuration
0.68	     name=mac.xml
0.72	   
0.72	   instance
0.72	     name=/tmp/evaluation/194377-1168069358/unknown.xml
0.75	   
0.75	   domains being loaded...
0.75	   
0.75	   variables being loaded...
0.79	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.79	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.79	   
0.79	   relations being loaded...
0.93	   
0.93	   constraints being loaded...
1.07	     nbConstraints=462  nbRelationTypes=462  nbExtensionStructures=462  nbSharedExtensionStructures=0
1.07	     nbConflictsStructures=462  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2289  maxDegree=25
1.07	     maxArity=2
1.07	       =>  wckTime=0.381  cpuTime=0.29  mem=16M965
1.11	   
1.11	   solver IterativeSystematicSolver being built... 
1.26	       =>  wckTime=0.572  cpuTime=0.42  mem=15M359
1.27	   
1.27	   preprocessing
1.27	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.27	     detectedInconsistency=no
1.27	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M359
1.32	   
1.32	   search
1.32	     run=0  nbConstraintChecks=35714  nbPropagations=508  nbRevisions=4947  nbUselessRevisions=4140  nbAssignments=24
1.32	     nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=33  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.32	     nbTooLargeKeys=0
1.32	       =>  wckTime=0.053  cpuTime=0.03  mem=15M359
1.34	   
1.34	   search
1.34	     run=1  nbConstraintChecks=88487  nbPropagations=1686  nbRevisions=18294  nbUselessRevisions=15099  nbAssignments=61
1.34	     nbFailedAssignments=13  nbBacktracks=29  nbVisitedNodes=87  nbRestartNogoods=2  mapSize=19  nbInferences=0
1.34	     nbTooLargeKeys=0
1.34	       =>  wckTime=0.079  cpuTime=0.05  mem=15M359
1.36	   
1.36	   search
1.36	     run=2  nbConstraintChecks=161858  nbPropagations=3755  nbRevisions=43225  nbUselessRevisions=35483
1.36	     nbAssignments=112  nbFailedAssignments=30  nbBacktracks=51  nbVisitedNodes=165  nbRestartNogoods=3  mapSize=37
1.36	     nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.099  cpuTime=0.06  mem=15M359
1.38	   
1.38	   search
1.38	     run=3  nbConstraintChecks=267070  nbPropagations=7161  nbRevisions=86984  nbUselessRevisions=71577
1.38	     nbAssignments=178  nbFailedAssignments=52  nbBacktracks=84  nbVisitedNodes=271  nbRestartNogoods=5  mapSize=64
1.38	     nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.121  cpuTime=0.08  mem=15M359
1.41	   
1.41	   search
1.41	     run=4  nbConstraintChecks=405324  nbPropagations=12195  nbRevisions=153879  nbUselessRevisions=126783
1.41	     nbAssignments=266  nbFailedAssignments=79  nbBacktracks=134  nbVisitedNodes=410  nbRestartNogoods=9  mapSize=101
1.41	     nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.146  cpuTime=0.11  mem=15M359
1.45	   
1.45	   search
1.45	     run=5  nbConstraintChecks=632393  nbPropagations=19898  nbRevisions=260307  nbUselessRevisions=214413
1.45	     nbAssignments=414  nbFailedAssignments=138  nbBacktracks=210  nbVisitedNodes=658  nbRestartNogoods=14  mapSize=162
1.45	     nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.19  cpuTime=0.15  mem=15M359
1.51	   
1.51	   search
1.51	     run=6  nbConstraintChecks=971645  nbPropagations=31738  nbRevisions=429147  nbUselessRevisions=353160
1.51	     nbAssignments=616  nbFailedAssignments=216  nbBacktracks=325  nbVisitedNodes=999  nbRestartNogoods=20  mapSize=256
1.51	     nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.249  cpuTime=0.2  mem=15M359
1.60	   
1.60	   search
1.60	     run=7  nbConstraintChecks=1430417  nbPropagations=49212  nbRevisions=684885  nbUselessRevisions=563499
1.60	     nbAssignments=910  nbFailedAssignments=331  nbBacktracks=496  nbVisitedNodes=1503  nbRestartNogoods=23  mapSize=399
1.60	     nbInferences=0  nbTooLargeKeys=0
1.60	       =>  wckTime=0.334  cpuTime=0.28  mem=15M359
1.72	   
1.72	   search
1.72	     run=8  nbConstraintChecks=2141206  nbPropagations=74979  nbRevisions=1067698  nbUselessRevisions=877910
1.72	     nbAssignments=1332  nbFailedAssignments=485  nbBacktracks=752  nbVisitedNodes=2214  nbRestartNogoods=25
1.72	     mapSize=609  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.455  cpuTime=0.4  mem=15M359
1.90	   
1.90	   search
1.90	     run=9  nbConstraintChecks=3166767  nbPropagations=112813  nbRevisions=1638565  nbUselessRevisions=1347357
1.90	     nbAssignments=1969  nbFailedAssignments=724  nbBacktracks=1141  nbVisitedNodes=3292  nbRestartNogoods=28
1.90	     mapSize=917  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.633  cpuTime=0.56  mem=15M359
1.94	   
1.94	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M359)
2.13	   
2.13	   search
2.13	     run=10  nbConstraintChecks=4602315  nbPropagations=168659  nbRevisions=2481785  nbUselessRevisions=2039302
2.13	     nbAssignments=2929  nbFailedAssignments=1097  nbBacktracks=1720  nbVisitedNodes=4943  nbRestartNogoods=32
2.13	       =>  wckTime=0.865  cpuTime=0.79  mem=15M359
2.47	   
2.47	   search
2.47	     run=11  nbConstraintChecks=6954215  nbPropagations=253624  nbRevisions=3778318  nbUselessRevisions=3104601
2.47	     nbAssignments=4412  nbFailedAssignments=1705  nbBacktracks=2587  nbVisitedNodes=7522  nbRestartNogoods=40
2.47	       =>  wckTime=1.213  cpuTime=1.13  mem=15M359
2.97	   
2.97	   search
2.97	     run=12  nbConstraintChecks=10237014  nbPropagations=379586  nbRevisions=5711715  nbUselessRevisions=4692559
2.97	     nbAssignments=6598  nbFailedAssignments=2586  nbBacktracks=3885  nbVisitedNodes=11287  nbRestartNogoods=46
2.97	       =>  wckTime=1.707  cpuTime=1.62  mem=15M359
3.66	   
3.66	   search
3.66	     run=13  nbConstraintChecks=14975233  nbPropagations=565433  nbRevisions=8567622  nbUselessRevisions=7041481
3.66	     nbAssignments=9705  nbFailedAssignments=3736  nbBacktracks=5834  nbVisitedNodes=16622  nbRestartNogoods=50
3.66	       =>  wckTime=2.4  cpuTime=2.31  mem=15M359
4.82	   
4.82	   search
4.82	     run=14  nbConstraintChecks=23381840  nbPropagations=844447  nbRevisions=12876968  nbUselessRevisions=10577922
4.82	     nbAssignments=14569  nbFailedAssignments=5672  nbBacktracks=8753  nbVisitedNodes=24927  nbRestartNogoods=56
4.82	       =>  wckTime=3.556  cpuTime=3.46  mem=15M359
6.32	   
6.32	   search
6.32	     run=15  nbConstraintChecks=33772623  nbPropagations=1251118  nbRevisions=19074910  nbUselessRevisions=15650181
6.32	     nbAssignments=21255  nbFailedAssignments=7971  nbBacktracks=13131  nbVisitedNodes=36077  nbRestartNogoods=64
6.32	       =>  wckTime=5.063  cpuTime=4.96  mem=15M359
8.96	   
8.96	   search
8.96	     run=16  nbConstraintChecks=52379540  nbPropagations=1873437  nbRevisions=28720616  nbUselessRevisions=23562112
8.96	     nbAssignments=32183  nbFailedAssignments=12319  nbBacktracks=19700  nbVisitedNodes=54916  nbRestartNogoods=71
8.96	       =>  wckTime=7.703  cpuTime=7.59  mem=15M359
12.49	   
12.49	   search
12.49	     run=17  nbConstraintChecks=76383286  nbPropagations=2793949  nbRevisions=42987106  nbUselessRevisions=35281786
12.49	     nbAssignments=47819  nbFailedAssignments=18096  nbBacktracks=29552  nbVisitedNodes=81458  nbRestartNogoods=80
12.49	       =>  wckTime=11.231  cpuTime=11.11  mem=15M359
17.97	   
17.97	   search
17.97	     run=18  nbConstraintChecks=113932567  nbPropagations=4174749  nbRevisions=64151174  nbUselessRevisions=52638626
17.97	     nbAssignments=71356  nbFailedAssignments=26843  nbBacktracks=44335  nbVisitedNodes=121513  nbRestartNogoods=89
17.97	       =>  wckTime=16.713  cpuTime=16.54  mem=15M359
25.64	   
25.64	   search
25.64	     run=19  nbConstraintChecks=165042204  nbPropagations=6212568  nbRevisions=95447999  nbUselessRevisions=78367017
25.64	     nbAssignments=106680  nbFailedAssignments=39987  nbBacktracks=66503  nbVisitedNodes=181740  nbRestartNogoods=99
25.64	       =>  wckTime=24.38  cpuTime=24.18  mem=15M359
38.43	   
38.43	   search
38.43	     run=20  nbConstraintChecks=254915990  nbPropagations=9306439  nbRevisions=143396436  nbUselessRevisions=117810156
38.43	     nbAssignments=161247  nbFailedAssignments=61290  nbBacktracks=99755  nbVisitedNodes=275540  nbRestartNogoods=109
38.43	       =>  wckTime=37.166  cpuTime=36.9  mem=15M359
57.03	   
57.03	   search
57.03	     run=21  nbConstraintChecks=383755146  nbPropagations=13957834  nbRevisions=215449379  nbUselessRevisions=177063390
57.03	     nbAssignments=241901  nbFailedAssignments=92053  nbBacktracks=149636  nbVisitedNodes=413541  nbRestartNogoods=119
57.03	       =>  wckTime=55.768  cpuTime=55.43  mem=15M359
83.90	   
83.90	   search
83.90	     run=22  nbConstraintChecks=565531230  nbPropagations=20884541  nbRevisions=322468273  nbUselessRevisions=265116556
83.90	     nbAssignments=362985  nbFailedAssignments=138307  nbBacktracks=224455  nbVisitedNodes=619991  nbRestartNogoods=131
83.90	       =>  wckTime=82.637  cpuTime=82.17  mem=15M359
123.11	   
123.11	   search
123.11	     run=23  nbConstraintChecks=833329976  nbPropagations=31144130  nbRevisions=480513444  nbUselessRevisions=395100405
123.11	     nbAssignments=541260  nbFailedAssignments=204342  nbBacktracks=336683  nbVisitedNodes=922044  nbRestartNogoods=143
123.11	       =>  wckTime=121.849  cpuTime=121.2  mem=15M359
185.40	   
185.40	   search
185.40	     run=24  nbConstraintChecks=1262037625  nbPropagations=46657711  nbRevisions=720033694  nbUselessRevisions=592167948
185.40	     nbAssignments=814852  nbFailedAssignments=309579  nbBacktracks=505026  nbVisitedNodes=1390575  nbRestartNogoods=159
185.40	       =>  wckTime=184.143  cpuTime=183.2  mem=15M359
196.43	   
196.43	   search
196.43	     run=25  nbConstraintChecks=1335280719  nbPropagations=63130999  nbRevisions=974417979  nbUselessRevisions=801541134
196.43	     nbAssignments=866976  nbFailedAssignments=329313  nbBacktracks=537366  nbVisitedNodes=1479743  nbRestartNogoods=178
196.43	       =>  wckTime=195.167  cpuTime=194.16  mem=15M359
196.43	   
196.43	   global
196.43	     nbConstraintChecks=1335280719  nbPropagations=63131049  nbRevisions=974417979  nbUselessRevisions=801541134
196.43	     nbRestartNogoods=178  solvingWckTime=195.168  solvingCpuTime=194.16  expiredTime=no  totalExploration=no
196.43	     nbFoundSolutions=1  globalCpuTime=194.64
196.43	       =>  wckTime=195.743  cpuTime=194.59  mem=15M359
196.43	   
196.43	s SATISFIABLE
196.43	v 9 4 4 10 13 22 21 6 16 20 12 11 14 16 11 18 7 6 3 15 22 2 13 16 13 22 16 12 11 0 0 18 6 3 9 19 11 6 16 20 2 2 21 18 21 10 16 10 12 12 
196.43	d NODES 866976
196.43	d CHECKS 1335280719
196.43	   
196.43	   totalWckTime=195.825  totalCpuTime=194.64

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/node20/watcher-194377-1168069358 -o ROOT/results/node20/solver-194377-1168069358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/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.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=18540 CPUtime=0
/proc/21604/stat : 21604 (runsolver) R 21602 21604 20819 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155330894 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21604/statm: 4635 279 244 17 0 2626 0

[startup+0.102915 s]
/proc/loadavg: 1.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=9740 CPUtime=0.01
/proc/21604/stat : 21604 (java) D 21602 21604 20819 0 -1 0 588 0 18 0 0 1 0 0 18 0 1 0 155330894 9973760 382 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/21604/statm: 2435 387 308 14 0 1138 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9740

[startup+0.510966 s]
/proc/loadavg: 1.53 1.86 1.88 3/86 21605
/proc/meminfo: memFree=1601880/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915120 CPUtime=0.21
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 3603 0 63 0 14 7 0 0 18 0 8 0 155330894 937082880 3411 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 8054395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228780 3411 1704 14 0 215275 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 915120

[startup+1.33406 s]
/proc/loadavg: 1.53 1.86 1.88 4/93 21612
/proc/meminfo: memFree=1552544/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=0.98
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9512 0 76 0 85 13 0 0 22 0 8 0 155330894 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9325 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 155330912 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.18
/proc/21604/task/21610/stat : 21610 (java) R 21602 21604 20819 0 -1 64 370 0 0 0 17 1 0 0 15 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9325 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 915460

[startup+2.98726 s]
/proc/loadavg: 1.53 1.86 1.88 3/93 21612
/proc/meminfo: memFree=1552032/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=2.63
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9538 0 76 0 249 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 915460

[startup+6.28466 s]
/proc/loadavg: 1.57 1.86 1.88 3/93 21612
/proc/meminfo: memFree=1551776/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=5.92
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 578 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 915460

[startup+12.7764 s]
/proc/loadavg: 1.60 1.87 1.88 3/93 21612
/proc/meminfo: memFree=1550624/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=12.39
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 1225 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 915460

[startup+25.629 s]
/proc/loadavg: 1.69 1.87 1.88 3/93 21612
/proc/meminfo: memFree=1548448/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=25.16
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9539 0 76 0 2502 14 0 0 25 0 8 0 155330894 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9350 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 915460

[startup+51.2631 s]
/proc/loadavg: 1.79 1.88 1.88 3/93 21612
/proc/meminfo: memFree=1544544/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=50.68
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9540 0 76 0 5054 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073850099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915460

[startup+102.523 s]
/proc/loadavg: 1.91 1.90 1.89 3/93 21612
/proc/meminfo: memFree=1535712/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=101.7
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9541 0 76 0 10156 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073860110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915460

[startup+162.528 s]
/proc/loadavg: 2.04 1.93 1.90 3/93 21612
/proc/meminfo: memFree=1529376/2055920 swapFree=4170284/4192956
[pid=21604] ppid=21602 vsize=915460 CPUtime=161.42
/proc/21604/stat : 21604 (java) R 21602 21604 20819 0 -1 0 9541 0 76 0 16128 14 0 0 25 0 8 0 155330894 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073923855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21604/statm: 228865 9351 2513 14 0 215335 0
[pid=21604/tid=21606] ppid=21602 vsize=915460 CPUtime=0.03
/proc/21604/task/21606/stat : 21606 (java) S 21602 21604 20819 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155330912 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21607] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21607/stat : 21607 (java) S 21602 21604 20819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21608] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21608/stat : 21608 (java) S 21602 21604 20819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155330913 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21609] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21609/stat : 21609 (java) S 21602 21604 20819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21610] ppid=21602 vsize=915460 CPUtime=0.23
/proc/21604/task/21610/stat : 21610 (java) S 21602 21604 20819 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21611] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21611/stat : 21611 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21604/tid=21612] ppid=21602 vsize=915460 CPUtime=0
/proc/21604/task/21612/stat : 21612 (java) S 21602 21604 20819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155330922 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 196.45
CPU time (s): 195.182
CPU user time (s): 195.027
CPU system time (s): 0.154976
CPU usage (%): 99.3548
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.027
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9549
page faults= 76
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5308
involuntary context switches= 8773

runsolver used 0.271958 s user time and 0.607907 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 07:42:42 UTC 2007


IDJOB= 194377
IDBENCH= 3211
FILE ID= node20/194377-1168069358

PBS_JOBID= 3475611

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-194377-1168069358 -o ROOT/results/node20/solver-194377-1168069358 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194377-1168069358/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ff5f2154b2fd6690bcea6f080eb30d5f

RANDOM SEED= 577207765

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.216
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.216
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:       1602488 kB
Buffers:         34380 kB
Cached:         121868 kB
SwapCached:       2668 kB
Active:         259912 kB
Inactive:       124152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602488 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:         245912 kB
Slab:            53748 kB
Committed_AS:  3027184 kB
PageTables:       2812 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= 66544 MiB



End job on node20 on Sat Jan  6 07:46:00 UTC 2007