Trace number 280351

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
AbsconMax 109 EPFCOPTIMUM 1160.59 1161.05

General information on the benchmark

Namerandom/rand-10-20-10/
rand-10-20-10-5-10000-0_ext.xml
MD5SUMebe3455652e622664ec0a1054c7775af
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints3
Best CPU time to get the best result obtained on this benchmark1160.59
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints5
Maximum constraint arity10
Maximum domain size10
Number of constraints which are defined in extension5
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/280351-1169305022/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.39	       =>  wckTime=0.091  cpuTime=0.07  mem=6M887
0.39	   
0.39	   relations being loaded...
0.59	   
0.59	   constraints being loaded...
0.69	     nbConstraints=5  nbRelationTypes=5  nbExtensionStructures=5  nbSharedExtensionStructures=0
0.69	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  maxDegree=4  maxArity=10
0.69	       =>  wckTime=0.391  cpuTime=0.34  mem=38M342
0.75	   
0.75	   solver LocalSearchSolver being built... 
0.79	       =>  wckTime=0.495  cpuTime=0.38  mem=10M982
0.80	
0.80	s SATISFIABLE
0.80	o 0
0.80	c 5
4.25	o 1
4.25	c 4
6.13	   
6.13	   search
6.13	     run=0  nbConstraintChecks=4305841  nbAssignments=10000
6.13	       =>  wckTime=5.341  cpuTime=5.31  mem=10M982
9.87	o 2
9.87	c 3
11.16	   
11.16	   search
11.16	     run=1  nbConstraintChecks=8501264  nbAssignments=20000
11.16	       =>  wckTime=10.369  cpuTime=10.34  mem=10M982
15.89	   
15.89	   search
15.89	     run=2  nbConstraintChecks=12525255  nbAssignments=30000
15.89	       =>  wckTime=15.102  cpuTime=15.07  mem=10M982
20.62	   
20.62	   search
20.62	     run=3  nbConstraintChecks=16529109  nbAssignments=40000
20.62	       =>  wckTime=19.833  cpuTime=19.8  mem=10M982
25.36	   
25.36	   search
25.36	     run=4  nbConstraintChecks=20546494  nbAssignments=50000
25.36	       =>  wckTime=24.568  cpuTime=24.53  mem=10M982
30.10	   
30.10	   search
30.10	     run=5  nbConstraintChecks=24590744  nbAssignments=60000
30.10	       =>  wckTime=29.31  cpuTime=29.27  mem=10M982
34.77	   
34.77	   search
34.77	     run=6  nbConstraintChecks=28593558  nbAssignments=70000
34.77	       =>  wckTime=33.982  cpuTime=33.93  mem=10M982
39.48	   
39.48	   search
39.48	     run=7  nbConstraintChecks=32589937  nbAssignments=80000
39.48	       =>  wckTime=38.695  cpuTime=38.65  mem=10M982
39.89	   
39.89	   search
39.89	     run=8  nbConstraintChecks=32929274  nbAssignments=80833
39.89	       =>  wckTime=39.099  cpuTime=39.06  mem=10M982
39.89	   
39.89	   global
39.89	     nbConstraintChecks=32929274  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.89	     solvingWckTime=39.098  solvingCpuTime=39.06  expiredTime=no  totalExploration=no  nbFoundSolutions=0
39.89	     globalCpuTime=39.49
39.89	       =>  wckTime=39.595  cpuTime=39.44  mem=10M982
39.89	   
39.89	   solver IterativeSystematicSolver being built... 
40.02	       =>  wckTime=39.724  cpuTime=39.53  mem=21M786
40.49	   
40.49	   preprocessing
40.49	     nbConstraintChecks=432126  nbValidityChecks=442079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.49	     nbRemovedValues=0  detectedInconsistency=no
40.49	       =>  wckTime=0.464  cpuTime=0.45  mem=21M786
40.64	   
40.64	   search
40.64	     run=0  nbConstraintChecks=131742  nbValidityChecks=153912  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.64	     nbAssignments=44  nbFailedAssignments=28  nbBacktracks=12  nbVisitedNodes=79  nbRestartNogoods=0
40.64	       =>  wckTime=0.619  cpuTime=0.6  mem=22M749
40.75	   
40.75	   search
40.75	     run=1  nbConstraintChecks=203589  nbValidityChecks=247423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.75	     nbAssignments=92  nbFailedAssignments=54  nbBacktracks=27  nbVisitedNodes=160  nbRestartNogoods=1
40.75	       =>  wckTime=0.731  cpuTime=0.69  mem=22M749
41.10	   
41.10	   search
41.10	     run=2  nbConstraintChecks=501874  nbValidityChecks=562947  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.10	     nbAssignments=135  nbFailedAssignments=68  nbBacktracks=49  nbVisitedNodes=221  nbRestartNogoods=9
41.10	       =>  wckTime=1.081  cpuTime=1.04  mem=22M749
41.43	   
41.43	   search
41.43	     run=3  nbConstraintChecks=786353  nbValidityChecks=893760  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.43	     nbAssignments=227  nbFailedAssignments=121  nbBacktracks=82  nbVisitedNodes=386  nbRestartNogoods=13
41.43	       =>  wckTime=1.413  cpuTime=1.37  mem=22M749
41.80	   
41.80	   search
41.80	     run=4  nbConstraintChecks=1050952  nbValidityChecks=1233804  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.80	     nbAssignments=377  nbFailedAssignments=214  nbBacktracks=132  nbVisitedNodes=666  nbRestartNogoods=17
41.80	       =>  wckTime=1.781  cpuTime=1.73  mem=22M749
42.69	   
42.69	   search
42.69	     run=5  nbConstraintChecks=1837301  nbValidityChecks=2121158  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.69	     nbAssignments=589  nbFailedAssignments=344  nbBacktracks=207  nbVisitedNodes=1053  nbRestartNogoods=19
42.69	       =>  wckTime=2.673  cpuTime=2.62  mem=22M749
43.17	   
43.17	   search
43.17	     run=6  nbConstraintChecks=2203323  nbValidityChecks=2635836  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.17	     nbAssignments=893  nbFailedAssignments=530  nbBacktracks=320  nbVisitedNodes=1613  nbRestartNogoods=28
43.17	       =>  wckTime=3.149  cpuTime=3.09  mem=22M749
45.71	   
45.71	   search
45.71	     run=7  nbConstraintChecks=4379983  nbValidityChecks=5052071  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
45.71	     nbAssignments=1385  nbFailedAssignments=845  nbBacktracks=490  nbVisitedNodes=2509  nbRestartNogoods=36
45.71	       =>  wckTime=5.687  cpuTime=5.62  mem=22M749
46.77	   
46.77	   search
46.77	     run=8  nbConstraintChecks=5206543  nbValidityChecks=6215132  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.77	     nbAssignments=2054  nbFailedAssignments=1250  nbBacktracks=747  nbVisitedNodes=3750  nbRestartNogoods=59
46.77	       =>  wckTime=6.746  cpuTime=6.66  mem=22M749
49.96	   
49.96	   search
49.96	     run=9  nbConstraintChecks=7894170  nbValidityChecks=9390504  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.96	     nbAssignments=3098  nbFailedAssignments=1905  nbBacktracks=1131  nbVisitedNodes=5718  nbRestartNogoods=70
49.96	       =>  wckTime=9.943  cpuTime=9.85  mem=22M749
52.91	   
52.91	   search
52.91	     run=10  nbConstraintChecks=10279056  nbValidityChecks=12643007  nbPropagations=0  nbRevisions=0
52.91	     nbUselessRevisions=0  nbAssignments=4862  nbFailedAssignments=3087  nbBacktracks=1707  nbVisitedNodes=9040
52.91	     nbRestartNogoods=75
52.91	       =>  wckTime=12.89  cpuTime=12.79  mem=22M749
61.89	   
61.89	   search
61.89	     run=11  nbConstraintChecks=17870898  nbValidityChecks=21416582  nbPropagations=0  nbRevisions=0
61.89	     nbUselessRevisions=0  nbAssignments=7241  nbFailedAssignments=4597  nbBacktracks=2571  nbVisitedNodes=13549
61.89	     nbRestartNogoods=88
61.89	       =>  wckTime=21.873  cpuTime=21.77  mem=22M749
70.33	   
70.33	   search
70.33	     run=12  nbConstraintChecks=25034022  nbValidityChecks=30405613  nbPropagations=0  nbRevisions=0
70.33	     nbUselessRevisions=0  nbAssignments=10934  nbFailedAssignments=6984  nbBacktracks=3869  nbVisitedNodes=20532
70.33	     nbRestartNogoods=102
70.33	       =>  wckTime=30.305  cpuTime=30.2  mem=22M749
88.61	   
88.61	   search
88.61	     run=13  nbConstraintChecks=40610880  nbValidityChecks=48771717  nbPropagations=0  nbRevisions=0
88.61	     nbUselessRevisions=0  nbAssignments=16563  nbFailedAssignments=10661  nbBacktracks=5815  nbVisitedNodes=31227
88.61	     nbRestartNogoods=116
88.61	       =>  wckTime=48.587  cpuTime=48.48  mem=22M749
103.17	   
103.17	   search
103.17	     run=14  nbConstraintChecks=52688933  nbValidityChecks=64622668  nbPropagations=0  nbRevisions=0
103.17	     nbUselessRevisions=0  nbAssignments=24544  nbFailedAssignments=15718  nbBacktracks=8734  nbVisitedNodes=46307
103.17	     nbRestartNogoods=136
103.17	       =>  wckTime=63.149  cpuTime=63.03  mem=22M749
166.48	o 3
166.48	c 2
190.04	   
190.04	   search
190.04	     run=15  nbConstraintChecks=130806652  nbValidityChecks=150135353  nbPropagations=0  nbRevisions=0
190.04	     nbUselessRevisions=0  nbAssignments=38524  nbFailedAssignments=25313  nbBacktracks=13113  nbVisitedNodes=73091
190.04	     nbRestartNogoods=162
190.04	       =>  wckTime=150.022  cpuTime=149.88  mem=22M749
256.87	   
256.87	   search
256.87	     run=16  nbConstraintChecks=188530016  nbValidityChecks=218899424  nbPropagations=0  nbRevisions=0
256.87	     nbUselessRevisions=0  nbAssignments=57286  nbFailedAssignments=37503  nbBacktracks=19682  nbVisitedNodes=108750
256.87	     nbRestartNogoods=178
256.87	       =>  wckTime=216.847  cpuTime=216.66  mem=22M749
334.28	   
334.28	   search
334.28	     run=17  nbConstraintChecks=253294726  nbValidityChecks=300862479  nbPropagations=0  nbRevisions=0
334.28	     nbUselessRevisions=0  nbAssignments=85966  nbFailedAssignments=56327  nbBacktracks=29534  nbVisitedNodes=163885
334.28	     nbRestartNogoods=200
334.28	       =>  wckTime=294.261  cpuTime=294.0  mem=22M749
427.54	   
427.54	   search
427.54	     run=18  nbConstraintChecks=329632091  nbValidityChecks=400148884  nbPropagations=0  nbRevisions=0
427.54	     nbUselessRevisions=0  nbAssignments=125234  nbFailedAssignments=80812  nbBacktracks=44312  nbVisitedNodes=239045
427.54	     nbRestartNogoods=224
427.54	       =>  wckTime=387.52  cpuTime=387.23  mem=22M749
582.04	   
582.04	   search
582.04	     run=19  nbConstraintChecks=458647999  nbValidityChecks=565741902  nbPropagations=0  nbRevisions=0
582.04	     nbUselessRevisions=0  nbAssignments=186891  nbFailedAssignments=120297  nbBacktracks=66480  nbVisitedNodes=357548
582.04	     nbRestartNogoods=242
582.04	       =>  wckTime=542.02  cpuTime=541.69  mem=22M749
810.71	   
810.71	   search
810.71	     run=20  nbConstraintChecks=649653009  nbValidityChecks=809502427  nbPropagations=0  nbRevisions=0
810.71	     nbUselessRevisions=0  nbAssignments=276729  nbFailedAssignments=176878  nbBacktracks=99734  nbVisitedNodes=530235
810.71	     nbRestartNogoods=262
810.71	       =>  wckTime=770.686  cpuTime=770.31  mem=22M749
1135.92	   
1135.92	   search
1135.92	     run=21  nbConstraintChecks=922832878  nbValidityChecks=1158747396  nbPropagations=0  nbRevisions=0
1135.92	     nbUselessRevisions=0  nbAssignments=408160  nbFailedAssignments=258427  nbBacktracks=149612  nbVisitedNodes=780865
1135.92	     nbRestartNogoods=284
1135.92	       =>  wckTime=1095.9  cpuTime=1095.43  mem=22M749
1160.99	   
1160.99	   search
1160.99	     run=22  nbConstraintChecks=943840131  nbValidityChecks=1186357433  nbPropagations=0  nbRevisions=0
1160.99	     nbUselessRevisions=0  nbAssignments=420078  nbFailedAssignments=265295  nbBacktracks=154663  nbVisitedNodes=803246
1160.99	     nbRestartNogoods=294
1160.99	       =>  wckTime=1120.97  cpuTime=1120.5  mem=22M749
1160.99	   
1160.99	   global
1160.99	     nbConstraintChecks=944272257  nbValidityChecks=1186799512  nbRestartNogoods=294  solvingWckTime=1120.971
1160.99	     solvingCpuTime=1120.5  expiredTime=no  totalExploration=yes  nbFoundSolutions=1  globalCpuTime=1160.08
1160.99	       =>  wckTime=1160.696  cpuTime=1160.03  mem=22M749
1161.00	
1161.00	s OPTIMUM FOUND
1161.00	v 1 1 0 1 0 3 2 9 6 8 0 0 7 6 4 9 2 2 2 5 
1161.00	   
1161.00	   totalWckTime=1160.777  totalCpuTime=1160.08

