Trace number 276959

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 261.74 264.057

General information on the benchmark

Nametightness/tightness0.2/
rand-2-40-11-414-200-25_ext.xml
MD5SUMa738363689fdfe0f5fde1e5a7851177b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints413
Best CPU time to get the best result obtained on this benchmark22.7585
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints414
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension414
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276959-1169250817/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=11  maxDomainSize=11
0.42	       =>  wckTime=0.103  cpuTime=0.1  mem=6M910
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.62	     nbConstraints=414  nbRelationTypes=414  nbExtensionStructures=414  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=414  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=8198  maxDegree=30
0.62	     maxArity=2
0.62	       =>  wckTime=0.304  cpuTime=0.21  mem=10M811
0.67	   
0.67	   solver LocalSearchSolver being built... 
0.71	       =>  wckTime=0.391  cpuTime=0.25  mem=5M814
0.72	
0.72	s SATISFIABLE
0.72	o 326
0.72	c 88
0.72	o 332
0.72	c 82
0.72	o 336
0.72	c 78
0.72	o 339
0.72	c 75
0.72	o 343
0.72	c 71
0.72	o 347
0.72	c 67
0.72	o 352
0.72	c 62
0.72	o 355
0.72	c 59
0.73	o 359
0.73	c 55
0.73	o 363
0.73	c 51
0.73	o 366
0.73	c 48
0.73	o 369
0.73	c 45
0.73	o 370
0.73	c 44
0.73	o 371
0.73	c 43
0.73	o 375
0.73	c 39
0.73	o 377
0.73	c 37
0.73	o 380
0.73	c 34
0.73	o 382
0.73	c 32
0.73	o 383
0.73	c 31
0.73	o 386
0.73	c 28
0.74	o 388
0.74	c 26
0.74	o 389
0.74	c 25
0.74	o 390
0.74	c 24
0.74	o 391
0.74	c 23
0.74	o 392
0.74	c 22
0.74	o 393
0.74	c 21
0.75	o 394
0.75	c 20
0.75	o 395
0.75	c 19
0.75	o 396
0.75	c 18
0.75	o 397
0.75	c 17
0.75	o 399
0.75	c 15
0.75	o 400
0.75	c 14
0.75	o 401
0.75	c 13
0.75	o 403
0.75	c 11
0.76	o 405
0.76	c 9
0.76	o 406
0.76	c 8
0.77	o 407
0.77	c 7
0.81	o 408
0.81	c 6
0.82	o 409
0.82	c 5
0.98	o 410
0.98	c 4
0.99	o 411
0.99	c 3
1.14	o 412
1.14	c 2
1.40	o 413
1.40	c 1
1.40	   
1.40	   search
1.40	     run=0  nbConstraintChecks=3991824  nbAssignments=2717
1.40	       =>  wckTime=0.693  cpuTime=0.66  mem=5M814
1.40	   
1.40	   global
1.41	     nbConstraintChecks=3991824  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.41	     solvingWckTime=0.691  solvingCpuTime=0.66  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.41	     globalCpuTime=0.97
1.41	       =>  wckTime=1.085  cpuTime=0.91  mem=5M814
1.41	   
1.41	   solver IterativeSystematicSolver being built... 
1.53	       =>  wckTime=1.215  cpuTime=1.02  mem=16M788
1.55	   
1.55	   preprocessing
1.55	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.55	     detectedInconsistency=no
1.55	       =>  wckTime=0.0080  cpuTime=0.0  mem=16M788
1.63	   
1.63	   search
1.63	     run=0  nbConstraintChecks=148470  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36
1.63	     nbFailedAssignments=21  nbBacktracks=10  nbVisitedNodes=68  nbRestartNogoods=0
1.63	       =>  wckTime=0.09  cpuTime=0.06  mem=16M788
1.71	   
1.71	   search
1.71	     run=1  nbConstraintChecks=363641  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=88
1.71	     nbFailedAssignments=52  nbBacktracks=25  nbVisitedNodes=166  nbRestartNogoods=3
1.71	       =>  wckTime=0.175  cpuTime=0.13  mem=16M788
1.79	   
1.79	   search
1.79	     run=2  nbConstraintChecks=638257  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=155
1.79	     nbFailedAssignments=91  nbBacktracks=47  nbVisitedNodes=294  nbRestartNogoods=16
1.79	       =>  wckTime=0.249  cpuTime=0.21  mem=16M788
1.90	   
1.90	   search
1.90	     run=3  nbConstraintChecks=1046321  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=253
1.90	     nbFailedAssignments=150  nbBacktracks=80  nbVisitedNodes=484  nbRestartNogoods=40
1.90	       =>  wckTime=0.362  cpuTime=0.32  mem=16M788
2.06	   
2.06	   search
2.06	     run=4  nbConstraintChecks=1641547  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=401
2.06	     nbFailedAssignments=241  nbBacktracks=130  nbVisitedNodes=772  nbRestartNogoods=53
2.06	       =>  wckTime=0.522  cpuTime=0.47  mem=16M788
2.36	   
2.36	   search
2.36	     run=5  nbConstraintChecks=2740945  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=657
2.36	     nbFailedAssignments=418  nbBacktracks=205  nbVisitedNodes=1279  nbRestartNogoods=62
2.36	       =>  wckTime=0.825  cpuTime=0.77  mem=16M788
2.74	   
2.74	   search
2.74	     run=6  nbConstraintChecks=4117382  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=974
2.74	     nbFailedAssignments=617  nbBacktracks=318  nbVisitedNodes=1906  nbRestartNogoods=73
2.74	       =>  wckTime=1.199  cpuTime=1.14  mem=16M788
3.30	   
3.30	   search
3.30	     run=7  nbConstraintChecks=6269576  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1447
3.30	     nbFailedAssignments=915  nbBacktracks=488  nbVisitedNodes=2843  nbRestartNogoods=88
3.30	       =>  wckTime=1.761  cpuTime=1.7  mem=16M788
4.10	   
4.10	   search
4.10	     run=8  nbConstraintChecks=9174303  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2141
4.10	     nbFailedAssignments=1346  nbBacktracks=744  nbVisitedNodes=4208  nbRestartNogoods=97
4.10	       =>  wckTime=2.562  cpuTime=2.47  mem=16M788
5.26	   
5.26	   search
5.26	     run=9  nbConstraintChecks=13402918  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3169
5.26	     nbFailedAssignments=1983  nbBacktracks=1128  nbVisitedNodes=6209  nbRestartNogoods=112
5.26	       =>  wckTime=3.723  cpuTime=3.62  mem=16M788
6.94	   
6.94	   search
6.94	     run=10  nbConstraintChecks=19409401  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4586
6.94	     nbFailedAssignments=2819  nbBacktracks=1704  nbVisitedNodes=8935  nbRestartNogoods=127
6.94	       =>  wckTime=5.404  cpuTime=5.28  mem=16M788
9.30	   
9.30	   search
9.30	     run=11  nbConstraintChecks=27763415  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6643
9.30	     nbFailedAssignments=4005  nbBacktracks=2568  nbVisitedNodes=12805  nbRestartNogoods=138
9.30	       =>  wckTime=7.76  cpuTime=7.62  mem=16M788
12.42	   
12.42	   search
12.42	     run=12  nbConstraintChecks=38715713  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9492
12.42	     nbFailedAssignments=5550  nbBacktracks=3865  nbVisitedNodes=17927  nbRestartNogoods=152
12.42	       =>  wckTime=10.882  cpuTime=10.72  mem=16M788
16.38	   
16.38	   search
16.38	     run=13  nbConstraintChecks=52431150  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13284
16.38	     nbFailedAssignments=7389  nbBacktracks=5813  nbVisitedNodes=24389  nbRestartNogoods=164
16.38	       =>  wckTime=14.843  cpuTime=14.64  mem=16M788
22.05	   
22.05	   search
22.05	     run=14  nbConstraintChecks=71546963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18606
22.05	     nbFailedAssignments=9787  nbBacktracks=8732  nbVisitedNodes=33098  nbRestartNogoods=175
22.05	       =>  wckTime=20.51  cpuTime=20.26  mem=16M788
29.50	   
29.50	   search
29.50	     run=15  nbConstraintChecks=97128662  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26161
29.50	     nbFailedAssignments=12957  nbBacktracks=13110  nbVisitedNodes=44865  nbRestartNogoods=183
29.50	       =>  wckTime=27.968  cpuTime=27.65  mem=16M788
39.29	   
39.29	   search
39.29	     run=16  nbConstraintChecks=131320283  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36845
39.29	     nbFailedAssignments=17067  nbBacktracks=19680  nbVisitedNodes=60791  nbRestartNogoods=198
39.29	       =>  wckTime=37.754  cpuTime=37.35  mem=16M788
53.78	   
53.78	   search
53.78	     run=17  nbConstraintChecks=181546924  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=52719
53.78	     nbFailedAssignments=23079  nbBacktracks=29533  nbVisitedNodes=84280  nbRestartNogoods=206
53.78	       =>  wckTime=52.245  cpuTime=51.73  mem=16M788
75.42	   
75.42	   search
75.42	     run=18  nbConstraintChecks=256476752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76377
75.42	     nbFailedAssignments=31956  nbBacktracks=44311  nbVisitedNodes=118964  nbRestartNogoods=215
75.42	       =>  wckTime=73.888  cpuTime=73.19  mem=16M788
107.39	   
107.39	   search
107.39	     run=19  nbConstraintChecks=366368242  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111351
107.39	     nbFailedAssignments=44754  nbBacktracks=66479  nbVisitedNodes=169988  nbRestartNogoods=222
107.39	       =>  wckTime=105.855  cpuTime=104.89  mem=16M788
154.04	   
154.04	   search
154.04	     run=20  nbConstraintChecks=527163881  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=163372
154.04	     nbFailedAssignments=63514  nbBacktracks=99732  nbVisitedNodes=245278  nbRestartNogoods=229
154.04	       =>  wckTime=152.506  cpuTime=151.13  mem=16M788
224.93	   
224.93	   search
224.93	     run=21  nbConstraintChecks=771716346  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=241439
224.93	     nbFailedAssignments=91694  nbBacktracks=149610  nbVisitedNodes=358574  nbRestartNogoods=238
224.93	       =>  wckTime=223.396  cpuTime=221.38  mem=16M788
264.03	   
264.03	   search
264.03	     run=22  nbConstraintChecks=908300013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=285613
264.03	     nbFailedAssignments=107567  nbBacktracks=177912  nbVisitedNodes=422473  nbRestartNogoods=249
264.03	       =>  wckTime=262.499  cpuTime=260.15  mem=16M788
264.04	   
264.04	   global
264.04	     nbConstraintChecks=908300013  nbRestartNogoods=249  solvingWckTime=262.5  solvingCpuTime=260.15  expiredTime=no
264.04	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=261.23
264.04	       =>  wckTime=263.716  cpuTime=261.17  mem=16M788
264.04	
264.04	s OPTIMUM FOUND
264.04	v 8 10 5 4 1 2 5 10 9 4 4 0 6 3 7 1 0 7 5 10 1 5 5 2 9 6 4 6 9 8 2 8 10 3 10 4 2 0 6 8 
264.04	   
264.04	   totalWckTime=263.802  totalCpuTime=261.23

