Trace number 277503

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.09 2412.85

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-0.xml
MD5SUMb72a3bf0b00e09f12949ace974f0d3db
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints888
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size611
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/277503-1169268429/unknown.xml
0.43	   
0.43	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.50	     nbVariables=100  nbDomainTypes=100  minDomainSize=516  maxDomainSize=611
0.50	       =>  wckTime=0.136  cpuTime=0.11  mem=8M866
0.50	   
0.50	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
61.22	   
61.22	   INFO : Stopping converting binary constraints (cpu=60.05, mem = 100M918)
61.25	     nbConstraints=900  nbConvertedConstraints=768  nbConvertConstraintsChecks=239434960  nbExtensionStructures=768
61.25	     nbSharedExtensionStructures=0  nbConflictsStructures=768  nbSharedConflictsStructures=0
61.25	     nbSharedBinaryRepresentations=302420  nbEvaluationManagers=132  nbSharedEvaluationManagers=0  maxDegree=18
61.25	     maxArity=2
61.25	       =>  wckTime=60.883  cpuTime=60.02  mem=101M872
61.50	   
61.50	   solver LocalSearchSolver being built... 
61.54	       =>  wckTime=61.174  cpuTime=60.06  mem=80M595
61.56	
61.56	s SATISFIABLE
61.56	o 749
61.56	c 151
61.57	o 755
61.57	c 145
61.58	o 760
61.58	c 140
61.59	o 764
61.59	c 136
61.60	o 768
61.60	c 132
61.61	o 773
61.61	c 127
61.62	o 778
61.62	c 122
61.63	o 783
61.63	c 117
61.64	o 787
61.64	c 113
61.65	o 791
61.65	c 109
61.66	o 793
61.66	c 107
61.66	o 795
61.66	c 105
61.67	o 798
61.67	c 102
61.68	o 802
61.68	c 98
61.69	o 806
61.69	c 94
61.70	o 809
61.70	c 91
61.70	o 811
61.70	c 89
61.72	o 813
61.72	c 87
61.73	o 815
61.73	c 85
61.73	o 816
61.73	c 84
61.74	o 818
61.74	c 82
61.75	o 820
61.75	c 80
61.76	o 822
61.76	c 78
61.77	o 824
61.77	c 76
61.78	o 826
61.78	c 74
61.79	o 827
61.79	c 73
61.80	o 829
61.80	c 71
61.81	o 831
61.81	c 69
61.83	o 833
61.83	c 67
61.86	o 835
61.86	c 65
61.87	o 836
61.87	c 64
61.88	o 838
61.88	c 62
61.88	o 840
61.88	c 60
61.89	o 842
61.89	c 58
61.90	o 843
61.90	c 57
61.91	o 844
61.91	c 56
61.93	o 846
61.93	c 54
61.93	o 847
61.93	c 53
61.95	o 848
61.95	c 52
61.95	o 850
61.95	c 50
61.97	o 851
61.97	c 49
61.98	o 852
61.98	c 48
61.99	o 853
61.99	c 47
62.00	o 854
62.00	c 46
62.03	o 855
62.03	c 45
62.04	o 856
62.04	c 44
62.07	o 857
62.07	c 43
62.10	o 858
62.10	c 42
62.12	o 860
62.12	c 40
62.13	o 862
62.13	c 38
62.15	o 864
62.15	c 36
62.19	o 865
62.19	c 35
63.26	o 866
63.26	c 34
63.43	o 867
63.43	c 33
63.55	o 868
63.55	c 32
63.74	o 869
63.74	c 31
63.92	o 870
63.92	c 30
63.94	o 871
63.94	c 29
63.97	o 872
63.97	c 28
63.98	o 873
63.98	c 27
68.66	o 874
68.66	c 26
68.69	o 875
68.69	c 25
68.71	o 876
68.71	c 24
69.08	o 877
69.08	c 23
69.10	o 878
69.10	c 22
71.43	o 879
71.43	c 21
71.60	o 880
71.60	c 20
71.62	o 881
71.62	c 19
71.64	o 882
71.64	c 18
78.49	o 883
78.49	c 17
79.29	o 884
79.29	c 16
80.15	o 885
80.15	c 15
80.68	o 886
80.68	c 14
84.81	o 887
84.81	c 13
104.25	o 888
104.25	c 12
134.30	   
134.30	   search
134.30	     run=0  nbConstraintChecks=368890628  nbAssignments=3426
134.30	       =>  wckTime=72.765  cpuTime=72.68  mem=80M595
134.31	   
134.31	   global
134.31	     nbConstraintChecks=368890628  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
134.31	     solvingWckTime=72.761  solvingCpuTime=72.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
134.31	     globalCpuTime=132.79
134.31	       =>  wckTime=133.94  cpuTime=132.74  mem=80M595
134.31	   
134.31	   solver IterativeSystematicSolver being built... 
134.45	       =>  wckTime=134.081  cpuTime=132.85  mem=97M106
135.04	   
135.04	   preprocessing
135.04	     nbConstraintChecks=1458664  nbValidityChecks=7787  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
135.04	     nbRemovedValues=0  detectedInconsistency=no
135.04	       =>  wckTime=0.595  cpuTime=0.58  mem=97M106
165.07	   
165.07	   search
165.07	     run=0  nbConstraintChecks=387956855  nbValidityChecks=31958547  nbPropagations=0  nbRevisions=0
165.07	     nbUselessRevisions=0  nbAssignments=1200  nbFailedAssignments=1107  nbBacktracks=10  nbVisitedNodes=2318
165.07	     nbRestartNogoods=0
165.07	       =>  wckTime=30.616  cpuTime=30.51  mem=97M106
201.88	   
201.88	   search
201.88	     run=1  nbConstraintChecks=881275202  nbValidityChecks=51986528  nbPropagations=0  nbRevisions=0
201.88	     nbUselessRevisions=0  nbAssignments=2214  nbFailedAssignments=2024  nbBacktracks=25  nbVisitedNodes=4264
201.88	     nbRestartNogoods=220
201.88	       =>  wckTime=67.431  cpuTime=67.08  mem=97M106
209.65	   
209.65	   search
209.65	     run=2  nbConstraintChecks=966695704  nbValidityChecks=60562226  nbPropagations=0  nbRevisions=0
209.65	     nbUselessRevisions=0  nbAssignments=2405  nbFailedAssignments=2113  nbBacktracks=47  nbVisitedNodes=4566
209.65	     nbRestartNogoods=336
209.65	       =>  wckTime=75.199  cpuTime=74.81  mem=97M106
217.05	   
217.05	   search
217.05	     run=3  nbConstraintChecks=1057143202  nbValidityChecks=69690876  nbPropagations=0  nbRevisions=0
217.05	     nbUselessRevisions=0  nbAssignments=2550  nbFailedAssignments=2146  nbBacktracks=80  nbVisitedNodes=4777
217.05	     nbRestartNogoods=420
217.05	       =>  wckTime=82.598  cpuTime=82.17  mem=97M106
243.17	   
243.17	   search
243.17	     run=4  nbConstraintChecks=1386850402  nbValidityChecks=90402567  nbPropagations=0  nbRevisions=0
243.17	     nbUselessRevisions=0  nbAssignments=3083  nbFailedAssignments=2554  nbBacktracks=130  nbVisitedNodes=5768
243.17	     nbRestartNogoods=431
243.17	       =>  wckTime=108.725  cpuTime=108.14  mem=97M106
331.63	   
331.63	   search
331.63	     run=5  nbConstraintChecks=2690198320  nbValidityChecks=162749573  nbPropagations=0  nbRevisions=0
331.63	     nbUselessRevisions=0  nbAssignments=5568  nbFailedAssignments=4885  nbBacktracks=205  nbVisitedNodes=10659
331.63	     nbRestartNogoods=454
331.63	       =>  wckTime=197.181  cpuTime=196.1  mem=97M106
443.46	   
443.46	   search
443.46	     run=6  nbConstraintChecks=4267921034  nbValidityChecks=254615696  nbPropagations=0  nbRevisions=0
443.46	     nbUselessRevisions=0  nbAssignments=8532  nbFailedAssignments=7658  nbBacktracks=318  nbVisitedNodes=16509
443.46	     nbRestartNogoods=612
443.46	       =>  wckTime=309.008  cpuTime=307.32  mem=98M33
494.19	   
494.19	   search
494.19	     run=7  nbConstraintChecks=4920733700  nbValidityChecks=290746917  nbPropagations=0  nbRevisions=0
494.19	     nbUselessRevisions=0  nbAssignments=9759  nbFailedAssignments=8636  nbBacktracks=488  nbVisitedNodes=18884
494.19	     nbRestartNogoods=681
494.19	       =>  wckTime=359.738  cpuTime=357.78  mem=98M33
732.20	   
732.20	   search
732.20	     run=8  nbConstraintChecks=8290920161  nbValidityChecks=515914277  nbPropagations=0  nbRevisions=0
732.20	     nbUselessRevisions=0  nbAssignments=15147  nbFailedAssignments=13689  nbBacktracks=744  nbVisitedNodes=29581
732.20	     nbRestartNogoods=765
732.20	       =>  wckTime=597.752  cpuTime=594.49  mem=98M33
875.01	   
875.01	   search
875.01	     run=9  nbConstraintChecks=10382559343  nbValidityChecks=631942318  nbPropagations=0  nbRevisions=0
875.01	     nbUselessRevisions=0  nbAssignments=18796  nbFailedAssignments=16878  nbBacktracks=1128  nbVisitedNodes=36803
875.01	     nbRestartNogoods=859
875.01	       =>  wckTime=740.566  cpuTime=736.43  mem=98M33
1056.76	   
1056.76	   search
1056.76	     run=10  nbConstraintChecks=12991971661  nbValidityChecks=734256327  nbPropagations=0  nbRevisions=0
1056.76	     nbUselessRevisions=0  nbAssignments=26626  nbFailedAssignments=24055  nbBacktracks=1704  nbVisitedNodes=52386
1056.76	     nbRestartNogoods=915
1056.76	       =>  wckTime=922.307  cpuTime=917.15  mem=98M33
1358.45	   
1358.45	   search
1358.45	     run=11  nbConstraintChecks=16803294680  nbValidityChecks=1022944061  nbPropagations=0  nbRevisions=0
1358.45	     nbUselessRevisions=0  nbAssignments=36910  nbFailedAssignments=33402  nbBacktracks=2568  nbVisitedNodes=72881
1358.45	     nbRestartNogoods=1147
1358.45	       =>  wckTime=1224.002  cpuTime=1217.19  mem=98M33
2088.61	   
2088.61	   search
2088.61	     run=12  nbConstraintChecks=24691220465  nbValidityChecks=1925321956  nbPropagations=0  nbRevisions=0
2088.61	     nbUselessRevisions=0  nbAssignments=53987  nbFailedAssignments=49107  nbBacktracks=3865  nbVisitedNodes=106960
2088.61	     nbRestartNogoods=1215
2088.61	       =>  wckTime=1954.16  cpuTime=1943.31  mem=98M33
2412.79	v 122 308 59 224 5 332 170 421 520 234 127 309 483 1 386 222 338 244 401 518 509 10 50 331 233 323 439 373 137 516 320 522 2 248 185 429 77 53 338 406 237 139 447 425 589 377 57 3 223 524 167 98 59 408 230 420 521 440 346 1 144 564 421 237 323 520 481 51 6 97 222 5 518 328 164 54 226 39 438 96 303 11 85 228 189 0 418 145 569 400 323 174 96 405 446 1 84 371 237 491

