Trace number 277482

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 PFCMSAT (TO) 2400.08 2411.02

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-7.xml
MD5SUM1ac4899202187205cc402a22c67930db
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints890
Best CPU time to get the best result obtained on this benchmark2400.08
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size565
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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.29	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277482-1169268407/unknown.xml
0.36	   
0.36	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=100  nbDomainTypes=100  minDomainSize=469  maxDomainSize=565
0.43	       =>  wckTime=0.133  cpuTime=0.09  mem=8M864
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
61.14	   
61.14	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 100M765)
61.16	     nbConstraints=900  nbConvertedConstraints=885  nbConvertConstraintsChecks=236783167  nbExtensionStructures=885
61.16	     nbSharedExtensionStructures=0  nbConflictsStructures=885  nbSharedConflictsStructures=0
61.16	     nbSharedBinaryRepresentations=338929  nbEvaluationManagers=15  nbSharedEvaluationManagers=0  maxDegree=18
61.16	     maxArity=2
61.16	       =>  wckTime=60.868  cpuTime=60.02  mem=100M765
61.40	   
61.40	   solver LocalSearchSolver being built... 
61.43	       =>  wckTime=61.138  cpuTime=60.06  mem=83M286
61.46	
61.46	s SATISFIABLE
61.46	o 750
61.46	c 150
61.47	o 756
61.47	c 144
61.47	o 762
61.47	c 138
61.48	o 768
61.48	c 132
61.49	o 773
61.49	c 127
61.49	o 777
61.49	c 123
61.50	o 780
61.50	c 120
61.50	o 784
61.50	c 116
61.51	o 788
61.51	c 112
61.52	o 791
61.52	c 109
61.52	o 794
61.52	c 106
61.54	o 797
61.54	c 103
61.55	o 799
61.55	c 101
61.55	o 801
61.55	c 99
61.56	o 802
61.56	c 98
61.57	o 805
61.57	c 95
61.59	o 808
61.59	c 92
61.59	o 810
61.59	c 90
61.60	o 813
61.60	c 87
61.61	o 816
61.61	c 84
61.61	o 818
61.61	c 82
61.62	o 820
61.62	c 80
61.62	o 822
61.62	c 78
61.63	o 823
61.63	c 77
61.65	o 824
61.65	c 76
61.65	o 827
61.65	c 73
61.66	o 829
61.66	c 71
61.66	o 831
61.66	c 69
61.67	o 834
61.67	c 66
61.67	o 835
61.67	c 65
61.68	o 836
61.68	c 64
61.69	o 837
61.69	c 63
61.69	o 839
61.69	c 61
61.70	o 840
61.70	c 60
61.70	o 842
61.70	c 58
61.71	o 843
61.71	c 57
61.74	o 844
61.74	c 56
61.75	o 845
61.75	c 55
61.76	o 848
61.76	c 52
61.79	o 850
61.79	c 50
61.80	o 851
61.80	c 49
61.80	o 853
61.80	c 47
61.82	o 854
61.82	c 46
61.82	o 855
61.82	c 45
61.83	o 857
61.83	c 43
61.84	o 858
61.84	c 42
61.86	o 860
61.86	c 40
61.94	o 861
61.94	c 39
61.94	o 863
61.94	c 37
61.96	o 865
61.96	c 35
62.00	o 866
62.00	c 34
62.01	o 868
62.01	c 32
62.01	o 869
62.01	c 31
62.05	o 870
62.05	c 30
63.41	o 871
63.41	c 29
63.43	o 873
63.43	c 27
64.14	o 874
64.14	c 26
64.42	o 875
64.42	c 25
64.47	o 876
64.47	c 24
64.80	o 877
64.80	c 23
64.85	o 878
64.85	c 22
65.45	o 879
65.45	c 21
65.49	o 880
65.49	c 20
65.69	o 881
65.69	c 19
66.98	o 882
66.98	c 18
67.02	o 883
67.02	c 17
68.23	o 884
68.23	c 16
69.45	o 885
69.45	c 15
69.48	o 886
69.48	c 14
76.88	o 887
76.88	c 13
79.75	o 888
79.75	c 12
80.07	o 889
80.07	c 11
80.25	o 890
80.25	c 10
110.32	   
110.32	   search
110.32	     run=0  nbConstraintChecks=287359538  nbAssignments=2974
110.32	       =>  wckTime=48.885  cpuTime=48.79  mem=83M286
110.32	   
110.32	   global
110.32	     nbConstraintChecks=287359538  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
110.32	     solvingWckTime=48.881  solvingCpuTime=48.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
110.32	     globalCpuTime=108.91
110.32	       =>  wckTime=110.024  cpuTime=108.85  mem=83M286
110.32	   
110.32	   solver IterativeSystematicSolver being built... 
110.46	       =>  wckTime=110.16  cpuTime=108.96  mem=98M278
110.57	   
110.57	   preprocessing
110.57	     nbConstraintChecks=183748  nbValidityChecks=1122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
110.57	     nbRemovedValues=0  detectedInconsistency=no
110.57	       =>  wckTime=0.113  cpuTime=0.09  mem=98M278
126.31	   
126.31	   search
126.31	     run=0  nbConstraintChecks=244419126  nbValidityChecks=2081440  nbPropagations=0  nbRevisions=0
126.31	     nbUselessRevisions=0  nbAssignments=428  nbFailedAssignments=338  nbBacktracks=10  nbVisitedNodes=777
126.31	     nbRestartNogoods=0
126.31	       =>  wckTime=15.856  cpuTime=15.73  mem=98M278
140.64	   
140.64	   search
140.64	     run=1  nbConstraintChecks=478169713  nbValidityChecks=4234267  nbPropagations=0  nbRevisions=0
140.64	     nbUselessRevisions=0  nbAssignments=840  nbFailedAssignments=658  nbBacktracks=25  nbVisitedNodes=1524
140.64	     nbRestartNogoods=54
140.64	       =>  wckTime=30.184  cpuTime=29.96  mem=98M278
177.27	   
177.27	   search
177.27	     run=2  nbConstraintChecks=1058311968  nbValidityChecks=9034297  nbPropagations=0  nbRevisions=0
177.27	     nbUselessRevisions=0  nbAssignments=1997  nbFailedAssignments=1714  nbBacktracks=47  nbVisitedNodes=3759
177.27	     nbRestartNogoods=120
177.27	       =>  wckTime=66.81  cpuTime=66.41  mem=98M278
204.50	   
204.50	   search
204.50	     run=3  nbConstraintChecks=1497215535  nbValidityChecks=13908377  nbPropagations=0  nbRevisions=0
204.50	     nbUselessRevisions=0  nbAssignments=2989  nbFailedAssignments=2591  nbBacktracks=80  nbVisitedNodes=5661
204.50	     nbRestartNogoods=248
204.50	       =>  wckTime=94.039  cpuTime=93.5  mem=98M278
262.10	   
262.10	   search
262.10	     run=4  nbConstraintChecks=2386341736  nbValidityChecks=24684125  nbPropagations=0  nbRevisions=0
262.10	     nbUselessRevisions=0  nbAssignments=4583  nbFailedAssignments=4058  nbBacktracks=130  nbVisitedNodes=8772
262.10	     nbRestartNogoods=391
262.10	       =>  wckTime=151.641  cpuTime=150.83  mem=98M278
291.83	   
291.83	   search
291.83	     run=5  nbConstraintChecks=2879578681  nbValidityChecks=30155428  nbPropagations=0  nbRevisions=0
291.83	     nbUselessRevisions=0  nbAssignments=6457  nbFailedAssignments=5774  nbBacktracks=205  nbVisitedNodes=12437
291.83	     nbRestartNogoods=476
291.83	       =>  wckTime=181.373  cpuTime=180.43  mem=98M278
381.74	   
381.75	   search
381.75	     run=6  nbConstraintChecks=4333851157  nbValidityChecks=55561497  nbPropagations=0  nbRevisions=0
381.75	     nbUselessRevisions=0  nbAssignments=9995  nbFailedAssignments=9119  nbBacktracks=318  nbVisitedNodes=19433
381.75	     nbRestartNogoods=495
381.75	       =>  wckTime=271.288  cpuTime=269.92  mem=98M278
478.37	   
478.37	   search
478.37	     run=7  nbConstraintChecks=5947262077  nbValidityChecks=78494940  nbPropagations=0  nbRevisions=0
478.37	     nbUselessRevisions=0  nbAssignments=13980  nbFailedAssignments=12854  nbBacktracks=488  nbVisitedNodes=27323
478.37	     nbRestartNogoods=540
478.37	       =>  wckTime=367.914  cpuTime=366.1  mem=98M278
692.80	   
692.80	   search
692.80	     run=8  nbConstraintChecks=9860263148  nbValidityChecks=135436270  nbPropagations=0  nbRevisions=0
692.80	     nbUselessRevisions=0  nbAssignments=20894  nbFailedAssignments=19432  nbBacktracks=744  nbVisitedNodes=41071
692.80	     nbRestartNogoods=692
692.80	       =>  wckTime=582.34  cpuTime=579.53  mem=99M225
1100.16	   
1100.16	   search
1100.16	     run=9  nbConstraintChecks=16157768339  nbValidityChecks=236244275  nbPropagations=0  nbRevisions=0
1100.16	     nbUselessRevisions=0  nbAssignments=29934  nbFailedAssignments=28016  nbBacktracks=1128  nbVisitedNodes=59079
1100.16	     nbRestartNogoods=737
1100.16	       =>  wckTime=989.707  cpuTime=984.87  mem=99M225
1361.95	   
1361.95	   search
1361.95	     run=10  nbConstraintChecks=20242582822  nbValidityChecks=314674138  nbPropagations=0  nbRevisions=0
1361.95	     nbUselessRevisions=0  nbAssignments=38257  nbFailedAssignments=35682  nbBacktracks=1704  nbVisitedNodes=75644
1361.95	     nbRestartNogoods=800
1361.95	       =>  wckTime=1251.497  cpuTime=1245.45  mem=99M225
1745.63	   
1745.63	   search
1745.63	     run=11  nbConstraintChecks=27028117759  nbValidityChecks=441479000  nbPropagations=0  nbRevisions=0
1745.63	     nbUselessRevisions=0  nbAssignments=50295  nbFailedAssignments=46777  nbBacktracks=2568  nbVisitedNodes=99641
1745.63	     nbRestartNogoods=897
1745.63	       =>  wckTime=1635.175  cpuTime=1627.36  mem=99M225
2340.95	   
2340.95	   search
2340.95	     run=12  nbConstraintChecks=36703030261  nbValidityChecks=589491765  nbPropagations=0  nbRevisions=0
2340.95	     nbUselessRevisions=0  nbAssignments=63813  nbFailedAssignments=58927  nbBacktracks=3865  nbVisitedNodes=126606
2340.95	     nbRestartNogoods=1010
2340.95	       =>  wckTime=2230.496  cpuTime=2219.89  mem=99M225
2410.96	v 521 166 178 84 413 0 241 343 284 468 66 140 244 464 318 408 405 480 0 564 190 268 347 488 10 93 418 404 0 360 84 403 150 486 247 477 358 337 525 1 358 13 524 192 98 78 259 9 166 466 271 406 1 228 216 466 76 340 142 237 416 364 317 529 457 58 214 333 148 477 403 373 115 145 0 279 475 165 244 255 216 372 192 238 103 0 380 466 282 415 401 343 14 79 86 553 276 98 483 179

