Trace number 278057

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 190.894 192.62

General information on the benchmark

NameMaxCSP/cnf/3-40-100-1000/
cnf-3-40-300-182021_ext.xml
MD5SUM4b3f8effb72e3044a44f8241b8f3c581
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints288
Best CPU time to get the best result obtained on this benchmark1.37479
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints297
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension297
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=pfc.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/278057-1169273511/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.47	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.47	       =>  wckTime=0.093  cpuTime=0.08  mem=6M910
0.47	   
0.47	   relations being loaded...
0.48	   
0.48	   constraints being loaded...
0.58	     nbConstraints=297  nbRelationTypes=9  nbExtensionStructures=9  nbSharedExtensionStructures=288
0.58	     nbConflictsStructures=9  nbSharedConflictsStructures=288  nbSharedBinaryRepresentations=0  maxDegree=30  maxArity=3
0.58	       =>  wckTime=0.204  cpuTime=0.14  mem=7M918
0.62	   
0.62	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.284  cpuTime=0.18  mem=5M508
0.66	
0.66	s SATISFIABLE
0.66	o 270
0.66	c 27
0.66	o 272
0.66	c 25
0.66	o 276
0.66	c 21
0.66	o 277
0.66	c 20
0.66	o 278
0.66	c 19
0.66	o 280
0.66	c 17
0.67	o 281
0.67	c 16
0.67	o 282
0.67	c 15
0.68	o 284
0.68	c 13
0.68	o 285
0.68	c 12
0.68	o 286
0.68	c 11
0.70	o 287
0.70	c 10
0.70	o 288
0.70	c 9
1.85	   
1.85	   search
1.85	     run=0  nbConstraintChecks=4026867  nbAssignments=10000
1.85	       =>  wckTime=1.193  cpuTime=1.17  mem=5M508
2.99	   
2.99	   search
2.99	     run=1  nbConstraintChecks=8155328  nbAssignments=20000
2.99	       =>  wckTime=2.332  cpuTime=2.29  mem=5M508
4.10	   
4.10	   search
4.10	     run=2  nbConstraintChecks=12174323  nbAssignments=30000
4.10	       =>  wckTime=3.449  cpuTime=3.4  mem=5M508
5.24	   
5.24	   search
5.24	     run=3  nbConstraintChecks=16315124  nbAssignments=40000
5.24	       =>  wckTime=4.584  cpuTime=4.54  mem=5M508
6.36	   
6.36	   search
6.36	     run=4  nbConstraintChecks=20329160  nbAssignments=50000
6.36	       =>  wckTime=5.702  cpuTime=5.64  mem=5M508
7.50	   
7.50	   search
7.50	     run=5  nbConstraintChecks=24513875  nbAssignments=60000
7.50	       =>  wckTime=6.842  cpuTime=6.77  mem=5M508
8.62	   
8.62	   search
8.62	     run=6  nbConstraintChecks=28544587  nbAssignments=70000
8.62	       =>  wckTime=7.961  cpuTime=7.88  mem=5M508
9.75	   
9.75	   search
9.75	     run=7  nbConstraintChecks=32707461  nbAssignments=80000
9.75	       =>  wckTime=9.097  cpuTime=9.0  mem=5M508
10.87	   
10.87	   search
10.87	     run=8  nbConstraintChecks=36718036  nbAssignments=90000
10.87	       =>  wckTime=10.213  cpuTime=10.11  mem=5M508
12.00	   
12.00	   search
12.00	     run=9  nbConstraintChecks=40850953  nbAssignments=100000
12.00	       =>  wckTime=11.345  cpuTime=11.24  mem=5M508
13.13	   
13.13	   search
13.13	     run=10  nbConstraintChecks=44882976  nbAssignments=110000
13.13	       =>  wckTime=12.472  cpuTime=12.35  mem=5M508
14.27	   
14.27	   search
14.27	     run=11  nbConstraintChecks=49007279  nbAssignments=120000
14.27	       =>  wckTime=13.612  cpuTime=13.48  mem=5M508
15.39	   
15.39	   search
15.40	     run=12  nbConstraintChecks=53043416  nbAssignments=130000
15.40	       =>  wckTime=14.74  cpuTime=14.6  mem=5M508
16.54	   
16.54	   search
16.54	     run=13  nbConstraintChecks=57192557  nbAssignments=140000
16.54	       =>  wckTime=15.885  cpuTime=15.74  mem=5M508
17.67	   
17.67	   search
17.67	     run=14  nbConstraintChecks=61219125  nbAssignments=150000
17.67	       =>  wckTime=17.012  cpuTime=16.85  mem=5M508
18.81	   
18.81	   search
18.81	     run=15  nbConstraintChecks=65352672  nbAssignments=160000
18.81	       =>  wckTime=18.155  cpuTime=17.98  mem=5M508
19.94	   
19.94	   search
19.94	     run=16  nbConstraintChecks=69369332  nbAssignments=170000
19.94	       =>  wckTime=19.282  cpuTime=19.1  mem=5M508
21.08	   
21.09	   search
21.09	     run=17  nbConstraintChecks=73520430  nbAssignments=180000
21.09	       =>  wckTime=20.43  cpuTime=20.24  mem=5M508
22.21	   
22.21	   search
22.21	     run=18  nbConstraintChecks=77549803  nbAssignments=190000
22.21	       =>  wckTime=21.558  cpuTime=21.36  mem=5M508
23.34	   
23.34	   search
23.34	     run=19  nbConstraintChecks=81642348  nbAssignments=200000
23.34	       =>  wckTime=22.687  cpuTime=22.47  mem=5M508
24.46	   
24.46	   search
24.46	     run=20  nbConstraintChecks=85657369  nbAssignments=210000
24.46	       =>  wckTime=23.808  cpuTime=23.58  mem=5M508
25.60	   
25.60	   search
25.60	     run=21  nbConstraintChecks=89814786  nbAssignments=220000
25.60	       =>  wckTime=24.946  cpuTime=24.72  mem=5M508
26.72	   
26.72	   search
26.72	     run=22  nbConstraintChecks=93841177  nbAssignments=230000
26.72	       =>  wckTime=26.067  cpuTime=25.82  mem=5M508
27.87	   
27.87	   search
27.87	     run=23  nbConstraintChecks=98041370  nbAssignments=240000
27.87	       =>  wckTime=27.21  cpuTime=26.96  mem=5M508
28.99	   
28.99	   search
28.99	     run=24  nbConstraintChecks=102065544  nbAssignments=250000
28.99	       =>  wckTime=28.33  cpuTime=28.07  mem=5M508
30.12	   
30.12	   search
30.12	     run=25  nbConstraintChecks=106179183  nbAssignments=260000
30.12	       =>  wckTime=29.463  cpuTime=29.19  mem=5M508
30.99	   
30.99	   search
30.99	     run=26  nbConstraintChecks=109298361  nbAssignments=267791
30.99	       =>  wckTime=30.336  cpuTime=30.06  mem=5M508
30.99	   
30.99	   global
30.99	     nbConstraintChecks=109298361  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.99	     solvingWckTime=30.335  solvingCpuTime=30.06  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.99	     globalCpuTime=30.29
30.99	       =>  wckTime=30.621  cpuTime=30.24  mem=5M508
30.99	   
30.99	   solver IterativeSystematicSolver being built... 
31.15	       =>  wckTime=30.782  cpuTime=30.37  mem=18M611
31.16	   
31.16	   preprocessing
31.16	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.16	     detectedInconsistency=no
31.16	       =>  wckTime=0.0060  cpuTime=0.0  mem=18M611
31.22	   
31.22	   search
31.22	     run=0  nbConstraintChecks=2670  nbValidityChecks=10970  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.22	     nbAssignments=32  nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=49  nbRestartNogoods=0
31.22	       =>  wckTime=0.066  cpuTime=0.04  mem=18M611
31.26	   
31.26	   search
31.26	     run=1  nbConstraintChecks=6043  nbValidityChecks=26122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.26	     nbAssignments=70  nbFailedAssignments=14  nbBacktracks=26  nbVisitedNodes=108  nbRestartNogoods=2
31.26	       =>  wckTime=0.105  cpuTime=0.07  mem=18M611
31.29	   
31.29	   search
31.29	     run=2  nbConstraintChecks=10090  nbValidityChecks=45925  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.29	     nbAssignments=118  nbFailedAssignments=29  nbBacktracks=48  nbVisitedNodes=189  nbRestartNogoods=3
31.29	       =>  wckTime=0.132  cpuTime=0.09  mem=18M611
31.32	   
31.32	   search
31.32	     run=3  nbConstraintChecks=16216  nbValidityChecks=75126  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.32	     nbAssignments=189  nbFailedAssignments=50  nbBacktracks=81  nbVisitedNodes=305  nbRestartNogoods=4
31.32	       =>  wckTime=0.167  cpuTime=0.12  mem=18M611
31.38	   
31.38	   search
31.38	     run=4  nbConstraintChecks=26746  nbValidityChecks=125891  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.38	     nbAssignments=281  nbFailedAssignments=79  nbBacktracks=131  nbVisitedNodes=472  nbRestartNogoods=7
31.38	       =>  wckTime=0.223  cpuTime=0.18  mem=18M611
31.45	   
31.45	   search
31.45	     run=5  nbConstraintChecks=42535  nbValidityChecks=204864  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.45	     nbAssignments=420  nbFailedAssignments=129  nbBacktracks=206  nbVisitedNodes=733  nbRestartNogoods=11
31.45	       =>  wckTime=0.298  cpuTime=0.25  mem=18M611
31.56	   
31.56	   search
31.56	     run=6  nbConstraintChecks=65007  nbValidityChecks=319982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.56	     nbAssignments=621  nbFailedAssignments=203  nbBacktracks=320  nbVisitedNodes=1116  nbRestartNogoods=14
31.56	       =>  wckTime=0.409  cpuTime=0.36  mem=18M611
31.73	   
31.73	   search
31.73	     run=7  nbConstraintChecks=99684  nbValidityChecks=480357  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.73	     nbAssignments=919  nbFailedAssignments=314  nbBacktracks=490  nbVisitedNodes=1682  nbRestartNogoods=18
31.73	       =>  wckTime=0.578  cpuTime=0.52  mem=18M611
32.00	   
32.00	   search
32.00	     run=8  nbConstraintChecks=154145  nbValidityChecks=732007  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.00	     nbAssignments=1375  nbFailedAssignments=498  nbBacktracks=749  nbVisitedNodes=2550  nbRestartNogoods=21
32.00	       =>  wckTime=0.849  cpuTime=0.78  mem=18M611
32.37	   
32.37	   search
32.37	     run=9  nbConstraintChecks=226774  nbValidityChecks=1068962  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.37	     nbAssignments=2032  nbFailedAssignments=756  nbBacktracks=1133  nbVisitedNodes=3762  nbRestartNogoods=25
32.37	       =>  wckTime=1.21  cpuTime=1.13  mem=18M611
32.89	   
32.89	   search
32.89	     run=10  nbConstraintChecks=351436  nbValidityChecks=1688060  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.89	     nbAssignments=3036  nbFailedAssignments=1169  nbBacktracks=1710  nbVisitedNodes=5695  nbRestartNogoods=29
32.89	       =>  wckTime=1.735  cpuTime=1.64  mem=18M611
33.70	   
33.70	   search
33.70	     run=11  nbConstraintChecks=523733  nbValidityChecks=2501143  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.70	     nbAssignments=4538  nbFailedAssignments=1793  nbBacktracks=2575  nbVisitedNodes=8600  nbRestartNogoods=33
33.70	       =>  wckTime=2.545  cpuTime=2.45  mem=18M611
34.80	   
34.80	   search
34.80	     run=12  nbConstraintChecks=758892  nbValidityChecks=3584227  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.80	     nbAssignments=6655  nbFailedAssignments=2600  nbBacktracks=3874  nbVisitedNodes=12620  nbRestartNogoods=39
34.80	       =>  wckTime=3.644  cpuTime=3.53  mem=18M611
36.46	   
36.46	   search
36.46	     run=13  nbConstraintChecks=1162044  nbValidityChecks=5474326  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.46	     nbAssignments=9866  nbFailedAssignments=3848  nbBacktracks=5820  nbVisitedNodes=18737  nbRestartNogoods=43
36.46	       =>  wckTime=5.307  cpuTime=5.18  mem=18M611
38.71	   
38.71	   search
38.71	     run=14  nbConstraintChecks=1674341  nbValidityChecks=7891259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.71	     nbAssignments=14464  nbFailedAssignments=5511  nbBacktracks=8741  nbVisitedNodes=27134  nbRestartNogoods=50
38.71	       =>  wckTime=7.551  cpuTime=7.4  mem=18M611
42.24	   
42.24	   search
42.24	     run=15  nbConstraintChecks=2451185  nbValidityChecks=11792856  nbPropagations=0  nbRevisions=0
42.24	     nbUselessRevisions=0  nbAssignments=21447  nbFailedAssignments=8101  nbBacktracks=13121  nbVisitedNodes=40073
42.24	     nbRestartNogoods=57
42.24	       =>  wckTime=11.082  cpuTime=10.9  mem=18M611
47.39	   
47.39	   search
47.39	     run=16  nbConstraintChecks=3739842  nbValidityChecks=17736682  nbPropagations=0  nbRevisions=0
47.40	     nbUselessRevisions=0  nbAssignments=31888  nbFailedAssignments=11957  nbBacktracks=19692  nbVisitedNodes=59648
47.40	     nbRestartNogoods=61
47.40	       =>  wckTime=16.239  cpuTime=16.02  mem=18M611
54.32	   
54.32	   search
54.32	     run=17  nbConstraintChecks=5397267  nbValidityChecks=25121907  nbPropagations=0  nbRevisions=0
54.32	     nbUselessRevisions=0  nbAssignments=47008  nbFailedAssignments=17211  nbBacktracks=29545  nbVisitedNodes=86360
54.32	     nbRestartNogoods=67
54.32	       =>  wckTime=23.163  cpuTime=22.88  mem=18M611
64.26	   
64.26	   search
64.26	     run=18  nbConstraintChecks=8093470  nbValidityChecks=36230432  nbPropagations=0  nbRevisions=0
64.26	     nbUselessRevisions=0  nbAssignments=69007  nbFailedAssignments=24415  nbBacktracks=44323  nbVisitedNodes=125408
64.26	     nbRestartNogoods=73
64.26	       =>  wckTime=33.106  cpuTime=32.74  mem=18M611
77.99	   
77.99	   search
77.99	     run=19  nbConstraintChecks=11714363  nbValidityChecks=50902013  nbPropagations=0  nbRevisions=0
77.99	     nbUselessRevisions=0  nbAssignments=101375  nbFailedAssignments=34603  nbBacktracks=66492  nbVisitedNodes=180029
77.99	     nbRestartNogoods=80
77.99	       =>  wckTime=46.831  cpuTime=46.35  mem=18M611
97.74	   
97.74	   search
97.74	     run=20  nbConstraintChecks=16893493  nbValidityChecks=71515691  nbPropagations=0  nbRevisions=0
97.74	     nbUselessRevisions=0  nbAssignments=148826  nbFailedAssignments=48787  nbBacktracks=99746  nbVisitedNodes=258643
97.74	     nbRestartNogoods=88
97.74	       =>  wckTime=66.587  cpuTime=65.94  mem=18M611
127.00	   
127.00	   search
127.00	     run=21  nbConstraintChecks=24825812  nbValidityChecks=101736600  nbPropagations=0  nbRevisions=0
127.00	     nbUselessRevisions=0  nbAssignments=220808  nbFailedAssignments=70871  nbBacktracks=149626  nbVisitedNodes=376301
127.00	     nbRestartNogoods=92
127.00	       =>  wckTime=95.847  cpuTime=94.95  mem=18M611
169.16	   
169.16	   search
169.16	     run=22  nbConstraintChecks=36970918  nbValidityChecks=147056927  nbPropagations=0  nbRevisions=0
169.16	     nbUselessRevisions=0  nbAssignments=325959  nbFailedAssignments=101188  nbBacktracks=224446  nbVisitedNodes=547155
169.16	     nbRestartNogoods=102
169.16	       =>  wckTime=138.0  cpuTime=136.73  mem=18M611
192.59	   
192.59	   search
192.59	     run=23  nbConstraintChecks=43754873  nbValidityChecks=171491801  nbPropagations=0  nbRevisions=0
192.59	     nbUselessRevisions=0  nbAssignments=384706  nbFailedAssignments=117727  nbBacktracks=266655  nbVisitedNodes=642182
192.59	     nbRestartNogoods=106
192.59	       =>  wckTime=161.435  cpuTime=159.97  mem=18M611
192.59	   
192.59	   global
192.59	     nbConstraintChecks=43754873  nbValidityChecks=171491801  nbRestartNogoods=106  solvingWckTime=161.437
192.59	     solvingCpuTime=159.97  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=190.39
192.59	       =>  wckTime=192.22  cpuTime=190.34  mem=18M611
192.60	
192.60	s OPTIMUM FOUND
192.60	v 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 
192.60	   
192.60	   totalWckTime=192.3  totalCpuTime=190.39

