Trace number 275754

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 426.628 428.077

General information on the benchmark

NamepseudoSeries/uclid/
44s-smv.xml
MD5SUMc15b80e078b6e0c44dde79342583e0d7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints938
Best CPU time to get the best result obtained on this benchmark149.749
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables495
Number of constraints939
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension939
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275754-1169226499/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.47	     nbVariables=495  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.47	       =>  wckTime=0.159  cpuTime=0.12  mem=7M885
0.47	   
0.47	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
1.21	     nbConstraints=939  nbSingletonDomainVariables=118  nbConvertedConstraints=570  nbConvertConstraintsChecks=229482
1.21	     nbExtensionStructures=12  nbSharedExtensionStructures=558  nbConflictsStructures=66
1.21	     nbSharedConflictsStructures=873  nbSharedBinaryRepresentations=29  nbEvaluationManagers=54
1.21	     nbSharedEvaluationManagers=315  maxDegree=96  maxArity=13
1.21	       =>  wckTime=0.895  cpuTime=0.73  mem=23M488
1.26	   
1.26	   solver LocalSearchSolver being built... 
1.30	       =>  wckTime=0.991  cpuTime=0.77  mem=6M512
1.31	
1.31	s SATISFIABLE
1.31	o 785
1.31	c 154
1.31	o 790
1.31	c 149
1.32	o 794
1.32	c 145
1.32	o 798
1.32	c 141
1.32	o 802
1.32	c 137
1.33	o 803
1.33	c 136
1.33	o 806
1.33	c 133
1.33	o 809
1.33	c 130
1.33	o 812
1.33	c 127
1.34	o 816
1.34	c 123
1.34	o 819
1.34	c 120
1.34	o 822
1.34	c 117
1.34	o 825
1.34	c 114
1.34	o 828
1.34	c 111
1.35	o 829
1.35	c 110
1.35	o 831
1.35	c 108
1.35	o 833
1.35	c 106
1.35	o 835
1.35	c 104
1.35	o 837
1.35	c 102
1.36	o 839
1.36	c 100
1.36	o 841
1.36	c 98
1.36	o 843
1.36	c 96
1.36	o 845
1.36	c 94
1.36	o 847
1.36	c 92
1.37	o 849
1.37	c 90
1.37	o 851
1.37	c 88
1.37	o 853
1.37	c 86
1.37	o 855
1.37	c 84
1.37	o 857
1.37	c 82
1.37	o 859
1.37	c 80
1.38	o 860
1.38	c 79
1.38	o 861
1.38	c 78
1.38	o 862
1.38	c 77
1.39	o 863
1.39	c 76
1.39	o 864
1.39	c 75
1.39	o 865
1.39	c 74
1.39	o 867
1.39	c 72
1.39	o 869
1.39	c 70
1.39	o 871
1.39	c 68
1.40	o 872
1.40	c 67
1.40	o 874
1.40	c 65
1.40	o 876
1.40	c 63
1.40	o 878
1.40	c 61
1.40	o 880
1.40	c 59
1.40	o 882
1.40	c 57
1.41	o 884
1.41	c 55
1.41	o 886
1.41	c 53
1.41	o 887
1.41	c 52
1.41	o 888
1.41	c 51
1.41	o 889
1.41	c 50
1.42	o 890
1.42	c 49
1.42	o 891
1.42	c 48
1.42	o 892
1.42	c 47
1.42	o 893
1.42	c 46
1.42	o 894
1.42	c 45
1.42	o 895
1.42	c 44
1.43	o 896
1.43	c 43
1.43	o 897
1.43	c 42
1.43	o 898
1.43	c 41
1.43	o 899
1.43	c 40
1.43	o 900
1.43	c 39
1.43	o 901
1.43	c 38
1.44	o 902
1.44	c 37
1.45	o 903
1.45	c 36
1.47	o 904
1.47	c 35
1.47	o 905
1.47	c 34
1.47	o 906
1.47	c 33
1.47	o 907
1.47	c 32
1.48	o 908
1.48	c 31
1.48	o 910
1.48	c 29
1.48	o 911
1.48	c 28
1.48	o 913
1.48	c 26
1.48	o 914
1.48	c 25
1.48	o 916
1.48	c 23
1.48	o 918
1.48	c 21
1.49	o 919
1.49	c 20
1.50	o 921
1.50	c 18
1.50	o 922
1.50	c 17
1.51	o 923
1.51	c 16
1.51	o 924
1.51	c 15
1.54	o 925
1.54	c 14
1.55	o 926
1.55	c 13
1.63	o 927
1.63	c 12
1.64	o 928
1.64	c 11
1.66	o 929
1.66	c 10
1.67	o 930
1.67	c 9
1.77	o 931
1.77	c 8
1.91	o 932
1.91	c 7
1.91	o 933
1.91	c 6
1.91	o 934
1.91	c 5
1.92	o 935
1.92	c 4
1.92	o 936
1.92	c 3
1.94	o 937
1.94	c 2
2.00	o 938
2.00	c 1
2.00	   
2.00	   search
2.00	     run=0  nbConstraintChecks=401239  nbAssignments=884
2.00	       =>  wckTime=0.703  cpuTime=0.68  mem=6M512
2.00	   
2.00	   global
2.00	     nbConstraintChecks=401239  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2.00	     solvingWckTime=0.701  solvingCpuTime=0.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2.00	     globalCpuTime=1.5
2.00	       =>  wckTime=1.694  cpuTime=1.45  mem=6M512
2.01	   
2.01	   solver IterativeSystematicSolver being built... 
2.20	       =>  wckTime=1.886  cpuTime=1.6  mem=23M484
2.21	   
2.22	   preprocessing
2.22	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.22	     detectedInconsistency=no
2.22	       =>  wckTime=0.016  cpuTime=0.01  mem=23M484
2.67	   
2.67	   search
2.67	     run=0  nbConstraintChecks=109238  nbValidityChecks=250857  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2.67	     nbAssignments=264  nbFailedAssignments=6  nbBacktracks=40  nbVisitedNodes=272  nbRestartNogoods=0
2.67	       =>  wckTime=0.476  cpuTime=0.45  mem=24M459
3.06	   
3.06	   search
3.06	     run=1  nbConstraintChecks=199772  nbValidityChecks=497760  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.06	     nbAssignments=524  nbFailedAssignments=10  nbBacktracks=78  nbVisitedNodes=537  nbRestartNogoods=2
3.06	       =>  wckTime=0.863  cpuTime=0.82  mem=24M459
3.46	   
3.46	   search
3.46	     run=2  nbConstraintChecks=302892  nbValidityChecks=758003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.46	     nbAssignments=806  nbFailedAssignments=13  nbBacktracks=110  nbVisitedNodes=829  nbRestartNogoods=3
3.46	       =>  wckTime=1.262  cpuTime=1.22  mem=24M459
3.78	   
3.78	   search
3.78	     run=3  nbConstraintChecks=362128  nbValidityChecks=972154  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.78	     nbAssignments=993  nbFailedAssignments=18  nbBacktracks=144  nbVisitedNodes=1021  nbRestartNogoods=4
3.78	       =>  wckTime=1.579  cpuTime=1.54  mem=24M459
4.14	   
4.14	   search
4.14	     run=4  nbConstraintChecks=427861  nbValidityChecks=1199292  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.14	     nbAssignments=1187  nbFailedAssignments=28  nbBacktracks=236  nbVisitedNodes=1227  nbRestartNogoods=5
4.14	       =>  wckTime=1.941  cpuTime=1.89  mem=24M459
4.54	   
4.54	   search
4.54	     run=5  nbConstraintChecks=506936  nbValidityChecks=1466682  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.54	     nbAssignments=1424  nbFailedAssignments=37  nbBacktracks=315  nbVisitedNodes=1476  nbRestartNogoods=6
4.54	       =>  wckTime=2.338  cpuTime=2.28  mem=24M459
4.97	   
4.97	   search
4.97	     run=6  nbConstraintChecks=590029  nbValidityChecks=1728161  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.97	     nbAssignments=1647  nbFailedAssignments=48  nbBacktracks=429  nbVisitedNodes=1710  nbRestartNogoods=9
4.97	       =>  wckTime=2.773  cpuTime=2.7  mem=24M459
5.68	   
5.68	   search
5.68	     run=7  nbConstraintChecks=786231  nbValidityChecks=2140727  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
5.68	     nbAssignments=1955  nbFailedAssignments=87  nbBacktracks=610  nbVisitedNodes=2059  nbRestartNogoods=11
5.68	       =>  wckTime=3.481  cpuTime=3.41  mem=24M459
6.57	   
6.57	   search
6.57	     run=8  nbConstraintChecks=991431  nbValidityChecks=2678595  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
6.57	     nbAssignments=2345  nbFailedAssignments=130  nbBacktracks=867  nbVisitedNodes=2495  nbRestartNogoods=13
6.57	       =>  wckTime=4.377  cpuTime=4.3  mem=24M459
7.83	   
7.83	   search
7.83	     run=9  nbConstraintChecks=1168120  nbValidityChecks=3457830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
7.83	     nbAssignments=2842  nbFailedAssignments=202  nbBacktracks=1258  nbVisitedNodes=3091  nbRestartNogoods=16
7.83	       =>  wckTime=5.63  cpuTime=5.55  mem=24M459
9.22	   
9.22	   search
9.22	     run=10  nbConstraintChecks=1584442  nbValidityChecks=4316757  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
9.22	     nbAssignments=3760  nbFailedAssignments=301  nbBacktracks=1842  nbVisitedNodes=4127  nbRestartNogoods=18
9.22	       =>  wckTime=7.027  cpuTime=6.94  mem=24M459
11.25	   
11.25	   search
11.25	     run=11  nbConstraintChecks=1979996  nbValidityChecks=5668372  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
11.25	     nbAssignments=4776  nbFailedAssignments=377  nbBacktracks=2716  nbVisitedNodes=5231  nbRestartNogoods=24
11.25	       =>  wckTime=9.05  cpuTime=8.96  mem=24M459
14.68	   
14.68	   search
14.68	     run=12  nbConstraintChecks=2741305  nbValidityChecks=7863254  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
14.68	     nbAssignments=6362  nbFailedAssignments=592  nbBacktracks=4017  nbVisitedNodes=7071  nbRestartNogoods=29
14.68	       =>  wckTime=12.484  cpuTime=12.39  mem=24M459
20.29	   
20.29	   search
20.29	     run=13  nbConstraintChecks=4086007  nbValidityChecks=11694465  nbPropagations=0  nbRevisions=0
20.30	     nbUselessRevisions=0  nbAssignments=8708  nbFailedAssignments=970  nbBacktracks=5967  nbVisitedNodes=9890
20.30	     nbRestartNogoods=37
20.30	       =>  wckTime=18.098  cpuTime=18.0  mem=24M459
28.96	   
28.96	   search
28.96	     run=14  nbConstraintChecks=5854220  nbValidityChecks=17307342  nbPropagations=0  nbRevisions=0
28.96	     nbUselessRevisions=0  nbAssignments=12139  nbFailedAssignments=1423  nbBacktracks=8888  nbVisitedNodes=13844
28.96	     nbRestartNogoods=40
28.96	       =>  wckTime=26.761  cpuTime=26.66  mem=24M459
40.92	   
40.92	   search
40.92	     run=15  nbConstraintChecks=8161231  nbValidityChecks=25715893  nbPropagations=0  nbRevisions=0
40.92	     nbUselessRevisions=0  nbAssignments=17141  nbFailedAssignments=1997  nbBacktracks=13277  nbVisitedNodes=19542
40.92	     nbRestartNogoods=47
40.92	       =>  wckTime=38.722  cpuTime=38.62  mem=24M459
59.36	   
59.36	   search
59.36	     run=16  nbConstraintChecks=11767254  nbValidityChecks=38873656  nbPropagations=0  nbRevisions=0
59.36	     nbUselessRevisions=0  nbAssignments=24628  nbFailedAssignments=2860  nbBacktracks=19846  nbVisitedNodes=28105
59.36	     nbRestartNogoods=51
59.36	       =>  wckTime=57.163  cpuTime=57.05  mem=24M459
87.14	   
87.14	   search
87.14	     run=17  nbConstraintChecks=17222895  nbValidityChecks=58458128  nbPropagations=0  nbRevisions=0
87.14	     nbUselessRevisions=0  nbAssignments=35925  nbFailedAssignments=4257  nbBacktracks=29699  nbVisitedNodes=41031
87.14	     nbRestartNogoods=61
87.14	       =>  wckTime=84.942  cpuTime=84.82  mem=24M459
129.08	   
129.08	   search
129.08	     run=18  nbConstraintChecks=25519591  nbValidityChecks=87755054  nbPropagations=0  nbRevisions=0
129.08	     nbUselessRevisions=0  nbAssignments=52868  nbFailedAssignments=6374  nbBacktracks=44492  nbVisitedNodes=60524
129.08	     nbRestartNogoods=71
129.08	       =>  wckTime=126.887  cpuTime=126.75  mem=24M459
188.27	   
188.27	   search
188.27	     run=19  nbConstraintChecks=37166240  nbValidityChecks=130603028  nbPropagations=0  nbRevisions=0
188.27	     nbUselessRevisions=0  nbAssignments=77820  nbFailedAssignments=9093  nbBacktracks=66661  nbVisitedNodes=88691
188.27	     nbRestartNogoods=79
188.27	       =>  wckTime=186.068  cpuTime=185.7  mem=24M459
295.28	   
295.28	   search
295.28	     run=20  nbConstraintChecks=66010355  nbValidityChecks=200712312  nbPropagations=0  nbRevisions=0
295.28	     nbUselessRevisions=0  nbAssignments=115560  nbFailedAssignments=13551  nbBacktracks=99915  nbVisitedNodes=131533
295.28	     nbRestartNogoods=89
295.28	       =>  wckTime=293.083  cpuTime=292.19  mem=24M459
428.05	   
428.05	   search
428.05	     run=21  nbConstraintChecks=95061418  nbValidityChecks=283742521  nbPropagations=0  nbRevisions=0
428.05	     nbUselessRevisions=0  nbAssignments=169725  nbFailedAssignments=19556  nbBacktracks=148076  nbVisitedNodes=192243
428.05	     nbRestartNogoods=95
428.05	       =>  wckTime=425.856  cpuTime=424.34  mem=24M459
428.05	   
428.05	   global
428.05	     nbConstraintChecks=95061418  nbValidityChecks=283742521  nbRestartNogoods=95  solvingWckTime=425.858
428.05	     solvingCpuTime=424.34  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=425.99
428.06	       =>  wckTime=427.745  cpuTime=425.94  mem=24M459
428.06	
428.06	s OPTIMUM FOUND
428.06	v 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 
428.06	   
428.06	   totalWckTime=427.824  totalCpuTime=425.99

