Trace number 277502

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 EPFCMSAT (TO) 2400.15 2405.12

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277502-1169268427/unknown.xml
0.37	   
0.37	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=100  nbDomainTypes=100  minDomainSize=516  maxDomainSize=611
0.45	       =>  wckTime=0.138  cpuTime=0.11  mem=8M834
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
61.39	   
61.39	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 94M244)
61.44	     nbConstraints=900  nbConvertedConstraints=720  nbConvertConstraintsChecks=224451734  nbExtensionStructures=720
61.44	     nbSharedExtensionStructures=0  nbConflictsStructures=720  nbSharedConflictsStructures=0
61.44	     nbSharedBinaryRepresentations=283293  nbEvaluationManagers=180  nbSharedEvaluationManagers=0  maxDegree=18
61.44	     maxArity=2
61.44	       =>  wckTime=61.127  cpuTime=60.02  mem=95M197
61.69	   
61.69	   solver LocalSearchSolver being built... 
61.73	       =>  wckTime=61.418  cpuTime=60.08  mem=77M41
61.75	
61.75	s SATISFIABLE
61.75	o 749
61.75	c 151
61.76	o 755
61.76	c 145
61.78	o 760
61.78	c 140
61.78	o 764
61.78	c 136
61.79	o 768
61.79	c 132
61.81	o 773
61.81	c 127
61.81	o 778
61.81	c 122
61.82	o 783
61.82	c 117
61.84	o 787
61.84	c 113
61.84	o 791
61.84	c 109
61.86	o 793
61.86	c 107
61.86	o 795
61.86	c 105
61.87	o 798
61.87	c 102
61.88	o 802
61.88	c 98
61.89	o 806
61.89	c 94
61.90	o 809
61.90	c 91
61.90	o 811
61.90	c 89
61.92	o 813
61.92	c 87
61.93	o 815
61.93	c 85
61.94	o 816
61.94	c 84
61.95	o 818
61.95	c 82
61.96	o 820
61.96	c 80
61.96	o 822
61.96	c 78
61.97	o 824
61.97	c 76
61.98	o 826
61.98	c 74
61.99	o 827
61.99	c 73
62.01	o 829
62.01	c 71
62.02	o 831
62.02	c 69
62.04	o 833
62.04	c 67
62.07	o 835
62.07	c 65
62.08	o 836
62.08	c 64
62.09	o 838
62.09	c 62
62.10	o 840
62.10	c 60
62.11	o 842
62.11	c 58
62.12	o 843
62.12	c 57
62.13	o 844
62.13	c 56
62.14	o 846
62.14	c 54
62.15	o 847
62.15	c 53
62.17	o 848
62.17	c 52
62.17	o 850
62.17	c 50
62.19	o 851
62.19	c 49
62.20	o 852
62.20	c 48
62.22	o 853
62.22	c 47
62.23	o 854
62.23	c 46
62.26	o 855
62.26	c 45
62.27	o 856
62.27	c 44
62.31	o 857
62.31	c 43
62.33	o 858
62.33	c 42
62.35	o 860
62.35	c 40
62.36	o 862
62.36	c 38
62.39	o 864
62.39	c 36
62.44	o 865
62.44	c 35
63.58	o 866
63.58	c 34
63.77	o 867
63.77	c 33
63.90	o 868
63.90	c 32
64.11	o 869
64.11	c 31
64.30	o 870
64.30	c 30
64.32	o 871
64.32	c 29
64.35	o 872
64.35	c 28
64.36	o 873
64.36	c 27
69.40	o 874
69.40	c 26
69.43	o 875
69.43	c 25
69.46	o 876
69.46	c 24
69.85	o 877
69.85	c 23
69.87	o 878
69.87	c 22
72.40	o 879
72.40	c 21
72.59	o 880
72.59	c 20
72.61	o 881
72.61	c 19
72.63	o 882
72.63	c 18
80.09	o 883
80.10	c 17
80.96	o 884
80.96	c 16
81.90	o 885
81.90	c 15
82.47	o 886
82.47	c 14
86.93	o 887
86.93	c 13
107.90	o 888
107.90	c 12
138.07	   
138.07	   search
138.07	     run=0  nbConstraintChecks=358325582  nbAssignments=3348
138.07	       =>  wckTime=76.337  cpuTime=75.94  mem=77M41
138.07	   
138.07	   global
138.07	     nbConstraintChecks=358325582  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
138.07	     solvingWckTime=76.332  solvingCpuTime=75.94  expiredTime=no  totalExploration=no  nbFoundSolutions=0
138.07	     globalCpuTime=136.07
138.07	       =>  wckTime=137.762  cpuTime=136.02  mem=77M41
138.07	   
138.07	   solver IterativeSystematicSolver being built... 
138.23	       =>  wckTime=137.916  cpuTime=136.13  mem=94M189
150.19	   
150.19	   preprocessing
150.19	     nbConstraintChecks=39189369  nbValidityChecks=18103368  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
150.19	     nbRemovedValues=0  detectedInconsistency=no
150.19	       =>  wckTime=11.963  cpuTime=11.87  mem=94M189
180.70	   
180.70	   search
180.70	     run=0  nbConstraintChecks=358995129  nbValidityChecks=31076971  nbPropagations=0  nbRevisions=0
180.70	     nbUselessRevisions=0  nbAssignments=791  nbFailedAssignments=702  nbBacktracks=10  nbVisitedNodes=1504
180.70	     nbRestartNogoods=0
180.70	       =>  wckTime=42.473  cpuTime=42.22  mem=94M189
235.44	   
235.44	   search
235.44	     run=1  nbConstraintChecks=977377873  nbValidityChecks=72514966  nbPropagations=0  nbRevisions=0
235.44	     nbUselessRevisions=0  nbAssignments=1837  nbFailedAssignments=1655  nbBacktracks=25  nbVisitedNodes=3518
235.44	     nbRestartNogoods=2
235.44	       =>  wckTime=97.213  cpuTime=96.67  mem=94M189
335.00	   
335.00	   search
335.00	     run=2  nbConstraintChecks=2191938675  nbValidityChecks=139228860  nbPropagations=0  nbRevisions=0
335.00	     nbUselessRevisions=0  nbAssignments=3314  nbFailedAssignments=3032  nbBacktracks=47  nbVisitedNodes=6394
335.00	     nbRestartNogoods=6
335.00	       =>  wckTime=196.769  cpuTime=195.75  mem=94M189
439.60	   
439.60	   search
439.60	     run=3  nbConstraintChecks=3515357447  nbValidityChecks=220255759  nbPropagations=0  nbRevisions=0
439.60	     nbUselessRevisions=0  nbAssignments=5667  nbFailedAssignments=5272  nbBacktracks=80  nbVisitedNodes=11020
439.60	     nbRestartNogoods=8
439.60	       =>  wckTime=301.371  cpuTime=299.84  mem=94M189
545.58	   
545.58	   search
545.58	     run=4  nbConstraintChecks=4931321899  nbValidityChecks=321388378  nbPropagations=0  nbRevisions=0
545.58	     nbUselessRevisions=0  nbAssignments=8084  nbFailedAssignments=7557  nbBacktracks=130  nbVisitedNodes=15772
545.58	     nbRestartNogoods=84
545.58	       =>  wckTime=407.354  cpuTime=405.31  mem=94M189
742.38	   
742.38	   search
742.38	     run=5  nbConstraintChecks=7234165960  nbValidityChecks=476971176  nbPropagations=0  nbRevisions=0
742.38	     nbUselessRevisions=0  nbAssignments=12155  nbFailedAssignments=11476  nbBacktracks=205  nbVisitedNodes=23837
742.38	     nbRestartNogoods=279
742.38	       =>  wckTime=604.151  cpuTime=601.17  mem=94M189
1118.46	   
1118.46	   search
1118.46	     run=6  nbConstraintChecks=11759495862  nbValidityChecks=847565697  nbPropagations=0  nbRevisions=0
1118.46	     nbUselessRevisions=0  nbAssignments=19471  nbFailedAssignments=18604  nbBacktracks=318  nbVisitedNodes=38394
1118.46	     nbRestartNogoods=342
1118.46	       =>  wckTime=980.236  cpuTime=976.31  mem=94M189
1513.61	   
1513.61	   search
1513.61	     run=7  nbConstraintChecks=16213476908  nbValidityChecks=1235760756  nbPropagations=0  nbRevisions=0
1513.61	     nbUselessRevisions=0  nbAssignments=28357  nbFailedAssignments=27238  nbBacktracks=488  nbVisitedNodes=56084
1513.61	     nbRestartNogoods=448
1513.61	       =>  wckTime=1375.38  cpuTime=1371.31  mem=94M189
2234.85	   
2234.85	   search
2234.85	     run=8  nbConstraintChecks=24025753249  nbValidityChecks=2321088066  nbPropagations=0  nbRevisions=0
2234.85	     nbUselessRevisions=0  nbAssignments=38487  nbFailedAssignments=37041  nbBacktracks=744  nbVisitedNodes=76273
2234.85	     nbRestartNogoods=506
2234.85	       =>  wckTime=2096.622  cpuTime=2092.3  mem=94M189
2405.06	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/node33/watcher-277502-1169268427 -o ROOT/results/node33/solver-277502-1169268427 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277502-1169268427/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.75 1.94 1.93 2/81 31884
/proc/meminfo: memFree=1384336/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=18540 CPUtime=0
/proc/31883/stat : 31883 (runsolver) R 31881 31883 31557 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275236653 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31883/statm: 4635 279 244 17 0 2626 0

