Trace number 218188

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 ESACSAT 539.893 540.176

DiagnosticValue
CHECKS456449754
NODES508372

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-37_ext.xml
MD5SUM7d4f55c7d1f5355a3b9f879cc7756cc5
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark173.762
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints58
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension58
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/218188-1168251573/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.43	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.70	   
0.70	   constraints being loaded...
0.87	     nbConstraints=58  nbRelationTypes=58  nbExtensionStructures=58  nbSharedExtensionStructures=0
0.87	     nbConflictsStructures=58  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
0.87	       =>  wckTime=0.538  cpuTime=0.49  mem=42M368
0.95	   
0.95	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.788  cpuTime=0.63  mem=21M123
1.19	   
1.19	   preprocessing
1.19	     nbConstraintChecks=20021  nbValidityChecks=32679  nbPropagations=179  nbRevisions=1616  nbUselessRevisions=1369
1.19	     nbSingletonTests=28  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.19	       =>  wckTime=0.075  cpuTime=0.05  mem=21M123
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=20738  nbValidityChecks=42923  nbPropagations=511  nbRevisions=5153
1.25	     nbUselessRevisions=4163  nbAssignments=30  nbFailedAssignments=15  nbBacktracks=11  nbVisitedNodes=53
1.25	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.128  cpuTime=0.09  mem=22M126
1.31	   
1.31	   search
1.31	     run=1  nbConstraintChecks=65622  nbValidityChecks=132687  nbPropagations=1618  nbRevisions=16824
1.32	     nbUselessRevisions=13324  nbAssignments=88  nbFailedAssignments=53  nbBacktracks=26  nbVisitedNodes=162
1.32	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.196  cpuTime=0.16  mem=22M126
1.42	   
1.42	   search
1.42	     run=2  nbConstraintChecks=133188  nbValidityChecks=268500  nbPropagations=3638  nbRevisions=38538
1.42	     nbUselessRevisions=30215  nbAssignments=166  nbFailedAssignments=103  nbBacktracks=50  nbVisitedNodes=304
1.42	     nbRestartNogoods=8  mapSize=44  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.299  cpuTime=0.25  mem=22M126
1.52	   
1.52	   search
1.52	     run=3  nbConstraintChecks=204877  nbValidityChecks=415964  nbPropagations=6672  nbRevisions=71660
1.52	     nbUselessRevisions=56058  nbAssignments=251  nbFailedAssignments=149  nbBacktracks=85  nbVisitedNodes=459
1.52	     nbRestartNogoods=14  mapSize=76  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.403  cpuTime=0.35  mem=22M126
1.69	   
1.69	   search
1.69	     run=4  nbConstraintChecks=331167  nbValidityChecks=666963  nbPropagations=11385  nbRevisions=123390
1.69	     nbUselessRevisions=96100  nbAssignments=407  nbFailedAssignments=250  nbBacktracks=135  nbVisitedNodes=755
1.69	     nbRestartNogoods=18  mapSize=122  nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.567  cpuTime=0.51  mem=22M126
1.90	   
1.90	   search
1.90	     run=5  nbConstraintChecks=483580  nbValidityChecks=981416  nbPropagations=18391  nbRevisions=200229
1.90	     nbUselessRevisions=155723  nbAssignments=610  nbFailedAssignments=374  nbBacktracks=210  nbVisitedNodes=1129
1.90	     nbRestartNogoods=27  mapSize=187  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.782  cpuTime=0.72  mem=22M126
2.25	   
2.25	   search
2.25	     run=6  nbConstraintChecks=760561  nbValidityChecks=1514354  nbPropagations=29269  nbRevisions=321047
2.25	     nbUselessRevisions=249170  nbAssignments=924  nbFailedAssignments=570  nbBacktracks=324  nbVisitedNodes=1728
2.25	     nbRestartNogoods=36  mapSize=297  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=1.134  cpuTime=1.06  mem=22M126
2.88	   
2.88	   search
2.88	     run=7  nbConstraintChecks=1266304  nbValidityChecks=2514094  nbPropagations=47003  nbRevisions=517936
2.88	     nbUselessRevisions=401651  nbAssignments=1446  nbFailedAssignments=917  nbBacktracks=494  nbVisitedNodes=2734
2.88	     nbRestartNogoods=42  mapSize=463  nbInferences=0  nbTooLargeKeys=0
2.88	       =>  wckTime=1.762  cpuTime=1.68  mem=22M126
3.52	   
3.52	   search
3.52	     run=8  nbConstraintChecks=1743109  nbValidityChecks=3487862  nbPropagations=71841  nbRevisions=792382
3.52	     nbUselessRevisions=614184  nbAssignments=2025  nbFailedAssignments=1236  nbBacktracks=750  nbVisitedNodes=3799
3.52	     nbRestartNogoods=46  mapSize=683  nbInferences=0  nbTooLargeKeys=0
3.52	       =>  wckTime=2.403  cpuTime=2.31  mem=22M126
4.71	   
4.71	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=22M126)
4.83	   
4.83	   search
4.83	     run=9  nbConstraintChecks=2795627  nbValidityChecks=5676761  nbPropagations=111148  nbRevisions=1226874
4.83	     nbUselessRevisions=949679  nbAssignments=3425  nbFailedAssignments=2219  nbBacktracks=1135  nbVisitedNodes=6461
4.83	     nbRestartNogoods=60
4.83	       =>  wckTime=3.712  cpuTime=3.61  mem=22M126
6.25	   
6.25	   search
6.25	     run=10  nbConstraintChecks=3955959  nbValidityChecks=7989733  nbPropagations=168467  nbRevisions=1854101
6.25	     nbUselessRevisions=1433303  nbAssignments=4764  nbFailedAssignments=2978  nbBacktracks=1711  nbVisitedNodes=8964
6.25	     nbRestartNogoods=68
6.25	       =>  wckTime=5.127  cpuTime=5.02  mem=22M126
8.05	   
8.05	   search
8.05	     run=11  nbConstraintChecks=5423466  nbValidityChecks=11031135  nbPropagations=249080  nbRevisions=2722447
8.05	     nbUselessRevisions=2102250  nbAssignments=6662  nbFailedAssignments=4007  nbBacktracks=2576  nbVisitedNodes=12447
8.05	     nbRestartNogoods=79
8.05	       =>  wckTime=6.93  cpuTime=6.82  mem=22M126
11.23	   
11.23	   search
11.23	     run=12  nbConstraintChecks=8062564  nbValidityChecks=16389563  nbPropagations=369634  nbRevisions=4019206
11.23	     nbUselessRevisions=3101169  nbAssignments=9752  nbFailedAssignments=5796  nbBacktracks=3874  nbVisitedNodes=18217
11.23	     nbRestartNogoods=97
11.23	       =>  wckTime=10.112  cpuTime=10.0  mem=22M126
18.14	   
18.14	   search
18.14	     run=13  nbConstraintChecks=14085956  nbValidityChecks=28161115  nbPropagations=569801  nbRevisions=6189518
18.14	     nbUselessRevisions=4771401  nbAssignments=15531  nbFailedAssignments=9623  nbBacktracks=5823  nbVisitedNodes=29428
18.14	     nbRestartNogoods=109
18.14	       =>  wckTime=17.018  cpuTime=16.91  mem=22M126
25.21	   
25.29	   search
25.29	     run=14  nbConstraintChecks=20017983  nbValidityChecks=40127675  nbPropagations=857512  nbRevisions=9333514
25.29	     nbUselessRevisions=7199410  nbAssignments=22684  nbFailedAssignments=13853  nbBacktracks=8742  nbVisitedNodes=42820
25.29	     nbRestartNogoods=117
25.29	       =>  wckTime=24.089  cpuTime=23.98  mem=22M126
37.21	   
37.21	   search
37.21	     run=15  nbConstraintChecks=30153162  nbValidityChecks=60490760  nbPropagations=1290938  nbRevisions=14061609
37.21	     nbUselessRevisions=10845747  nbAssignments=34528  nbFailedAssignments=21305  nbBacktracks=13121
37.21	     nbVisitedNodes=65326  nbRestartNogoods=132
37.21	       =>  wckTime=36.087  cpuTime=35.96  mem=22M126
52.06	   
52.06	   search
52.07	     run=16  nbConstraintChecks=42534146  nbValidityChecks=85646054  nbPropagations=1907991  nbRevisions=20801544
52.07	     nbUselessRevisions=16055805  nbAssignments=49550  nbFailedAssignments=29756  nbBacktracks=19689
52.07	     nbVisitedNodes=93144  nbRestartNogoods=146
52.07	       =>  wckTime=50.946  cpuTime=50.81  mem=22M126
80.20	   
80.20	   search
80.20	     run=17  nbConstraintChecks=66593319  nbValidityChecks=133017212  nbPropagations=2866765  nbRevisions=31246073
80.20	     nbUselessRevisions=24110651  nbAssignments=74424  nbFailedAssignments=44773  nbBacktracks=29541
80.20	     nbVisitedNodes=140383  nbRestartNogoods=169
80.20	       =>  wckTime=79.086  cpuTime=78.94  mem=22M126
133.35	   
133.35	   search
133.35	     run=18  nbConstraintChecks=113839545  nbValidityChecks=225696063  nbPropagations=4430917  nbRevisions=48469360
133.36	     nbUselessRevisions=37403613  nbAssignments=119364  nbFailedAssignments=74913  nbBacktracks=44319
133.36	     nbVisitedNodes=227609  nbRestartNogoods=185
133.36	       =>  wckTime=132.236  cpuTime=132.08  mem=22M126
196.31	   
196.31	   search
196.31	     run=19  nbConstraintChecks=166750981  nbValidityChecks=336119083  nbPropagations=6741792  nbRevisions=73946023
196.31	     nbUselessRevisions=57064541  nbAssignments=190366  nbFailedAssignments=123742  nbBacktracks=66487
196.31	     nbVisitedNodes=364459  nbRestartNogoods=210
196.31	       =>  wckTime=195.196  cpuTime=195.01  mem=22M126
275.28	   
275.28	   search
275.28	     run=20  nbConstraintChecks=232936249  nbValidityChecks=469908739  nbPropagations=10032767  nbRevisions=110188247
275.28	     nbUselessRevisions=85072848  nbAssignments=267862  nbFailedAssignments=167957  nbBacktracks=99740
275.28	     nbVisitedNodes=509192  nbRestartNogoods=225
275.28	       =>  wckTime=274.157  cpuTime=273.94  mem=22M126
407.57	   
407.57	   search
407.57	     run=21  nbConstraintChecks=344729386  nbValidityChecks=691981619  nbPropagations=14951051  nbRevisions=164046643
407.57	     nbUselessRevisions=126627035  nbAssignments=388226  nbFailedAssignments=238418  nbBacktracks=149619
407.57	     nbVisitedNodes=735923  nbRestartNogoods=245
407.57	       =>  wckTime=406.45  cpuTime=406.18  mem=22M126
540.12	   
540.12	   search
540.12	     run=22  nbConstraintChecks=456429733  nbValidityChecks=914292551  nbPropagations=21481634  nbRevisions=235445381
540.12	     nbUselessRevisions=181699049  nbAssignments=508372  nbFailedAssignments=309121  nbBacktracks=199042
540.12	     nbVisitedNodes=962181  nbRestartNogoods=256
540.12	       =>  wckTime=538.997  cpuTime=538.68  mem=22M126
540.12	   
540.12	   global
540.12	     nbConstraintChecks=456449754  nbValidityChecks=914325230  nbPropagations=21481813  nbRevisions=235446997
540.12	     nbUselessRevisions=181700418  nbRestartNogoods=256  solvingWckTime=538.999  solvingCpuTime=538.68  expiredTime=no
540.12	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=539.36
540.12	       =>  wckTime=539.79  cpuTime=539.31  mem=22M126
540.12	   
540.12	s SATISFIABLE
540.12	v 15 18 5 5 3 4 13 19 14 8 15 14 17 13 9 19 10 4 0 19 
540.12	d NODES 508372
540.12	d CHECKS 456449754
540.12	   
540.12	   totalWckTime=539.872  totalCpuTime=539.37

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/node23/watcher-218188-1168251573 -o ROOT/results/node23/solver-218188-1168251573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/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.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=168 CPUtime=0
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 173551728 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2495268 0 0 4096 0 0 0 0 17 0 0 0
/proc/10810/statm: 42 23 18 14 0 2 0

