Trace number 276419

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 PFCOPTIMUM 1847.61 1848.39

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-32_ext.xml
MD5SUM1937dcc0ff9b467159e37e0a7f121d87
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints102
Best CPU time to get the best result obtained on this benchmark405.378
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/276419-1169237141/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=80  maxDomainSize=80
0.40	       =>  wckTime=0.101  cpuTime=0.1  mem=6M910
0.40	   
0.40	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.67	     nbConstraints=103  nbRelationTypes=103  nbExtensionStructures=103  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=103  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=12  maxArity=2
0.67	       =>  wckTime=0.368  cpuTime=0.32  mem=21M690
0.72	   
0.72	   solver LocalSearchSolver being built... 
0.76	       =>  wckTime=0.456  cpuTime=0.36  mem=6M328
0.77	
0.77	s SATISFIABLE
0.77	o 28
0.77	c 75
0.77	o 31
0.77	c 72
0.77	o 35
0.77	c 68
0.77	o 37
0.77	c 66
0.77	o 41
0.77	c 62
0.77	o 45
0.77	c 58
0.77	o 48
0.77	c 55
0.78	o 52
0.78	c 51
0.78	o 55
0.78	c 48
0.78	o 57
0.78	c 46
0.78	o 59
0.78	c 44
0.78	o 61
0.78	c 42
0.78	o 62
0.78	c 41
0.78	o 63
0.78	c 40
0.78	o 64
0.78	c 39
0.78	o 67
0.78	c 36
0.78	o 69
0.78	c 34
0.78	o 71
0.78	c 32
0.79	o 72
0.79	c 31
0.79	o 73
0.79	c 30
0.79	o 76
0.79	c 27
0.79	o 77
0.79	c 26
0.79	o 78
0.79	c 25
0.79	o 80
0.79	c 23
0.79	o 81
0.79	c 22
0.80	o 82
0.80	c 21
0.80	o 83
0.80	c 20
0.80	o 84
0.80	c 19
0.80	o 85
0.80	c 18
0.80	o 86
0.80	c 17
0.80	o 87
0.80	c 16
0.80	o 88
0.80	c 15
0.81	o 90
0.81	c 13
0.81	o 91
0.81	c 12
0.81	o 92
0.81	c 11
0.81	o 93
0.81	c 10
0.81	o 94
0.81	c 9
0.82	o 95
0.82	c 8
0.83	o 96
0.83	c 7
0.90	o 97
0.90	c 6
1.28	o 98
1.28	c 5
1.45	o 99
1.45	c 4
5.66	   
5.66	   search
5.66	     run=0  nbConstraintChecks=39657681  nbAssignments=10000
5.66	       =>  wckTime=4.898  cpuTime=4.86  mem=6M328
10.74	   
10.74	   search
10.74	     run=1  nbConstraintChecks=83886231  nbAssignments=20000
10.74	       =>  wckTime=9.981  cpuTime=9.94  mem=6M328
15.39	   
15.39	   search
15.39	     run=2  nbConstraintChecks=124003400  nbAssignments=30000
15.39	       =>  wckTime=14.629  cpuTime=14.59  mem=6M328
20.39	   
20.39	   search
20.39	     run=3  nbConstraintChecks=168283891  nbAssignments=40000
20.39	       =>  wckTime=19.637  cpuTime=19.59  mem=6M328
25.33	   
25.33	   search
25.33	     run=4  nbConstraintChecks=210168614  nbAssignments=50000
25.33	       =>  wckTime=24.575  cpuTime=24.52  mem=6M328
30.28	   
30.28	   search
30.28	     run=5  nbConstraintChecks=253173693  nbAssignments=60000
30.28	       =>  wckTime=29.527  cpuTime=29.47  mem=6M328
30.30	o 100
30.30	c 3
34.85	   
34.85	   search
34.85	     run=6  nbConstraintChecks=291869523  nbAssignments=70000
34.85	       =>  wckTime=34.092  cpuTime=34.02  mem=6M328
39.86	   
39.86	   search
39.86	     run=7  nbConstraintChecks=336375104  nbAssignments=80000
39.87	       =>  wckTime=39.108  cpuTime=39.04  mem=6M328
44.53	   
44.53	   search
44.53	     run=8  nbConstraintChecks=377213080  nbAssignments=90000
44.53	       =>  wckTime=43.769  cpuTime=43.7  mem=6M328
49.19	   
49.19	   search
49.19	     run=9  nbConstraintChecks=418095250  nbAssignments=100000
49.19	       =>  wckTime=48.428  cpuTime=48.35  mem=6M328
53.72	   
53.72	   search
53.72	     run=10  nbConstraintChecks=457381859  nbAssignments=110000
53.72	       =>  wckTime=52.959  cpuTime=52.89  mem=6M328
58.56	   
58.56	   search
58.56	     run=11  nbConstraintChecks=499916336  nbAssignments=120000
58.56	       =>  wckTime=57.807  cpuTime=57.73  mem=6M328
60.31	   
60.31	   search
60.31	     run=12  nbConstraintChecks=515068743  nbAssignments=124081
60.31	       =>  wckTime=59.557  cpuTime=59.49  mem=6M328
60.32	   
60.32	   global
60.32	     nbConstraintChecks=515068743  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
60.32	     solvingWckTime=59.553  solvingCpuTime=59.48  expiredTime=no  totalExploration=no  nbFoundSolutions=0
60.32	     globalCpuTime=59.89
60.32	       =>  wckTime=60.014  cpuTime=59.85  mem=6M328
60.32	   
60.32	   solver IterativeSystematicSolver being built... 
60.44	       =>  wckTime=60.136  cpuTime=59.94  mem=17M333
60.45	   
60.45	   preprocessing
60.45	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
60.45	     detectedInconsistency=no
60.45	       =>  wckTime=0.0060  cpuTime=0.0  mem=17M333
61.20	   
61.20	   search
61.20	     run=0  nbConstraintChecks=4797673  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=427
61.20	     nbFailedAssignments=412  nbBacktracks=10  nbVisitedNodes=850  nbRestartNogoods=0
61.20	       =>  wckTime=0.757  cpuTime=0.72  mem=17M333
61.55	   
61.55	   search
61.55	     run=1  nbConstraintChecks=6182069  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=596
61.55	     nbFailedAssignments=554  nbBacktracks=25  nbVisitedNodes=1176  nbRestartNogoods=5
61.55	       =>  wckTime=1.114  cpuTime=1.07  mem=17M333
62.87	   
62.87	   search
62.87	     run=2  nbConstraintChecks=13497333  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1216
62.87	     nbFailedAssignments=1140  nbBacktracks=47  nbVisitedNodes=2404  nbRestartNogoods=35
62.87	       =>  wckTime=2.432  cpuTime=2.38  mem=17M333
65.34	   
65.34	   search
65.34	     run=3  nbConstraintChecks=27547652  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2398
65.34	     nbFailedAssignments=2280  nbBacktracks=80  nbVisitedNodes=4759  nbRestartNogoods=94
65.34	       =>  wckTime=4.9  cpuTime=4.83  mem=17M333
67.76	   
67.76	   search
67.76	     run=4  nbConstraintChecks=40005733  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3498
67.76	     nbFailedAssignments=3325  nbBacktracks=130  nbVisitedNodes=6954  nbRestartNogoods=186
67.76	       =>  wckTime=7.324  cpuTime=7.25  mem=17M333
70.13	   
70.13	   search
70.13	     run=5  nbConstraintChecks=53802143  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4744
70.13	     nbFailedAssignments=4486  nbBacktracks=205  nbVisitedNodes=9436  nbRestartNogoods=218
70.13	       =>  wckTime=9.693  cpuTime=9.61  mem=17M333
71.47	   
71.47	   search
71.47	     run=6  nbConstraintChecks=60028919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5455
71.47	     nbFailedAssignments=5072  nbBacktracks=318  nbVisitedNodes=10846  nbRestartNogoods=388
71.47	       =>  wckTime=11.028  cpuTime=10.94  mem=17M333
73.38	   
73.38	   search
73.38	     run=7  nbConstraintChecks=71451191  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6716
73.38	     nbFailedAssignments=6156  nbBacktracks=488  nbVisitedNodes=13361  nbRestartNogoods=506
73.39	       =>  wckTime=12.945  cpuTime=12.85  mem=17M333
84.09	   
84.09	   search
84.09	     run=8  nbConstraintChecks=129273808  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11164
84.09	     nbFailedAssignments=10342  nbBacktracks=744  nbVisitedNodes=22250  nbRestartNogoods=531
84.09	       =>  wckTime=23.649  cpuTime=23.55  mem=17M333
89.11	   
89.11	   search
89.11	     run=9  nbConstraintChecks=153002560  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14144
89.11	     nbFailedAssignments=12923  nbBacktracks=1128  nbVisitedNodes=28195  nbRestartNogoods=541
89.11	       =>  wckTime=28.667  cpuTime=28.57  mem=17M333
101.89	   
101.89	   search
101.89	     run=10  nbConstraintChecks=224129640  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21690
101.89	     nbFailedAssignments=19877  nbBacktracks=1704  nbVisitedNodes=43269  nbRestartNogoods=637
101.89	       =>  wckTime=41.454  cpuTime=41.35  mem=17M333
112.63	   
112.63	   search
112.63	     run=11  nbConstraintChecks=265805405  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25163
112.63	     nbFailedAssignments=22474  nbBacktracks=2568  nbVisitedNodes=50165  nbRestartNogoods=677
112.63	       =>  wckTime=52.193  cpuTime=52.08  mem=17M333
122.25	   
122.25	   search
122.25	     run=12  nbConstraintChecks=306850496  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=29752
122.25	     nbFailedAssignments=25760  nbBacktracks=3866  nbVisitedNodes=59309  nbRestartNogoods=711
122.25	       =>  wckTime=61.808  cpuTime=61.69  mem=17M333
142.41	   
142.41	   search
142.41	     run=13  nbConstraintChecks=378883037  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36208
142.41	     nbFailedAssignments=30263  nbBacktracks=5812  nbVisitedNodes=71883  nbRestartNogoods=737
142.41	       =>  wckTime=81.972  cpuTime=81.85  mem=17M333
169.77	   
169.77	   search
169.77	     run=14  nbConstraintChecks=475539857  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=44937
169.77	     nbFailedAssignments=36069  nbBacktracks=8731  nbVisitedNodes=88673  nbRestartNogoods=753
169.77	       =>  wckTime=109.33  cpuTime=109.2  mem=17M333
198.68	   
198.68	   search
198.68	     run=15  nbConstraintChecks=570425390  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53949
198.68	     nbFailedAssignments=40693  nbBacktracks=13111  nbVisitedNodes=105724  nbRestartNogoods=816
198.68	       =>  wckTime=138.244  cpuTime=138.09  mem=17M333
247.14	   
247.14	   search
247.14	     run=16  nbConstraintChecks=729323090  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=69323
247.14	     nbFailedAssignments=49490  nbBacktracks=19679  nbVisitedNodes=134490  nbRestartNogoods=895
247.14	       =>  wckTime=186.702  cpuTime=186.54  mem=17M333
300.90	o 101
300.90	c 2
311.52	   
311.52	   search
311.52	     run=17  nbConstraintChecks=960503001  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=93357
311.52	     nbFailedAssignments=63669  nbBacktracks=29531  nbVisitedNodes=180296  nbRestartNogoods=917
311.52	       =>  wckTime=251.084  cpuTime=250.9  mem=17M333
400.22	   
400.22	   search
400.22	     run=18  nbConstraintChecks=1276820285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=128815
400.22	     nbFailedAssignments=84346  nbBacktracks=44309  nbVisitedNodes=244675  nbRestartNogoods=948
400.22	       =>  wckTime=339.783  cpuTime=339.58  mem=17M333
555.60	   
555.61	   search
555.61	     run=19  nbConstraintChecks=1771836821  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=180738
555.61	     nbFailedAssignments=114096  nbBacktracks=66479  nbVisitedNodes=339118  nbRestartNogoods=999
555.61	       =>  wckTime=495.165  cpuTime=494.92  mem=17M333
763.68	   
763.68	   search
763.68	     run=20  nbConstraintChecks=2420405077  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=250479
763.68	     nbFailedAssignments=150582  nbBacktracks=99731  nbVisitedNodes=461914  nbRestartNogoods=1035
763.68	       =>  wckTime=703.24  cpuTime=702.93  mem=17M333
1092.14	   
1092.14	   search
1092.14	     run=21  nbConstraintChecks=3408941225  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=356326
1092.14	     nbFailedAssignments=206543  nbBacktracks=149609  nbVisitedNodes=649697  nbRestartNogoods=1122
1092.14	       =>  wckTime=1031.701  cpuTime=1031.29  mem=17M333
1554.11	   
1554.11	   search
1554.11	     run=22  nbConstraintChecks=4885539939  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=516064
1554.11	     nbFailedAssignments=291451  nbBacktracks=224430  nbVisitedNodes=934770  nbRestartNogoods=1230
1554.11	       =>  wckTime=1493.671  cpuTime=1493.11  mem=17M333
1678.74	o 102
1678.74	c 1
1848.32	   
1848.32	   search
1848.32	     run=23  nbConstraintChecks=5821694657  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=628049
1848.32	     nbFailedAssignments=346188  nbBacktracks=281678  nbVisitedNodes=1123054  nbRestartNogoods=1283
1848.32	       =>  wckTime=1787.885  cpuTime=1787.14  mem=17M333
1848.33	   
1848.33	   global
1848.33	     nbConstraintChecks=5821694657  nbRestartNogoods=1283  solvingWckTime=1787.886  solvingCpuTime=1787.14
1848.33	     expiredTime=no  totalExploration=yes  nbFoundSolutions=2  globalCpuTime=1847.12
1848.33	       =>  wckTime=1848.023  cpuTime=1847.08  mem=17M333
1848.33	
1848.33	s OPTIMUM FOUND
1848.33	v 26 4 17 45 65 53 0 29 0 34 51 62 46 51 8 1 33 17 14 14 19 64 59 75 18 48 2 64 50 63 29 58 61 14 68 51 11 4 49 53 
1848.33	   
1848.33	   totalWckTime=1848.098  totalCpuTime=1847.12