[startup+0.102639 s]
/proc/loadavg: 1.75 1.94 1.93 2/81 31884
/proc/meminfo: memFree=1384336/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=914988 CPUtime=0.08
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 2996 0 1 0 7 1 0 0 20 0 8 0 275236653 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514724 s]
/proc/loadavg: 1.75 1.94 1.93 2/81 31884
/proc/meminfo: memFree=1384336/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915332 CPUtime=0.49
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 6818 0 1 0 45 4 0 0 18 0 8 0 275236653 937299968 6557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228833 6557 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33689 s]
/proc/loadavg: 1.75 1.94 1.93 3/88 31891
/proc/meminfo: memFree=1360600/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=1.3
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 8378 0 1 0 125 5 0 0 25 0 8 0 275236653 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 8116 2171 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275236657 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275236658 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275236658 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.14
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 352 0 0 0 13 1 0 0 15 0 8 0 275236661 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 8116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452

[startup+2.97424 s]
/proc/loadavg: 1.75 1.94 1.93 3/88 31891
/proc/meminfo: memFree=1358488/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2.95
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 9167 0 1 0 289 6 0 0 25 0 8 0 275236653 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 8904 2171 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275236657 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275236658 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275236658 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.14
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 352 0 0 0 13 1 0 0 16 0 8 0 275236661 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452