Verifier Data (download as text)

10 unsatisfied constraints, 890 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/node45/watcher-277482-1169268407 -o ROOT/results/node45/solver-277482-1169268407 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277482-1169268407/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: 1.59 1.90 1.90 3/69 9291
/proc/meminfo: memFree=1435288/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=1788 CPUtime=0
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 189 0 0 0 0 0 0 0 20 0 1 0 275239891 1830912 159 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5067624 0 0 4096 0 0 0 0 17 1 0 0
/proc/9290/statm: 447 158 123 14 0 92 0

[startup+0.106831 s]
/proc/loadavg: 1.59 1.90 1.90 3/69 9291
/proc/meminfo: memFree=1435288/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=914988 CPUtime=0.08
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 3065 0 1 0 8 0 0 0 16 0 8 0 275239891 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9290/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514903 s]
/proc/loadavg: 1.59 1.90 1.90 3/69 9291
/proc/meminfo: memFree=1435288/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915332 CPUtime=0.48
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 6933 0 1 0 45 3 0 0 16 0 8 0 275239891 937299968 6672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9290/statm: 228833 6672 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33604 s]
/proc/loadavg: 1.59 1.90 1.90 2/75 9300
/proc/meminfo: memFree=1412008/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=1.3
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 8403 0 1 0 126 4 0 0 17 0 8 0 275239891 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 8141 2168 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275239895 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 275239895 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.12
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 353 0 0 0 12 0 0 0 15 0 8 0 275239898 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 8141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452