Verifier Data (download as text)

1 unsatisfied constraints, 102 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/node40/watcher-276419-1169237141 -o ROOT/results/node40/solver-276419-1169237141 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/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.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=168 CPUtime=0
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 272113432 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6910756 0 0 4096 0 0 0 0 17 1 0 0
/proc/919/statm: 42 23 18 14 0 2 0

[startup+0.106236 s]
/proc/loadavg: 1.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=914988 CPUtime=0.09
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 3006 0 1 0 7 2 0 0 18 0 8 0 272113432 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155089936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514291 s]
/proc/loadavg: 1.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915332 CPUtime=0.5
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 7630 0 1 0 45 5 0 0 16 0 8 0 272113432 937299968 7369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228833 7369 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33539 s]
/proc/loadavg: 1.01 1.60 1.85 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1.32
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10429 0 1 0 121 11 0 0 17 0 8 0 272113432 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10167 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915448 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937418752 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.12
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444

[startup+2.98661 s]
/proc/loadavg: 1.01 1.60 1.85 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=2.97
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10433 0 1 0 273 24 0 0 18 0 8 0 272113432 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228861 10170 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.12
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915444

[startup+6.28103 s]
/proc/loadavg: 1.01 1.59 1.84 2/72 927
/proc/meminfo: memFree=1550304/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=6.25
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 575 50 0 0 17 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444