Verifier Data (download as text)

1 unsatisfied constraints, 938 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-275754-1169226499 -o ROOT/results/node50/solver-275754-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/unknown.xml 

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

/proc/loadavg: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=18540 CPUtime=0
/proc/3154/stat : 3154 (runsolver) R 3152 3154 3043 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271048490 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3154/statm: 4635 279 244 17 0 2626 0

[startup+0.107964 s]
/proc/loadavg: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=914988 CPUtime=0.08
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 3021 0 1 0 7 1 0 0 20 0 8 0 271048490 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516033 s]
/proc/loadavg: 0.85 0.97 0.99 4/73 3155
/proc/meminfo: memFree=1451456/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915332 CPUtime=0.5
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 6505 0 1 0 46 4 0 0 18 0 8 0 271048490 937299968 6244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228833 6244 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33717 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 3169
/proc/meminfo: memFree=1389328/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915452 CPUtime=1.31
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11059 0 1 0 120 11 0 0 24 0 8 0 271048490 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228863 10796 2495 14 0 215333 0
[pid=3154/tid=3159] ppid=3152 vsize=915452 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 408 0 0 0 4 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915452 CPUtime=0.22
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915452 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937422848 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452

[startup+2.97744 s]
/proc/loadavg: 0.94 0.98 0.99 4/87 3169
/proc/meminfo: memFree=1384016/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=2.95
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11233 0 1 0 278 17 0 0 25 0 8 0 271048490 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10968 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.31
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 442 0 0 0 30 1 0 0 15 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915588

