Trace number 276239

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 1421.54 1434.74

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-49021_ext.xml
MD5SUM018906158a3534888a95e4e4a84176ab
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints275
Best CPU time to get the best result obtained on this benchmark136.392
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276239-1169233749/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=854  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.32  cpuTime=0.23  mem=13M769
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.73	       =>  wckTime=0.409  cpuTime=0.27  mem=6M128
0.74	
0.74	s SATISFIABLE
0.74	o 221
0.74	c 55
0.74	o 227
0.74	c 49
0.74	o 231
0.74	c 45
0.74	o 236
0.74	c 40
0.74	o 239
0.74	c 37
0.74	o 241
0.74	c 35
0.74	o 244
0.74	c 32
0.74	o 248
0.74	c 28
0.74	o 250
0.74	c 26
0.74	o 252
0.74	c 24
0.74	o 253
0.74	c 23
0.75	o 255
0.75	c 21
0.75	o 257
0.75	c 19
0.75	o 260
0.75	c 16
0.76	o 262
0.76	c 14
0.76	o 264
0.76	c 12
0.76	o 266
0.76	c 10
0.76	o 268
0.76	c 8
0.77	o 269
0.77	c 7
0.77	o 270
0.77	c 6
0.78	o 271
0.78	c 5
0.87	o 272
0.87	c 4
0.87	o 274
0.87	c 2
0.87	o 275
0.87	c 1
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=792052  nbAssignments=399
0.87	       =>  wckTime=0.145  cpuTime=0.14  mem=6M128
0.87	   
0.87	   global
0.87	     nbConstraintChecks=792052  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
0.88	     solvingWckTime=0.143  solvingCpuTime=0.14  expiredTime=no  totalExploration=no  nbFoundSolutions=0
0.88	     globalCpuTime=0.47
0.88	       =>  wckTime=0.554  cpuTime=0.41  mem=6M128
0.88	   
0.88	   solver IterativeSystematicSolver being built... 
1.00	       =>  wckTime=0.679  cpuTime=0.51  mem=17M53
1.01	   
1.01	   preprocessing
1.01	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.01	     detectedInconsistency=no
1.01	       =>  wckTime=0.0070  cpuTime=0.0  mem=17M53
1.07	   
1.07	   search
1.07	     run=0  nbConstraintChecks=121154  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33
1.07	     nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=62  nbRestartNogoods=0
1.07	       =>  wckTime=0.072  cpuTime=0.05  mem=17M53
1.17	   
1.17	   search
1.17	     run=1  nbConstraintChecks=384259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=97
1.17	     nbFailedAssignments=63  nbBacktracks=25  nbVisitedNodes=186  nbRestartNogoods=18
1.17	       =>  wckTime=0.167  cpuTime=0.12  mem=17M53
1.25	   
1.25	   search
1.25	     run=2  nbConstraintChecks=762547  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=197
1.25	     nbFailedAssignments=136  nbBacktracks=47  nbVisitedNodes=381  nbRestartNogoods=26
1.25	       =>  wckTime=0.249  cpuTime=0.21  mem=17M53
1.35	   
1.35	   search
1.35	     run=3  nbConstraintChecks=1211954  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=327
1.35	     nbFailedAssignments=228  nbBacktracks=80  nbVisitedNodes=636  nbRestartNogoods=32
1.35	       =>  wckTime=0.348  cpuTime=0.3  mem=17M53
1.52	   
1.52	   search
1.52	     run=4  nbConstraintChecks=2084772  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=538
1.52	     nbFailedAssignments=385  nbBacktracks=130  nbVisitedNodes=1052  nbRestartNogoods=48
1.52	       =>  wckTime=0.522  cpuTime=0.48  mem=17M53
1.74	   
1.74	   search
1.74	     run=5  nbConstraintChecks=3122107  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=792
1.74	     nbFailedAssignments=558  nbBacktracks=206  nbVisitedNodes=1548  nbRestartNogoods=53
1.74	       =>  wckTime=0.736  cpuTime=0.69  mem=17M53
2.03	   
2.03	   search
2.03	     run=6  nbConstraintChecks=4532732  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1153
2.03	     nbFailedAssignments=800  nbBacktracks=320  nbVisitedNodes=2248  nbRestartNogoods=58
2.03	       =>  wckTime=1.029  cpuTime=0.97  mem=17M53
2.45	   
2.45	   search
2.45	     run=7  nbConstraintChecks=6537755  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1601
2.45	     nbFailedAssignments=1073  nbBacktracks=490  nbVisitedNodes=3101  nbRestartNogoods=67
2.45	       =>  wckTime=1.449  cpuTime=1.36  mem=17M53
2.96	   
2.96	   search
2.96	     run=8  nbConstraintChecks=9225477  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2218
2.96	     nbFailedAssignments=1429  nbBacktracks=746  nbVisitedNodes=4206  nbRestartNogoods=76
2.96	       =>  wckTime=1.956  cpuTime=1.87  mem=17M53
3.68	   
3.68	   search
3.68	     run=9  nbConstraintChecks=12962961  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3091
3.68	     nbFailedAssignments=1913  nbBacktracks=1131  nbVisitedNodes=5757  nbRestartNogoods=84
3.68	       =>  wckTime=2.68  cpuTime=2.58  mem=17M53
4.58	   
4.58	   search
4.58	     run=10  nbConstraintChecks=17618996  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4250
4.58	     nbFailedAssignments=2491  nbBacktracks=1707  nbVisitedNodes=7736  nbRestartNogoods=96
4.58	       =>  wckTime=3.58  cpuTime=3.46  mem=17M53
5.98	   
5.98	   search
5.98	     run=11  nbConstraintChecks=24907325  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6005
5.98	     nbFailedAssignments=3377  nbBacktracks=2571  nbVisitedNodes=10751  nbRestartNogoods=106
5.98	       =>  wckTime=4.977  cpuTime=4.85  mem=17M53
7.92	   
7.92	   search
7.92	     run=12  nbConstraintChecks=35144634  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8544
7.92	     nbFailedAssignments=4615  nbBacktracks=3869  nbVisitedNodes=15050  nbRestartNogoods=118
7.92	       =>  wckTime=6.921  cpuTime=6.78  mem=17M53
10.94	   
10.94	   search
10.94	     run=13  nbConstraintChecks=50916410  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12363
10.94	     nbFailedAssignments=6483  nbBacktracks=5815  nbVisitedNodes=21474  nbRestartNogoods=126
10.94	       =>  wckTime=9.937  cpuTime=9.77  mem=17M53
15.17	   
15.17	   search
15.17	     run=14  nbConstraintChecks=72927858  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17869
15.17	     nbFailedAssignments=9064  nbBacktracks=8734  nbVisitedNodes=30596  nbRestartNogoods=137
15.17	       =>  wckTime=14.166  cpuTime=13.96  mem=17M53
21.97	   
21.97	   search
21.97	     run=15  nbConstraintChecks=108591452  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26421
21.97	     nbFailedAssignments=13233  nbBacktracks=13112  nbVisitedNodes=45011  nbRestartNogoods=145
21.97	       =>  wckTime=20.972  cpuTime=20.7  mem=17M53
31.73	   
31.73	   search
31.73	     run=16  nbConstraintChecks=159897710  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38855
31.73	     nbFailedAssignments=19093  nbBacktracks=19680  nbVisitedNodes=65764  nbRestartNogoods=161
31.73	       =>  wckTime=30.734  cpuTime=30.37  mem=17M53
46.68	   
46.68	   search
46.68	     run=17  nbConstraintChecks=238311290  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=57772
46.68	     nbFailedAssignments=28153  nbBacktracks=29532  nbVisitedNodes=97607  nbRestartNogoods=184
46.68	       =>  wckTime=45.68  cpuTime=45.18  mem=17M53
68.61	   
68.61	   search
68.61	     run=18  nbConstraintChecks=353258253  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85930
68.61	     nbFailedAssignments=41529  nbBacktracks=44310  nbVisitedNodes=144745  nbRestartNogoods=201
68.61	       =>  wckTime=67.613  cpuTime=66.91  mem=17M53
102.53	   
102.53	   search
102.53	     run=19  nbConstraintChecks=531562507  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=128591
102.53	     nbFailedAssignments=62017  nbBacktracks=66480  nbVisitedNodes=216571  nbRestartNogoods=215
102.53	       =>  wckTime=101.525  cpuTime=100.51  mem=17M53
152.83	   
152.83	   search
152.83	     run=20  nbConstraintChecks=794959738  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=192485
152.83	     nbFailedAssignments=92654  nbBacktracks=99734  nbVisitedNodes=324245  nbRestartNogoods=230
152.83	       =>  wckTime=151.831  cpuTime=150.36  mem=17M53
227.44	   
227.44	   search
227.44	     run=21  nbConstraintChecks=1187129389  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=287637
227.44	     nbFailedAssignments=137922  nbBacktracks=149612  nbVisitedNodes=483829  nbRestartNogoods=237
227.44	       =>  wckTime=226.443  cpuTime=224.28  mem=17M53
340.00	   
340.00	   search
340.00	     run=22  nbConstraintChecks=1776013419  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=431291
340.00	     nbFailedAssignments=206752  nbBacktracks=224431  nbVisitedNodes=725368  nbRestartNogoods=263
340.00	       =>  wckTime=339.0  cpuTime=335.81  mem=17M53
508.43	   
508.43	   search
508.43	     run=23  nbConstraintChecks=2658765849  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=645998
508.43	     nbFailedAssignments=309227  nbBacktracks=336659  nbVisitedNodes=1086095  nbRestartNogoods=270
508.43	       =>  wckTime=507.428  cpuTime=502.69  mem=17M53
761.17	   
761.17	   search
761.17	     run=24  nbConstraintChecks=3981407954  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=967759
761.17	     nbFailedAssignments=462642  nbBacktracks=505002  nbVisitedNodes=1625850  nbRestartNogoods=280
761.17	       =>  wckTime=760.165  cpuTime=753.12  mem=17M53
1141.50	   
1141.50	   search
1141.50	     run=25  nbConstraintChecks=5974453194  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1451405
1141.50	     nbFailedAssignments=693773  nbBacktracks=757515  nbVisitedNodes=2438893  nbRestartNogoods=290
1141.50	       =>  wckTime=1140.499  cpuTime=1129.97  mem=17M53
1434.68	   
1434.68	   search
1434.68	     run=26  nbConstraintChecks=7509668615  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1828810
1434.68	     nbFailedAssignments=873558  nbBacktracks=955136  nbVisitedNodes=3072273  nbRestartNogoods=300
1434.68	       =>  wckTime=1433.678  cpuTime=1420.47  mem=17M53
1434.68	   
1434.68	   global
1434.68	     nbConstraintChecks=7509668615  nbRestartNogoods=300  solvingWckTime=1433.679  solvingCpuTime=1420.47
1434.68	     expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1421.04
1434.68	       =>  wckTime=1434.359  cpuTime=1420.98  mem=17M53
1434.68	
1434.68	s OPTIMUM FOUND
1434.68	v 1 20 5 12 16 23 16 21 7 2 2 12 7 2 13 17 16 21 19 9 22 2 21 16 
1434.68	   
1434.68	   totalWckTime=1434.439  totalCpuTime=1421.04

