Trace number 202553

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 ESACUNSAT 311.807 312.172

DiagnosticValue
CHECKS2101744036
NODES1535269

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-43_ext.xml
MD5SUM1c931fd7bef7b7ee3f8102667307a153
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark90.6512
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/202553-1168152443/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.111  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.62	     nbConstraints=340  nbRelationTypes=340  nbExtensionStructures=340  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=340  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2972  maxDegree=22
0.62	     maxArity=2
0.62	       =>  wckTime=0.316  cpuTime=0.22  mem=12M803
0.66	   
0.66	   solver IterativeSystematicSolver being built... 
0.81	       =>  wckTime=0.505  cpuTime=0.34  mem=15M17
0.86	   
0.86	   preprocessing
0.86	     nbConstraintChecks=71220  nbPropagations=946  nbRevisions=7000  nbUselessRevisions=5707  nbSingletonTests=53
0.86	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.86	       =>  wckTime=0.049  cpuTime=0.03  mem=15M17
0.88	   
0.88	   search
0.88	     run=0  nbConstraintChecks=25688  nbPropagations=1342  nbRevisions=11350  nbUselessRevisions=9306  nbAssignments=26
0.88	     nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=39  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.069  cpuTime=0.05  mem=15M17
0.90	   
0.90	   search
0.90	     run=1  nbConstraintChecks=76527  nbPropagations=3450  nbRevisions=32045  nbUselessRevisions=26242  nbAssignments=64
0.90	     nbFailedAssignments=18  nbBacktracks=29  nbVisitedNodes=100  nbRestartNogoods=2  mapSize=24  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.09  cpuTime=0.06  mem=15M17
0.92	   
0.92	   search
0.92	     run=2  nbConstraintChecks=146809  nbPropagations=6506  nbRevisions=64902  nbUselessRevisions=52944
0.92	     nbAssignments=112  nbFailedAssignments=36  nbBacktracks=51  nbVisitedNodes=181  nbRestartNogoods=5  mapSize=44
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.107  cpuTime=0.07  mem=15M17
0.94	   
0.94	   search
0.94	     run=3  nbConstraintChecks=220806  nbPropagations=10634  nbRevisions=111318  nbUselessRevisions=90716
0.94	     nbAssignments=177  nbFailedAssignments=58  nbBacktracks=86  nbVisitedNodes=285  nbRestartNogoods=7  mapSize=70
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.123  cpuTime=0.09  mem=15M17
0.96	   
0.96	   search
0.96	     run=4  nbConstraintChecks=343376  nbPropagations=16385  nbRevisions=179017  nbUselessRevisions=145429
0.96	     nbAssignments=269  nbFailedAssignments=92  nbBacktracks=136  nbVisitedNodes=437  nbRestartNogoods=9  mapSize=110
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.147  cpuTime=0.11  mem=15M17
1.00	   
1.00	   search
1.00	     run=5  nbConstraintChecks=550002  nbPropagations=24942  nbRevisions=286397  nbUselessRevisions=232275
1.00	     nbAssignments=414  nbFailedAssignments=153  nbBacktracks=212  nbVisitedNodes=693  nbRestartNogoods=15  mapSize=180
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.188  cpuTime=0.15  mem=15M17
1.05	   
1.05	   search
1.05	     run=6  nbConstraintChecks=817913  nbPropagations=37207  nbRevisions=445468  nbUselessRevisions=360851
1.05	     nbAssignments=615  nbFailedAssignments=231  nbBacktracks=329  nbVisitedNodes=1039  nbRestartNogoods=21  mapSize=282
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.237  cpuTime=0.2  mem=15M17
1.12	   
1.12	   search
1.12	     run=7  nbConstraintChecks=1202331  nbPropagations=54731  nbRevisions=674817  nbUselessRevisions=545641
1.12	     nbAssignments=907  nbFailedAssignments=344  nbBacktracks=499  nbVisitedNodes=1542  nbRestartNogoods=25  mapSize=425
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.304  cpuTime=0.26  mem=15M17
1.22	   
1.22	   search
1.22	     run=8  nbConstraintChecks=1808896  nbPropagations=80631  nbRevisions=1021308  nbUselessRevisions=824851
1.22	     nbAssignments=1375  nbFailedAssignments=547  nbBacktracks=755  nbVisitedNodes=2362  nbRestartNogoods=28
1.22	     mapSize=650  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.412  cpuTime=0.37  mem=15M17
1.37	   
1.37	   search
1.37	     run=9  nbConstraintChecks=2580455  nbPropagations=117787  nbRevisions=1529187  nbUselessRevisions=1236187
1.37	     nbAssignments=2020  nbFailedAssignments=800  nbBacktracks=1139  nbVisitedNodes=3490  nbRestartNogoods=35
1.37	     mapSize=983  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.557  cpuTime=0.5  mem=15M17
1.40	   
1.40	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=15M17)
1.57	   
1.57	   search
1.57	     run=10  nbConstraintChecks=3835432  nbPropagations=172637  nbRevisions=2279398  nbUselessRevisions=1843454
1.57	     nbAssignments=2995  nbFailedAssignments=1191  nbBacktracks=1717  nbVisitedNodes=5205  nbRestartNogoods=41
1.57	       =>  wckTime=0.762  cpuTime=0.69  mem=15M17
1.85	   
1.85	   search
1.85	     run=11  nbConstraintChecks=5609963  nbPropagations=253359  nbRevisions=3388176  nbUselessRevisions=2742295
1.85	     nbAssignments=4399  nbFailedAssignments=1724  nbBacktracks=2581  nbVisitedNodes=7644  nbRestartNogoods=48
1.85	       =>  wckTime=1.04  cpuTime=0.96  mem=15M17
2.30	   
2.30	   search
2.30	     run=12  nbConstraintChecks=8651713  nbPropagations=375031  nbRevisions=5088808  nbUselessRevisions=4122333
2.30	     nbAssignments=6646  nbFailedAssignments=2667  nbBacktracks=3881  nbVisitedNodes=11597  nbRestartNogoods=53
2.30	       =>  wckTime=1.49  cpuTime=1.41  mem=15M17
2.98	   
2.98	   search
2.98	     run=13  nbConstraintChecks=13127921  nbPropagations=558668  nbRevisions=7694404  nbUselessRevisions=6242030
2.98	     nbAssignments=10072  nbFailedAssignments=4140  nbBacktracks=5827  nbVisitedNodes=17650  nbRestartNogoods=57
2.98	       =>  wckTime=2.164  cpuTime=2.09  mem=15M17
3.99	   
3.99	   search
3.99	     run=14  nbConstraintChecks=20038527  nbPropagations=835841  nbRevisions=11604261  nbUselessRevisions=9414345
3.99	     nbAssignments=15014  nbFailedAssignments=6146  nbBacktracks=8747  nbVisitedNodes=26296  nbRestartNogoods=69
3.99	       =>  wckTime=3.177  cpuTime=3.1  mem=15M17
5.53	   
5.53	   search
5.53	     run=15  nbConstraintChecks=30283976  nbPropagations=1253488  nbRevisions=17482077  nbUselessRevisions=14175374
5.53	     nbAssignments=22556  nbFailedAssignments=9301  nbBacktracks=13128  nbVisitedNodes=39562  nbRestartNogoods=77
5.53	       =>  wckTime=4.718  cpuTime=4.64  mem=15M17
7.61	   
7.61	   search
7.61	     run=16  nbConstraintChecks=43654809  nbPropagations=1863986  nbRevisions=26141611  nbUselessRevisions=21217343
7.61	     nbAssignments=33586  nbFailedAssignments=13752  nbBacktracks=19701  nbVisitedNodes=58753  nbRestartNogoods=86
7.61	       =>  wckTime=6.797  cpuTime=6.71  mem=15M17
10.95	   
10.95	   search
10.95	     run=17  nbConstraintChecks=65898792  nbPropagations=2782404  nbRevisions=39095323  nbUselessRevisions=31724708
10.95	     nbAssignments=50201  nbFailedAssignments=20509  nbBacktracks=29553  nbVisitedNodes=87966  nbRestartNogoods=96
10.95	       =>  wckTime=10.14  cpuTime=10.05  mem=15M992
15.89	   
15.89	   search
15.89	     run=18  nbConstraintChecks=99428560  nbPropagations=4153188  nbRevisions=58380957  nbUselessRevisions=47339144
15.89	     nbAssignments=74862  nbFailedAssignments=30385  nbBacktracks=44331  nbVisitedNodes=130960  nbRestartNogoods=103
15.89	       =>  wckTime=15.078  cpuTime=14.99  mem=15M992
23.52	   
23.52	   search
23.52	     run=19  nbConstraintChecks=149947966  nbPropagations=6228579  nbRevisions=87888101  nbUselessRevisions=71311417
23.52	     nbAssignments=113118  nbFailedAssignments=46436  nbBacktracks=66501  nbVisitedNodes=198569  nbRestartNogoods=115
23.52	       =>  wckTime=22.706  cpuTime=22.59  mem=15M992
34.72	   
34.72	   search
34.72	     run=20  nbConstraintChecks=225314016  nbPropagations=9341129  nbRevisions=131834293  nbUselessRevisions=106963491
34.72	     nbAssignments=169043  nbFailedAssignments=69102  nbBacktracks=99756  nbVisitedNodes=296381  nbRestartNogoods=129
34.72	       =>  wckTime=33.909  cpuTime=33.79  mem=15M992
51.23	   
51.23	   search
51.23	     run=21  nbConstraintChecks=337032025  nbPropagations=13973107  nbRevisions=197162701  nbUselessRevisions=159930491
51.23	     nbAssignments=251897  nbFailedAssignments=102073  nbBacktracks=149634  nbVisitedNodes=440607  nbRestartNogoods=139
51.23	       =>  wckTime=50.42  cpuTime=50.29  mem=15M992
76.42	   
76.42	   search
76.42	     run=22  nbConstraintChecks=506774600  nbPropagations=20921421  nbRevisions=295185087  nbUselessRevisions=239386060
76.42	     nbAssignments=378658  nbFailedAssignments=154009  nbBacktracks=224452  nbVisitedNodes=662174  nbRestartNogoods=161
76.42	       =>  wckTime=75.604  cpuTime=75.44  mem=15M992
115.24	   
115.24	   search
115.24	     run=23  nbConstraintChecks=770694835  nbPropagations=31415544  nbRevisions=443414592  nbUselessRevisions=359503414
115.24	     nbAssignments=568472  nbFailedAssignments=231588  nbBacktracks=336680  nbVisitedNodes=994368  nbRestartNogoods=175
115.24	       =>  wckTime=114.424  cpuTime=114.21  mem=15M992
172.83	   
172.83	   search
172.83	     run=24  nbConstraintChecks=1155406330  nbPropagations=47222086  nbRevisions=667557098  nbUselessRevisions=541415755
172.83	     nbAssignments=853788  nbFailedAssignments=348555  nbBacktracks=505024  nbVisitedNodes=1494742  nbRestartNogoods=185
172.83	       =>  wckTime=172.015  cpuTime=171.75  mem=15M992
259.64	   
259.64	   search
259.64	     run=25  nbConstraintChecks=1744605631  nbPropagations=70975475  nbRevisions=1004932799
259.64	     nbUselessRevisions=815301953  nbAssignments=1278584  nbFailedAssignments=520833  nbBacktracks=757536
259.64	     nbVisitedNodes=2237310  nbRestartNogoods=201
259.64	       =>  wckTime=258.826  cpuTime=258.47  mem=15M992
312.15	   
312.15	   search
312.15	     run=26  nbConstraintChecks=2101672816  nbPropagations=99529916  nbRevisions=1410559360
312.15	     nbUselessRevisions=1144550312  nbAssignments=1535269  nbFailedAssignments=623869  nbBacktracks=911186
312.15	     nbVisitedNodes=2684647  nbRestartNogoods=217
312.15	       =>  wckTime=311.341  cpuTime=310.94  mem=15M992
312.15	   
312.15	   global
312.15	     nbConstraintChecks=2101744036  nbPropagations=99530862  nbRevisions=1410566360  nbUselessRevisions=1144556019
312.16	     nbRestartNogoods=217  solvingWckTime=311.342  solvingCpuTime=310.94  expiredTime=no  totalExploration=yes
312.16	     nbFoundSolutions=0  globalCpuTime=311.33
312.16	       =>  wckTime=311.85  cpuTime=311.28  mem=15M992
312.16	   
312.16	s UNSATISFIABLE
312.16	d NODES 1535269
312.16	d CHECKS 2101744036
312.16	   
312.16	   totalWckTime=311.926  totalCpuTime=311.33

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-202553-1168152443 -o ROOT/results/node61/solver-202553-1168152443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/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: 1.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=292 CPUtime=0
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 163642158 299008 35 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10387546 0 0 4096 0 0 0 0 17 0 0 0
/proc/1720/statm: 73 35 27 14 0 5 0

