Trace number 275915

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.1 2416.46

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-44-10-a3.xml
MD5SUM04660a8636430499a1688ded3d6e50e4
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1066
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables55
Number of constraints1080
Maximum constraint arity3
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1080
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275915-1169229061/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=55  nbDomainTypes=2  minDomainSize=44  maxDomainSize=45
0.43	       =>  wckTime=0.117  cpuTime=0.08  mem=6M887
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.81	     nbConstraints=1080  nbConvertedConstraints=1035  nbConvertConstraintsChecks=93061  nbExtensionStructures=2
0.81	     nbSharedExtensionStructures=1033  nbConflictsStructures=3  nbSharedConflictsStructures=1077
0.81	     nbSharedBinaryRepresentations=46  nbEvaluationManagers=1  nbSharedEvaluationManagers=44  maxDegree=45  maxArity=3
0.81	       =>  wckTime=0.498  cpuTime=0.35  mem=10M804
0.86	   
0.86	   solver LocalSearchSolver being built... 
0.90	       =>  wckTime=0.584  cpuTime=0.39  mem=5M926
0.91	
0.91	s SATISFIABLE
0.91	o 997
0.91	c 83
0.91	o 1002
0.91	c 78
0.91	o 1007
0.92	c 73
0.92	o 1011
0.92	c 69
0.92	o 1014
0.92	c 66
0.92	o 1017
0.92	c 63
0.93	o 1018
0.93	c 62
0.93	o 1021
0.93	c 59
0.93	o 1024
0.93	c 56
0.93	o 1025
0.93	c 55
0.93	o 1027
0.93	c 53
0.93	o 1029
0.94	c 51
0.94	o 1031
0.94	c 49
0.94	o 1033
0.94	c 47
0.94	o 1035
0.94	c 45
0.94	o 1037
0.94	c 43
0.94	o 1038
0.94	c 42
0.95	o 1039
0.95	c 41
0.95	o 1040
0.95	c 40
0.95	o 1041
0.95	c 39
0.95	o 1042
0.95	c 38
0.95	o 1043
0.95	c 37
0.95	o 1044
0.95	c 36
0.96	o 1045
0.96	c 35
0.96	o 1046
0.96	c 34
0.96	o 1048
0.96	c 32
0.96	o 1049
0.96	c 31
0.96	o 1050
0.96	c 30
0.97	o 1051
0.97	c 29
0.97	o 1052
0.97	c 28
0.97	o 1053
0.97	c 27
0.97	o 1054
0.97	c 26
0.98	o 1055
0.98	c 25
0.98	o 1056
0.98	c 24
0.99	o 1057
0.99	c 23
1.00	o 1058
1.00	c 22
1.00	o 1059
1.00	c 21
1.00	o 1060
1.00	c 20
2.41	o 1061
2.41	c 19
5.99	o 1062
5.99	c 18
5.99	o 1063
5.99	c 17
6.49	o 1064
6.49	c 16
17.40	   
17.40	   search
17.40	     run=0  nbConstraintChecks=79910839  nbAssignments=10000
17.40	       =>  wckTime=16.503  cpuTime=16.32  mem=5M926
35.14	   
35.14	   search
35.14	     run=1  nbConstraintChecks=169278920  nbAssignments=20000
35.14	       =>  wckTime=34.237  cpuTime=33.9  mem=5M926
36.11	o 1065
36.11	c 15
45.92	o 1066
45.92	c 14
53.01	   
53.01	   search
53.01	     run=2  nbConstraintChecks=260907648  nbAssignments=30000
53.01	       =>  wckTime=52.108  cpuTime=51.63  mem=5M926
68.29	   
68.29	   search
68.29	     run=3  nbConstraintChecks=336037107  nbAssignments=40000
68.29	       =>  wckTime=67.388  cpuTime=66.77  mem=5M926
76.19	   
76.19	   search
76.19	     run=4  nbConstraintChecks=374704795  nbAssignments=44775
76.19	       =>  wckTime=75.29  cpuTime=74.61  mem=5M926
76.19	   
76.19	   global
76.19	     nbConstraintChecks=374704795  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
76.19	     solvingWckTime=75.289  solvingCpuTime=74.61  expiredTime=no  totalExploration=no  nbFoundSolutions=0
76.19	     globalCpuTime=75.05
76.19	       =>  wckTime=75.875  cpuTime=75.0  mem=5M926
76.19	   
76.19	   solver IterativeSystematicSolver being built... 
76.34	       =>  wckTime=76.019  cpuTime=75.11  mem=17M30
82.76	   
82.76	   preprocessing
82.76	     nbConstraintChecks=20659365  nbValidityChecks=560101  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
82.76	     nbRemovedValues=5  detectedInconsistency=no
82.76	       =>  wckTime=6.419  cpuTime=6.33  mem=17M30
87.26	   
87.26	   search
87.26	     run=0  nbConstraintChecks=16646599  nbValidityChecks=543711  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
87.26	     nbAssignments=74  nbFailedAssignments=43  nbBacktracks=10  nbVisitedNodes=128  nbRestartNogoods=0
87.26	       =>  wckTime=10.924  cpuTime=10.79  mem=18M5
89.97	   
89.97	   search
89.97	     run=1  nbConstraintChecks=25471906  nbValidityChecks=893033  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
89.97	     nbAssignments=115  nbFailedAssignments=59  nbBacktracks=25  nbVisitedNodes=200  nbRestartNogoods=12
89.97	       =>  wckTime=13.637  cpuTime=13.46  mem=18M5
115.63	   
115.63	   search
115.63	     run=2  nbConstraintChecks=120581965  nbValidityChecks=3694211  nbPropagations=0  nbRevisions=0
115.63	     nbUselessRevisions=0  nbAssignments=473  nbFailedAssignments=375  nbBacktracks=47  nbVisitedNodes=896
115.63	     nbRestartNogoods=27
115.63	       =>  wckTime=39.292  cpuTime=38.9  mem=18M5
217.89	   
217.89	   search
217.89	     run=3  nbConstraintChecks=453567088  nbValidityChecks=15298332  nbPropagations=0  nbRevisions=0
217.89	     nbUselessRevisions=0  nbAssignments=1482  nbFailedAssignments=1344  nbBacktracks=80  nbVisitedNodes=2907
217.89	     nbRestartNogoods=31
217.89	       =>  wckTime=141.55  cpuTime=140.22  mem=18M5
230.39	   
230.39	   search
230.39	     run=4  nbConstraintChecks=495671546  nbValidityChecks=16560634  nbPropagations=0  nbRevisions=0
230.39	     nbUselessRevisions=0  nbAssignments=1603  nbFailedAssignments=1404  nbBacktracks=130  nbVisitedNodes=3138
230.39	     nbRestartNogoods=68
230.39	       =>  wckTime=154.056  cpuTime=152.6  mem=18M5
259.35	   
259.35	   search
259.35	     run=5  nbConstraintChecks=589986207  nbValidityChecks=18793140  nbPropagations=0  nbRevisions=0
259.35	     nbUselessRevisions=0  nbAssignments=1817  nbFailedAssignments=1531  nbBacktracks=205  nbVisitedNodes=3554
259.35	     nbRestartNogoods=101
259.35	       =>  wckTime=183.01  cpuTime=181.29  mem=18M5
316.62	   
316.62	   search
316.62	     run=6  nbConstraintChecks=768351206  nbValidityChecks=24482927  nbPropagations=0  nbRevisions=0
316.62	     nbUselessRevisions=0  nbAssignments=2551  nbFailedAssignments=2145  nbBacktracks=318  nbVisitedNodes=5015
316.62	     nbRestartNogoods=107
316.62	       =>  wckTime=240.288  cpuTime=238.05  mem=18M5
346.43	   
346.43	   search
346.43	     run=7  nbConstraintChecks=856330909  nbValidityChecks=28560645  nbPropagations=0  nbRevisions=0
346.43	     nbUselessRevisions=0  nbAssignments=3265  nbFailedAssignments=2678  nbBacktracks=489  nbVisitedNodes=6433
346.43	     nbRestartNogoods=123
346.43	       =>  wckTime=270.093  cpuTime=267.58  mem=18M5
413.11	   
413.11	   search
413.11	     run=8  nbConstraintChecks=1068198441  nbValidityChecks=38698398  nbPropagations=0  nbRevisions=0
413.11	     nbUselessRevisions=0  nbAssignments=4264  nbFailedAssignments=3413  nbBacktracks=745  nbVisitedNodes=8423
413.11	     nbRestartNogoods=177
413.11	       =>  wckTime=336.773  cpuTime=333.64  mem=18M5
469.81	   
469.81	   search
469.81	     run=9  nbConstraintChecks=1259575502  nbValidityChecks=46435264  nbPropagations=0  nbRevisions=0
469.81	     nbUselessRevisions=0  nbAssignments=5128  nbFailedAssignments=3878  nbBacktracks=1129  nbVisitedNodes=10136
469.81	     nbRestartNogoods=256
469.81	       =>  wckTime=393.478  cpuTime=389.82  mem=18M5
637.50	   
637.50	   search
637.50	     run=10  nbConstraintChecks=1741336010  nbValidityChecks=69269947  nbPropagations=0  nbRevisions=0
637.50	     nbUselessRevisions=0  nbAssignments=8587  nbFailedAssignments=6751  nbBacktracks=1706  nbVisitedNodes=17033
637.50	     nbRestartNogoods=292
637.50	       =>  wckTime=561.161  cpuTime=555.83  mem=18M5
912.04	   
912.04	   search
912.04	     run=11  nbConstraintChecks=2556257985  nbValidityChecks=116017959  nbPropagations=0  nbRevisions=0
912.04	     nbUselessRevisions=0  nbAssignments=13694  nbFailedAssignments=10986  nbBacktracks=2570  nbVisitedNodes=27239
912.04	     nbRestartNogoods=367
912.04	       =>  wckTime=835.702  cpuTime=827.78  mem=18M5
1073.37	   
1073.37	   search
1073.37	     run=12  nbConstraintChecks=3106667535  nbValidityChecks=139650980  nbPropagations=0  nbRevisions=0
1073.37	     nbUselessRevisions=0  nbAssignments=16500  nbFailedAssignments=12481  nbBacktracks=3867  nbVisitedNodes=32837
1073.37	     nbRestartNogoods=398
1073.37	       =>  wckTime=997.03  cpuTime=987.65  mem=18M5
1471.18	   
1471.18	   search
1471.18	     run=13  nbConstraintChecks=4387396828  nbValidityChecks=198565027  nbPropagations=0  nbRevisions=0
1471.18	     nbUselessRevisions=0  nbAssignments=24439  nbFailedAssignments=18463  nbBacktracks=5813  nbVisitedNodes=48695
1471.18	     nbRestartNogoods=470
1471.18	       =>  wckTime=1394.842  cpuTime=1381.84  mem=18M5
1903.14	   
1903.14	   search
1903.14	     run=14  nbConstraintChecks=5553743225  nbValidityChecks=277247729  nbPropagations=0  nbRevisions=0
1903.14	     nbUselessRevisions=0  nbAssignments=39586  nbFailedAssignments=30676  nbBacktracks=8732  nbVisitedNodes=78972
1903.14	     nbRestartNogoods=551
1903.14	       =>  wckTime=1826.803  cpuTime=1811.69  mem=18M5
2416.40	v 0 1 2 4 7 16 35 18 39 42 1 27 4 7 16 35 18 39 42 1 3 6 15 34 17 38 41 2 5 14 33 16 37 40 3 12 31 14 25 38 9 28 11 32 35 19 2 23 26 10 4 7 21 24 29