Verifier Data (download as text)

9 unsatisfied constraints, 288 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/node10/watcher-278057-1169273511 -o ROOT/results/node10/solver-278057-1169273511 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278057-1169273511/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=18540 CPUtime=0
/proc/18079/stat : 18079 (runsolver) R 18077 18079 16832 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275746238 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18079/statm: 4635 279 244 17 0 2626 0

[startup+0.107937 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=907676 CPUtime=0.04
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 2294 0 1 0 3 1 0 0 16 0 4 0 275746238 929460224 2041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020705 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 226919 2041 1148 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.515991 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915332 CPUtime=0.44
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6109 0 1 0 40 4 0 0 18 0 8 0 275746238 937299968 5848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228833 5848 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332

[startup+1.3371 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261920/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915452 CPUtime=1.25
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6983 0 1 0 98 27 0 0 25 0 8 0 275746238 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228863 6721 2475 14 0 215333 0
[pid=18079/tid=18081] ppid=18077 vsize=915452 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915452 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 324 0 0 0 12 0 0 0 16 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452

[startup+2.97432 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261920/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=2.88
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 204 84 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155123562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915448

[startup+6.18176 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261792/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=6.05
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 411 194 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915448

[startup+12.6486 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261928/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=12.47
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 821 426 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915448

[startup+25.5094 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261992/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915452 CPUtime=25.22
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6988 0 1 0 1646 876 0 0 25 0 8 0 275746238 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228863 6725 2475 14 0 215333 0
[pid=18079/tid=18081] ppid=18077 vsize=915452 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915452 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 327 0 0 0 12 0 0 0 16 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 915452

[startup+51.1179 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251880/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=50.6
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9583 0 1 0 3992 1068 0 0 25 0 8 0 275746238 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9317 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915448

[startup+102.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251880/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=101.38
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9595 0 1 0 9070 1068 0 0 25 0 8 0 275746238 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9327 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915448

[startup+162.389 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251816/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=160.93
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9598 0 1 0 15024 1069 0 0 25 0 8 0 275746238 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9330 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 915448

Child status: 0
Real time (s): 192.62
CPU time (s): 190.894
CPU user time (s): 180.193
CPU system time (s): 10.7014
CPU usage (%): 99.104
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.193
system time used= 10.7014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9698
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= 5037
involuntary context switches= 12710

runsolver used 0.252961 s user time and 0.617906 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan 20 06:11:51 UTC 2007


IDJOB= 278057
IDBENCH= 7970
IDSOLVER= 69
FILE ID= node10/278057-1169273511

PBS_JOBID= 3607293

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4b3f8effb72e3044a44f8241b8f3c581

RANDOM SEED= 696004084

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.232
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.232
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:       1279608 kB
Buffers:         60428 kB
Cached:         599328 kB
SwapCached:       2904 kB
Active:         209180 kB
Inactive:       490316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1279608 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:            1760 kB
Writeback:           0 kB
Mapped:          50324 kB
Slab:            61776 kB
Committed_AS:  7427364 kB
PageTables:       2176 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node10 on Sat Jan 20 06:15:04 UTC 2007