[startup+6.271 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=6.24
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11250 0 1 0 607 17 0 0 25 0 8 0 271048490 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10982 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.34
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 458 0 0 0 32 2 0 0 15 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915588

[startup+12.7441 s]
/proc/loadavg: 1.10 1.02 1.01 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=12.71
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11259 0 1 0 1254 17 0 0 25 0 8 0 271048490 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074106531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10988 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 466 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915588

[startup+25.6012 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=25.56
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11259 0 1 0 2539 17 0 0 25 0 8 0 271048490 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10988 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 466 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915588

[startup+51.2976 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=51.25
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 5108 17 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 17 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915588

[startup+102.595 s]
/proc/loadavg: 1.80 1.27 1.09 3/87 3169
/proc/meminfo: memFree=1383888/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=102.53
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 10236 17 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 915588

[startup+162.649 s]
/proc/loadavg: 1.86 1.38 1.14 3/87 3227
/proc/meminfo: memFree=1334480/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=162.48
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 16228 20 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.48
Current children cumulated vsize (KiB) 915588

[startup+222.706 s]
/proc/loadavg: 2.06 1.52 1.20 3/87 3227
/proc/meminfo: memFree=1312528/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=222.23
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11261 0 1 0 22202 21 0 0 25 0 8 0 271048490 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10989 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 467 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 915588

[startup+282.756 s]
/proc/loadavg: 2.16 1.65 1.27 2/75 3240
/proc/meminfo: memFree=1412976/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=282
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11262 0 1 0 28178 22 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 915588

[startup+342.808 s]
/proc/loadavg: 2.06 1.71 1.31 3/88 3299
/proc/meminfo: memFree=823112/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=341.76
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11263 0 1 0 34153 23 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.76
Current children cumulated vsize (KiB) 915588

[startup+402.863 s]
/proc/loadavg: 2.06 1.78 1.35 3/88 3299
/proc/meminfo: memFree=823112/2055920 swapFree=4191892/4192956
[pid=3154] ppid=3152 vsize=915588 CPUtime=401.53
/proc/3154/stat : 3154 (java) R 3152 3154 3043 0 -1 0 11263 0 1 0 40130 23 0 0 25 0 8 0 271048490 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3154/statm: 228897 10990 2548 14 0 215367 0
[pid=3154/tid=3159] ppid=3152 vsize=915588 CPUtime=0.04
/proc/3154/task/3159/stat : 3159 (java) S 3152 3154 3043 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3160] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3160/stat : 3160 (java) S 3152 3154 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3161] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3161/stat : 3161 (java) S 3152 3154 3043 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048494 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3166] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3166/stat : 3166 (java) S 3152 3154 3043 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3167] ppid=3152 vsize=915588 CPUtime=0.36
/proc/3154/task/3167/stat : 3167 (java) S 3152 3154 3043 0 -1 64 468 0 0 0 34 2 0 0 16 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3154/tid=3168] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3168/stat : 3168 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3154/tid=3169] ppid=3152 vsize=915588 CPUtime=0
/proc/3154/task/3169/stat : 3169 (java) S 3152 3154 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271048497 937562112 10990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.53
Current children cumulated vsize (KiB) 915588

Child status: 0
Real time (s): 428.077
CPU time (s): 426.628
CPU user time (s): 426.386
CPU system time (s): 0.241963
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 915588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 426.386
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11279
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= 10171
involuntary context switches= 9559

runsolver used 0.452931 s user time and 1.16082 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Fri Jan 19 17:08:19 UTC 2007


IDJOB= 275754
IDBENCH= 4665
IDSOLVER= 69
FILE ID= node50/275754-1169226499

PBS_JOBID= 3589251

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-275754-1169226499 -o ROOT/results/node50/solver-275754-1169226499 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275754-1169226499/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c15b80e078b6e0c44dde79342583e0d7

RANDOM SEED= 785101255

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1452320 kB
Buffers:         45564 kB
Cached:         461032 kB
SwapCached:        276 kB
Active:         139520 kB
Inactive:       387092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452320 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3892 kB
Writeback:           0 kB
Mapped:          29436 kB
Slab:            62504 kB
Committed_AS:  5299524 kB
PageTables:       1824 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= 66562 MiB



End job on node50 on Fri Jan 19 17:15:28 UTC 2007