[startup+0.105721 s]
/proc/loadavg: 0.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=912760 CPUtime=0.07
/proc/10810/stat : 10810 (java) S 10805 10810 10696 0 -1 0 2792 0 1 0 6 1 0 0 19 0 8 0 173551728 934666240 2538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228190 2538 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.513801 s]
/proc/loadavg: 0.85 0.95 1.09 5/86 10811
/proc/meminfo: memFree=1805136/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915328 CPUtime=0.47
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 7259 0 1 0 43 4 0 0 18 0 8 0 173551728 937295872 6998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228832 6998 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33796 s]
/proc/loadavg: 0.85 0.95 1.09 4/101 10839
/proc/meminfo: memFree=1669208/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=1.29
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17097 0 1 0 119 10 0 0 24 0 8 0 173551728 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16835 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.16
/proc/10810/task/10833/stat : 10833 (java) R 10805 10810 10696 0 -1 64 355 0 0 0 15 1 0 0 16 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16835 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+2.99028 s]
/proc/loadavg: 0.94 0.97 1.09 3/101 10839
/proc/meminfo: memFree=1664216/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=2.94
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17116 0 1 0 283 11 0 0 25 0 8 0 173551728 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16852 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.2
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16852 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.27592 s]
/proc/loadavg: 0.94 0.97 1.09 5/101 10839
/proc/meminfo: memFree=1574296/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=6.23
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17129 0 1 0 612 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7682 s]
/proc/loadavg: 1.18 1.02 1.11 3/102 10840
/proc/meminfo: memFree=1572696/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=12.72
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 1261 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460

