Trace number 207933

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 491.037 491.943

DiagnosticValue
CHECKS859715351
NODES425341

General information on the benchmark

NametravellingSalesman/travellingSalesman-25/
tsp-25-715_ext.xml
MD5SUMb560b2188dccf33930e15d7e9eea996b
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 benchmark205.171
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables76
Number of constraints350
Maximum constraint arity3
Maximum domain size1001
Number of constraints which are defined in extension350
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=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/207933-1168183862/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=76  nbDomainTypes=5  minDomainSize=1  maxDomainSize=1001
0.44	       =>  wckTime=0.115  cpuTime=0.1  mem=7M931
0.44	   
0.44	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.67	     nbConstraints=350  nbRelationTypes=28  nbSingletonDomainVariables=2  nbExtensionStructures=29
0.67	     nbSharedExtensionStructures=321  nbConflictsStructures=29  nbSharedConflictsStructures=321
0.67	     nbSharedBinaryRepresentations=25491  maxDegree=25  maxArity=3
0.67	       =>  wckTime=0.347  cpuTime=0.25  mem=16M388
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.594  cpuTime=0.41  mem=19M257
2.77	   
2.77	   preprocessing
2.77	     nbConstraintChecks=3444351  nbValidityChecks=3509744  nbPropagations=21522  nbRevisions=51953
2.77	     nbUselessRevisions=21725  nbSingletonTests=476  nbEffectiveSingletonTests=45  nbESACBranches=43
2.77	     nbRemovedValues=26420  detectedInconsistency=no
2.77	       =>  wckTime=1.839  cpuTime=1.78  mem=19M257
2.85	   
2.85	   search
2.85	     run=0  nbConstraintChecks=96121  nbValidityChecks=93382  nbPropagations=23349  nbRevisions=57016
2.85	     nbUselessRevisions=24403  nbAssignments=25  nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=40
2.85	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=1.919  cpuTime=1.85  mem=19M257
2.97	   
2.97	   search
2.97	     run=1  nbConstraintChecks=296160  nbValidityChecks=325285  nbPropagations=50060  nbRevisions=120865
2.97	     nbUselessRevisions=51771  nbAssignments=73  nbFailedAssignments=18  nbBacktracks=28  nbVisitedNodes=87
2.97	     nbRestartNogoods=4  mapSize=14  nbInferences=0  nbTooLargeKeys=0
2.97	       =>  wckTime=2.04  cpuTime=1.97  mem=19M257
3.04	   
3.04	   search
3.04	     run=2  nbConstraintChecks=409412  nbValidityChecks=448551  nbPropagations=80070  nbRevisions=192660
3.04	     nbUselessRevisions=82997  nbAssignments=118  nbFailedAssignments=33  nbBacktracks=50  nbVisitedNodes=155
3.04	     nbRestartNogoods=7  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=2.112  cpuTime=2.04  mem=20M232
3.26	   
3.26	   search
3.26	     run=3  nbConstraintChecks=790580  nbValidityChecks=861405  nbPropagations=117702  nbRevisions=282955
3.26	     nbUselessRevisions=123305  nbAssignments=215  nbFailedAssignments=69  nbBacktracks=83  nbVisitedNodes=280
3.26	     nbRestartNogoods=11  mapSize=41  nbInferences=0  nbTooLargeKeys=0
3.26	       =>  wckTime=2.333  cpuTime=2.26  mem=20M232
3.60	   
3.60	   search
3.60	     run=4  nbConstraintChecks=1388916  nbValidityChecks=1505742  nbPropagations=164161  nbRevisions=393591
3.60	     nbUselessRevisions=173351  nbAssignments=338  nbFailedAssignments=97  nbBacktracks=139  nbVisitedNodes=409
3.60	     nbRestartNogoods=22  mapSize=65  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=2.668  cpuTime=2.59  mem=20M232
3.82	   
3.82	   search
3.83	     run=5  nbConstraintChecks=1764814  nbValidityChecks=1897606  nbPropagations=220792  nbRevisions=531374
3.83	     nbUselessRevisions=238010  nbAssignments=475  nbFailedAssignments=148  nbBacktracks=216  nbVisitedNodes=620
3.83	     nbRestartNogoods=25  mapSize=103  nbInferences=0  nbTooLargeKeys=0
3.83	       =>  wckTime=2.899  cpuTime=2.82  mem=20M232
4.37	   
4.37	   search
4.37	     run=6  nbConstraintChecks=2697818  nbValidityChecks=2916025  nbPropagations=296487  nbRevisions=713796
4.37	     nbUselessRevisions=324266  nbAssignments=731  nbFailedAssignments=240  nbBacktracks=329  nbVisitedNodes=975
4.37	     nbRestartNogoods=37  mapSize=173  nbInferences=0  nbTooLargeKeys=0
4.37	       =>  wckTime=3.444  cpuTime=3.36  mem=21M208
4.84	   
4.84	   search
4.84	     run=7  nbConstraintChecks=3443773  nbValidityChecks=3755522  nbPropagations=390012  nbRevisions=938511
4.84	     nbUselessRevisions=431417  nbAssignments=1055  nbFailedAssignments=320  nbBacktracks=504  nbVisitedNodes=1379
4.84	     nbRestartNogoods=46  mapSize=248  nbInferences=0  nbTooLargeKeys=0
4.84	       =>  wckTime=3.917  cpuTime=3.82  mem=21M208
5.93	   
5.93	   search
5.93	     run=8  nbConstraintChecks=5247430  nbValidityChecks=5791972  nbPropagations=524445  nbRevisions=1263348
5.93	     nbUselessRevisions=587830  nbAssignments=1633  nbFailedAssignments=511  nbBacktracks=762  nbVisitedNodes=2146
5.93	     nbRestartNogoods=57  mapSize=393  nbInferences=0  nbTooLargeKeys=0
5.93	       =>  wckTime=5.002  cpuTime=4.89  mem=23M158
7.37	   
7.37	   search
7.37	     run=9  nbConstraintChecks=7647336  nbValidityChecks=8638291  nbPropagations=712949  nbRevisions=1713288
7.37	     nbUselessRevisions=805188  nbAssignments=2482  nbFailedAssignments=693  nbBacktracks=1146  nbVisitedNodes=3043
7.37	     nbRestartNogoods=82  mapSize=573  nbInferences=0  nbTooLargeKeys=0
7.37	       =>  wckTime=6.448  cpuTime=6.32  mem=24M133
8.70	   
8.70	   search
8.70	     run=10  nbConstraintChecks=9705898  nbValidityChecks=10980125  nbPropagations=960899  nbRevisions=2311668
8.70	     nbUselessRevisions=1097416  nbAssignments=3409  nbFailedAssignments=981  nbBacktracks=1723  nbVisitedNodes=4410
8.70	     nbRestartNogoods=95  mapSize=855  nbInferences=0  nbTooLargeKeys=0
8.70	       =>  wckTime=7.772  cpuTime=7.63  mem=26M84
9.39	   
9.39	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=28M34)
10.02	   
10.02	   search
10.02	     run=11  nbConstraintChecks=11827251  nbValidityChecks=13297070  nbPropagations=1275125  nbRevisions=3082766
10.02	     nbUselessRevisions=1481795  nbAssignments=4652  nbFailedAssignments=1290  nbBacktracks=2587  nbVisitedNodes=6149
10.02	     nbRestartNogoods=108
10.02	       =>  wckTime=9.096  cpuTime=8.94  mem=28M34
12.95	   
12.95	   search
12.95	     run=12  nbConstraintChecks=16780042  nbValidityChecks=18690668  nbPropagations=1729131  nbRevisions=4209950
12.95	     nbUselessRevisions=2050209  nbAssignments=6613  nbFailedAssignments=1911  nbBacktracks=3884  nbVisitedNodes=9191
12.95	     nbRestartNogoods=124
12.95	       =>  wckTime=12.024  cpuTime=11.85  mem=28M34
16.71	   
16.71	   search
16.71	     run=13  nbConstraintChecks=22824564  nbValidityChecks=25576758  nbPropagations=2376148  nbRevisions=5806951
16.71	     nbUselessRevisions=2851547  nbAssignments=9470  nbFailedAssignments=2760  nbBacktracks=5831  nbVisitedNodes=13677
16.71	     nbRestartNogoods=138
16.71	       =>  wckTime=15.783  cpuTime=15.59  mem=28M34
22.57	   
22.57	   search
22.57	     run=14  nbConstraintChecks=32503107  nbValidityChecks=36098911  nbPropagations=3328625  nbRevisions=8170717
22.57	     nbUselessRevisions=4036219  nbAssignments=13874  nbFailedAssignments=4193  nbBacktracks=8751  nbVisitedNodes=20615
22.57	     nbRestartNogoods=145
22.57	       =>  wckTime=21.648  cpuTime=21.43  mem=28M34
28.99	   
28.99	   search
28.99	     run=15  nbConstraintChecks=42700925  nbValidityChecks=47935938  nbPropagations=4658517  nbRevisions=11486715
28.99	     nbUselessRevisions=5710516  nbAssignments=20149  nbFailedAssignments=5916  nbBacktracks=13138  nbVisitedNodes=30138
28.99	     nbRestartNogoods=172
28.99	       =>  wckTime=28.065  cpuTime=27.82  mem=28M34
42.48	   
42.48	   search
42.48	     run=16  nbConstraintChecks=64383054  nbValidityChecks=72508648  nbPropagations=6694638  nbRevisions=16549186
42.48	     nbUselessRevisions=8258181  nbAssignments=29706  nbFailedAssignments=8881  nbBacktracks=19706  nbVisitedNodes=45385
42.48	     nbRestartNogoods=183
42.48	       =>  wckTime=41.55  cpuTime=41.23  mem=28M34
58.62	   
58.62	   search
58.62	     run=17  nbConstraintChecks=90569964  nbValidityChecks=101601544  nbPropagations=9641546  nbRevisions=23947047
58.62	     nbUselessRevisions=12026080  nbAssignments=43780  nbFailedAssignments=13086  nbBacktracks=29563
58.62	     nbVisitedNodes=67260  nbRestartNogoods=193
58.62	       =>  wckTime=57.699  cpuTime=57.32  mem=28M34
90.91	   
90.91	   search
90.91	     run=18  nbConstraintChecks=143859020  nbValidityChecks=159951892  nbPropagations=14219091  nbRevisions=35360782
90.91	     nbUselessRevisions=17740693  nbAssignments=66907  nbFailedAssignments=21403  nbBacktracks=44345
90.91	     nbVisitedNodes=104830  nbRestartNogoods=206
90.91	       =>  wckTime=89.984  cpuTime=89.44  mem=28M34
127.67	   
127.67	   search
127.67	     run=19  nbConstraintChecks=208556746  nbValidityChecks=233931022  nbPropagations=20959814  nbRevisions=52006225
127.67	     nbUselessRevisions=26028653  nbAssignments=98809  nbFailedAssignments=31123  nbBacktracks=66523
127.67	     nbVisitedNodes=155969  nbRestartNogoods=230
127.67	       =>  wckTime=126.741  cpuTime=126.15  mem=28M34
181.46	   
181.46	   search
181.46	     run=20  nbConstraintChecks=303412037  nbValidityChecks=341437734  nbPropagations=30939421  nbRevisions=76608822
181.46	     nbUselessRevisions=38305563  nbAssignments=145854  nbFailedAssignments=44899  nbBacktracks=99779
181.46	     nbVisitedNodes=230090  nbRestartNogoods=234
181.46	       =>  wckTime=180.531  cpuTime=179.87  mem=28M34
270.90	   
270.90	   search
270.90	     run=21  nbConstraintChecks=464897458  nbValidityChecks=519469771  nbPropagations=46019538  nbRevisions=113610361
270.90	     nbUselessRevisions=56604942  nbAssignments=219343  nbFailedAssignments=68474  nbBacktracks=149658
270.90	     nbVisitedNodes=348481  nbRestartNogoods=273
270.90	       =>  wckTime=269.974  cpuTime=269.22  mem=28M34
383.49	   
383.49	   search
383.49	     run=22  nbConstraintChecks=664327307  nbValidityChecks=743601431  nbPropagations=68048445  nbRevisions=167808062
383.49	     nbUselessRevisions=83534204  nbAssignments=327192  nbFailedAssignments=101416  nbBacktracks=224480
383.49	     nbVisitedNodes=519858  nbRestartNogoods=289
383.49	       =>  wckTime=382.566  cpuTime=381.71  mem=28M34
491.88	   
491.88	   search
491.88	     run=23  nbConstraintChecks=856271000  nbValidityChecks=956492712  nbPropagations=96141873  nbRevisions=236570785
491.88	     nbUselessRevisions=117419948  nbAssignments=425341  nbFailedAssignments=133241  nbBacktracks=290725
491.88	     nbVisitedNodes=678441  nbRestartNogoods=309
491.88	       =>  wckTime=490.959  cpuTime=490.0  mem=28M34
491.89	   
491.89	   global
491.89	     nbConstraintChecks=859715351  nbValidityChecks=960002456  nbPropagations=96163395  nbRevisions=236622738
491.89	     nbUselessRevisions=117441673  nbRestartNogoods=309  solvingWckTime=490.961  solvingCpuTime=490.01  expiredTime=no
491.89	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=490.48
491.89	       =>  wckTime=491.56  cpuTime=490.42  mem=28M34
491.89	   
491.89	s SATISFIABLE
491.89	v 13 7 23 8 15 2 10 8 3 18 16 9 8 16 14 0 7 8 4 2 12 11 25 2 17 13 18 5 19 8 5 19 9 5 20 1 1 1 2 1 11 0 21 11 24 17 22 6 6 2 15 17 25 43 52 68 68 76 78 89 91 104 109 117 136 141 142 143 144 144 155 172 178 180 180 0 
491.89	d NODES 425341
491.89	d CHECKS 859715351
491.89	   
491.89	   totalWckTime=491.643  totalCpuTime=490.48

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/node4/watcher-207933-1168183862 -o ROOT/results/node4/solver-207933-1168183862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/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: 2.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=1784 CPUtime=0
/proc/20947/stat : 20947 (java) D 20945 20947 20602 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 166781783 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20947/statm: 446 136 102 14 0 91 0