[startup+2.98334 s]
/proc/loadavg: 1.59 1.90 1.90 2/75 9303
/proc/meminfo: memFree=1409448/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2.94
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 9270 0 1 0 289 5 0 0 18 0 8 0 275239891 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 9007 2168 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275239895 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 275239895 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.12
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 353 0 0 0 12 0 0 0 16 0 8 0 275239898 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 9007 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) 915452

[startup+6.27094 s]
/proc/loadavg: 1.54 1.89 1.90 3/87 9345
/proc/meminfo: memFree=1374600/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=6.22
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 10919 0 1 0 617 5 0 0 25 0 8 0 275239891 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 10656 2168 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275239895 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 275239895 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.12
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 355 0 0 0 12 0 0 0 15 0 8 0 275239898 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 10656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452

[startup+12.7531 s]
/proc/loadavg: 1.58 1.89 1.90 3/87 9345
/proc/meminfo: memFree=1347336/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=12.7
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 14379 0 1 0 1262 8 0 0 25 0 8 0 275239891 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 14116 2169 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275239895 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 275239895 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.14
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 366 0 0 0 14 0 0 0 15 0 8 0 275239898 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 14116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 14116 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) 915452

[startup+25.6104 s]
/proc/loadavg: 1.67 1.89 1.90 3/87 9345
/proc/meminfo: memFree=1263368/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=25.56
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 23284 0 1 0 2544 12 0 0 25 0 8 0 275239891 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 23018 2180 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.24
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 6711 0 0 0 22 2 0 0 16 0 8 0 275239895 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.14
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 367 0 0 0 14 0 0 0 15 0 8 0 275239898 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 23018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915452