Verifier Data (download as text)

2 unsatisfied constraints, 3 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node56/watcher-280351-1169305022 -o ROOT/results/node56/solver-280351-1169305022 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=1500 CPUtime=0
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 278900379 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9995958 0 0 4096 0 0 0 0 17 1 0 0
/proc/21358/statm: 363 62 46 14 0 8 0

[startup+0.1028 s]
/proc/loadavg: 1.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=914988 CPUtime=0.09
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 3077 0 1 0 8 1 0 0 16 0 8 0 278900379 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510843 s]
/proc/loadavg: 1.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=915332 CPUtime=0.5
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 8771 0 1 0 45 5 0 0 17 0 8 0 278900379 937299968 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21358/statm: 228833 8510 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33291 s]
/proc/loadavg: 1.62 1.89 1.89 2/72 21366
/proc/meminfo: memFree=1480104/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=915436 CPUtime=1.31
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15676 0 1 0 120 11 0 0 20 0 8 0 278900379 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 228859 15414 2480 14 0 215329 0
[pid=21358/tid=21360] ppid=21356 vsize=915436 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 17 0 8 0 278900382 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=915436 CPUtime=0.09
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 318 0 0 0 9 0 0 0 15 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436

[startup+2.98508 s]
/proc/loadavg: 1.62 1.89 1.89 2/72 21366
/proc/meminfo: memFree=1480104/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=2.96
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15681 0 1 0 273 23 0 0 25 0 8 0 278900379 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15418 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916460

