Trace number 278398

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 314.955 315.168

General information on the benchmark

NameMaxCSP/cnf/2-40-100-1000/
cnf-2-40-900-536221_ext.xml
MD5SUMccfbb8c72d2512e999a65c5ec7bdec39
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints397
Best CPU time to get the best result obtained on this benchmark1.2898
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints531
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension531
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=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/278398-1169287819/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.38	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.38	       =>  wckTime=0.089  cpuTime=0.08  mem=6M887
0.38	   
0.38	   relations being loaded...
0.39	   
0.39	   constraints being loaded...
0.53	     nbConstraints=531  nbRelationTypes=14  nbExtensionStructures=14  nbSharedExtensionStructures=517
0.53	     nbConflictsStructures=14  nbSharedConflictsStructures=517  nbSharedBinaryRepresentations=52  maxDegree=31
0.53	     maxArity=2
0.53	       =>  wckTime=0.233  cpuTime=0.16  mem=8M847
0.57	   
0.57	   solver LocalSearchSolver being built... 
0.61	       =>  wckTime=0.312  cpuTime=0.2  mem=5M627
0.61	
0.61	s SATISFIABLE
0.61	o 334
0.61	c 197
0.61	o 340
0.61	c 191
0.61	o 346
0.61	c 185
0.61	o 353
0.61	c 178
0.61	o 357
0.61	c 174
0.62	o 360
0.62	c 171
0.62	o 364
0.62	c 167
0.62	o 368
0.62	c 163
0.62	o 369
0.62	c 162
0.62	o 371
0.62	c 160
0.62	o 376
0.62	c 155
0.62	o 379
0.62	c 152
0.62	o 380
0.62	c 151
0.62	o 381
0.62	c 150
0.62	o 385
0.62	c 146
0.63	o 388
0.63	c 143
0.63	o 389
0.63	c 142
0.66	o 392
0.66	c 139
0.69	o 393
0.69	c 138
0.87	o 394
0.87	c 137
0.87	o 395
0.87	c 136
2.47	   
2.47	   search
2.47	     run=0  nbConstraintChecks=8239682  nbAssignments=10000
2.47	       =>  wckTime=1.868  cpuTime=1.84  mem=5M627
4.18	   
4.18	   search
4.18	     run=1  nbConstraintChecks=16604497  nbAssignments=20000
4.18	       =>  wckTime=3.577  cpuTime=3.54  mem=5M627
5.87	   
5.87	   search
5.87	     run=2  nbConstraintChecks=24849709  nbAssignments=30000
5.87	       =>  wckTime=5.27  cpuTime=5.22  mem=5M627
7.58	   
7.58	   search
7.58	     run=3  nbConstraintChecks=33218691  nbAssignments=40000
7.58	       =>  wckTime=6.974  cpuTime=6.92  mem=5M627
9.29	   
9.29	   search
9.29	     run=4  nbConstraintChecks=41469287  nbAssignments=50000
9.29	       =>  wckTime=8.682  cpuTime=8.61  mem=5M627
11.02	   
11.02	   search
11.02	     run=5  nbConstraintChecks=49824990  nbAssignments=60000
11.02	       =>  wckTime=10.414  cpuTime=10.34  mem=5M627
12.74	   
12.74	   search
12.74	     run=6  nbConstraintChecks=58097232  nbAssignments=70000
12.74	       =>  wckTime=12.135  cpuTime=12.05  mem=5M627
14.51	   
14.51	   search
14.51	     run=7  nbConstraintChecks=66461687  nbAssignments=80000
14.51	       =>  wckTime=13.905  cpuTime=13.81  mem=5M627
16.31	   
16.31	   search
16.31	     run=8  nbConstraintChecks=74723426  nbAssignments=90000
16.31	       =>  wckTime=15.701  cpuTime=15.61  mem=5M627
18.12	   
18.12	   search
18.12	     run=9  nbConstraintChecks=83073839  nbAssignments=100000
18.12	       =>  wckTime=17.514  cpuTime=17.42  mem=5M627
19.93	   
19.93	   search
19.93	     run=10  nbConstraintChecks=91321364  nbAssignments=110000
19.93	       =>  wckTime=19.323  cpuTime=19.23  mem=5M627
21.75	   
21.75	   search
21.75	     run=11  nbConstraintChecks=99701332  nbAssignments=120000
21.76	       =>  wckTime=21.151  cpuTime=21.05  mem=5M627
23.57	   
23.57	   search
23.57	     run=12  nbConstraintChecks=107956772  nbAssignments=130000
23.57	       =>  wckTime=22.961  cpuTime=22.87  mem=5M627
25.39	   
25.39	   search
25.39	     run=13  nbConstraintChecks=116312339  nbAssignments=140000
25.39	       =>  wckTime=24.785  cpuTime=24.69  mem=5M627
27.20	   
27.20	   search
27.20	     run=14  nbConstraintChecks=124570953  nbAssignments=150000
27.20	       =>  wckTime=26.596  cpuTime=26.5  mem=5M627
29.01	   
29.01	   search
29.01	     run=15  nbConstraintChecks=132938980  nbAssignments=160000
29.01	       =>  wckTime=28.409  cpuTime=28.31  mem=5M627
30.81	   
30.81	   search
30.81	     run=16  nbConstraintChecks=141183481  nbAssignments=170000
30.81	       =>  wckTime=30.202  cpuTime=30.1  mem=5M627
30.97	   
30.97	   search
30.97	     run=17  nbConstraintChecks=141938184  nbAssignments=170905
30.97	       =>  wckTime=30.366  cpuTime=30.27  mem=5M627
30.97	   
30.97	   global
30.97	     nbConstraintChecks=141938184  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.97	     solvingWckTime=30.363  solvingCpuTime=30.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.97	     globalCpuTime=30.52
30.97	       =>  wckTime=30.677  cpuTime=30.47  mem=5M627
30.97	   
30.97	   solver IterativeSystematicSolver being built... 
31.11	       =>  wckTime=30.815  cpuTime=30.58  mem=16M631
31.17	   
31.17	   preprocessing
31.17	     nbConstraintChecks=39676  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.17	     detectedInconsistency=no
31.17	       =>  wckTime=0.057  cpuTime=0.04  mem=16M631
31.19	   
31.19	   search
31.19	     run=0  nbConstraintChecks=38719  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34
31.19	     nbFailedAssignments=5  nbBacktracks=11  nbVisitedNodes=51  nbRestartNogoods=0
31.19	       =>  wckTime=0.083  cpuTime=0.06  mem=16M631
31.23	   
31.23	   search
31.23	     run=1  nbConstraintChecks=97771  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=80
31.24	     nbFailedAssignments=17  nbBacktracks=27  nbVisitedNodes=125  nbRestartNogoods=2
31.24	       =>  wckTime=0.125  cpuTime=0.09  mem=16M631
31.27	   
31.27	   search
31.27	     run=2  nbConstraintChecks=167618  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=133
31.27	     nbFailedAssignments=31  nbBacktracks=49  nbVisitedNodes=213  nbRestartNogoods=6
31.27	       =>  wckTime=0.157  cpuTime=0.12  mem=16M631
31.31	   
31.31	   search
31.31	     run=3  nbConstraintChecks=262547  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=199
31.31	     nbFailedAssignments=50  nbBacktracks=82  nbVisitedNodes=328  nbRestartNogoods=9
31.31	       =>  wckTime=0.202  cpuTime=0.17  mem=16M631
31.39	   
31.39	   search
31.39	     run=4  nbConstraintChecks=421160  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=305
31.39	     nbFailedAssignments=89  nbBacktracks=132  nbVisitedNodes=519  nbRestartNogoods=11
31.39	       =>  wckTime=0.276  cpuTime=0.24  mem=16M631
31.49	   
31.49	   search
31.49	     run=5  nbConstraintChecks=644935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=450
31.49	     nbFailedAssignments=143  nbBacktracks=207  nbVisitedNodes=789  nbRestartNogoods=14
31.49	       =>  wckTime=0.379  cpuTime=0.34  mem=16M631
31.62	   
31.62	   search
31.62	     run=6  nbConstraintChecks=969168  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=654
31.62	     nbFailedAssignments=218  nbBacktracks=320  nbVisitedNodes=1180  nbRestartNogoods=18
31.62	       =>  wckTime=0.513  cpuTime=0.47  mem=16M631
31.82	   
31.82	   search
31.82	     run=7  nbConstraintChecks=1418184  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=932
31.82	     nbFailedAssignments=315  nbBacktracks=490  nbVisitedNodes=1716  nbRestartNogoods=22
31.82	       =>  wckTime=0.711  cpuTime=0.67  mem=16M631
32.11	   
32.11	   search
32.11	     run=8  nbConstraintChecks=2091066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1342
32.11	     nbFailedAssignments=453  nbBacktracks=746  nbVisitedNodes=2518  nbRestartNogoods=23
32.11	       =>  wckTime=0.996  cpuTime=0.95  mem=16M631
32.60	   
32.60	   search
32.60	     run=9  nbConstraintChecks=3204041  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2009
32.60	     nbFailedAssignments=720  nbBacktracks=1131  nbVisitedNodes=3825  nbRestartNogoods=28
32.60	       =>  wckTime=1.492  cpuTime=1.43  mem=16M631
33.24	   
33.24	   search
33.24	     run=10  nbConstraintChecks=4758919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2948
33.24	     nbFailedAssignments=1069  nbBacktracks=1707  nbVisitedNodes=5665  nbRestartNogoods=33
33.24	       =>  wckTime=2.128  cpuTime=2.06  mem=16M631
34.28	   
34.28	   search
34.28	     run=11  nbConstraintChecks=7241657  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4431
34.28	     nbFailedAssignments=1673  nbBacktracks=2571  nbVisitedNodes=8567  nbRestartNogoods=38
34.28	       =>  wckTime=3.174  cpuTime=3.1  mem=16M631
35.69	   
35.69	   search
35.69	     run=12  nbConstraintChecks=10670026  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6519
35.69	     nbFailedAssignments=2451  nbBacktracks=3868  nbVisitedNodes=12671  nbRestartNogoods=43
35.69	       =>  wckTime=4.582  cpuTime=4.51  mem=16M631
38.07	   
38.07	   search
38.07	     run=13  nbConstraintChecks=16322449  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9853
38.07	     nbFailedAssignments=3818  nbBacktracks=5815  nbVisitedNodes=19202  nbRestartNogoods=48
38.07	       =>  wckTime=6.958  cpuTime=6.88  mem=16M631
41.70	   
41.70	   search
41.70	     run=14  nbConstraintChecks=24434630  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14625
41.70	     nbFailedAssignments=5655  nbBacktracks=8734  nbVisitedNodes=28584  nbRestartNogoods=53
41.70	       =>  wckTime=10.585  cpuTime=10.51  mem=16M631
46.71	   
46.71	   search
46.71	     run=15  nbConstraintChecks=36392298  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21758
46.71	     nbFailedAssignments=8393  nbBacktracks=13112  nbVisitedNodes=42647  nbRestartNogoods=57
46.71	       =>  wckTime=15.602  cpuTime=15.52  mem=16M631
54.35	   
54.35	   search
54.35	     run=16  nbConstraintChecks=53996974  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32231
54.35	     nbFailedAssignments=12285  nbBacktracks=19680  nbVisitedNodes=63297  nbRestartNogoods=60
54.35	       =>  wckTime=23.243  cpuTime=23.16  mem=16M631
66.32	   
66.32	   search
66.32	     run=17  nbConstraintChecks=81653983  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48550
66.32	     nbFailedAssignments=18738  nbBacktracks=29533  nbVisitedNodes=95450  nbRestartNogoods=66
66.32	       =>  wckTime=35.209  cpuTime=35.12  mem=16M631
84.94	   
84.94	   search
84.94	     run=18  nbConstraintChecks=123192787  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=72827
84.94	     nbFailedAssignments=28224  nbBacktracks=44311  nbVisitedNodes=143173  nbRestartNogoods=73
84.94	       =>  wckTime=53.827  cpuTime=53.73  mem=16M631
112.81	   
112.81	   search
112.81	     run=19  nbConstraintChecks=185050108  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=109293
112.81	     nbFailedAssignments=42510  nbBacktracks=66480  nbVisitedNodes=214903  nbRestartNogoods=80
112.81	       =>  wckTime=81.703  cpuTime=81.6  mem=16M631
116.11	o 397
116.11	c 134
154.80	   
154.81	   search
154.81	     run=20  nbConstraintChecks=276930539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=164045
154.81	     nbFailedAssignments=63998  nbBacktracks=99732  nbVisitedNodes=322120  nbRestartNogoods=87
154.81	       =>  wckTime=123.694  cpuTime=123.59  mem=16M631
215.03	   
215.03	   search
215.03	     run=21  nbConstraintChecks=408101631  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=246096
215.03	     nbFailedAssignments=96161  nbBacktracks=149610  nbVisitedNodes=480532  nbRestartNogoods=94
215.03	       =>  wckTime=183.923  cpuTime=183.8  mem=16M631
305.89	   
305.89	   search
305.89	     run=22  nbConstraintChecks=600831975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=368546
305.89	     nbFailedAssignments=143782  nbBacktracks=224428  nbVisitedNodes=714604  nbRestartNogoods=103
305.89	       =>  wckTime=274.782  cpuTime=274.64  mem=16M631
315.09	   
315.09	   search
315.09	     run=23  nbConstraintChecks=619683195  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=380453
315.09	     nbFailedAssignments=148167  nbBacktracks=231951  nbVisitedNodes=737172  nbRestartNogoods=105
315.09	       =>  wckTime=283.981  cpuTime=283.83  mem=16M631
315.09	   
315.09	   global
315.09	     nbConstraintChecks=619722871  nbRestartNogoods=105  solvingWckTime=283.981  solvingCpuTime=283.83  expiredTime=no
315.09	     totalExploration=yes  nbFoundSolutions=1  globalCpuTime=314.46
315.09	       =>  wckTime=314.797  cpuTime=314.41  mem=17M606
315.10	
315.10	s OPTIMUM FOUND
315.10	v 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 
315.10	   
315.10	   totalWckTime=314.875  totalCpuTime=314.46