[startup+51.2221 s]
/proc/loadavg: 1.78 1.90 1.90 3/87 9345
/proc/meminfo: memFree=1183368/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=51.13
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 33158 0 1 0 5095 18 0 0 25 0 8 0 275239891 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 32890 2180 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.61
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 16578 0 0 0 54 7 0 0 16 0 8 0 275239895 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.15
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 372 0 0 0 15 0 0 0 15 0 8 0 275239898 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 32890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915452

[startup+102.465 s]
/proc/loadavg: 1.98 1.93 1.91 3/87 9345
/proc/meminfo: memFree=1138888/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=102.31
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39152 0 1 0 10190 41 0 0 25 0 8 0 275239891 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 38881 2501 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22202 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.19
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 391 0 0 0 18 1 0 0 16 0 8 0 275239898 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275239898 937422848 38881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915452

[startup+162.511 s]
/proc/loadavg: 1.99 1.94 1.91 3/87 9345
/proc/meminfo: memFree=1138120/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=162.08
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39311 0 1 0 16163 45 0 0 25 0 8 0 275239891 937422848 39031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074008738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2015.71
Current children cumulated vsize (KiB) 915452

[startup+2084.96 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 9545
/proc/meminfo: memFree=1137288/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2075.51
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 207480 71 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074008738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.04
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.51
Current children cumulated vsize (KiB) 915452

[startup+2145.05 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 9545
/proc/meminfo: memFree=1137288/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2135.34
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 213462 72 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.04
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.34
Current children cumulated vsize (KiB) 915452

[startup+2205.12 s]
/proc/loadavg: 2.06 2.01 1.98 3/87 9545
/proc/meminfo: memFree=1137352/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2195.11
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 219439 72 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074000828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.05
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.11
Current children cumulated vsize (KiB) 915452

[startup+2265.2 s]
/proc/loadavg: 2.02 2.01 1.98 3/87 9545
/proc/meminfo: memFree=1137352/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2254.92
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 225420 72 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.05
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.92
Current children cumulated vsize (KiB) 915452

[startup+2325.27 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 9545
/proc/meminfo: memFree=1137352/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2314.72
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 231400 72 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074008738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.05
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.72
Current children cumulated vsize (KiB) 915452

[startup+2385.34 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 9545
/proc/meminfo: memFree=1137352/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2374.5
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 237377 73 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.05
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.5
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.96 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 9545
/proc/meminfo: memFree=1137352/2055920 swapFree=4184076/4192956
[pid=9290] ppid=9288 vsize=915452 CPUtime=2400.01
/proc/9290/stat : 9290 (java) R 9288 9290 9025 0 -1 0 39329 0 1 0 239928 73 0 0 25 0 8 0 275239891 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002245 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9290/statm: 228863 39044 2551 14 0 215333 0
[pid=9290/tid=9294] ppid=9288 vsize=915452 CPUtime=0.83
/proc/9290/task/9294/stat : 9294 (java) S 9288 9290 9025 0 -1 64 22203 0 0 0 74 9 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9295] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9295/stat : 9295 (java) S 9288 9290 9025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9296] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9296/stat : 9296 (java) S 9288 9290 9025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275239895 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9297] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9297/stat : 9297 (java) S 9288 9290 9025 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9298] ppid=9288 vsize=915452 CPUtime=0.31
/proc/9290/task/9298/stat : 9298 (java) S 9288 9290 9025 0 -1 64 466 0 0 0 30 1 0 0 16 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9299] ppid=9288 vsize=915452 CPUtime=0
/proc/9290/task/9299/stat : 9299 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9290/tid=9300] ppid=9288 vsize=915452 CPUtime=0.05
/proc/9290/task/9300/stat : 9300 (java) S 9288 9290 9025 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 275239898 937422848 39044 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915452

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2411.02
CPU time (s): 2400.08
CPU user time (s): 2399.32
CPU system time (s): 0.755885
CPU usage (%): 99.5461
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.32
system time used= 0.755885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39353
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= 50092
involuntary context switches= 81315

runsolver used 2.53561 s user time and 6.27804 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan 20 04:46:49 UTC 2007


IDJOB= 277482
IDBENCH= 6760
IDSOLVER= 69
FILE ID= node45/277482-1169268407

PBS_JOBID= 3607317

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277482-1169268407/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-277482-1169268407 -o ROOT/results/node45/solver-277482-1169268407 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277482-1169268407/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1ac4899202187205cc402a22c67930db

RANDOM SEED= 117368615

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.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:       1435512 kB
Buffers:         50136 kB
Cached:         481544 kB
SwapCached:       2868 kB
Active:         108176 kB
Inactive:       439560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435512 kB
SwapTotal:     4192956 kB
SwapFree:      4184076 kB
Dirty:            1948 kB
Writeback:           0 kB
Mapped:          22148 kB
Slab:            58364 kB
Committed_AS:  4751108 kB
PageTables:       1636 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= 66561 MiB



End job on node45 on Sat Jan 20 05:27:00 UTC 2007