Trace number 278048

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 393.459 393.639

General information on the benchmark

NameMaxCSP/cnf/3-40-100-1000/
cnf-3-40-500-633421_ext.xml
MD5SUM13198f693866227fc4d05326a2b5916a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints471
Best CPU time to get the best result obtained on this benchmark1.69174
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints488
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension488
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/278048-1169273430/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.37	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.37	       =>  wckTime=0.084  cpuTime=0.08  mem=6M910
0.37	   
0.37	   relations being loaded...
0.38	   
0.38	   constraints being loaded...
0.51	     nbConstraints=488  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=470
0.51	     nbConflictsStructures=18  nbSharedConflictsStructures=470  nbSharedBinaryRepresentations=0  maxDegree=54
0.51	     maxArity=3
0.51	       =>  wckTime=0.224  cpuTime=0.15  mem=8M876
0.55	   
0.55	   solver LocalSearchSolver being built... 
0.59	       =>  wckTime=0.3  cpuTime=0.2  mem=5M613
0.59	
0.59	s SATISFIABLE
0.59	o 427
0.59	c 61
0.59	o 431
0.59	c 57
0.59	o 434
0.59	c 54
0.59	o 436
0.59	c 52
0.60	o 439
0.60	c 49
0.60	o 444
0.60	c 44
0.60	o 446
0.60	c 42
0.60	o 448
0.60	c 40
0.60	o 451
0.60	c 37
0.60	o 452
0.60	c 36
0.60	o 454
0.60	c 34
0.60	o 455
0.60	c 33
0.60	o 456
0.60	c 32
0.60	o 457
0.60	c 31
0.61	o 458
0.61	c 30
0.61	o 459
0.61	c 29
0.61	o 461
0.61	c 27
0.61	o 463
0.61	c 25
0.61	o 464
0.61	c 24
0.62	o 465
0.62	c 23
0.62	o 467
0.62	c 21
0.62	o 470
0.62	c 18
0.66	o 471
0.66	c 17
2.29	   
2.29	   search
2.29	     run=0  nbConstraintChecks=7962290  nbAssignments=10000
2.29	       =>  wckTime=1.701  cpuTime=1.68  mem=5M613
3.98	   
3.98	   search
3.98	     run=1  nbConstraintChecks=16159055  nbAssignments=20000
3.98	       =>  wckTime=3.392  cpuTime=3.37  mem=5M613
5.64	   
5.64	   search
5.64	     run=2  nbConstraintChecks=24118567  nbAssignments=30000
5.64	       =>  wckTime=5.047  cpuTime=5.02  mem=5M613
7.32	   
7.32	   search
7.32	     run=3  nbConstraintChecks=32306557  nbAssignments=40000
7.32	       =>  wckTime=6.736  cpuTime=6.71  mem=5M613
8.98	   
8.98	   search
8.98	     run=4  nbConstraintChecks=40253511  nbAssignments=50000
8.98	       =>  wckTime=8.39  cpuTime=8.36  mem=5M613
10.67	   
10.67	   search
10.67	     run=5  nbConstraintChecks=48470464  nbAssignments=60000
10.67	       =>  wckTime=10.081  cpuTime=10.05  mem=5M613
12.33	   
12.33	   search
12.33	     run=6  nbConstraintChecks=56427072  nbAssignments=70000
12.33	       =>  wckTime=11.74  cpuTime=11.71  mem=5M613
14.03	   
14.03	   search
14.03	     run=7  nbConstraintChecks=64632942  nbAssignments=80000
14.03	       =>  wckTime=13.444  cpuTime=13.42  mem=5M613
15.70	   
15.70	   search
15.70	     run=8  nbConstraintChecks=72591573  nbAssignments=90000
15.70	       =>  wckTime=15.114  cpuTime=15.09  mem=5M613
17.41	   
17.41	   search
17.41	     run=9  nbConstraintChecks=80807237  nbAssignments=100000
17.41	       =>  wckTime=16.821  cpuTime=16.79  mem=5M613
19.08	   
19.08	   search
19.08	     run=10  nbConstraintChecks=88775902  nbAssignments=110000
19.08	       =>  wckTime=18.493  cpuTime=18.46  mem=5M613
20.78	   
20.78	   search
20.78	     run=11  nbConstraintChecks=96955639  nbAssignments=120000
20.78	       =>  wckTime=20.194  cpuTime=20.16  mem=5M613
22.45	   
22.45	   search
22.45	     run=12  nbConstraintChecks=104905886  nbAssignments=130000
22.45	       =>  wckTime=21.86  cpuTime=21.83  mem=5M613
24.14	   
24.14	   search
24.14	     run=13  nbConstraintChecks=113126667  nbAssignments=140000
24.14	       =>  wckTime=23.552  cpuTime=23.52  mem=5M613
25.80	   
25.80	   search
25.80	     run=14  nbConstraintChecks=121091423  nbAssignments=150000
25.80	       =>  wckTime=25.21  cpuTime=25.18  mem=5M613
27.49	   
27.49	   search
27.49	     run=15  nbConstraintChecks=129280834  nbAssignments=160000
27.49	       =>  wckTime=26.899  cpuTime=26.86  mem=5M613
29.14	   
29.14	   search
29.14	     run=16  nbConstraintChecks=137207064  nbAssignments=170000
29.14	       =>  wckTime=28.552  cpuTime=28.52  mem=5M613
30.70	   
30.70	   search
30.70	     run=17  nbConstraintChecks=144786405  nbAssignments=179237
30.70	       =>  wckTime=30.115  cpuTime=30.08  mem=5M613
30.71	   
30.71	   global
30.71	     nbConstraintChecks=144786405  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.71	     solvingWckTime=30.114  solvingCpuTime=30.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.71	     globalCpuTime=30.32
30.71	       =>  wckTime=30.416  cpuTime=30.28  mem=5M613
30.71	   
30.71	   solver IterativeSystematicSolver being built... 
30.87	       =>  wckTime=30.583  cpuTime=30.4  mem=19M643
30.88	   
30.88	   preprocessing
30.88	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.88	     detectedInconsistency=no
30.88	       =>  wckTime=0.0070  cpuTime=0.01  mem=19M643
30.94	   
30.94	   search
30.94	     run=0  nbConstraintChecks=4195  nbValidityChecks=14878  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.94	     nbAssignments=29  nbFailedAssignments=5  nbBacktracks=11  nbVisitedNodes=46  nbRestartNogoods=0
30.94	       =>  wckTime=0.066  cpuTime=0.04  mem=19M643
30.99	   
30.99	   search
30.99	     run=1  nbConstraintChecks=10022  nbValidityChecks=37733  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.99	     nbAssignments=68  nbFailedAssignments=16  nbBacktracks=27  nbVisitedNodes=109  nbRestartNogoods=1
30.99	       =>  wckTime=0.116  cpuTime=0.08  mem=19M643
31.03	   
31.03	   search
31.03	     run=2  nbConstraintChecks=18289  nbValidityChecks=72379  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.03	     nbAssignments=121  nbFailedAssignments=36  nbBacktracks=49  nbVisitedNodes=202  nbRestartNogoods=4
31.03	       =>  wckTime=0.157  cpuTime=0.12  mem=19M643
31.09	   
31.09	   search
31.09	     run=3  nbConstraintChecks=30532  nbValidityChecks=120299  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.09	     nbAssignments=189  nbFailedAssignments=60  nbBacktracks=82  nbVisitedNodes=326  nbRestartNogoods=6
31.09	       =>  wckTime=0.212  cpuTime=0.17  mem=19M643
31.17	   
31.17	   search
31.17	     run=4  nbConstraintChecks=49215  nbValidityChecks=207400  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.17	     nbAssignments=291  nbFailedAssignments=100  nbBacktracks=132  nbVisitedNodes=516  nbRestartNogoods=9
31.17	       =>  wckTime=0.297  cpuTime=0.26  mem=19M643
31.29	   
31.29	   search
31.29	     run=5  nbConstraintChecks=76994  nbValidityChecks=339802  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.29	     nbAssignments=435  nbFailedAssignments=156  nbBacktracks=208  nbVisitedNodes=785  nbRestartNogoods=11
31.29	       =>  wckTime=0.411  cpuTime=0.37  mem=19M643
31.44	   
31.44	   search
31.44	     run=6  nbConstraintChecks=113600  nbValidityChecks=513847  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.44	     nbAssignments=635  nbFailedAssignments=228  nbBacktracks=322  nbVisitedNodes=1148  nbRestartNogoods=13
31.44	       =>  wckTime=0.567  cpuTime=0.53  mem=19M643
31.72	   
31.72	   search
31.72	     run=7  nbConstraintChecks=177999  nbValidityChecks=817037  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.72	     nbAssignments=954  nbFailedAssignments=363  nbBacktracks=492  nbVisitedNodes=1768  nbRestartNogoods=17
31.72	       =>  wckTime=0.851  cpuTime=0.8  mem=19M643
32.10	   
32.10	   search
32.10	     run=8  nbConstraintChecks=257659  nbValidityChecks=1177765  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.10	     nbAssignments=1385  nbFailedAssignments=526  nbBacktracks=749  nbVisitedNodes=2570  nbRestartNogoods=22
32.10	       =>  wckTime=1.226  cpuTime=1.18  mem=19M643
32.53	   
32.53	   search
32.53	     run=9  nbConstraintChecks=352030  nbValidityChecks=1617156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.53	     nbAssignments=1959  nbFailedAssignments=701  nbBacktracks=1134  nbVisitedNodes=3587  nbRestartNogoods=26
32.53	       =>  wckTime=1.66  cpuTime=1.6  mem=19M643
33.31	   
33.31	   search
33.31	     run=10  nbConstraintChecks=528803  nbValidityChecks=2497508  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.32	     nbAssignments=2922  nbFailedAssignments=1073  nbBacktracks=1712  nbVisitedNodes=5397  nbRestartNogoods=30
33.32	       =>  wckTime=2.441  cpuTime=2.37  mem=19M643
34.47	   
34.47	   search
34.47	     run=11  nbConstraintChecks=786084  nbValidityChecks=3691090  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.47	     nbAssignments=4365  nbFailedAssignments=1637  nbBacktracks=2578  nbVisitedNodes=8026  nbRestartNogoods=37
34.47	       =>  wckTime=3.592  cpuTime=3.52  mem=19M643
36.26	   
36.27	   search
36.27	     run=12  nbConstraintChecks=1228541  nbValidityChecks=5743719  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.27	     nbAssignments=6524  nbFailedAssignments=2484  nbBacktracks=3875  nbVisitedNodes=12202  nbRestartNogoods=42
36.27	       =>  wckTime=5.391  cpuTime=5.32  mem=19M643
38.77	   
38.77	   search
38.77	     run=13  nbConstraintChecks=1813994  nbValidityChecks=8455347  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.77	     nbAssignments=9678  nbFailedAssignments=3677  nbBacktracks=5821  nbVisitedNodes=17986  nbRestartNogoods=47
38.77	       =>  wckTime=7.892  cpuTime=7.82  mem=19M643
43.13	   
43.13	   search
43.13	     run=14  nbConstraintChecks=2835259  nbValidityChecks=13243597  nbPropagations=0  nbRevisions=0
43.13	     nbUselessRevisions=0  nbAssignments=14715  nbFailedAssignments=5784  nbBacktracks=8740  nbVisitedNodes=27850
43.13	     nbRestartNogoods=51
43.13	       =>  wckTime=12.259  cpuTime=12.18  mem=19M643
49.30	   
49.30	   search
49.30	     run=15  nbConstraintChecks=4294583  nbValidityChecks=19955574  nbPropagations=0  nbRevisions=0
49.30	     nbUselessRevisions=0  nbAssignments=21965  nbFailedAssignments=8640  nbBacktracks=13118  nbVisitedNodes=42004
49.30	     nbRestartNogoods=58
49.30	       =>  wckTime=18.423  cpuTime=18.34  mem=19M643
57.85	   
57.85	   search
57.85	     run=16  nbConstraintChecks=6261456  nbValidityChecks=29549102  nbPropagations=0  nbRevisions=0
57.85	     nbUselessRevisions=0  nbAssignments=32601  nbFailedAssignments=12693  nbBacktracks=19687  nbVisitedNodes=61676
57.85	     nbRestartNogoods=64
57.85	       =>  wckTime=26.977  cpuTime=26.89  mem=19M643
70.44	   
70.44	   search
70.44	     run=17  nbConstraintChecks=9422640  nbValidityChecks=44153734  nbPropagations=0  nbRevisions=0
70.44	     nbUselessRevisions=0  nbAssignments=48153  nbFailedAssignments=18376  nbBacktracks=29541  nbVisitedNodes=91371
70.44	     nbRestartNogoods=71
70.44	       =>  wckTime=39.565  cpuTime=39.48  mem=19M643
90.43	   
90.43	   search
90.43	     run=18  nbConstraintChecks=14250537  nbValidityChecks=66072541  nbPropagations=0  nbRevisions=0
90.43	     nbUselessRevisions=0  nbAssignments=72716  nbFailedAssignments=28150  nbBacktracks=44320  nbVisitedNodes=138122
90.43	     nbRestartNogoods=77
90.43	       =>  wckTime=59.558  cpuTime=59.46  mem=19M643
118.89	   
118.89	   search
118.89	     run=19  nbConstraintChecks=21603664  nbValidityChecks=99103685  nbPropagations=0  nbRevisions=0
118.89	     nbUselessRevisions=0  nbAssignments=108606  nbFailedAssignments=41859  nbBacktracks=66488  nbVisitedNodes=204998
118.89	     nbRestartNogoods=84
118.89	       =>  wckTime=88.015  cpuTime=87.91  mem=19M643
159.35	   
159.35	   search
159.35	     run=20  nbConstraintChecks=32307984  nbValidityChecks=145561153  nbPropagations=0  nbRevisions=0
159.35	     nbUselessRevisions=0  nbAssignments=161311  nbFailedAssignments=61295  nbBacktracks=99740  nbVisitedNodes=302412
159.35	     nbRestartNogoods=90
159.35	       =>  wckTime=128.472  cpuTime=128.35  mem=19M643
218.73	   
218.73	   search
218.73	     run=21  nbConstraintChecks=47966131  nbValidityChecks=208860042  nbPropagations=0  nbRevisions=0
218.73	     nbUselessRevisions=0  nbAssignments=240114  nbFailedAssignments=90206  nbBacktracks=149622  nbVisitedNodes=445936
218.73	     nbRestartNogoods=96
218.73	       =>  wckTime=187.861  cpuTime=187.71  mem=19M643
295.76	   
295.76	   search
295.76	     run=22  nbConstraintChecks=69320393  nbValidityChecks=294957296  nbPropagations=0  nbRevisions=0
295.76	     nbUselessRevisions=0  nbAssignments=351289  nbFailedAssignments=126546  nbBacktracks=224440  nbVisitedNodes=638484
295.76	     nbRestartNogoods=99
295.76	       =>  wckTime=264.882  cpuTime=264.71  mem=19M643
393.59	   
393.59	   search
393.59	     run=23  nbConstraintChecks=95975477  nbValidityChecks=400403118  nbPropagations=0  nbRevisions=0
393.59	     nbUselessRevisions=0  nbAssignments=495414  nbFailedAssignments=171150  nbBacktracks=323962  nbVisitedNodes=882402
393.59	     nbRestartNogoods=109
393.59	       =>  wckTime=362.721  cpuTime=362.51  mem=19M643
393.60	   
393.60	   global
393.60	     nbConstraintChecks=95975477  nbValidityChecks=400403118  nbRestartNogoods=109  solvingWckTime=362.722
393.60	     solvingCpuTime=362.51  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=392.95
393.60	       =>  wckTime=393.306  cpuTime=392.91  mem=19M643
393.60	
393.60	s OPTIMUM FOUND
393.60	v 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 
393.60	   
393.60	   totalWckTime=393.381  totalCpuTime=392.96

