Trace number 229889

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
Abscon 109 ACSAT 394.314 396.422

DiagnosticValue
CHECKS2593680866
NODES1611602

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-41_ext.xml
MD5SUM2e7ba53ea9b6aeb5151fd952bd2d9036
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark167.635
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints461
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension461
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/229889-1168081012/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.103  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.57	   
0.57	   constraints being loaded...
0.72	     nbConstraints=461  nbRelationTypes=461  nbExtensionStructures=461  nbSharedExtensionStructures=0
0.72	     nbConflictsStructures=461  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2358  maxDegree=28
0.72	     maxArity=2
0.72	       =>  wckTime=0.396  cpuTime=0.3  mem=16M967
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.6  cpuTime=0.43  mem=15M355
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.93	     detectedInconsistency=no
0.93	       =>  wckTime=0.0090  cpuTime=0.01  mem=15M355
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=55480  nbPropagations=722  nbRevisions=8520  nbUselessRevisions=6971  nbAssignments=31
0.99	     nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.99	     nbTooLargeKeys=0
0.99	       =>  wckTime=0.062  cpuTime=0.04  mem=15M355
1.01	   
1.01	   search
1.01	     run=1  nbConstraintChecks=103186  nbPropagations=2050  nbRevisions=24230  nbUselessRevisions=19932
1.01	     nbAssignments=64  nbFailedAssignments=16  nbBacktracks=28  nbVisitedNodes=95  nbRestartNogoods=4  mapSize=21
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.086  cpuTime=0.05  mem=15M355
1.03	   
1.03	   search
1.03	     run=2  nbConstraintChecks=163921  nbPropagations=4192  nbRevisions=49843  nbUselessRevisions=41148
1.03	     nbAssignments=106  nbFailedAssignments=24  nbBacktracks=51  nbVisitedNodes=156  nbRestartNogoods=5  mapSize=36
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.106  cpuTime=0.07  mem=15M355
1.05	   
1.05	   search
1.05	     run=3  nbConstraintChecks=257094  nbPropagations=7544  nbRevisions=92009  nbUselessRevisions=76083
1.05	     nbAssignments=166  nbFailedAssignments=43  nbBacktracks=84  nbVisitedNodes=249  nbRestartNogoods=7  mapSize=61
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.127  cpuTime=0.09  mem=15M355
1.08	   
1.08	   search
1.08	     run=4  nbConstraintChecks=411594  nbPropagations=12720  nbRevisions=159561  nbUselessRevisions=131382
1.08	     nbAssignments=257  nbFailedAssignments=73  nbBacktracks=135  nbVisitedNodes=401  nbRestartNogoods=10  mapSize=101
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.159  cpuTime=0.12  mem=15M355
1.13	   
1.13	   search
1.13	     run=5  nbConstraintChecks=613905  nbPropagations=20434  nbRevisions=262493  nbUselessRevisions=215360
1.13	     nbAssignments=389  nbFailedAssignments=119  nbBacktracks=212  nbVisitedNodes=618  nbRestartNogoods=18  mapSize=159
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.2  cpuTime=0.16  mem=15M355
1.18	   
1.18	   search
1.18	     run=6  nbConstraintChecks=873053  nbPropagations=31305  nbRevisions=411142  nbUselessRevisions=336549
1.18	     nbAssignments=572  nbFailedAssignments=176  nbBacktracks=330  nbVisitedNodes=914  nbRestartNogoods=22  mapSize=245
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.257  cpuTime=0.21  mem=15M355
1.27	   
1.27	   search
1.27	     run=7  nbConstraintChecks=1413453  nbPropagations=48078  nbRevisions=653343  nbUselessRevisions=533990
1.27	     nbAssignments=869  nbFailedAssignments=294  nbBacktracks=500  nbVisitedNodes=1426  nbRestartNogoods=24  mapSize=388
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.351  cpuTime=0.3  mem=15M355
1.41	   
1.41	   search
1.41	     run=8  nbConstraintChecks=2147896  nbPropagations=73670  nbRevisions=1033488  nbUselessRevisions=843673
1.41	     nbAssignments=1344  nbFailedAssignments=503  nbBacktracks=756  nbVisitedNodes=2253  nbRestartNogoods=28
1.41	     mapSize=615  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.491  cpuTime=0.43  mem=15M355
1.59	   
1.59	   search
1.59	     run=9  nbConstraintChecks=3063702  nbPropagations=110953  nbRevisions=1587801  nbUselessRevisions=1295907
1.59	     nbAssignments=1952  nbFailedAssignments=717  nbBacktracks=1140  nbVisitedNodes=3277  nbRestartNogoods=31
1.59	     mapSize=914  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.665  cpuTime=0.59  mem=15M355
1.66	   
1.66	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M355)
1.83	   
1.83	   search
1.83	     run=10  nbConstraintChecks=4480672  nbPropagations=166625  nbRevisions=2415868  nbUselessRevisions=1971964
1.83	     nbAssignments=2908  nbFailedAssignments=1085  nbBacktracks=1721  nbVisitedNodes=4900  nbRestartNogoods=39
1.83	       =>  wckTime=0.91  cpuTime=0.82  mem=15M355
2.20	   
2.20	   search
2.20	     run=11  nbConstraintChecks=6862539  nbPropagations=251325  nbRevisions=3694987  nbUselessRevisions=3017915
2.20	     nbAssignments=4413  nbFailedAssignments=1716  nbBacktracks=2586  nbVisitedNodes=7510  nbRestartNogoods=42
2.20	       =>  wckTime=1.282  cpuTime=1.19  mem=15M355
2.70	   
2.70	   search
2.70	     run=12  nbConstraintChecks=10083410  nbPropagations=375332  nbRevisions=5556263  nbUselessRevisions=4538550
2.70	     nbAssignments=6453  nbFailedAssignments=2450  nbBacktracks=3883  nbVisitedNodes=10943  nbRestartNogoods=47
2.70	       =>  wckTime=1.779  cpuTime=1.68  mem=15M355
3.47	   
3.47	   search
3.47	     run=13  nbConstraintChecks=14850054  nbPropagations=560168  nbRevisions=8364913  nbUselessRevisions=6840596
3.47	     nbAssignments=9675  nbFailedAssignments=3717  nbBacktracks=5830  nbVisitedNodes=16497  nbRestartNogoods=57
3.47	       =>  wckTime=2.545  cpuTime=2.44  mem=15M355
4.48	   
4.48	   search
4.48	     run=14  nbConstraintChecks=21131284  nbPropagations=828703  nbRevisions=12399823  nbUselessRevisions=10147251
4.48	     nbAssignments=14212  nbFailedAssignments=5324  nbBacktracks=8750  nbVisitedNodes=24124  nbRestartNogoods=61
4.48	       =>  wckTime=3.555  cpuTime=3.45  mem=15M355
6.32	   
6.32	   search
6.32	     run=15  nbConstraintChecks=33420420  nbPropagations=1238788  nbRevisions=18634235  nbUselessRevisions=15250081
6.32	     nbAssignments=21368  nbFailedAssignments=8089  nbBacktracks=13131  nbVisitedNodes=36437  nbRestartNogoods=67
6.32	       =>  wckTime=5.395  cpuTime=5.28  mem=15M355
8.68	   
8.68	   search
8.68	     run=16  nbConstraintChecks=48586754  nbPropagations=1839653  nbRevisions=27691029  nbUselessRevisions=22656641
8.68	     nbAssignments=31533  nbFailedAssignments=11681  nbBacktracks=19699  nbVisitedNodes=53374  nbRestartNogoods=78
8.68	       =>  wckTime=7.762  cpuTime=7.64  mem=15M355
12.38	   
12.38	   search
12.38	     run=17  nbConstraintChecks=72278634  nbPropagations=2740772  nbRevisions=41278580  nbUselessRevisions=33782633
12.38	     nbAssignments=47242  nbFailedAssignments=17526  nbBacktracks=29552  nbVisitedNodes=80098  nbRestartNogoods=81
12.38	       =>  wckTime=11.461  cpuTime=11.32  mem=15M355
17.69	   
17.69	   search
17.69	     run=18  nbConstraintChecks=106015456  nbPropagations=4080326  nbRevisions=61381656  nbUselessRevisions=50243269
17.69	     nbAssignments=70548  nbFailedAssignments=26039  nbBacktracks=44335  nbVisitedNodes=119645  nbRestartNogoods=97
17.69	       =>  wckTime=16.771  cpuTime=16.61  mem=15M355
26.55	   
26.55	   search
26.55	     run=19  nbConstraintChecks=165086744  nbPropagations=6112579  nbRevisions=92074332  nbUselessRevisions=75349008
26.55	     nbAssignments=105822  nbFailedAssignments=39134  nbBacktracks=66505  nbVisitedNodes=179718  nbRestartNogoods=106
26.55	       =>  wckTime=25.632  cpuTime=25.42  mem=15M355
38.34	   
38.34	   search
38.34	     run=20  nbConstraintChecks=238932292  nbPropagations=9128084  nbRevisions=137177570  nbUselessRevisions=112269831
38.34	     nbAssignments=157896  nbFailedAssignments=57947  nbBacktracks=99759  nbVisitedNodes=267672  nbRestartNogoods=117
38.34	       =>  wckTime=37.415  cpuTime=37.15  mem=15M355
58.04	   
58.04	   search
58.04	     run=21  nbConstraintChecks=367396294  nbPropagations=13723170  nbRevisions=206189103  nbUselessRevisions=168724406
58.05	     nbAssignments=239183  nbFailedAssignments=89344  nbBacktracks=149637  nbVisitedNodes=407285  nbRestartNogoods=124
58.05	       =>  wckTime=57.123  cpuTime=56.76  mem=15M355
86.04	   
86.04	   search
86.04	     run=22  nbConstraintChecks=550995465  nbPropagations=20533778  nbRevisions=308551586  nbUselessRevisions=252346200
86.04	     nbAssignments=356974  nbFailedAssignments=132307  nbBacktracks=224456  nbVisitedNodes=605773  nbRestartNogoods=141
86.04	       =>  wckTime=85.121  cpuTime=84.62  mem=15M355
131.98	   
131.98	   search
131.98	     run=23  nbConstraintChecks=853816199  nbPropagations=30979069  nbRevisions=467094899  nbUselessRevisions=382085889
131.98	     nbAssignments=539602  nbFailedAssignments=202697  nbBacktracks=336685  nbVisitedNodes=919708  nbRestartNogoods=155
131.98	       =>  wckTime=131.055  cpuTime=130.35  mem=15M355
194.01	   
194.01	   search
194.01	     run=24  nbConstraintChecks=1251753792  nbPropagations=46422491  nbRevisions=701817488  nbUselessRevisions=574447913
194.01	     nbAssignments=803218  nbFailedAssignments=297957  nbBacktracks=505028  nbVisitedNodes=1365368  nbRestartNogoods=169
194.01	       =>  wckTime=193.091  cpuTime=192.1  mem=15M355
297.94	   
297.94	   search
297.94	     run=25  nbConstraintChecks=1949588352  nbPropagations=70057224  nbRevisions=1060088208
297.94	     nbUselessRevisions=867445694  nbAssignments=1209637  nbFailedAssignments=451853  nbBacktracks=757541
297.94	     nbVisitedNodes=2063086  nbRestartNogoods=182
297.94	       =>  wckTime=297.02  cpuTime=295.39  mem=15M355
396.38	   
396.38	   search
396.38	     run=26  nbConstraintChecks=2593680866  nbPropagations=101484462  nbRevisions=1537405377
396.38	     nbUselessRevisions=1257954604  nbAssignments=1611602  nbFailedAssignments=600375  nbBacktracks=1010934
396.38	     nbVisitedNodes=2745874  nbRestartNogoods=195
396.38	       =>  wckTime=395.458  cpuTime=393.31  mem=15M355
396.38	   
396.38	   global
396.38	     nbConstraintChecks=2593680866  nbPropagations=101484512  nbRevisions=1537405377  nbUselessRevisions=1257954604
396.38	     nbRestartNogoods=195  solvingWckTime=395.459  solvingCpuTime=393.31  expiredTime=no  totalExploration=no
396.38	     nbFoundSolutions=1  globalCpuTime=393.79
396.38	       =>  wckTime=396.062  cpuTime=393.74  mem=15M355
396.38	   
396.38	s SATISFIABLE
396.38	v 10 0 18 9 19 12 2 6 4 18 5 18 14 4 14 3 14 19 18 15 1 2 17 20 22 4 13 9 10 2 13 11 18 18 9 19 15 13 6 16 9 0 9 12 5 4 5 1 16 6 
396.39	d NODES 1611602
396.39	d CHECKS 2593680866
396.39	   
396.39	   totalWckTime=396.144  totalCpuTime=393.79

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node60/watcher-229889-1168081012 -o ROOT/results/node60/solver-229889-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/unknown.xml 

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