Verifier Data (download as text)

14 unsatisfied constraints, 1066 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-275915-1169229061 -o ROOT/results/node15/solver-275915-1169229061 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275915-1169229061/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: 2.05 2.02 2.00 2/87 7238
/proc/meminfo: memFree=1404560/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=18540 CPUtime=0
/proc/7237/stat : 7237 (runsolver) R 7235 7237 6239 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271301004 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7237/statm: 4635 279 244 17 0 2626 0

[startup+0.102797 s]
/proc/loadavg: 2.05 2.02 2.00 2/87 7238
/proc/meminfo: memFree=1404560/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=914852 CPUtime=0.07
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 2938 0 1 0 6 1 0 0 19 0 8 0 271301004 936808448 2684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151973145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228713 2684 1410 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852

[startup+0.510866 s]
/proc/loadavg: 2.05 2.02 2.00 2/87 7238
/proc/meminfo: memFree=1404560/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915332 CPUtime=0.47
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 6346 0 1 0 43 4 0 0 18 0 8 0 271301004 937299968 6085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228833 6085 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.334 s]
/proc/loadavg: 2.13 2.04 2.01 3/94 7245
/proc/meminfo: memFree=1383704/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=1.28
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7917 0 1 0 117 11 0 0 24 0 8 0 271301004 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7655 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.19
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 271301012 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452