[startup+0.107603 s]
/proc/loadavg: 2.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=914988 CPUtime=0.08
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 2960 0 1 0 7 1 0 0 17 0 8 0 166781783 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154009427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515643 s]
/proc/loadavg: 2.14 2.11 2.09 4/94 20948
/proc/meminfo: memFree=940728/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915328 CPUtime=0.48
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 7014 0 1 0 44 4 0 0 18 0 8 0 166781783 937295872 6753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228832 6753 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33772 s]
/proc/loadavg: 2.14 2.11 2.09 3/101 20955
/proc/meminfo: memFree=912320/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=1.3
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 9807 0 1 0 123 7 0 0 24 0 8 0 166781783 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 9545 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.22
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 379 0 0 0 21 1 0 0 16 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 9545 18446744073709551615 134512640 134570532 4294956464 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.97588 s]
/proc/loadavg: 2.13 2.11 2.09 3/101 20955
/proc/meminfo: memFree=912320/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=2.93
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 9820 0 1 0 285 8 0 0 25 0 8 0 166781783 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073694107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 9556 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 17 0 8 0 166781787 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.24
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.17918 s]
/proc/loadavg: 2.13 2.11 2.09 3/101 20955
/proc/meminfo: memFree=905344/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=6.12
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 10566 0 1 0 604 8 0 0 25 0 8 0 166781783 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 10300 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 17 0 8 0 166781787 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.26
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 398 0 0 0 25 1 0 0 15 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915460