Verifier Data (download as text)

17 unsatisfied constraints, 471 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/node19/watcher-278048-1169273430 -o ROOT/results/node19/solver-278048-1169273430 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278048-1169273430/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: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=172 CPUtime=0
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 275737749 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/18919/statm: 43 24 18 14 0 3 0

[startup+0.105038 s]
/proc/loadavg: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=915720 CPUtime=0.08
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 3045 0 1 0 7 1 0 0 18 0 8 0 275737749 937697280 2791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153802098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18919/statm: 228930 2791 1446 14 0 215425 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915720

[startup+0.513113 s]
/proc/loadavg: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=0.5
/proc/18919/stat : 18919 (java) S 18917 18919 18414 0 -1 0 6628 0 1 0 46 4 0 0 16 0 8 0 275737749 938041344 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18919/statm: 229014 6367 2156 14 0 215484 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916056

[startup+1.33526 s]
/proc/loadavg: 0.89 1.22 1.62 2/85 18927
/proc/meminfo: memFree=1164040/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=1.32
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7171 0 1 0 110 22 0 0 20 0 8 0 275737749 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6909 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 17 0 8 0 275737753 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.13
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 345 0 0 0 12 1 0 0 16 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 916056

[startup+2.97857 s]
/proc/loadavg: 0.89 1.22 1.62 2/85 18927
/proc/meminfo: memFree=1163912/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=2.96
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 236 60 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6911 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.13
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 12 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916056