/proc/loadavg: 0.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=18540 CPUtime=0
/proc/13354/stat : 13354 (runsolver) R 13351 13354 13248 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 156499818 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13354/statm: 4635 280 244 17 0 2626 0

[startup+0.103904 s]
/proc/loadavg: 0.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=913236 CPUtime=0.08
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 156499818 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154054481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.511941 s]
/proc/loadavg: 0.06 0.36 0.67 2/70 13355
/proc/meminfo: memFree=1472032/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915328 CPUtime=0.48
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 6883 0 1 0 44 4 0 0 18 0 8 0 156499818 937295872 6622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228832 6622 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33702 s]
/proc/loadavg: 0.06 0.36 0.67 3/87 13372
/proc/meminfo: memFree=1416536/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=1.3
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9594 0 1 0 124 6 0 0 24 0 8 0 156499818 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9332 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.21
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98418 s]
/proc/loadavg: 0.06 0.36 0.67 4/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=2.94
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 288 6 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.18749 s]
/proc/loadavg: 0.22 0.38 0.68 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=6.13
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 606 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915460

[startup+12.6581 s]
/proc/loadavg: 0.36 0.41 0.68 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=12.57
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 1250 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915460

[startup+25.5094 s]
/proc/loadavg: 0.72 0.49 0.71 3/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=25.36
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9612 0 1 0 2529 7 0 0 25 0 8 0 156499818 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9348 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460