[startup+12.6538 s]
/proc/loadavg: 2.11 2.10 2.09 3/101 20955
/proc/meminfo: memFree=897152/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=12.56
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11853 0 1 0 1247 9 0 0 25 0 8 0 166781783 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11583 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 409 0 0 0 28 1 0 0 17 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460

[startup+25.53 s]
/proc/loadavg: 2.09 2.10 2.09 3/101 20955
/proc/meminfo: memFree=897152/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=25.37
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11862 0 1 0 2528 9 0 0 25 0 8 0 166781783 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11592 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 409 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460

[startup+51.1495 s]
/proc/loadavg: 2.06 2.09 2.09 3/101 20955
/proc/meminfo: memFree=894720/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=50.87
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11869 0 1 0 5078 9 0 0 25 0 8 0 166781783 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20947/statm: 228865 11598 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915460

[startup+102.39 s]
/proc/loadavg: 1.95 2.06 2.08 3/93 21028
/proc/meminfo: memFree=1618432/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=101.89
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11874 0 1 0 10178 11 0 0 25 0 8 0 166781783 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11603 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 410 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915460

[startup+162.447 s]
/proc/loadavg: 1.98 2.04 2.07 3/93 21028
/proc/meminfo: memFree=1618440/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=161.89
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11878 0 1 0 16178 11 0 0 25 0 8 0 166781783 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11607 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 915460