Verifier Data (download as text)

1 unsatisfied constraints, 275 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/node22/watcher-276239-1169233749 -o ROOT/results/node22/solver-276239-1169233749 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276239-1169233749/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.99 2.01 2.00 2/94 19130
/proc/meminfo: memFree=1444944/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=18540 CPUtime=0
/proc/19129/stat : 19129 (runsolver) R 19127 19129 18174 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271769347 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19129/statm: 4635 279 244 17 0 2626 0

[startup+0.103003 s]
/proc/loadavg: 1.99 2.01 2.00 2/94 19130
/proc/meminfo: memFree=1444944/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=912908 CPUtime=0.08
/proc/19129/stat : 19129 (java) S 19127 19129 18174 0 -1 0 2821 0 1 0 7 1 0 0 18 0 8 0 271769347 934817792 2567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228227 2567 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908

[startup+0.513066 s]
/proc/loadavg: 1.99 2.01 2.00 2/94 19130
/proc/meminfo: memFree=1444944/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915332 CPUtime=0.47
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 6812 0 1 0 43 4 0 0 18 0 8 0 271769347 937299968 6551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228833 6551 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33419 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419288/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1.29
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9143 0 1 0 119 10 0 0 24 0 8 0 271769347 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8880 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.2
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 378 0 0 0 19 1 0 0 16 0 8 0 271769356 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464