[startup+12.7569 s]
/proc/loadavg: 1.01 1.58 1.84 2/72 927
/proc/meminfo: memFree=1550304/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915448 CPUtime=12.73
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 1177 96 0 0 25 0 8 0 272113432 937418752 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915448

[startup+25.5906 s]
/proc/loadavg: 1.01 1.55 1.83 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=25.55
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 2361 194 0 0 25 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444

[startup+51.2829 s]
/proc/loadavg: 1.00 1.51 1.80 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=51.23
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 4734 389 0 0 25 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915444

[startup+102.558 s]
/proc/loadavg: 1.00 1.43 1.76 2/72 927
/proc/meminfo: memFree=1550176/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=102.45
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10595 0 1 0 9786 459 0 0 22 0 8 0 272113432 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10324 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 390 0 0 0 22 1 0 0 17 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915444

[startup+162.566 s]
/proc/loadavg: 1.00 1.35 1.71 2/72 927
/proc/meminfo: memFree=1550176/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=162.45
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10596 0 1 0 15785 460 0 0 25 0 8 0 272113432 937414656 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 915444

[startup+1482.71 s]
/proc/loadavg: 1.00 1.00 1.14 2/72 929
/proc/meminfo: memFree=1550112/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1482.2
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 147759 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 915444

[startup+1542.72 s]
/proc/loadavg: 1.03 1.01 1.13 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1542.17
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 153756 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 915444