[startup+222.502 s]
/proc/loadavg: 1.99 2.03 2.06 3/93 21028
/proc/meminfo: memFree=1618440/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=221.9
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11882 0 1 0 22178 12 0 0 25 0 8 0 166781783 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11610 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 915460

[startup+282.557 s]
/proc/loadavg: 1.99 2.03 2.06 3/93 21028
/proc/meminfo: memFree=1618376/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=281.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11886 0 1 0 28176 12 0 0 25 0 8 0 166781783 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11613 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (KiB) 915460

[startup+342.612 s]
/proc/loadavg: 1.99 2.02 2.05 3/93 21028
/proc/meminfo: memFree=1618376/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=341.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11886 0 1 0 34176 12 0 0 25 0 8 0 166781783 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866948 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11613 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.88
Current children cumulated vsize (KiB) 915460

[startup+402.668 s]
/proc/loadavg: 1.99 2.01 2.05 3/93 21028
/proc/meminfo: memFree=1618312/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=401.88
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11889 0 1 0 40176 12 0 0 25 0 8 0 166781783 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11616 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 915460

[startup+462.676 s]
/proc/loadavg: 2.03 2.01 2.04 3/102 21102
/proc/meminfo: memFree=1542464/2055920 swapFree=4182144/4192956
[pid=20947] ppid=20945 vsize=915460 CPUtime=461.81
/proc/20947/stat : 20947 (java) R 20945 20947 20602 0 -1 0 11889 0 1 0 46168 13 0 0 25 0 8 0 166781783 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20947/statm: 228865 11616 2527 14 0 215335 0
[pid=20947/tid=20949] ppid=20945 vsize=915460 CPUtime=0.04
/proc/20947/task/20949/stat : 20949 (java) S 20945 20947 20602 0 -1 64 824 0 0 0 4 0 0 0 16 0 8 0 166781787 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20950] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20950/stat : 20950 (java) S 20945 20947 20602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20951] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20951/stat : 20951 (java) S 20945 20947 20602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166781788 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20952] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20952/stat : 20952 (java) S 20945 20947 20602 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20953] ppid=20945 vsize=915460 CPUtime=0.29
/proc/20947/task/20953/stat : 20953 (java) S 20945 20947 20602 0 -1 64 411 0 0 0 28 1 0 0 16 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20947/tid=20954] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20954/stat : 20954 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20947/tid=20955] ppid=20945 vsize=915460 CPUtime=0
/proc/20947/task/20955/stat : 20955 (java) S 20945 20947 20602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166781791 937431040 11616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.81
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 491.943
CPU time (s): 491.037
CPU user time (s): 490.894
CPU system time (s): 0.142978
CPU usage (%): 99.8159
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.894
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11981
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= 11252
involuntary context switches= 11149

runsolver used 0.645901 s user time and 1.60076 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Jan  7 15:31:02 UTC 2007


IDJOB= 207933
IDBENCH= 4345
FILE ID= node4/207933-1168183862

PBS_JOBID= 3478945

Free space on /tmp= 66302 MiB

BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-715_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-207933-1168183862 -o ROOT/results/node4/solver-207933-1168183862 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207933-1168183862/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b560b2188dccf33930e15d7e9eea996b

RANDOM SEED= 953686146

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.223
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.223
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:        941208 kB
Buffers:         50800 kB
Cached:         256216 kB
SwapCached:       2520 kB
Active:         850356 kB
Inactive:       209368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        941208 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:         771156 kB
Slab:            38120 kB
Committed_AS:  5078268 kB
PageTables:       3892 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= 66305 MiB



End job on node4 on Sun Jan  7 15:39:14 UTC 2007