[startup+2.97929 s]
/proc/loadavg: 2.13 2.04 2.01 3/94 7245
/proc/meminfo: memFree=1383640/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2.92
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7920 0 1 0 278 14 0 0 25 0 8 0 271301004 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7657 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.2
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 271301012 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452

[startup+6.26785 s]
/proc/loadavg: 2.12 2.04 2.01 3/94 7245
/proc/meminfo: memFree=1383576/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=6.18
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7922 0 1 0 594 24 0 0 25 0 8 0 271301004 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7659 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.2
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915452

[startup+12.752 s]
/proc/loadavg: 2.11 2.04 2.01 3/94 7245
/proc/meminfo: memFree=1383576/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=12.6
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7922 0 1 0 1221 39 0 0 25 0 8 0 271301004 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7659 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.2
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452

[startup+25.5982 s]
/proc/loadavg: 2.09 2.04 2.01 3/94 7245
/proc/meminfo: memFree=1383704/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=25.34
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7924 0 1 0 2467 67 0 0 25 0 8 0 271301004 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7661 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.21
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) R 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452

[startup+51.2106 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 7245
/proc/meminfo: memFree=1383768/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=50.73
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 7924 0 1 0 4945 128 0 0 25 0 8 0 271301004 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 7661 2499 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.21
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915452

[startup+102.43 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 7245
/proc/meminfo: memFree=1378200/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=101.5
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9373 0 1 0 9954 196 0 0 25 0 8 0 271301004 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7237/statm: 228863 9099 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.29
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 271301012 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915452

[startup+162.493 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 7245
/proc/meminfo: memFree=1378200/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=161.03
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9379 0 1 0 15906 197 0 0 25 0 8 0 271301004 937422848 9104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 7527
/proc/meminfo: memFree=1418976/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2068.68
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 206658 210 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.68
Current children cumulated vsize (KiB) 915452

[startup+2144.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 7527
/proc/meminfo: memFree=1419040/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2128.63
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 212653 210 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.63
Current children cumulated vsize (KiB) 915452

[startup+2204.77 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 7620
/proc/meminfo: memFree=1425888/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2188.65
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 218654 211 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.65
Current children cumulated vsize (KiB) 915452

[startup+2264.84 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 7620
/proc/meminfo: memFree=1425888/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2248.63
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 224651 212 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.63
Current children cumulated vsize (KiB) 915452

[startup+2324.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 7620
/proc/meminfo: memFree=1425888/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2308.65
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 230653 212 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.65
Current children cumulated vsize (KiB) 915452

[startup+2385.01 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 7620
/proc/meminfo: memFree=1425888/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2368.69
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 236657 212 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) R 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.69
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2416.39 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 7620
/proc/meminfo: memFree=1425888/2055920 swapFree=4173628/4192956
[pid=7237] ppid=7235 vsize=915452 CPUtime=2400.03
/proc/7237/stat : 7237 (java) R 7235 7237 6239 0 -1 0 9441 0 1 0 239791 212 0 0 25 0 8 0 271301004 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7237/statm: 228863 9156 2552 14 0 215333 0
[pid=7237/tid=7239] ppid=7235 vsize=915452 CPUtime=0.03
/proc/7237/task/7239/stat : 7239 (java) S 7235 7237 6239 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7240] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7240/stat : 7240 (java) S 7235 7237 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7241] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7241/stat : 7241 (java) S 7235 7237 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271301009 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7242] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7242/stat : 7242 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7243] ppid=7235 vsize=915452 CPUtime=0.32
/proc/7237/task/7243/stat : 7243 (java) S 7235 7237 6239 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7244] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7244/stat : 7244 (java) S 7235 7237 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271301012 937422848 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7237/tid=7245] ppid=7235 vsize=915452 CPUtime=0
/proc/7237/task/7245/stat : 7245 (java) S 7235 7237 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271301013 937422848 9156 18446744073709551615 134512640 134570532 4294956464 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): 2416.46
CPU time (s): 2400.1
CPU user time (s): 2397.97
CPU system time (s): 2.13168
CPU usage (%): 99.3232
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.97
system time used= 2.13167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9467
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= 50297
involuntary context switches= 97261

runsolver used 3.17052 s user time and 7.53585 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Jan 19 17:51:01 UTC 2007


IDJOB= 275915
IDBENCH= 5167
IDSOLVER= 68
FILE ID= node15/275915-1169229061

PBS_JOBID= 3588946

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-44-10-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275915-1169229061/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-275915-1169229061 -o ROOT/results/node15/solver-275915-1169229061 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275915-1169229061/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  04660a8636430499a1688ded3d6e50e4

RANDOM SEED= 875646182

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:       1405040 kB
Buffers:         50228 kB
Cached:         439148 kB
SwapCached:       5936 kB
Active:         225532 kB
Inactive:       351548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405040 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          98460 kB
Slab:            58388 kB
Committed_AS:  8125796 kB
PageTables:       2508 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 Fri Jan 19 18:31:18 UTC 2007