[startup+25.6197 s]
/proc/loadavg: 1.31 1.05 1.12 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=25.56
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 2545 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460

[startup+51.2466 s]
/proc/loadavg: 1.54 1.13 1.14 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=51.17
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 5106 11 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915460

[startup+102.501 s]
/proc/loadavg: 1.82 1.27 1.19 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=102.41
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 10229 12 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915460

[startup+162.557 s]
/proc/loadavg: 1.93 1.40 1.23 3/102 10840
/proc/meminfo: memFree=1572824/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=162.44
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 16232 12 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915460

[startup+222.625 s]
/proc/loadavg: 1.97 1.51 1.28 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=222.49
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 22236 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (KiB) 915460

[startup+282.695 s]
/proc/loadavg: 1.99 1.59 1.32 3/102 10840
/proc/meminfo: memFree=1572760/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=282.54
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 28241 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.54
Current children cumulated vsize (KiB) 915460

[startup+342.754 s]
/proc/loadavg: 2.11 1.70 1.37 3/102 10840
/proc/meminfo: memFree=1572632/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=342.57
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 34244 13 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.57
Current children cumulated vsize (KiB) 915460

[startup+402.814 s]
/proc/loadavg: 2.04 1.75 1.41 3/102 10840
/proc/meminfo: memFree=1572568/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=402.61
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 40247 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.61
Current children cumulated vsize (KiB) 915460

