Trace number 278003

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 328.735 331.559

General information on the benchmark

NameMaxCSP/cnf/3-40-100-1000/
cnf-3-40-400-907721_ext.xml
MD5SUM270ec4ff4b5780b4727b03faf9743be5
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints375
Best CPU time to get the best result obtained on this benchmark1.71074
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints390
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension390
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/278003-1169273270/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.42	       =>  wckTime=0.092  cpuTime=0.08  mem=6M910
0.42	   
0.42	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.56	     nbConstraints=390  nbRelationTypes=17  nbExtensionStructures=17  nbSharedExtensionStructures=373
0.56	     nbConflictsStructures=17  nbSharedConflictsStructures=373  nbSharedBinaryRepresentations=0  maxDegree=47
0.56	     maxArity=3
0.56	       =>  wckTime=0.235  cpuTime=0.15  mem=8M909
0.60	   
0.60	   solver LocalSearchSolver being built... 
0.64	       =>  wckTime=0.316  cpuTime=0.2  mem=5M561
0.64	
0.64	s SATISFIABLE
0.64	o 344
0.64	c 46
0.64	o 346
0.64	c 44
0.64	o 349
0.64	c 41
0.65	o 353
0.65	c 37
0.65	o 356
0.65	c 34
0.65	o 357
0.65	c 33
0.65	o 360
0.65	c 30
0.65	o 361
0.65	c 29
0.65	o 363
0.65	c 27
0.65	o 364
0.65	c 26
0.65	o 365
0.65	c 25
0.67	o 366
0.67	c 24
0.67	o 367
0.67	c 23
0.67	o 369
0.67	c 21
0.67	o 370
0.67	c 20
0.67	o 372
0.67	c 18
0.68	o 373
0.68	c 17
0.72	o 375
0.72	c 15
2.11	   
2.11	   search
2.11	     run=0  nbConstraintChecks=6025077  nbAssignments=10000
2.11	       =>  wckTime=1.469  cpuTime=1.44  mem=5M561
3.54	   
3.54	   search
3.54	     run=1  nbConstraintChecks=12267572  nbAssignments=20000
3.54	       =>  wckTime=2.904  cpuTime=2.86  mem=5M561
4.94	   
4.94	   search
4.94	     run=2  nbConstraintChecks=18287115  nbAssignments=30000
4.94	       =>  wckTime=4.3  cpuTime=4.23  mem=5M561
6.36	   
6.36	   search
6.36	     run=3  nbConstraintChecks=24594154  nbAssignments=40000
6.36	       =>  wckTime=5.721  cpuTime=5.65  mem=5M561
7.74	   
7.74	   search
7.74	     run=4  nbConstraintChecks=30616523  nbAssignments=50000
7.74	       =>  wckTime=7.103  cpuTime=7.02  mem=5M561
9.16	   
9.16	   search
9.16	     run=5  nbConstraintChecks=36855851  nbAssignments=60000
9.16	       =>  wckTime=8.519  cpuTime=8.42  mem=5M561
10.54	   
10.54	   search
10.54	     run=6  nbConstraintChecks=42857910  nbAssignments=70000
10.54	       =>  wckTime=9.904  cpuTime=9.8  mem=5M561
11.95	   
11.95	   search
11.95	     run=7  nbConstraintChecks=49102951  nbAssignments=80000
11.96	       =>  wckTime=11.317  cpuTime=11.2  mem=5M561
13.34	   
13.34	   search
13.34	     run=8  nbConstraintChecks=55124042  nbAssignments=90000
13.34	       =>  wckTime=12.7  cpuTime=12.57  mem=5M561
14.75	   
14.75	   search
14.75	     run=9  nbConstraintChecks=61312263  nbAssignments=100000
14.75	       =>  wckTime=14.111  cpuTime=13.97  mem=5M561
16.15	   
16.15	   search
16.15	     run=10  nbConstraintChecks=67331083  nbAssignments=110000
16.15	       =>  wckTime=15.51  cpuTime=15.36  mem=5M561
17.57	   
17.57	   search
17.57	     run=11  nbConstraintChecks=73560259  nbAssignments=120000
17.57	       =>  wckTime=16.934  cpuTime=16.77  mem=5M561
18.97	   
18.97	   search
18.97	     run=12  nbConstraintChecks=79602561  nbAssignments=130000
18.97	       =>  wckTime=18.332  cpuTime=18.16  mem=5M561
20.39	   
20.39	   search
20.39	     run=13  nbConstraintChecks=85811151  nbAssignments=140000
20.40	       =>  wckTime=19.757  cpuTime=19.57  mem=5M561
21.80	   
21.80	   search
21.80	     run=14  nbConstraintChecks=91862181  nbAssignments=150000
21.80	       =>  wckTime=21.16  cpuTime=20.95  mem=5M561
23.22	   
23.22	   search
23.22	     run=15  nbConstraintChecks=98066330  nbAssignments=160000
23.22	       =>  wckTime=22.578  cpuTime=22.36  mem=5M561
24.61	   
24.61	   search
24.61	     run=16  nbConstraintChecks=104084631  nbAssignments=170000
24.61	       =>  wckTime=23.972  cpuTime=23.75  mem=5M561
26.02	   
26.02	   search
26.02	     run=17  nbConstraintChecks=110298423  nbAssignments=180000
26.02	       =>  wckTime=25.387  cpuTime=25.15  mem=5M561
27.41	   
27.41	   search
27.41	     run=18  nbConstraintChecks=116315594  nbAssignments=190000
27.41	       =>  wckTime=26.773  cpuTime=26.52  mem=5M561
28.82	   
28.82	   search
28.82	     run=19  nbConstraintChecks=122564963  nbAssignments=200000
28.82	       =>  wckTime=28.185  cpuTime=27.93  mem=5M561
30.21	   
30.21	   search
30.21	     run=20  nbConstraintChecks=128600266  nbAssignments=210000
30.21	       =>  wckTime=29.571  cpuTime=29.3  mem=5M561
31.00	   
31.00	   search
31.00	     run=21  nbConstraintChecks=132052104  nbAssignments=215548
31.00	       =>  wckTime=30.358  cpuTime=30.08  mem=5M561
31.00	   
31.00	   global
31.00	     nbConstraintChecks=132052104  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.00	     solvingWckTime=30.357  solvingCpuTime=30.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.00	     globalCpuTime=30.33
31.00	       =>  wckTime=30.675  cpuTime=30.28  mem=5M561
31.00	   
31.00	   solver IterativeSystematicSolver being built... 
31.17	       =>  wckTime=30.851  cpuTime=30.41  mem=18M452
31.18	   
31.18	   preprocessing
31.18	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.18	     detectedInconsistency=no
31.18	       =>  wckTime=0.0070  cpuTime=0.0  mem=18M452
31.24	   
31.24	   search
31.24	     run=0  nbConstraintChecks=3604  nbValidityChecks=12430  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.24	     nbAssignments=31  nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=47  nbRestartNogoods=0
31.24	       =>  wckTime=0.063  cpuTime=0.04  mem=19M492
31.29	   
31.29	   search
31.29	     run=1  nbConstraintChecks=9162  nbValidityChecks=36192  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.29	     nbAssignments=74  nbFailedAssignments=18  nbBacktracks=25  nbVisitedNodes=118  nbRestartNogoods=2
31.29	       =>  wckTime=0.115  cpuTime=0.08  mem=19M492
31.33	   
31.33	   search
31.33	     run=2  nbConstraintChecks=17166  nbValidityChecks=74719  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.33	     nbAssignments=133  nbFailedAssignments=41  nbBacktracks=47  nbVisitedNodes=218  nbRestartNogoods=5
31.33	       =>  wckTime=0.153  cpuTime=0.12  mem=19M492
31.39	   
31.39	   search
31.39	     run=3  nbConstraintChecks=29600  nbValidityChecks=135785  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.39	     nbAssignments=216  nbFailedAssignments=77  nbBacktracks=81  nbVisitedNodes=371  nbRestartNogoods=9
31.39	       =>  wckTime=0.215  cpuTime=0.18  mem=19M492
31.47	   
31.47	   search
31.47	     run=4  nbConstraintChecks=47332  nbValidityChecks=220249  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.47	     nbAssignments=325  nbFailedAssignments=123  nbBacktracks=132  nbVisitedNodes=576  nbRestartNogoods=12
31.47	       =>  wckTime=0.294  cpuTime=0.25  mem=19M492
31.57	   
31.57	   search
31.57	     run=5  nbConstraintChecks=73116  nbValidityChecks=334783  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.57	     nbAssignments=482  nbFailedAssignments=187  nbBacktracks=208  nbVisitedNodes=864  nbRestartNogoods=13
31.57	       =>  wckTime=0.397  cpuTime=0.35  mem=19M492
31.72	   
31.72	   search
31.72	     run=6  nbConstraintChecks=107012  nbValidityChecks=487608  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.72	     nbAssignments=685  nbFailedAssignments=257  nbBacktracks=321  nbVisitedNodes=1246  nbRestartNogoods=16
31.72	       =>  wckTime=0.542  cpuTime=0.49  mem=19M492
31.93	   
31.93	   search
31.93	     run=7  nbConstraintChecks=156871  nbValidityChecks=714510  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.93	     nbAssignments=971  nbFailedAssignments=358  nbBacktracks=492  nbVisitedNodes=1791  nbRestartNogoods=18
31.93	       =>  wckTime=0.756  cpuTime=0.7  mem=19M492
32.24	   
32.24	   search
32.24	     run=8  nbConstraintChecks=233795  nbValidityChecks=1063460  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.24	     nbAssignments=1404  nbFailedAssignments=520  nbBacktracks=748  nbVisitedNodes=2610  nbRestartNogoods=22
32.24	       =>  wckTime=1.062  cpuTime=1.0  mem=19M492
32.71	   
32.71	   search
32.71	     run=9  nbConstraintChecks=343605  nbValidityChecks=1596791  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.71	     nbAssignments=2105  nbFailedAssignments=817  nbBacktracks=1132  nbVisitedNodes=3922  nbRestartNogoods=27
32.71	       =>  wckTime=1.534  cpuTime=1.45  mem=19M492
33.36	   
33.36	   search
33.36	     run=10  nbConstraintChecks=508970  nbValidityChecks=2367010  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.36	     nbAssignments=3070  nbFailedAssignments=1187  nbBacktracks=1711  nbVisitedNodes=5780  nbRestartNogoods=30
33.36	       =>  wckTime=2.183  cpuTime=2.09  mem=19M492
34.26	   
34.26	   search
34.26	     run=11  nbConstraintChecks=743227  nbValidityChecks=3452102  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.26	     nbAssignments=4440  nbFailedAssignments=1678  nbBacktracks=2575  nbVisitedNodes=8389  nbRestartNogoods=35
34.26	       =>  wckTime=3.082  cpuTime=2.98  mem=19M492
35.63	   
35.63	   search
35.63	     run=12  nbConstraintChecks=1089713  nbValidityChecks=5202188  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.63	     nbAssignments=6621  nbFailedAssignments=2543  nbBacktracks=3874  nbVisitedNodes=12392  nbRestartNogoods=41
35.63	       =>  wckTime=4.452  cpuTime=4.34  mem=19M492
37.94	   
37.95	   search
37.95	     run=13  nbConstraintChecks=1672089  nbValidityChecks=8022723  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.95	     nbAssignments=9996  nbFailedAssignments=3958  nbBacktracks=5820  nbVisitedNodes=19056  nbRestartNogoods=47
37.95	       =>  wckTime=6.77  cpuTime=6.63  mem=19M492
41.08	   
41.08	   search
41.08	     run=14  nbConstraintChecks=2441375  nbValidityChecks=12005750  nbPropagations=0  nbRevisions=0
41.08	     nbUselessRevisions=0  nbAssignments=14735  nbFailedAssignments=5763  nbBacktracks=8740  nbVisitedNodes=27901
41.08	     nbRestartNogoods=53
41.08	       =>  wckTime=9.908  cpuTime=9.74  mem=19M492
46.02	   
46.02	   search
46.02	     run=15  nbConstraintChecks=3715987  nbValidityChecks=18080847  nbPropagations=0  nbRevisions=0
46.02	     nbUselessRevisions=0  nbAssignments=22037  nbFailedAssignments=8671  nbBacktracks=13118  nbVisitedNodes=41947
46.02	     nbRestartNogoods=61
46.02	       =>  wckTime=14.842  cpuTime=14.64  mem=19M492
52.90	   
52.90	   search
52.90	     run=16  nbConstraintChecks=5474023  nbValidityChecks=26496537  nbPropagations=0  nbRevisions=0
52.90	     nbUselessRevisions=0  nbAssignments=32570  nbFailedAssignments=12618  nbBacktracks=19690  nbVisitedNodes=61972
52.90	     nbRestartNogoods=66
52.90	       =>  wckTime=21.722  cpuTime=21.46  mem=19M492
63.74	   
63.74	   search
63.74	     run=17  nbConstraintChecks=8277267  nbValidityChecks=40161824  nbPropagations=0  nbRevisions=0
63.74	     nbUselessRevisions=0  nbAssignments=48680  nbFailedAssignments=18858  nbBacktracks=29542  nbVisitedNodes=93085
63.74	     nbRestartNogoods=73
63.74	       =>  wckTime=32.562  cpuTime=32.21  mem=19M492
79.16	   
79.16	   search
79.16	     run=18  nbConstraintChecks=12229670  nbValidityChecks=57998629  nbPropagations=0  nbRevisions=0
79.16	     nbUselessRevisions=0  nbAssignments=72466  nbFailedAssignments=27850  nbBacktracks=44320  nbVisitedNodes=138184
79.16	     nbRestartNogoods=82
79.16	       =>  wckTime=47.987  cpuTime=47.52  mem=19M492
101.83	   
101.83	   search
101.83	     run=19  nbConstraintChecks=18495684  nbValidityChecks=85724914  nbPropagations=0  nbRevisions=0
101.83	     nbUselessRevisions=0  nbAssignments=108340  nbFailedAssignments=41541  nbBacktracks=66488  nbVisitedNodes=205414
101.83	     nbRestartNogoods=87
101.83	       =>  wckTime=70.659  cpuTime=70.01  mem=19M492
133.74	   
133.74	   search
133.74	     run=20  nbConstraintChecks=27302467  nbValidityChecks=123240779  nbPropagations=0  nbRevisions=0
133.74	     nbUselessRevisions=0  nbAssignments=160567  nbFailedAssignments=60499  nbBacktracks=99740  nbVisitedNodes=300499
133.74	     nbRestartNogoods=96
133.74	       =>  wckTime=102.564  cpuTime=101.64  mem=19M492
174.75	   
174.75	   search
174.75	     run=21  nbConstraintChecks=39567547  nbValidityChecks=171584891  nbPropagations=0  nbRevisions=0
174.75	     nbUselessRevisions=0  nbAssignments=234231  nbFailedAssignments=84268  nbBacktracks=149618  nbVisitedNodes=428455
174.75	     nbRestartNogoods=102
174.75	       =>  wckTime=143.571  cpuTime=142.29  mem=19M492
232.50	   
232.50	   search
232.50	     run=22  nbConstraintChecks=57182089  nbValidityChecks=239123698  nbPropagations=0  nbRevisions=0
232.50	     nbUselessRevisions=0  nbAssignments=342291  nbFailedAssignments=117490  nbBacktracks=224437  nbVisitedNodes=611061
232.50	     nbRestartNogoods=109
232.50	       =>  wckTime=201.32  cpuTime=199.55  mem=19M492
317.42	   
317.42	   search
317.42	     run=23  nbConstraintChecks=84829520  nbValidityChecks=341317282  nbPropagations=0  nbRevisions=0
317.42	     nbUselessRevisions=0  nbAssignments=503835  nbFailedAssignments=166788  nbBacktracks=336664  nbVisitedNodes=881973
317.42	     nbRestartNogoods=117
317.42	       =>  wckTime=286.243  cpuTime=283.78  mem=19M492
331.50	   
331.50	   search
331.50	     run=24  nbConstraintChecks=89419034  nbValidityChecks=357455595  nbPropagations=0  nbRevisions=0
331.50	     nbUselessRevisions=0  nbAssignments=530950  nbFailedAssignments=175121  nbBacktracks=355447  nbVisitedNodes=927029
331.50	     nbRestartNogoods=127
331.50	       =>  wckTime=300.32  cpuTime=297.74  mem=19M492
331.50	   
331.50	   global
331.50	     nbConstraintChecks=89419034  nbValidityChecks=357455595  nbRestartNogoods=127  solvingWckTime=300.323
331.50	     solvingCpuTime=297.74  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=328.2
331.50	       =>  wckTime=331.174  cpuTime=328.15  mem=19M492
331.50	
331.50	s OPTIMUM FOUND
331.50	v 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 
331.50	   
331.50	   totalWckTime=331.254  totalCpuTime=328.2