Verifier Data (download as text)

1 unsatisfied constraints, 413 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/node2/watcher-276959-1169250817 -o ROOT/results/node2/solver-276959-1169250817 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276959-1169250817/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.01 1.99 1.99 2/86 15469
/proc/meminfo: memFree=1250120/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=18540 CPUtime=0
/proc/15468/stat : 15468 (runsolver) R 15466 15468 14376 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273477315 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15468/statm: 4635 279 244 17 0 2626 0

[startup+0.102637 s]
/proc/loadavg: 2.01 1.99 1.99 2/86 15469
/proc/meminfo: memFree=1250120/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=914988 CPUtime=0.07
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 2950 0 1 0 6 1 0 0 17 0 8 0 273477315 936947712 2696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154162106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228747 2696 1412 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.51071 s]
/proc/loadavg: 2.01 1.99 1.99 2/86 15469
/proc/meminfo: memFree=1250120/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915332 CPUtime=0.47
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 6366 0 1 0 44 3 0 0 18 0 8 0 273477315 937299968 6105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228833 6105 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33386 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1229840/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915420 CPUtime=1.29
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 7725 0 1 0 114 15 0 0 25 0 8 0 273477315 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228855 7463 2476 14 0 215325 0
[pid=15468/tid=15470] ppid=15466 vsize=915420 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273477319 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915420 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915420 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915420 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915420 CPUtime=0.16
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 350 0 0 0 15 1 0 0 16 0 8 0 273477323 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915420 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915420 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937390080 7463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915420