Verifier Data (download as text)

12 unsatisfied constraints, 888 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/node15/watcher-277503-1169268429 -o ROOT/results/node15/solver-277503-1169268429 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277503-1169268429/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.90 2.00 1.95 2/94 14393
/proc/meminfo: memFree=1422736/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=18540 CPUtime=0
/proc/14392/stat : 14392 (runsolver) R 14390 14392 13841 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275238057 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14392/statm: 4635 279 244 17 0 2626 0

[startup+0.101848 s]
/proc/loadavg: 1.90 2.00 1.95 2/94 14393
/proc/meminfo: memFree=1422736/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=907808 CPUtime=0.06
/proc/14392/stat : 14392 (java) D 14390 14392 13841 0 -1 0 2503 0 1 0 5 1 0 0 17 0 4 0 275238057 929595392 2250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/14392/statm: 226952 2250 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.509915 s]
/proc/loadavg: 1.90 2.00 1.95 2/94 14393
/proc/meminfo: memFree=1422736/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915332 CPUtime=0.43
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 6525 0 1 0 39 4 0 0 18 0 8 0 275238057 937299968 6264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228833 6264 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.33106 s]
/proc/loadavg: 1.90 2.00 1.95 3/101 14400
/proc/meminfo: memFree=1399128/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=1.25
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 8372 0 1 0 120 5 0 0 25 0 8 0 275238057 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 8110 2168 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 275238063 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275238064 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238064 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.12
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 353 0 0 0 12 0 0 0 16 0 8 0 275238070 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 8110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452

