Trace number 281666

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 324.56 327.377

General information on the benchmark

NameMaxCSP/randomMaxCSP/sparseTight/
vcsp-25-10-21-85-35_ext.xml
MD5SUMed29a55c8c8d4cd33b026a0f1ad14c23
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints44
Best CPU time to get the best result obtained on this benchmark2.35864
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints63
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension63
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=pfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/281666-1169313504/unknown.xml
0.41	   
0.41	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.44	     nbVariables=25  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.44	       =>  wckTime=0.101  cpuTime=0.08  mem=6M910
0.44	   
0.44	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.53	     nbConstraints=63  nbRelationTypes=63  nbExtensionStructures=63  nbSharedExtensionStructures=0
0.53	     nbConflictsStructures=63  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1064  maxDegree=9
0.53	     maxArity=2
0.53	       =>  wckTime=0.189  cpuTime=0.14  mem=7M950
0.57	   
0.57	   solver LocalSearchSolver being built... 
0.61	       =>  wckTime=0.272  cpuTime=0.18  mem=5M428
0.62	
0.62	s SATISFIABLE
0.62	o 14
0.62	c 49
0.62	o 16
0.62	c 47
0.62	o 18
0.62	c 45
0.62	o 19
0.62	c 44
0.62	o 21
0.62	c 42
0.62	o 23
0.62	c 40
0.63	o 25
0.63	c 38
0.63	o 26
0.63	c 37
0.63	o 28
0.63	c 35
0.63	o 30
0.63	c 33
0.63	o 31
0.63	c 32
0.63	o 32
0.63	c 31
0.63	o 33
0.63	c 30
0.63	o 34
0.63	c 29
0.63	o 35
0.63	c 28
0.63	o 36
0.63	c 27
0.63	o 37
0.63	c 26
0.63	o 38
0.63	c 25
0.63	o 39
0.63	c 24
0.64	o 40
0.64	c 23
0.64	o 41
0.64	c 22
0.64	o 42
0.64	c 21
0.70	o 43
0.70	c 20
0.70	o 44
0.70	c 19
1.96	   
1.96	   search
1.96	     run=0  nbConstraintChecks=6298769  nbAssignments=10000
1.96	       =>  wckTime=1.343  cpuTime=1.31  mem=5M428
3.25	   
3.25	   search
3.25	     run=1  nbConstraintChecks=12550427  nbAssignments=20000
3.25	       =>  wckTime=2.633  cpuTime=2.6  mem=5M428
4.54	   
4.54	   search
4.54	     run=2  nbConstraintChecks=18825031  nbAssignments=30000
4.54	       =>  wckTime=3.927  cpuTime=3.87  mem=5M428
5.84	   
5.84	   search
5.84	     run=3  nbConstraintChecks=25169835  nbAssignments=40000
5.84	       =>  wckTime=5.223  cpuTime=5.16  mem=5M428
7.14	   
7.14	   search
7.14	     run=4  nbConstraintChecks=31584206  nbAssignments=50000
7.14	       =>  wckTime=6.525  cpuTime=6.45  mem=5M428
8.48	   
8.48	   search
8.48	     run=5  nbConstraintChecks=38428412  nbAssignments=60000
8.48	       =>  wckTime=7.872  cpuTime=7.78  mem=5M428
9.78	   
9.78	   search
9.78	     run=6  nbConstraintChecks=44729628  nbAssignments=70000
9.78	       =>  wckTime=9.166  cpuTime=9.07  mem=5M428
11.10	   
11.10	   search
11.10	     run=7  nbConstraintChecks=51204239  nbAssignments=80000
11.10	       =>  wckTime=10.487  cpuTime=10.37  mem=5M428
12.40	   
12.40	   search
12.40	     run=8  nbConstraintChecks=57487361  nbAssignments=90000
12.40	       =>  wckTime=11.789  cpuTime=11.67  mem=5M428
13.71	   
13.71	   search
13.71	     run=9  nbConstraintChecks=63813245  nbAssignments=100000
13.71	       =>  wckTime=13.096  cpuTime=12.96  mem=5M428
15.01	   
15.01	   search
15.01	     run=10  nbConstraintChecks=70145174  nbAssignments=110000
15.01	       =>  wckTime=14.4  cpuTime=14.26  mem=5M428
16.33	   
16.33	   search
16.33	     run=11  nbConstraintChecks=76492721  nbAssignments=120000
16.33	       =>  wckTime=15.712  cpuTime=15.56  mem=5M428
17.64	   
17.64	   search
17.64	     run=12  nbConstraintChecks=82845306  nbAssignments=130000
17.64	       =>  wckTime=17.023  cpuTime=16.86  mem=5M428
18.95	   
18.95	   search
18.95	     run=13  nbConstraintChecks=89277960  nbAssignments=140000
18.95	       =>  wckTime=18.34  cpuTime=18.16  mem=5M428
20.26	   
20.26	   search
20.26	     run=14  nbConstraintChecks=95656515  nbAssignments=150000
20.26	       =>  wckTime=19.647  cpuTime=19.46  mem=5M428
21.57	   
21.57	   search
21.57	     run=15  nbConstraintChecks=102127763  nbAssignments=160000
21.57	       =>  wckTime=20.959  cpuTime=20.76  mem=5M428
22.87	   
22.87	   search
22.87	     run=16  nbConstraintChecks=108458909  nbAssignments=170000
22.87	       =>  wckTime=22.255  cpuTime=22.04  mem=5M428
24.20	   
24.20	   search
24.20	     run=17  nbConstraintChecks=115076432  nbAssignments=180000
24.20	       =>  wckTime=23.585  cpuTime=23.36  mem=5M428
25.50	   
25.50	   search
25.50	     run=18  nbConstraintChecks=121463613  nbAssignments=190000
25.50	       =>  wckTime=24.885  cpuTime=24.66  mem=5M428
26.83	   
26.83	   search
26.83	     run=19  nbConstraintChecks=128106318  nbAssignments=200000
26.83	       =>  wckTime=26.214  cpuTime=25.97  mem=5M428
28.14	   
28.14	   search
28.14	     run=20  nbConstraintChecks=134641376  nbAssignments=210000
28.14	       =>  wckTime=27.531  cpuTime=27.27  mem=5M428
29.45	   
29.45	   search
29.45	     run=21  nbConstraintChecks=141003784  nbAssignments=220000
29.45	       =>  wckTime=28.836  cpuTime=28.57  mem=5M428
30.77	   
30.77	   search
30.77	     run=22  nbConstraintChecks=147441413  nbAssignments=230000
30.77	       =>  wckTime=30.152  cpuTime=29.87  mem=5M428
30.97	   
30.97	   search
30.97	     run=23  nbConstraintChecks=148467494  nbAssignments=231488
30.97	       =>  wckTime=30.358  cpuTime=30.08  mem=5M428
30.97	   
30.97	   global
30.97	     nbConstraintChecks=148467494  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.97	     solvingWckTime=30.357  solvingCpuTime=30.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.97	     globalCpuTime=30.31
30.97	       =>  wckTime=30.631  cpuTime=30.26  mem=5M428
30.97	   
30.97	   solver IterativeSystematicSolver being built... 
31.11	       =>  wckTime=30.764  cpuTime=30.37  mem=16M434
31.11	   
31.11	   preprocessing
31.11	     nbConstraintChecks=1170  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.11	     detectedInconsistency=no
31.11	       =>  wckTime=0.0060  cpuTime=0.0  mem=16M434
31.17	   
31.17	   search
31.17	     run=0  nbConstraintChecks=55519  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38
31.17	     nbFailedAssignments=20  nbBacktracks=10  nbVisitedNodes=69  nbRestartNogoods=0
31.17	       =>  wckTime=0.058  cpuTime=0.03  mem=16M434
31.21	   
31.21	   search
31.21	     run=1  nbConstraintChecks=153198  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=97
31.21	     nbFailedAssignments=58  nbBacktracks=25  nbVisitedNodes=181  nbRestartNogoods=8
31.21	       =>  wckTime=0.103  cpuTime=0.07  mem=16M434
31.25	   
31.25	   search
31.25	     run=2  nbConstraintChecks=275178  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=176
31.25	     nbFailedAssignments=107  nbBacktracks=47  nbVisitedNodes=331  nbRestartNogoods=18
31.25	       =>  wckTime=0.141  cpuTime=0.1  mem=16M434
31.33	   
31.33	   search
31.33	     run=3  nbConstraintChecks=574950  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=347
31.33	     nbFailedAssignments=239  nbBacktracks=80  nbVisitedNodes=666  nbRestartNogoods=23
31.33	       =>  wckTime=0.226  cpuTime=0.18  mem=16M434
31.44	   
31.44	   search
31.44	     run=4  nbConstraintChecks=993955  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=593
31.44	     nbFailedAssignments=429  nbBacktracks=130  nbVisitedNodes=1152  nbRestartNogoods=37
31.44	       =>  wckTime=0.329  cpuTime=0.29  mem=16M434
31.55	   
31.55	   search
31.55	     run=5  nbConstraintChecks=1442309  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=856
31.55	     nbFailedAssignments=609  nbBacktracks=206  nbVisitedNodes=1670  nbRestartNogoods=48
31.55	       =>  wckTime=0.441  cpuTime=0.4  mem=16M434
31.74	   
31.74	   search
31.74	     run=6  nbConstraintChecks=2124790  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1244
31.74	     nbFailedAssignments=879  nbBacktracks=319  nbVisitedNodes=2437  nbRestartNogoods=51
31.74	       =>  wckTime=0.633  cpuTime=0.58  mem=16M434
31.94	   
31.94	   search
31.94	     run=7  nbConstraintChecks=2842815  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1687
31.94	     nbFailedAssignments=1145  nbBacktracks=489  nbVisitedNodes=3316  nbRestartNogoods=59
31.94	       =>  wckTime=0.832  cpuTime=0.76  mem=16M434
32.30	   
32.30	   search
32.30	     run=8  nbConstraintChecks=4150317  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2460
32.30	     nbFailedAssignments=1654  nbBacktracks=745  nbVisitedNodes=4848  nbRestartNogoods=68
32.30	       =>  wckTime=1.194  cpuTime=1.11  mem=16M434
32.78	   
32.78	   search
32.78	     run=9  nbConstraintChecks=6140622  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3671
32.78	     nbFailedAssignments=2473  nbBacktracks=1129  nbVisitedNodes=7261  nbRestartNogoods=86
32.78	       =>  wckTime=1.672  cpuTime=1.59  mem=16M434
33.61	   
33.61	   search
33.61	     run=10  nbConstraintChecks=9371924  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5543
33.61	     nbFailedAssignments=3763  nbBacktracks=1705  nbVisitedNodes=10970  nbRestartNogoods=96
33.61	       =>  wckTime=2.501  cpuTime=2.4  mem=16M434
34.47	   
34.47	   search
34.47	     run=11  nbConstraintChecks=12808048  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7651
34.47	     nbFailedAssignments=4998  nbBacktracks=2569  nbVisitedNodes=15177  nbRestartNogoods=112
34.47	       =>  wckTime=3.366  cpuTime=3.26  mem=16M434
35.84	   
35.84	   search
35.84	     run=12  nbConstraintChecks=18607301  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11237
35.84	     nbFailedAssignments=7280  nbBacktracks=3866  nbVisitedNodes=22338  nbRestartNogoods=124
35.84	       =>  wckTime=4.735  cpuTime=4.62  mem=16M434
38.50	   
38.50	   search
38.50	     run=13  nbConstraintChecks=29020053  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17197
38.50	     nbFailedAssignments=11290  nbBacktracks=5812  nbVisitedNodes=34173  nbRestartNogoods=137
38.50	       =>  wckTime=7.394  cpuTime=7.25  mem=16M434
41.65	   
41.65	   search
41.65	     run=14  nbConstraintChecks=41628140  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24740
41.65	     nbFailedAssignments=15906  nbBacktracks=8731  nbVisitedNodes=49248  nbRestartNogoods=148
41.65	       =>  wckTime=10.544  cpuTime=10.38  mem=16M434
46.56	   
46.56	   search
46.56	     run=15  nbConstraintChecks=63238706  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37863
46.56	     nbFailedAssignments=24642  nbBacktracks=13109  nbVisitedNodes=75415  nbRestartNogoods=162
46.56	       =>  wckTime=15.45  cpuTime=15.25  mem=16M434
56.09	   
56.09	   search
56.09	     run=16  nbConstraintChecks=101081870  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59899
56.09	     nbFailedAssignments=40102  nbBacktracks=19677  nbVisitedNodes=119161  nbRestartNogoods=191
56.09	       =>  wckTime=24.98  cpuTime=24.7  mem=16M434
70.40	   
70.40	   search
70.40	     run=17  nbConstraintChecks=154476618  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=93787
70.40	     nbFailedAssignments=64133  nbBacktracks=29529  nbVisitedNodes=186552  nbRestartNogoods=207
70.40	       =>  wckTime=39.296  cpuTime=38.89  mem=16M434
94.45	   
94.45	   search
94.45	     run=18  nbConstraintChecks=249658928  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=151680
94.45	     nbFailedAssignments=107240  nbBacktracks=44308  nbVisitedNodes=301434  nbRestartNogoods=226
94.45	       =>  wckTime=63.343  cpuTime=62.73  mem=16M434
126.59	   
126.59	   search
126.59	     run=19  nbConstraintChecks=378774230  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=230246
126.59	     nbFailedAssignments=163633  nbBacktracks=66476  nbVisitedNodes=456838  nbRestartNogoods=237
126.59	       =>  wckTime=95.48  cpuTime=94.6  mem=16M434
173.32	   
173.32	   search
173.32	     run=20  nbConstraintChecks=568343479  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=344539
173.32	     nbFailedAssignments=244670  nbBacktracks=99730  nbVisitedNodes=682773  nbRestartNogoods=260
173.32	       =>  wckTime=142.211  cpuTime=140.95  mem=16M434
241.67	   
241.67	   search
241.67	     run=21  nbConstraintChecks=842307707  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=510993
241.67	     nbFailedAssignments=361242  nbBacktracks=149608  nbVisitedNodes=1011553  nbRestartNogoods=263
241.67	       =>  wckTime=210.562  cpuTime=208.72  mem=16M434
327.35	   
327.35	   search
327.35	     run=22  nbConstraintChecks=1197619436  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=724937
327.35	     nbFailedAssignments=515718  nbBacktracks=209077  nbVisitedNodes=1433803  nbRestartNogoods=273
327.35	       =>  wckTime=296.247  cpuTime=293.67  mem=16M434
327.36	   
327.36	   global
327.36	     nbConstraintChecks=1197620606  nbRestartNogoods=273  solvingWckTime=296.248  solvingCpuTime=293.67  expiredTime=no
327.36	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=324.09
327.36	       =>  wckTime=327.013  cpuTime=324.04  mem=16M434
327.36	
327.36	s OPTIMUM FOUND
327.36	v 8 7 2 1 4 6 5 0 8 0 9 8 4 0 0 4 6 6 5 8 4 8 8 9 7 
327.36	   
327.36	   totalWckTime=327.093  totalCpuTime=324.09

