Trace number 278002

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 313.797 314.027

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/278002-1169273267/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.39	       =>  wckTime=0.086  cpuTime=0.08  mem=6M887
0.39	   
0.39	   relations being loaded...
0.40	   
0.40	   constraints being loaded...
0.52	     nbConstraints=390  nbRelationTypes=17  nbExtensionStructures=17  nbSharedExtensionStructures=373
0.52	     nbConflictsStructures=17  nbSharedConflictsStructures=373  nbSharedBinaryRepresentations=0  maxDegree=47
0.52	     maxArity=3
0.52	       =>  wckTime=0.221  cpuTime=0.16  mem=8M854
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.60	       =>  wckTime=0.298  cpuTime=0.2  mem=5M561
0.60	
0.60	s SATISFIABLE
0.60	o 344
0.60	c 46
0.60	o 346
0.60	c 44
0.60	o 349
0.60	c 41
0.61	o 353
0.61	c 37
0.61	o 356
0.61	c 34
0.61	o 357
0.61	c 33
0.61	o 360
0.61	c 30
0.61	o 361
0.61	c 29
0.61	o 363
0.61	c 27
0.61	o 364
0.61	c 26
0.61	o 365
0.61	c 25
0.62	o 366
0.62	c 24
0.62	o 367
0.62	c 23
0.62	o 369
0.62	c 21
0.63	o 370
0.63	c 20
0.63	o 372
0.63	c 18
0.64	o 373
0.64	c 17
0.68	o 375
0.68	c 15
1.99	   
1.99	   search
1.99	     run=0  nbConstraintChecks=6025077  nbAssignments=10000
1.99	       =>  wckTime=1.393  cpuTime=1.37  mem=5M561
3.31	   
3.31	   search
3.31	     run=1  nbConstraintChecks=12267572  nbAssignments=20000
3.31	       =>  wckTime=2.708  cpuTime=2.68  mem=5M561
4.59	   
4.59	   search
4.59	     run=2  nbConstraintChecks=18287115  nbAssignments=30000
4.59	       =>  wckTime=3.991  cpuTime=3.96  mem=5M561
5.91	   
5.91	   search
5.91	     run=3  nbConstraintChecks=24594154  nbAssignments=40000
5.91	       =>  wckTime=5.31  cpuTime=5.28  mem=5M561
7.19	   
7.19	   search
7.19	     run=4  nbConstraintChecks=30616523  nbAssignments=50000
7.19	       =>  wckTime=6.591  cpuTime=6.56  mem=5M561
8.53	   
8.53	   search
8.53	     run=5  nbConstraintChecks=36855851  nbAssignments=60000
8.53	       =>  wckTime=7.927  cpuTime=7.9  mem=5M561
9.90	   
9.90	   search
9.90	     run=6  nbConstraintChecks=42857910  nbAssignments=70000
9.90	       =>  wckTime=9.303  cpuTime=9.27  mem=5M561
11.23	   
11.23	   search
11.23	     run=7  nbConstraintChecks=49102951  nbAssignments=80000
11.23	       =>  wckTime=10.629  cpuTime=10.58  mem=5M561
12.50	   
12.50	   search
12.50	     run=8  nbConstraintChecks=55124042  nbAssignments=90000
12.50	       =>  wckTime=11.904  cpuTime=11.86  mem=5M561
13.80	   
13.80	   search
13.80	     run=9  nbConstraintChecks=61312263  nbAssignments=100000
13.80	       =>  wckTime=13.201  cpuTime=13.16  mem=5M561
15.07	   
15.07	   search
15.07	     run=10  nbConstraintChecks=67331083  nbAssignments=110000
15.07	       =>  wckTime=14.475  cpuTime=14.43  mem=5M561
16.38	   
16.38	   search
16.38	     run=11  nbConstraintChecks=73560259  nbAssignments=120000
16.38	       =>  wckTime=15.777  cpuTime=15.73  mem=5M561
17.66	   
17.66	   search
17.66	     run=12  nbConstraintChecks=79602561  nbAssignments=130000
17.66	       =>  wckTime=17.066  cpuTime=17.02  mem=5M561
18.97	   
18.97	   search
18.97	     run=13  nbConstraintChecks=85811151  nbAssignments=140000
18.97	       =>  wckTime=18.375  cpuTime=18.33  mem=5M561
20.26	   
20.26	   search
20.26	     run=14  nbConstraintChecks=91862181  nbAssignments=150000
20.26	       =>  wckTime=19.666  cpuTime=19.62  mem=5M561
21.57	   
21.57	   search
21.57	     run=15  nbConstraintChecks=98066330  nbAssignments=160000
21.57	       =>  wckTime=20.974  cpuTime=20.93  mem=5M561
22.86	   
22.86	   search
22.86	     run=16  nbConstraintChecks=104084631  nbAssignments=170000
22.86	       =>  wckTime=22.26  cpuTime=22.21  mem=5M561
24.17	   
24.17	   search
24.17	     run=17  nbConstraintChecks=110298423  nbAssignments=180000
24.17	       =>  wckTime=23.567  cpuTime=23.52  mem=5M561
25.45	   
25.45	   search
25.45	     run=18  nbConstraintChecks=116315594  nbAssignments=190000
25.45	       =>  wckTime=24.852  cpuTime=24.81  mem=5M561
26.76	   
26.76	   search
26.76	     run=19  nbConstraintChecks=122564963  nbAssignments=200000
26.76	       =>  wckTime=26.162  cpuTime=26.11  mem=5M561
28.04	   
28.04	   search
28.04	     run=20  nbConstraintChecks=128600266  nbAssignments=210000
28.04	       =>  wckTime=27.44  cpuTime=27.39  mem=5M561
29.34	   
29.34	   search
29.34	     run=21  nbConstraintChecks=134801270  nbAssignments=220000
29.34	       =>  wckTime=28.739  cpuTime=28.69  mem=5M561
30.61	   
30.61	   search
30.61	     run=22  nbConstraintChecks=140830898  nbAssignments=230000
30.61	       =>  wckTime=30.016  cpuTime=29.97  mem=5M561
30.71	   
30.71	   search
30.71	     run=23  nbConstraintChecks=141288008  nbAssignments=230746
30.71	       =>  wckTime=30.112  cpuTime=30.07  mem=5M561
30.71	   
30.71	   global
30.71	     nbConstraintChecks=141288008  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.71	     solvingWckTime=30.111  solvingCpuTime=30.07  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.71	     globalCpuTime=30.31
30.71	       =>  wckTime=30.411  cpuTime=30.27  mem=5M561
30.71	   
30.71	   solver IterativeSystematicSolver being built... 
30.88	       =>  wckTime=30.581  cpuTime=30.39  mem=18M468
30.95	   
30.95	   preprocessing
30.95	     nbConstraintChecks=2442  nbValidityChecks=6987  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.95	     nbRemovedValues=0  detectedInconsistency=no
30.95	       =>  wckTime=0.06  cpuTime=0.05  mem=18M468
30.98	   
30.98	   search
30.98	     run=0  nbConstraintChecks=3597  nbValidityChecks=15007  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.98	     nbAssignments=32  nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=50  nbRestartNogoods=0
30.98	       =>  wckTime=0.091  cpuTime=0.08  mem=19M459
31.01	   
31.01	   search
31.01	     run=1  nbConstraintChecks=8844  nbValidityChecks=38337  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.01	     nbAssignments=75  nbFailedAssignments=15  nbBacktracks=27  nbVisitedNodes=114  nbRestartNogoods=1
31.01	       =>  wckTime=0.129  cpuTime=0.11  mem=19M459
31.05	   
31.05	   search
31.05	     run=2  nbConstraintChecks=16172  nbValidityChecks=70038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.05	     nbAssignments=133  nbFailedAssignments=34  nbBacktracks=49  nbVisitedNodes=208  nbRestartNogoods=4
31.05	       =>  wckTime=0.163  cpuTime=0.14  mem=19M459
31.09	   
31.09	   search
31.09	     run=3  nbConstraintChecks=26316  nbValidityChecks=115659  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.09	     nbAssignments=202  nbFailedAssignments=52  nbBacktracks=83  nbVisitedNodes=325  nbRestartNogoods=7
31.09	       =>  wckTime=0.206  cpuTime=0.18  mem=19M459
31.15	   
31.15	   search
31.15	     run=4  nbConstraintChecks=38733  nbValidityChecks=177215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.15	     nbAssignments=300  nbFailedAssignments=82  nbBacktracks=133  nbVisitedNodes=483  nbRestartNogoods=10
31.15	       =>  wckTime=0.266  cpuTime=0.24  mem=19M459
31.24	   
31.24	   search
31.24	     run=5  nbConstraintChecks=58535  nbValidityChecks=269362  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.24	     nbAssignments=433  nbFailedAssignments=124  nbBacktracks=210  nbVisitedNodes=721  nbRestartNogoods=15
31.24	       =>  wckTime=0.355  cpuTime=0.33  mem=19M459
31.36	   
31.36	   search
31.36	     run=6  nbConstraintChecks=93445  nbValidityChecks=416840  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.36	     nbAssignments=624  nbFailedAssignments=185  nbBacktracks=323  nbVisitedNodes=1075  nbRestartNogoods=18
31.36	       =>  wckTime=0.477  cpuTime=0.45  mem=19M459
31.56	   
31.56	   search
31.56	     run=7  nbConstraintChecks=138122  nbValidityChecks=628360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.56	     nbAssignments=925  nbFailedAssignments=296  nbBacktracks=494  nbVisitedNodes=1612  nbRestartNogoods=22
31.56	       =>  wckTime=0.677  cpuTime=0.65  mem=19M459
31.86	   
31.86	   search
31.86	     run=8  nbConstraintChecks=205150  nbValidityChecks=946208  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.86	     nbAssignments=1375  nbFailedAssignments=473  nbBacktracks=751  nbVisitedNodes=2418  nbRestartNogoods=27
31.86	       =>  wckTime=0.979  cpuTime=0.94  mem=19M459
32.25	   
32.25	   search
32.25	     run=9  nbConstraintChecks=294168  nbValidityChecks=1365628  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.25	     nbAssignments=1966  nbFailedAssignments=665  nbBacktracks=1135  nbVisitedNodes=3480  nbRestartNogoods=31
32.26	       =>  wckTime=1.371  cpuTime=1.31  mem=19M459
32.83	   
32.83	   search
32.83	     run=10  nbConstraintChecks=440324  nbValidityChecks=2046161  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.83	     nbAssignments=2885  nbFailedAssignments=991  nbBacktracks=1711  nbVisitedNodes=5132  nbRestartNogoods=35
32.83	       =>  wckTime=1.949  cpuTime=1.88  mem=19M459
33.66	   
33.66	   search
33.66	     run=11  nbConstraintChecks=659267  nbValidityChecks=3133046  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.66	     nbAssignments=4274  nbFailedAssignments=1499  nbBacktracks=2575  nbVisitedNodes=7702  nbRestartNogoods=38
33.66	       =>  wckTime=2.78  cpuTime=2.71  mem=19M459
34.85	   
34.85	   search
34.85	     run=12  nbConstraintChecks=964805  nbValidityChecks=4645770  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.85	     nbAssignments=6313  nbFailedAssignments=2223  nbBacktracks=3873  nbVisitedNodes=11391  nbRestartNogoods=46
34.85	       =>  wckTime=3.966  cpuTime=3.9  mem=19M459
36.72	   
36.72	   search
36.72	     run=13  nbConstraintChecks=1454074  nbValidityChecks=7015808  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.72	     nbAssignments=9460  nbFailedAssignments=3408  nbBacktracks=5820  nbVisitedNodes=17140  nbRestartNogoods=51
36.72	       =>  wckTime=5.832  cpuTime=5.76  mem=19M459
39.47	   
39.47	   search
39.47	     run=14  nbConstraintChecks=2175544  nbValidityChecks=10600357  nbPropagations=0  nbRevisions=0
39.47	     nbUselessRevisions=0  nbAssignments=14182  nbFailedAssignments=5192  nbBacktracks=8740  nbVisitedNodes=25673
39.47	     nbRestartNogoods=61
39.47	       =>  wckTime=8.584  cpuTime=8.51  mem=19M459
43.63	   
43.63	   search
43.63	     run=15  nbConstraintChecks=3310008  nbValidityChecks=16091710  nbPropagations=0  nbRevisions=0
43.63	     nbUselessRevisions=0  nbAssignments=21022  nbFailedAssignments=7638  nbBacktracks=13118  nbVisitedNodes=38487
43.63	     nbRestartNogoods=67
43.63	       =>  wckTime=12.747  cpuTime=12.67  mem=19M459
49.45	   
49.45	   search
49.45	     run=16  nbConstraintChecks=4901475  nbValidityChecks=23583749  nbPropagations=0  nbRevisions=0
49.45	     nbUselessRevisions=0  nbAssignments=31213  nbFailedAssignments=11245  nbBacktracks=19687  nbVisitedNodes=56902
49.45	     nbRestartNogoods=75
49.45	       =>  wckTime=18.561  cpuTime=18.49  mem=19M459
58.28	   
58.28	   search
58.28	     run=17  nbConstraintChecks=7329374  nbValidityChecks=35015791  nbPropagations=0  nbRevisions=0
58.28	     nbUselessRevisions=0  nbAssignments=46593  nbFailedAssignments=16752  nbBacktracks=29540  nbVisitedNodes=84449
58.28	     nbRestartNogoods=81
58.28	       =>  wckTime=27.392  cpuTime=27.31  mem=19M459
70.79	   
70.79	   search
70.79	     run=18  nbConstraintChecks=10659863  nbValidityChecks=50802373  nbPropagations=0  nbRevisions=0
70.79	     nbUselessRevisions=0  nbAssignments=69387  nbFailedAssignments=24756  nbBacktracks=44322  nbVisitedNodes=124214
70.79	     nbRestartNogoods=88
70.79	       =>  wckTime=39.903  cpuTime=39.82  mem=19M459
88.95	   
88.95	   search
88.95	     run=19  nbConstraintChecks=15858036  nbValidityChecks=74715366  nbPropagations=0  nbRevisions=0
88.95	     nbUselessRevisions=0  nbAssignments=102630  nbFailedAssignments=35814  nbBacktracks=66490  nbVisitedNodes=182498
88.95	     nbRestartNogoods=95
88.95	       =>  wckTime=58.068  cpuTime=57.97  mem=19M459
114.71	   
114.71	   search
114.71	     run=20  nbConstraintChecks=23460485  nbValidityChecks=107289208  nbPropagations=0  nbRevisions=0
114.71	     nbUselessRevisions=0  nbAssignments=151886  nbFailedAssignments=51799  nbBacktracks=99745  nbVisitedNodes=266572
114.71	     nbRestartNogoods=103
114.71	       =>  wckTime=83.829  cpuTime=83.7  mem=19M459
151.31	   
151.31	   search
151.31	     run=21  nbConstraintChecks=34523488  nbValidityChecks=151347418  nbPropagations=0  nbRevisions=0
151.31	     nbUselessRevisions=0  nbAssignments=223955  nbFailedAssignments=73974  nbBacktracks=149626  nbVisitedNodes=386814
151.31	     nbRestartNogoods=109
151.31	       =>  wckTime=120.426  cpuTime=120.27  mem=19M459
204.08	   
204.08	   search
204.08	     run=22  nbConstraintChecks=52189577  nbValidityChecks=216082498  nbPropagations=0  nbRevisions=0
204.08	     nbUselessRevisions=0  nbAssignments=330313  nbFailedAssignments=105506  nbBacktracks=224444  nbVisitedNodes=564634
204.08	     nbRestartNogoods=116
204.08	       =>  wckTime=173.191  cpuTime=173.01  mem=19M459
281.77	   
281.77	   search
281.77	     run=23  nbConstraintChecks=78313741  nbValidityChecks=311447527  nbPropagations=0  nbRevisions=0
281.77	     nbUselessRevisions=0  nbAssignments=489388  nbFailedAssignments=152339  nbBacktracks=336671  nbVisitedNodes=828200
281.77	     nbRestartNogoods=121
281.77	       =>  wckTime=250.884  cpuTime=250.67  mem=19M459
313.98	   
313.98	   search
313.98	     run=24  nbConstraintChecks=89246793  nbValidityChecks=350987801  nbPropagations=0  nbRevisions=0
313.98	     nbUselessRevisions=0  nbAssignments=556055  nbFailedAssignments=171188  nbBacktracks=384490  nbVisitedNodes=937559
313.98	     nbRestartNogoods=127
313.98	       =>  wckTime=283.099  cpuTime=282.86  mem=19M459
313.98	   
313.98	   global
313.99	     nbConstraintChecks=89249235  nbValidityChecks=350994788  nbRestartNogoods=127  solvingWckTime=283.101
313.99	     solvingCpuTime=282.86  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=313.29
313.99	       =>  wckTime=313.683  cpuTime=313.25  mem=19M459
313.99	
313.99	s OPTIMUM FOUND
313.99	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 
313.99	   
313.99	   totalWckTime=313.759  totalCpuTime=313.3

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/node30/watcher-278002-1169273267 -o ROOT/results/node30/solver-278002-1169273267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/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.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=168 CPUtime=0
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 210 0 0 0 0 0 0 0 18 0 1 0 275720678 172032 17 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6967584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2831/statm: 43 24 18 14 0 3 0