[startup+51.1139 s]
/proc/loadavg: 1.16 0.61 0.74 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=50.84
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 5077 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460

[startup+102.316 s]
/proc/loadavg: 1.63 0.82 0.80 3/87 13372
/proc/meminfo: memFree=1416344/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=101.8
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 10173 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915460

[startup+162.356 s]
/proc/loadavg: 1.94 1.05 0.88 3/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=161.56
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9614 0 1 0 16149 7 0 0 25 0 8 0 156499818 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9349 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 915460

[startup+222.401 s]
/proc/loadavg: 2.02 1.23 0.95 4/87 13372
/proc/meminfo: memFree=1416408/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=221.33
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 22126 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 915460

[startup+282.472 s]
/proc/loadavg: 2.01 1.37 1.02 5/93 13510
/proc/meminfo: memFree=1414992/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=280.98
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 28091 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 915460

[startup+342.544 s]
/proc/loadavg: 2.00 1.48 1.07 3/87 13570
/proc/meminfo: memFree=1415936/2055920 swapFree=4192812/4192956
[pid=13354] ppid=13351 vsize=915460 CPUtime=340.7
/proc/13354/stat : 13354 (java) R 13351 13354 13248 0 -1 0 9615 0 1 0 34063 7 0 0 25 0 8 0 156499818 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13354/statm: 228865 9350 2513 14 0 215335 0
[pid=13354/tid=13360] ppid=13351 vsize=915460 CPUtime=0.03
/proc/13354/task/13360/stat : 13360 (java) S 13351 13354 13248 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13363] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13363/stat : 13363 (java) S 13351 13354 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13364] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13364/stat : 13364 (java) S 13351 13354 13248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499823 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13369] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13369/stat : 13369 (java) S 13351 13354 13248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13370] ppid=13351 vsize=915460 CPUtime=0.25
/proc/13354/task/13370/stat : 13370 (java) S 13351 13354 13248 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13371] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13371/stat : 13371 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13354/tid=13372] ppid=13351 vsize=915460 CPUtime=0
/proc/13354/task/13372/stat : 13372 (java) S 13351 13354 13248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499827 937431040 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.7
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 396.422
CPU time (s): 394.314
CPU user time (s): 394.226
CPU system time (s): 0.087986
CPU usage (%): 99.4683
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 394.226
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9624
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= 9182
involuntary context switches= 13908

runsolver used 0.515921 s user time and 1.25381 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Jan  6 10:56:54 UTC 2007


IDJOB= 229889
IDBENCH= 6374
FILE ID= node60/229889-1168081012

PBS_JOBID= 3476189

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-229889-1168081012 -o ROOT/results/node60/solver-229889-1168081012 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229889-1168081012/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2e7ba53ea9b6aeb5151fd952bd2d9036

RANDOM SEED= 343752115

TIME LIMIT= 1800 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.236
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.236
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:       1475024 kB
Buffers:         48276 kB
Cached:         438264 kB
SwapCached:          0 kB
Active:          66692 kB
Inactive:       440020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1475024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2400 kB
Writeback:           0 kB
Mapped:          30376 kB
Slab:            59828 kB
Committed_AS:  3300280 kB
PageTables:       1728 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= 66549 MiB



End job on node60 on Sat Jan  6 11:03:36 UTC 2007