Verifier Data (download as text)

19 unsatisfied constraints, 44 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/node13/watcher-281666-1169313504 -o ROOT/results/node13/solver-281666-1169313504 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/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: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=18540 CPUtime=0
/proc/31840/stat : 31840 (runsolver) R 31838 31840 31724 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 279745374 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269754595050 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31840/statm: 4635 279 244 17 0 2626 0

[startup+0.108374 s]
/proc/loadavg: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=907808 CPUtime=0.06
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 2513 0 1 0 5 1 0 0 17 0 4 0 279745374 929595392 2260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020566 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 226952 2260 1235 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.520438 s]
/proc/loadavg: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915332 CPUtime=0.46
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6388 0 1 0 43 3 0 0 18 0 8 0 279745374 937299968 6127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228833 6127 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332

[startup+1.34253 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261016/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=1.28
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6950 0 1 0 104 24 0 0 25 0 8 0 279745374 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12091509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6688 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915436

[startup+2.97975 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1260952/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=2.9
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 214 76 0 0 25 0 8 0 279745374 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6690 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915436

[startup+6.26319 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1260952/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=6.15
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 443 172 0 0 25 0 8 0 279745374 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6690 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915436

[startup+12.7471 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261016/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915440 CPUtime=12.59
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 893 366 0 0 25 0 8 0 279745374 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228860 6690 2476 14 0 215330 0
[pid=31840/tid=31842] ppid=31838 vsize=915440 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915440 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440

[startup+25.6118 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261144/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=25.34
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6955 0 1 0 1778 756 0 0 25 0 8 0 279745374 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6691 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.11
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 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) 915436

[startup+51.2242 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=50.73
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 8996 0 1 0 4157 916 0 0 25 0 8 0 279745374 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8728 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915436

[startup+102.43 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=101.51
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9006 0 1 0 9234 917 0 0 25 0 8 0 279745374 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8737 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915436

[startup+162.48 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=161.06
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9008 0 1 0 15189 917 0 0 25 0 8 0 279745374 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8739 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915436

[startup+222.538 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=220.63
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9010 0 1 0 21145 918 0 0 25 0 8 0 279745374 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8741 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915436

[startup+282.585 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 31850
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=280.14
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9013 0 1 0 27096 918 0 0 25 0 8 0 279745374 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8744 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 327.377
CPU time (s): 324.56
CPU user time (s): 315.359
CPU system time (s): 9.2006
CPU usage (%): 99.1395
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 315.359
system time used= 9.2006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9108
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= 7712
involuntary context switches= 14213

runsolver used 0.369943 s user time and 1.09983 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 17:18:24 UTC 2007


IDJOB= 281666
IDBENCH= 12239
IDSOLVER= 69
FILE ID= node13/281666-1169313504

PBS_JOBID= 3610006

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-281666-1169313504 -o ROOT/results/node13/solver-281666-1169313504 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ed29a55c8c8d4cd33b026a0f1ad14c23

RANDOM SEED= 946134681

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.247
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.247
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:       1278576 kB
Buffers:         62844 kB
Cached:         538316 kB
SwapCached:       8664 kB
Active:         371856 kB
Inactive:       325328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1278576 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:         104088 kB
Slab:            64668 kB
Committed_AS:  8504464 kB
PageTables:       2512 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= 66561 MiB



End job on node13 on Sat Jan 20 17:23:51 UTC 2007