Verifier Data (download as text)

134 unsatisfied constraints, 397 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/node18/watcher-278398-1169287819 -o ROOT/results/node18/solver-278398-1169287819 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/unknown.xml 

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

/proc/loadavg: 1.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=1500 CPUtime=0
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 277176698 1536000 60 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7830497 0 0 4096 0 0 0 0 17 1 0 0
/proc/13391/statm: 375 69 55 14 0 8 0

[startup+0.102899 s]
/proc/loadavg: 1.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=914988 CPUtime=0.09
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 3069 0 1 0 8 1 0 0 16 0 8 0 277176698 936947712 2815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510938 s]
/proc/loadavg: 1.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915332 CPUtime=0.5
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 6582 0 1 0 46 4 0 0 16 0 8 0 277176698 937299968 6321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228833 6322 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33301 s]
/proc/loadavg: 1.12 1.65 1.77 2/88 13399
/proc/meminfo: memFree=1276088/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=1.31
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7175 0 1 0 112 19 0 0 17 0 8 0 277176698 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228866 6913 2479 14 0 215336 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915464 CPUtime=0.11
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 339 0 0 0 11 0 0 0 16 0 8 0 277176704 937435136 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98417 s]
/proc/loadavg: 1.11 1.64 1.77 2/88 13404
/proc/meminfo: memFree=1278008/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=2.95
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7179 0 1 0 238 57 0 0 17 0 8 0 277176698 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704310 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6915 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 17 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460