[startup+462.871 s]
/proc/loadavg: 2.01 1.79 1.44 3/102 10840
/proc/meminfo: memFree=1572568/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=462.64
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 46250 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.64
Current children cumulated vsize (KiB) 915460

[startup+522.933 s]
/proc/loadavg: 2.00 1.83 1.47 3/102 10840
/proc/meminfo: memFree=1572504/2055920 swapFree=4191880/4192956
[pid=10810] ppid=10805 vsize=915460 CPUtime=522.68
/proc/10810/stat : 10810 (java) R 10805 10810 10696 0 -1 0 17130 0 1 0 52254 14 0 0 25 0 8 0 173551728 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10810/statm: 228865 16863 2527 14 0 215335 0
[pid=10810/tid=10826] ppid=10805 vsize=915460 CPUtime=0.06
/proc/10810/task/10826/stat : 10826 (java) S 10805 10810 10696 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 173551733 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10827] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10827/stat : 10827 (java) S 10805 10810 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10828] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10828/stat : 10828 (java) S 10805 10810 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173551734 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10832] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10832/stat : 10832 (java) S 10805 10810 10696 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10833] ppid=10805 vsize=915460 CPUtime=0.22
/proc/10810/task/10833/stat : 10833 (java) S 10805 10810 10696 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10834] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10834/stat : 10834 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10810/tid=10835] ppid=10805 vsize=915460 CPUtime=0
/proc/10810/task/10835/stat : 10835 (java) S 10805 10810 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173551737 937431040 16863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.68
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 540.176
CPU time (s): 539.893
CPU user time (s): 539.731
CPU system time (s): 0.161975
CPU usage (%): 99.9475
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.731
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17139
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= 12045
involuntary context switches= 23479

runsolver used 1.20582 s user time and 1.82472 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Mon Jan  8 10:19:34 UTC 2007


IDJOB= 218188
IDBENCH= 5212
FILE ID= node23/218188-1168251573

PBS_JOBID= 3481931

Free space on /tmp= 66557 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-218188-1168251573 -o ROOT/results/node23/solver-218188-1168251573 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218188-1168251573/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7d4f55c7d1f5355a3b9f879cc7756cc5

RANDOM SEED= 10066718

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.265
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.265
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:       1806296 kB
Buffers:         42932 kB
Cached:          92552 kB
SwapCached:        448 kB
Active:         126312 kB
Inactive:        69104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806296 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7900 kB
Writeback:           0 kB
Mapped:          77460 kB
Slab:            39176 kB
Committed_AS:  3659084 kB
PageTables:       2124 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= 66557 MiB



End job on node23 on Mon Jan  8 10:28:34 UTC 2007