[startup+1602.72 s]
/proc/loadavg: 1.01 1.01 1.12 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1602.14
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 159753 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 915444

[startup+1662.74 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1662.11
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 165750 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 915444

[startup+1722.75 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1722.09
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 171748 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 915444

[startup+1782.76 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1782.06
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 177745 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 915444

[startup+1842.76 s]
/proc/loadavg: 1.05 1.01 1.09 2/72 929
/proc/meminfo: memFree=1549984/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1842.03
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 183742 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 1848.39
CPU time (s): 1847.61
CPU user time (s): 1842.99
CPU system time (s): 4.6233
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1842.99
system time used= 4.6233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10613
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= 38340
involuntary context switches= 40498

runsolver used 1.74573 s user time and 4.81127 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Jan 19 20:05:41 UTC 2007


IDJOB= 276419
IDBENCH= 5752
IDSOLVER= 69
FILE ID= node40/276419-1169237141

PBS_JOBID= 3589275

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-276419-1169237141 -o ROOT/results/node40/solver-276419-1169237141 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1937dcc0ff9b467159e37e0a7f121d87

RANDOM SEED= 129582141

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.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1581944 kB
Buffers:         41656 kB
Cached:         340440 kB
SwapCached:        268 kB
Active:         116324 kB
Inactive:       281116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1581944 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          24260 kB
Slab:            62588 kB
Committed_AS:  5044364 kB
PageTables:       1412 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 node40 on Fri Jan 19 20:36:30 UTC 2007