[startup+6.27949 s]
/proc/loadavg: 1.11 1.64 1.77 3/95 13469
/proc/meminfo: memFree=1274240/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=6.23
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 495 128 0 0 25 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7611 s]
/proc/loadavg: 1.17 1.64 1.76 3/96 13571
/proc/meminfo: memFree=1273088/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=12.68
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 996 272 0 0 16 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460

[startup+25.5904 s]
/proc/loadavg: 1.14 1.61 1.75 2/85 13605
/proc/meminfo: memFree=1283176/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=25.5
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 1996 554 0 0 17 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915464 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937435136 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915460

[startup+51.2798 s]
/proc/loadavg: 1.09 1.56 1.73 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=51.19
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9171 0 1 0 4444 675 0 0 25 0 8 0 277176698 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8904 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915460

[startup+102.545 s]
/proc/loadavg: 1.04 1.47 1.69 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=102.44
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9179 0 1 0 9569 675 0 0 25 0 8 0 277176698 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8912 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915460

[startup+162.645 s]
/proc/loadavg: 1.01 1.38 1.64 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=162.52
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9187 0 1 0 15577 675 0 0 25 0 8 0 277176698 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8918 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 915460

[startup+222.747 s]
/proc/loadavg: 1.00 1.31 1.60 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=222.61
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9189 0 1 0 21586 675 0 0 25 0 8 0 277176698 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8920 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.61
Current children cumulated vsize (KiB) 915460