[startup+6.27292 s]
/proc/loadavg: 1.77 1.94 1.93 3/88 31891
/proc/meminfo: memFree=1347416/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=6.22
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 10779 0 1 0 616 6 0 0 25 0 8 0 275236653 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 10516 2171 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275236657 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275236658 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275236658 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.15
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 353 0 0 0 14 1 0 0 15 0 8 0 275236661 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 10516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452

[startup+12.7473 s]
/proc/loadavg: 1.80 1.94 1.93 3/88 31891
/proc/meminfo: memFree=1334232/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=12.66
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 13738 0 1 0 1259 7 0 0 25 0 8 0 275236653 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 13475 2172 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275236657 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275236658 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275236658 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.16
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 365 0 0 0 15 1 0 0 15 0 8 0 275236661 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 13475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452

[startup+25.606 s]
/proc/loadavg: 1.83 1.94 1.93 3/88 31891
/proc/meminfo: memFree=1296216/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=25.46
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 23053 0 1 0 2535 11 0 0 25 0 8 0 275236653 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 22788 2183 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.23
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 6476 0 0 0 21 2 0 0 16 0 8 0 275236657 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.17
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 365 0 0 0 16 1 0 0 16 0 8 0 275236661 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 22788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915452

[startup+51.2243 s]
/proc/loadavg: 1.96 1.96 1.94 3/88 31891
/proc/meminfo: memFree=1225624/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=50.95
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 32884 0 1 0 5078 17 0 0 25 0 8 0 275236653 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 32617 2183 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.65
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 16299 0 0 0 59 6 0 0 16 0 8 0 275236657 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.18
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 275236661 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 32617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915452