[startup+6.26319 s]
/proc/loadavg: 0.89 1.21 1.61 3/85 18927
/proc/meminfo: memFree=1163920/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=6.25
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 490 135 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229015 6911 2475 14 0 215485 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916056

[startup+12.7424 s]
/proc/loadavg: 0.90 1.21 1.61 2/85 18927
/proc/meminfo: memFree=1163928/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=12.73
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 979 294 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6911 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916056

[startup+25.5718 s]
/proc/loadavg: 0.92 1.20 1.60 2/85 18927
/proc/meminfo: memFree=1164056/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=25.55
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7176 0 1 0 1967 588 0 0 25 0 8 0 275737749 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6912 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916060 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 348 0 0 0 13 1 0 0 16 0 8 0 275737757 938045440 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916056

[startup+51.2577 s]
/proc/loadavg: 0.95 1.18 1.58 2/85 18927
/proc/meminfo: memFree=1153624/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=51.22
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9877 0 1 0 4408 714 0 0 25 0 8 0 275737749 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9610 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 415 0 0 0 24 1 0 0 15 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916056

[startup+102.521 s]
/proc/loadavg: 0.98 1.15 1.55 2/85 18927
/proc/meminfo: memFree=1153496/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=102.46
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9885 0 1 0 9532 714 0 0 25 0 8 0 275737749 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9618 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916056