Verifier Data (download as text)

15 unsatisfied constraints, 375 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/node67/watcher-278003-1169273270 -o ROOT/results/node67/solver-278003-1169273270 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/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.92 1.98 1.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=18540 CPUtime=0
/proc/2525/stat : 2525 (runsolver) R 2523 2525 1505 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 74824141 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2525/statm: 4635 279 244 17 0 2626 0

[startup+0.102617 s]
/proc/loadavg: 1.92 1.98 1.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=913228 CPUtime=0.07
/proc/2525/stat : 2525 (java) S 2523 2525 1505 0 -1 0 2902 0 1 0 7 0 0 0 17 0 8 0 74824141 935145472 2648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228307 2648 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.510659 s]
/proc/loadavg: 1.92 1.98 1.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915332 CPUtime=0.48
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 6271 0 1 0 44 4 0 0 18 0 8 0 74824141 937299968 6010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228833 6010 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33274 s]
/proc/loadavg: 1.92 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413528/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915420 CPUtime=1.28
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7081 0 1 0 106 22 0 0 24 0 8 0 74824141 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228855 6819 2475 14 0 215325 0
[pid=2525/tid=2527] ppid=2523 vsize=915420 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915420 CPUtime=0.13
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 338 0 0 0 13 0 0 0 16 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 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) 915420