[startup+2.98435 s]
/proc/loadavg: 1.90 2.00 1.95 3/101 14400
/proc/meminfo: memFree=1396824/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2.9
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 9265 0 1 0 284 6 0 0 25 0 8 0 275238057 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 9002 2168 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 275238063 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275238064 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238064 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.13
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 353 0 0 0 13 0 0 0 17 0 8 0 275238070 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 9002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452

[startup+6.2739 s]
/proc/loadavg: 1.91 2.00 1.95 3/101 14400
/proc/meminfo: memFree=1389528/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=6.19
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 10945 0 1 0 612 7 0 0 25 0 8 0 275238057 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 10682 2168 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 275238063 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275238064 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238064 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.13
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 354 0 0 0 13 0 0 0 16 0 8 0 275238070 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 10682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452

[startup+12.767 s]
/proc/loadavg: 1.91 2.00 1.95 3/101 14400
/proc/meminfo: memFree=1376216/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=12.67
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 14139 0 1 0 1258 9 0 0 25 0 8 0 275238057 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 13876 2169 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 275238063 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 275238064 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238064 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.14
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 366 0 0 0 14 0 0 0 16 0 8 0 275238070 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 13876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915452

[startup+25.6342 s]
/proc/loadavg: 2.00 2.02 1.95 3/101 14400
/proc/meminfo: memFree=1339992/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=25.51
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 23049 0 1 0 2538 13 0 0 25 0 8 0 275238057 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744124 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 22784 2180 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.23
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 6475 0 0 0 21 2 0 0 16 0 8 0 275238063 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.15
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 367 0 0 0 15 0 0 0 16 0 8 0 275238070 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915452