[startup+0.108186 s]
/proc/loadavg: 1.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=914988 CPUtime=0.09
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 3084 0 1 0 7 2 0 0 22 0 8 0 163642158 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516257 s]
/proc/loadavg: 1.92 1.97 1.86 4/81 1721
/proc/meminfo: memFree=1732392/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915328 CPUtime=0.47
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 6879 0 8 0 43 4 0 0 23 0 8 0 163642158 937295872 6625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228832 6625 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3384 s]
/proc/loadavg: 1.92 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706608/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=1.29
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8738 0 8 0 122 7 0 0 25 0 8 0 163642158 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8483 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.21
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456

[startup+2.98769 s]
/proc/loadavg: 1.92 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=2.94
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8766 0 8 0 287 7 0 0 25 0 8 0 163642158 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8510 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456

[startup+6.27227 s]
/proc/loadavg: 1.93 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=6.21
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8771 0 8 0 614 7 0 0 25 0 8 0 163642158 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8515 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456

[startup+12.7594 s]
/proc/loadavg: 1.93 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=12.7
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8778 0 8 0 1263 7 0 0 25 0 8 0 163642158 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8521 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915456

[startup+25.6007 s]
/proc/loadavg: 1.95 1.97 1.86 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=25.51
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8783 0 8 0 2544 7 0 0 25 0 8 0 163642158 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8526 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456