[startup+282.845 s]
/proc/loadavg: 1.00 1.25 1.56 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=282.69
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9189 0 1 0 27594 675 0 0 25 0 8 0 277176698 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8920 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.69
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 315.168
CPU time (s): 314.955
CPU user time (s): 308.189
CPU system time (s): 6.76597
CPU usage (%): 99.9326
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.189
system time used= 6.76597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9286
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= 7241
involuntary context switches= 980

runsolver used 0.285956 s user time and 0.845871 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan 20 10:10:20 UTC 2007


IDJOB= 278398
IDBENCH= 8321
IDSOLVER= 68
FILE ID= node18/278398-1169287819

PBS_JOBID= 3609526

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-900-536221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-278398-1169287819 -o ROOT/results/node18/solver-278398-1169287819 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ccfbb8c72d2512e999a65c5ec7bdec39

RANDOM SEED= 287134235

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.231
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.231
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:       1294416 kB
Buffers:         53300 kB
Cached:         568084 kB
SwapCached:          0 kB
Active:         253464 kB
Inactive:       428228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1294416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4368 kB
Writeback:           0 kB
Mapped:          79328 kB
Slab:            65036 kB
Committed_AS:  8575680 kB
PageTables:       1920 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 node18 on Sat Jan 20 10:15:35 UTC 2007