[startup+0.105363 s]
/proc/loadavg: 1.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=914988 CPUtime=0.08
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 3011 0 1 0 7 1 0 0 16 0 8 0 275720678 936947712 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2831/statm: 228747 2757 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513391 s]
/proc/loadavg: 1.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915332 CPUtime=0.49
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 6541 0 1 0 46 3 0 0 16 0 8 0 275720678 937299968 6280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154014881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2831/statm: 228833 6280 2156 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33443 s]
/proc/loadavg: 1.74 1.95 1.98 2/85 2839
/proc/meminfo: memFree=1551248/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=1.31
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7091 0 1 0 107 24 0 0 17 0 8 0 275720678 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228857 6829 2478 14 0 215327 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937398272 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915424

[startup+2.98654 s]
/proc/loadavg: 1.68 1.93 1.97 2/85 2839
/proc/meminfo: memFree=1551248/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=2.96
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 227 69 0 0 18 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915424

[startup+6.27774 s]
/proc/loadavg: 1.68 1.93 1.97 2/85 2839
/proc/meminfo: memFree=1551256/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915428 CPUtime=6.25
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 461 164 0 0 25 0 8 0 275720678 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915428

[startup+12.7592 s]
/proc/loadavg: 1.65 1.92 1.97 2/85 2839
/proc/meminfo: memFree=1551264/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=12.72
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 924 348 0 0 25 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915424