[startup+6.2634 s]
/proc/loadavg: 1.57 1.87 1.88 2/72 21366
/proc/meminfo: memFree=1480112/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=6.23
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 576 47 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 916460

[startup+12.743 s]
/proc/loadavg: 1.53 1.86 1.88 2/72 21366
/proc/meminfo: memFree=1480064/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=12.72
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 1171 101 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916460

[startup+25.5663 s]
/proc/loadavg: 1.41 1.82 1.86 2/72 21366
/proc/meminfo: memFree=1480192/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=25.54
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 2351 203 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916460

[startup+51.2458 s]
/proc/loadavg: 1.27 1.75 1.84 2/72 21366
/proc/meminfo: memFree=1480000/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=51.18
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15854 0 1 0 4790 328 0 0 25 0 8 0 278900379 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15583 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 17 0 8 0 278900382 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.21
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 916460

[startup+102.498 s]
/proc/loadavg: 1.11 1.63 1.79 2/72 21366
/proc/meminfo: memFree=1479936/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=102.42
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15860 0 1 0 9914 328 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.21
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 21 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 916460

[startup+162.582 s]
/proc/loadavg: 1.04 1.51 1.74 2/72 21366
/proc/meminfo: memFree=1479936/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=162.5
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15860 0 1 0 15921 329 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.97
Current children cumulated vsize (KiB) 916460