[startup+162.615 s]
/proc/loadavg: 0.99 1.12 1.51 2/85 18927
/proc/meminfo: memFree=1153496/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=162.54
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9892 0 1 0 15539 715 0 0 25 0 8 0 275737749 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9624 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.54
Current children cumulated vsize (KiB) 916056

[startup+222.72 s]
/proc/loadavg: 1.03 1.11 1.48 2/85 18927
/proc/meminfo: memFree=1153432/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=222.62
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9895 0 1 0 21547 715 0 0 25 0 8 0 275737749 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9626 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.62
Current children cumulated vsize (KiB) 916056

[startup+282.819 s]
/proc/loadavg: 1.01 1.09 1.45 2/85 18927
/proc/meminfo: memFree=1153432/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=282.7
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9895 0 1 0 27555 715 0 0 25 0 8 0 275737749 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9626 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.7
Current children cumulated vsize (KiB) 916056

[startup+342.92 s]
/proc/loadavg: 1.00 1.07 1.42 2/85 18927
/proc/meminfo: memFree=1152344/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=342.78
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9898 0 1 0 33563 715 0 0 25 0 8 0 275737749 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9629 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.78
Current children cumulated vsize (KiB) 916056

Child status: 0
Real time (s): 393.639
CPU time (s): 393.459
CPU user time (s): 386.296
CPU system time (s): 7.16291
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 916060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.296
system time used= 7.16291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9993
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= 8918
involuntary context switches= 2173

runsolver used 0.45693 s user time and 0.953854 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan 20 06:10:31 UTC 2007


IDJOB= 278048
IDBENCH= 7960
IDSOLVER= 69
FILE ID= node19/278048-1169273430

PBS_JOBID= 3607448

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  13198f693866227fc4d05326a2b5916a

RANDOM SEED= 988433393

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.260
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.260
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:       1182488 kB
Buffers:         62704 kB
Cached:         700556 kB
SwapCached:      10172 kB
Active:         335952 kB
Inactive:       458540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1182488 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            1948 kB
Writeback:           0 kB
Mapped:          40172 kB
Slab:            64260 kB
Committed_AS:  7604596 kB
PageTables:       2000 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 node19 on Sat Jan 20 06:17:05 UTC 2007