[startup+51.2706 s]
/proc/loadavg: 2.00 2.02 1.95 3/101 14400
/proc/meminfo: memFree=1300632/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=51.14
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 32879 0 1 0 5095 19 0 0 25 0 8 0 275238057 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 32612 2180 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.62
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 16298 0 0 0 57 5 0 0 16 0 8 0 275238063 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.15
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 372 0 0 0 15 0 0 0 16 0 8 0 275238070 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 32612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915452

[startup+102.553 s]
/proc/loadavg: 2.00 2.01 1.95 3/101 14400
/proc/meminfo: memFree=1279512/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=102.35
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38494 0 1 0 10196 39 0 0 25 0 8 0 275238057 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38224 2501 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21543 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.2
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 275238070 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915452

[startup+162.596 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 14400
/proc/meminfo: memFree=1279128/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=162.31
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38637 0 1 0 16180 51 0 0 25 0 8 0 275238057 937422848 38361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2085.29 s]
/proc/loadavg: 2.05 2.03 2.00 3/93 14696
/proc/meminfo: memFree=1287512/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2074.32
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38677 0 1 0 207354 78 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.32
Current children cumulated vsize (KiB) 915452

[startup+2145.38 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 14696
/proc/meminfo: memFree=1287576/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2134.09
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 213331 78 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.09
Current children cumulated vsize (KiB) 915452

[startup+2205.47 s]
/proc/loadavg: 1.96 2.00 1.99 3/100 14862
/proc/meminfo: memFree=1272536/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2193.87
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 219307 80 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073894861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.87
Current children cumulated vsize (KiB) 915452

[startup+2265.55 s]
/proc/loadavg: 1.98 2.00 1.99 3/100 14862
/proc/meminfo: memFree=1264408/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2253.6
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 225280 80 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009119 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.6
Current children cumulated vsize (KiB) 915452

[startup+2325.63 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 14862
/proc/meminfo: memFree=1264344/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2313.37
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 231256 81 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.37
Current children cumulated vsize (KiB) 915452

[startup+2385.71 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 14862
/proc/meminfo: memFree=1264344/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2373.12
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 237231 81 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.12
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.78 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 14862
/proc/meminfo: memFree=1264344/2055920 swapFree=4173628/4192956
[pid=14392] ppid=14390 vsize=915452 CPUtime=2400.03
/proc/14392/stat : 14392 (java) R 14390 14392 13841 0 -1 0 38678 0 1 0 239922 81 0 0 25 0 8 0 275238057 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14392/statm: 228863 38389 2551 14 0 215333 0
[pid=14392/tid=14394] ppid=14390 vsize=915452 CPUtime=0.86
/proc/14392/task/14394/stat : 14394 (java) S 14390 14392 13841 0 -1 64 21544 0 0 0 79 7 0 0 16 0 8 0 275238063 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14395] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14395/stat : 14395 (java) S 14390 14392 13841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14396] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14396/stat : 14396 (java) S 14390 14392 13841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238064 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14397] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14397/stat : 14397 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14398] ppid=14390 vsize=915452 CPUtime=0.33
/proc/14392/task/14398/stat : 14398 (java) S 14390 14392 13841 0 -1 64 467 0 0 0 31 2 0 0 16 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14392/tid=14399] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14399/stat : 14399 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238070 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14392/tid=14400] ppid=14390 vsize=915452 CPUtime=0
/proc/14392/task/14400/stat : 14400 (java) S 14390 14392 13841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238071 937422848 38389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915452

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

Child status: 143
Real time (s): 2412.85
CPU time (s): 2400.09
CPU user time (s): 2399.26
CPU system time (s): 0.836872
CPU usage (%): 99.4713
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.26
system time used= 0.836872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38700
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= 50329
involuntary context switches= 119810

runsolver used 2.85656 s user time and 8.02178 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan 20 04:47:10 UTC 2007


IDJOB= 277503
IDBENCH= 6778
IDSOLVER= 69
FILE ID= node15/277503-1169268429

PBS_JOBID= 3607296

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-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277503-1169268429/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-277503-1169268429 -o ROOT/results/node15/solver-277503-1169268429 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277503-1169268429/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b72a3bf0b00e09f12949ace974f0d3db

RANDOM SEED= 647173840

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.276
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.276
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:       1423088 kB
Buffers:         52804 kB
Cached:         456020 kB
SwapCached:       5936 kB
Active:         203428 kB
Inactive:       354700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1423088 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          66768 kB
Slab:            59092 kB
Committed_AS:  8477324 kB
PageTables:       2504 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 node15 on Sat Jan 20 05:27:26 UTC 2007