[startup+2.98491 s]
/proc/loadavg: 1.92 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413464/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=2.93
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 226 67 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416

[startup+6.27027 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413400/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915420 CPUtime=6.18
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 460 158 0 0 25 0 8 0 74824141 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228855 6821 2475 14 0 215325 0
[pid=2525/tid=2527] ppid=2523 vsize=915420 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915420 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937390080 6821 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) 915420

[startup+12.7569 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413400/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=12.62
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 921 341 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.5913 s]
/proc/loadavg: 1.95 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413464/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=25.35
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 1831 704 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915416

[startup+51.201 s]
/proc/loadavg: 1.96 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1403160/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=50.75
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9734 0 1 0 4216 859 0 0 25 0 8 0 74824141 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9468 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915416

[startup+102.502 s]
/proc/loadavg: 2.05 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403096/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=101.65
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9744 0 1 0 9306 859 0 0 25 0 8 0 74824141 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9478 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915416

[startup+162.54 s]
/proc/loadavg: 2.02 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=161.17
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9750 0 1 0 15258 859 0 0 25 0 8 0 74824141 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9483 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 915416

[startup+222.578 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=220.69
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9753 0 1 0 21210 859 0 0 25 0 8 0 74824141 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9485 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.69
Current children cumulated vsize (KiB) 915416

[startup+282.616 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=280.22
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9756 0 1 0 27163 859 0 0 25 0 8 0 74824141 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9488 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 331.559
CPU time (s): 328.735
CPU user time (s): 320.126
CPU system time (s): 8.60869
CPU usage (%): 99.1484
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.126
system time used= 8.60869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9855
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= 7937
involuntary context switches= 13924

runsolver used 0.373943 s user time and 0.943856 s system time

The end

Launcher Data (download as text)

Begin job on node67 on Sat Jan 20 06:07:51 UTC 2007


IDJOB= 278003
IDBENCH= 7920
IDSOLVER= 69
FILE ID= node67/278003-1169273270

PBS_JOBID= 3607311

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-400-907721_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-278003-1169273270 -o ROOT/results/node67/solver-278003-1169273270 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  270ec4ff4b5780b4727b03faf9743be5

RANDOM SEED= 647175766

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.236
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.236
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:       1431600 kB
Buffers:         48856 kB
Cached:         480388 kB
SwapCached:          0 kB
Active:         111524 kB
Inactive:       442772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1431600 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1676 kB
Writeback:           0 kB
Mapped:          36616 kB
Slab:            55452 kB
Committed_AS:   663604 kB
PageTables:       1780 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 node67 on Sat Jan 20 06:13:22 UTC 2007