[startup+51.2332 s]
/proc/loadavg: 2.04 1.99 1.87 3/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=51.12
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8785 0 8 0 5105 7 0 0 25 0 8 0 163642158 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8528 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915456

[startup+102.479 s]
/proc/loadavg: 2.01 1.99 1.87 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=102.33
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8790 0 8 0 10225 8 0 0 25 0 8 0 163642158 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8533 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915456

[startup+162.488 s]
/proc/loadavg: 2.00 1.99 1.88 4/88 1728
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=162.26
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8793 0 8 0 16218 8 0 0 25 0 8 0 163642158 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8536 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 915456

[startup+222.578 s]
/proc/loadavg: 2.03 2.00 1.89 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=222.3
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8795 0 8 0 22222 8 0 0 25 0 8 0 163642158 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8538 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 915456

[startup+282.587 s]
/proc/loadavg: 2.01 2.00 1.90 3/88 1728
/proc/meminfo: memFree=1706224/2055920 swapFree=4192812/4192956
[pid=1720] ppid=1718 vsize=915456 CPUtime=282.25
/proc/1720/stat : 1720 (java) R 1718 1720 1078 0 -1 0 8798 0 8 0 28217 8 0 0 25 0 8 0 163642158 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1720/statm: 228864 8541 2524 14 0 215334 0
[pid=1720/tid=1722] ppid=1718 vsize=915456 CPUtime=0.02
/proc/1720/task/1722/stat : 1722 (java) S 1718 1720 1078 0 -1 64 287 0 0 0 2 0 0 0 16 0 8 0 163642161 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1723] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1723/stat : 1723 (java) S 1718 1720 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163642162 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1724] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1724/stat : 1724 (java) S 1718 1720 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163642162 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1725] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1725/stat : 1725 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1726] ppid=1718 vsize=915456 CPUtime=0.22
/proc/1720/task/1726/stat : 1726 (java) S 1718 1720 1078 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1727] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1727/stat : 1727 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1720/tid=1728] ppid=1718 vsize=915456 CPUtime=0
/proc/1720/task/1728/stat : 1728 (java) S 1718 1720 1078 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163642165 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 312.172
CPU time (s): 311.807
CPU user time (s): 311.716
CPU system time (s): 0.090986
CPU usage (%): 99.8829
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.716
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8889
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7499
involuntary context switches= 8809

runsolver used 0.361944 s user time and 1.02784 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sun Jan  7 06:47:23 UTC 2007


IDJOB= 202553
IDBENCH= 3865
FILE ID= node61/202553-1168152443

PBS_JOBID= 3478441

Free space on /tmp= 66517 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-202553-1168152443 -o ROOT/results/node61/solver-202553-1168152443 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202553-1168152443/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1c931fd7bef7b7ee3f8102667307a153

RANDOM SEED= 295701796

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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1732872 kB
Buffers:         42176 kB
Cached:         187120 kB
SwapCached:          0 kB
Active:         136224 kB
Inactive:       123516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1732872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1852 kB
Writeback:           0 kB
Mapped:          48176 kB
Slab:            48732 kB
Committed_AS:  3405080 kB
PageTables:       1844 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= 66517 MiB



End job on node61 on Sun Jan  7 06:52:35 UTC 2007