[startup+763.374 s]
/proc/loadavg: 1.00 1.06 1.36 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=763.04
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 75974 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.04
Current children cumulated vsize (KiB) 916460

[startup+823.457 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=823.11
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 81981 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.11
Current children cumulated vsize (KiB) 916460

[startup+883.543 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=883.18
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 87988 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.18
Current children cumulated vsize (KiB) 916460

[startup+943.633 s]
/proc/loadavg: 1.00 1.02 1.29 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=943.25
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 93995 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.25
Current children cumulated vsize (KiB) 916460

[startup+1003.72 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1003.32
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 100002 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.32
Current children cumulated vsize (KiB) 916460

[startup+1063.8 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1063.39
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 106009 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.39
Current children cumulated vsize (KiB) 916460

[startup+1123.89 s]
/proc/loadavg: 1.00 1.01 1.23 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1123.46
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 112016 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (KiB) 916460

Child status: 0
Real time (s): 1161.05
CPU time (s): 1160.59
CPU user time (s): 1157.27
CPU system time (s): 3.3215
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 916464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1157.27
system time used= 3.3215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15876
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= 24316
involuntary context switches= 3497

runsolver used 1.13683 s user time and 2.98555 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan 20 14:57:02 UTC 2007


IDJOB= 280351
IDBENCH= 11084
IDSOLVER= 68
FILE ID= node56/280351-1169305022

PBS_JOBID= 3610142

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-280351-1169305022 -o ROOT/results/node56/solver-280351-1169305022 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ebe3455652e622664ec0a1054c7775af

RANDOM SEED= 163840844

TIME LIMIT= 2400 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.232
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.232
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:       1532608 kB
Buffers:         43356 kB
Cached:         398948 kB
SwapCached:       2144 kB
Active:         109040 kB
Inactive:       342756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532608 kB
SwapTotal:     4192956 kB
SwapFree:      4184804 kB
Dirty:            2920 kB
Writeback:           0 kB
Mapped:          16512 kB
Slab:            57512 kB
Committed_AS:  5228880 kB
PageTables:       1472 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= 66562 MiB



End job on node56 on Sat Jan 20 15:16:24 UTC 2007