[startup+102.469 s]
/proc/loadavg: 1.98 1.97 1.94 3/88 31891
/proc/meminfo: memFree=1207768/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=101.94
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37633 0 1 0 10157 37 0 0 25 0 8 0 275236653 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073888044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37364 2504 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20679 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.22
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 275236661 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275236661 937422848 37364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915452

[startup+162.568 s]
/proc/loadavg: 1.99 1.97 1.94 3/88 31891
/proc/meminfo: memFree=1207384/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=161.76
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37782 0 1 0 16125 51 0 0 25 0 8 0 275236653 937422848 37506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.44 s]
/proc/loadavg: 2.07 2.02 1.99 3/88 32089
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2079.59
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 207901 58 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 16 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2079.59
Current children cumulated vsize (KiB) 915452

[startup+2144.52 s]
/proc/loadavg: 2.06 2.03 2.00 3/88 32091
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2139.64
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 213906 58 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 16 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2139.64
Current children cumulated vsize (KiB) 915452

[startup+2204.61 s]
/proc/loadavg: 2.02 2.02 2.00 3/88 32091
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2199.71
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 219913 58 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 16 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.71
Current children cumulated vsize (KiB) 915452

[startup+2264.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/88 32091
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2259.78
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 225919 59 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.78
Current children cumulated vsize (KiB) 915452

[startup+2324.79 s]
/proc/loadavg: 2.00 2.01 2.00 3/88 32091
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2319.85
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 231926 59 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2319.85
Current children cumulated vsize (KiB) 915452

[startup+2384.89 s]
/proc/loadavg: 2.06 2.02 2.00 3/88 32091
/proc/meminfo: memFree=1207000/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2379.93
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 237934 59 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.93
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.05 s]
/proc/loadavg: 1.96 2.00 1.99 2/75 32106
/proc/meminfo: memFree=1343304/2055920 swapFree=4192224/4192956
[pid=31883] ppid=31881 vsize=915452 CPUtime=2400.08
/proc/31883/stat : 31883 (java) R 31881 31883 31557 0 -1 0 37818 0 1 0 239948 60 0 0 25 0 8 0 275236653 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31883/statm: 228863 37533 2556 14 0 215333 0
[pid=31883/tid=31885] ppid=31881 vsize=915452 CPUtime=0.88
/proc/31883/task/31885/stat : 31885 (java) S 31881 31883 31557 0 -1 64 20680 0 0 0 80 8 0 0 16 0 8 0 275236657 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31886] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31886/stat : 31886 (java) S 31881 31883 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31887] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31887/stat : 31887 (java) S 31881 31883 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275236658 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31888] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31888/stat : 31888 (java) S 31881 31883 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31889] ppid=31881 vsize=915452 CPUtime=0.35
/proc/31883/task/31889/stat : 31889 (java) S 31881 31883 31557 0 -1 64 469 0 0 0 33 2 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31890] ppid=31881 vsize=915452 CPUtime=0
/proc/31883/task/31890/stat : 31890 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31883/tid=31891] ppid=31881 vsize=915452 CPUtime=0.01
/proc/31883/task/31891/stat : 31891 (java) S 31881 31883 31557 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275236661 937422848 37533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915452

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

Child status: 143
Real time (s): 2405.12
CPU time (s): 2400.15
CPU user time (s): 2399.52
CPU system time (s): 0.624905
CPU usage (%): 99.793
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.52
system time used= 0.624905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37842
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= 50163
involuntary context switches= 63831

runsolver used 2.75558 s user time and 7.67283 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Jan 20 04:47:08 UTC 2007


IDJOB= 277502
IDBENCH= 6778
IDSOLVER= 68
FILE ID= node33/277502-1169268427

PBS_JOBID= 3607342

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277502-1169268427/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-277502-1169268427 -o ROOT/results/node33/solver-277502-1169268427 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277502-1169268427/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b72a3bf0b00e09f12949ace974f0d3db

RANDOM SEED= 382944704

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.281
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.281
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:       1384816 kB
Buffers:         45192 kB
Cached:         436184 kB
SwapCached:        268 kB
Active:         274512 kB
Inactive:       327208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1384816 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            2276 kB
Writeback:           0 kB
Mapped:         137880 kB
Slab:            54580 kB
Committed_AS:  4694972 kB
PageTables:       2052 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= 66563 MiB



End job on node33 on Sat Jan 20 05:27:14 UTC 2007