[startup+2.97244 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419160/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=2.91
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9172 0 1 0 281 10 0 0 25 0 8 0 271769347 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073893755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8908 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 17 0 8 0 271769352 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.23
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 393 0 0 0 22 1 0 0 15 0 8 0 271769356 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464

[startup+6.27395 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=6.18
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9184 0 1 0 608 10 0 0 25 0 8 0 271769347 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8918 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 271769356 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7509 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419032/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=12.6
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9188 0 1 0 1250 10 0 0 25 0 8 0 271769347 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8922 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 271769356 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464

[startup+25.6109 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=25.34
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9195 0 1 0 2524 10 0 0 25 0 8 0 271769347 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8928 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464

[startup+51.2169 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 19137
/proc/meminfo: memFree=1419160/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=50.71
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9200 0 1 0 5061 10 0 0 25 0 8 0 271769347 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8933 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464

[startup+102.429 s]
/proc/loadavg: 1.99 2.00 2.00 3/101 19137
/proc/meminfo: memFree=1419160/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=101.46
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9202 0 1 0 10135 11 0 0 25 0 8 0 271769347 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8935 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915464

[startup+162.512 s]
/proc/loadavg: 1.99 2.00 2.00 3/101 19137
/proc/meminfo: memFree=1419224/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=160.99
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9208 0 1 0 16088 11 0 0 25 0 8 0 271769347 937435136 8940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.41
Current children cumulated vsize (KiB) 915464

[startup+1063.64 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 19139
/proc/meminfo: memFree=1419160/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1053.87
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9217 0 1 0 105368 19 0 0 25 0 8 0 271769347 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8949 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1053.87
Current children cumulated vsize (KiB) 915464

[startup+1123.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19139
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1113.42
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9217 0 1 0 111323 19 0 0 25 0 8 0 271769347 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8949 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.42
Current children cumulated vsize (KiB) 915464

[startup+1183.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19139
/proc/meminfo: memFree=1419032/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1172.97
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9220 0 1 0 117277 20 0 0 25 0 8 0 271769347 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8952 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1172.97
Current children cumulated vsize (KiB) 915464

[startup+1243.94 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 19139
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1232.52
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9220 0 1 0 123232 20 0 0 25 0 8 0 271769347 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8952 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.52
Current children cumulated vsize (KiB) 915464

[startup+1304.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19139
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1292.06
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9220 0 1 0 129185 21 0 0 25 0 8 0 271769347 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8952 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.06
Current children cumulated vsize (KiB) 915464

[startup+1364.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19139
/proc/meminfo: memFree=1419032/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1351.6
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9220 0 1 0 135139 21 0 0 25 0 8 0 271769347 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8952 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.6
Current children cumulated vsize (KiB) 915464

[startup+1424.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19139
/proc/meminfo: memFree=1419096/2055920 swapFree=4157544/4192956
[pid=19129] ppid=19127 vsize=915464 CPUtime=1411.16
/proc/19129/stat : 19129 (java) R 19127 19129 18174 0 -1 0 9220 0 1 0 141094 22 0 0 25 0 8 0 271769347 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19129/statm: 228866 8952 2525 14 0 215336 0
[pid=19129/tid=19131] ppid=19127 vsize=915464 CPUtime=0.03
/proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18174 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271769352 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19132] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18174 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19133] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18174 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271769353 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19134] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18174 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19135] ppid=19127 vsize=915464 CPUtime=0.24
/proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18174 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19136] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19129/tid=19137] ppid=19127 vsize=915464 CPUtime=0
/proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18174 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271769356 937435136 8952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1411.16
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 1434.74
CPU time (s): 1421.54
CPU user time (s): 1421.31
CPU system time (s): 0.228965
CPU usage (%): 99.0796
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1421.31
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9316
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= 30129
involuntary context switches= 103177

runsolver used 1.78173 s user time and 4.5753 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Fri Jan 19 19:09:09 UTC 2007


IDJOB= 276239
IDBENCH= 5470
IDSOLVER= 69
FILE ID= node22/276239-1169233749

PBS_JOBID= 3589260

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276239-1169233749/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-276239-1169233749 -o ROOT/results/node22/solver-276239-1169233749 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276239-1169233749/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  018906158a3534888a95e4e4a84176ab

RANDOM SEED= 290489439

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.279
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.279
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:       1445424 kB
Buffers:         47648 kB
Cached:         429008 kB
SwapCached:      11244 kB
Active:         198060 kB
Inactive:       330744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1445424 kB
SwapTotal:     4192956 kB
SwapFree:      4157544 kB
Dirty:            1892 kB
Writeback:           0 kB
Mapped:          77424 kB
Slab:            66348 kB
Committed_AS:  4337664 kB
PageTables:       2368 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 node22 on Fri Jan 19 19:33:04 UTC 2007