[startup+25.593 s]
/proc/loadavg: 1.55 1.89 1.96 2/85 2839
/proc/meminfo: memFree=1551328/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=25.54
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 1844 710 0 0 25 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915424

[startup+51.2906 s]
/proc/loadavg: 1.36 1.81 1.93 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=51.23
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9751 0 1 0 4267 856 0 0 25 0 8 0 275720678 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9485 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915424

[startup+102.572 s]
/proc/loadavg: 1.14 1.67 1.87 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=102.47
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9760 0 1 0 9391 856 0 0 25 0 8 0 275720678 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9494 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 414 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915424

[startup+162.589 s]
/proc/loadavg: 1.11 1.56 1.82 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=162.46
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9767 0 1 0 15390 856 0 0 25 0 8 0 275720678 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9499 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915424

[startup+222.601 s]
/proc/loadavg: 1.09 1.47 1.77 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=222.44
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9770 0 1 0 21388 856 0 0 25 0 8 0 275720678 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9502 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 915424

[startup+282.616 s]
/proc/loadavg: 1.03 1.39 1.72 2/85 2839
/proc/meminfo: memFree=1541152/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=282.42
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9772 0 1 0 27386 856 0 0 25 0 8 0 275720678 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9504 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 915424

Child status: 0
Real time (s): 314.027
CPU time (s): 313.797
CPU user time (s): 305.221
CPU system time (s): 8.5767
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 915428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.221
system time used= 8.5767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9867
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= 7309
involuntary context switches= 14412

runsolver used 0.308953 s user time and 0.814876 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan 20 06:07:47 UTC 2007


IDJOB= 278002
IDBENCH= 7920
IDSOLVER= 68
FILE ID= node30/278002-1169273267

PBS_JOBID= 3607350

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-278002-1169273267 -o ROOT/results/node30/solver-278002-1169273267 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  270ec4ff4b5780b4727b03faf9743be5

RANDOM SEED= 72177632

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.234
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.234
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:       1569320 kB
Buffers:         39108 kB
Cached:         341704 kB
SwapCached:       2164 kB
Active:         104188 kB
Inactive:       306372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569320 kB
SwapTotal:     4192956 kB
SwapFree:      4167328 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          45268 kB
Slab:            61432 kB
Committed_AS:  5064512 kB
PageTables:       1892 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= 66563 MiB



End job on node30 on Sat Jan 20 06:13:01 UTC 2007