[startup+2.98616 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224528/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=2.93
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9109 0 1 0 275 18 0 0 25 0 8 0 273477315 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8845 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 17 0 8 0 273477319 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.23
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 273477323 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915552

[startup+6.26877 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224336/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=6.18
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9127 0 1 0 600 18 0 0 25 0 8 0 273477315 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8861 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915552

[startup+12.757 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224336/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=12.61
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9136 0 1 0 1243 18 0 0 25 0 8 0 273477315 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8870 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915552

[startup+25.6043 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224272/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=25.35
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9141 0 1 0 2517 18 0 0 25 0 8 0 273477315 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8875 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915552

[startup+51.2131 s]
/proc/loadavg: 2.00 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224400/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=50.74
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9147 0 1 0 5056 18 0 0 25 0 8 0 273477315 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8879 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915552

[startup+102.434 s]
/proc/loadavg: 2.00 1.99 1.99 4/93 15476
/proc/meminfo: memFree=1224400/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=101.53
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9154 0 1 0 10135 18 0 0 25 0 8 0 273477315 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8885 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915552

[startup+162.491 s]
/proc/loadavg: 2.00 1.99 1.99 3/93 15476
/proc/meminfo: memFree=1224400/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=161.07
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9159 0 1 0 16088 19 0 0 25 0 8 0 273477315 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8890 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) R 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 915552

[startup+222.543 s]
/proc/loadavg: 2.08 2.00 2.00 3/93 15476
/proc/meminfo: memFree=1224336/2055920 swapFree=4180552/4192956
[pid=15468] ppid=15466 vsize=915552 CPUtime=220.58
/proc/15468/stat : 15468 (java) R 15466 15468 14376 0 -1 0 9159 0 1 0 22039 19 0 0 25 0 8 0 273477315 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15468/statm: 228888 8890 2527 14 0 215358 0
[pid=15468/tid=15470] ppid=15466 vsize=915552 CPUtime=0.03
/proc/15468/task/15470/stat : 15470 (java) S 15466 15468 14376 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273477319 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15471] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15471/stat : 15471 (java) S 15466 15468 14376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273477320 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15472] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15472/stat : 15472 (java) S 15466 15468 14376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273477320 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15473] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15473/stat : 15473 (java) S 15466 15468 14376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15474] ppid=15466 vsize=915552 CPUtime=0.25
/proc/15468/task/15474/stat : 15474 (java) S 15466 15468 14376 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15475] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15475/stat : 15475 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15468/tid=15476] ppid=15466 vsize=915552 CPUtime=0
/proc/15468/task/15476/stat : 15476 (java) S 15466 15468 14376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273477323 937525248 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915552

Child status: 0
Real time (s): 264.057
CPU time (s): 261.74
CPU user time (s): 261.537
CPU system time (s): 0.202969
CPU usage (%): 99.1227
Max. virtual memory (cumulated for all children) (KiB): 915552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.537
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9257
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= 6542
involuntary context switches= 11326

runsolver used 0.358945 s user time and 0.825874 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Fri Jan 19 23:53:37 UTC 2007


IDJOB= 276959
IDBENCH= 6169
IDSOLVER= 69
FILE ID= node2/276959-1169250817

PBS_JOBID= 3589052

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276959-1169250817/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-276959-1169250817 -o ROOT/results/node2/solver-276959-1169250817 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276959-1169250817/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a738363689fdfe0f5fde1e5a7851177b

RANDOM SEED= 132004118

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.259
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	: 5931.00
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.259
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:       1250600 kB
Buffers:         45828 kB
Cached:         634644 kB
SwapCached:        548 kB
Active:         178888 kB
Inactive:       553500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1250600 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            1772 kB
Writeback:           0 kB
Mapped:          64608 kB
Slab:            57788 kB
Committed_AS:  7155664 kB
PageTables:       2336 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 node2 on Fri Jan 19 23:58:01 UTC 2007