Trace number 276580

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.07 2412.26

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-14_ext.xml
MD5SUM6a733424b00122974afbb52c30dd3c16
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints81
Best CPU time to get the best result obtained on this benchmark2400.07
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
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/276580-1169241313/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.42	       =>  wckTime=0.104  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.78	   
0.78	   constraints being loaded...
0.91	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.91	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=8  maxArity=2
0.91	       =>  wckTime=0.6  cpuTime=0.54  mem=36M269
0.97	   
0.97	   solver LocalSearchSolver being built... 
1.01	       =>  wckTime=0.699  cpuTime=0.58  mem=7M375
1.03	
1.03	s SATISFIABLE
1.03	o 10
1.03	c 74
1.03	o 14
1.03	c 70
1.03	o 18
1.03	c 66
1.03	o 21
1.03	c 63
1.03	o 25
1.04	c 59
1.04	o 28
1.04	c 56
1.04	o 31
1.04	c 53
1.04	o 34
1.04	c 50
1.04	o 36
1.04	c 48
1.04	o 38
1.04	c 46
1.04	o 39
1.04	c 45
1.05	o 41
1.05	c 43
1.05	o 43
1.05	c 41
1.05	o 45
1.05	c 39
1.05	o 47
1.05	c 37
1.05	o 50
1.05	c 34
1.05	o 51
1.05	c 33
1.05	o 53
1.05	c 31
1.06	o 54
1.06	c 30
1.06	o 56
1.06	c 28
1.06	o 57
1.06	c 27
1.06	o 58
1.06	c 26
1.06	o 59
1.06	c 25
1.06	o 60
1.06	c 24
1.06	o 61
1.06	c 23
1.07	o 62
1.07	c 22
1.07	o 63
1.07	c 21
1.07	o 64
1.07	c 20
1.08	o 65
1.08	c 19
1.08	o 66
1.08	c 18
1.08	o 68
1.08	c 16
1.09	o 70
1.09	c 14
1.09	o 71
1.09	c 13
1.09	o 72
1.09	c 12
1.09	o 73
1.09	c 11
1.14	o 74
1.14	c 10
1.14	o 75
1.14	c 9
1.37	o 76
1.37	c 8
1.60	o 77
1.60	c 7
1.74	o 78
1.74	c 6
9.94	o 79
9.94	c 5
11.33	   
11.33	   search
11.33	     run=0  nbConstraintChecks=86999520  nbAssignments=10000
11.33	       =>  wckTime=10.316  cpuTime=10.23  mem=7M375
22.90	   
22.90	   search
22.90	     run=1  nbConstraintChecks=182865929  nbAssignments=20000
22.90	       =>  wckTime=21.89  cpuTime=21.75  mem=7M375
32.43	   
32.43	   search
32.43	     run=2  nbConstraintChecks=264076780  nbAssignments=30000
32.43	       =>  wckTime=31.417  cpuTime=31.25  mem=7M375
40.04	   
40.04	   search
40.04	     run=3  nbConstraintChecks=331596529  nbAssignments=38387
40.04	       =>  wckTime=39.024  cpuTime=38.86  mem=7M375
40.04	   
40.04	   global
40.04	     nbConstraintChecks=331596529  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.04	     solvingWckTime=39.02  solvingCpuTime=38.86  expiredTime=no  totalExploration=no  nbFoundSolutions=0
40.04	     globalCpuTime=39.49
40.04	       =>  wckTime=39.724  cpuTime=39.44  mem=7M375
40.04	   
40.04	   solver IterativeSystematicSolver being built... 
40.16	       =>  wckTime=39.845  cpuTime=39.54  mem=18M288
40.31	   
40.31	   preprocessing
40.31	     nbConstraintChecks=620930  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
40.31	     detectedInconsistency=no
40.31	       =>  wckTime=0.153  cpuTime=0.13  mem=18M288
42.33	   
42.33	   search
42.33	     run=0  nbConstraintChecks=17758386  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=654
42.33	     nbFailedAssignments=637  nbBacktracks=10  nbVisitedNodes=1302  nbRestartNogoods=0
42.33	       =>  wckTime=2.165  cpuTime=2.12  mem=18M288
43.22	   
43.22	   search
43.22	     run=1  nbConstraintChecks=23838530  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=805
43.22	     nbFailedAssignments=755  nbBacktracks=26  nbVisitedNodes=1587  nbRestartNogoods=61
43.22	       =>  wckTime=3.059  cpuTime=3.0  mem=18M288
47.91	   
47.91	   search
47.91	     run=2  nbConstraintChecks=65152682  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2217
47.91	     nbFailedAssignments=2137  nbBacktracks=48  nbVisitedNodes=4402  nbRestartNogoods=135
47.91	       =>  wckTime=7.749  cpuTime=7.67  mem=18M288
51.27	   
51.27	   search
51.27	     run=3  nbConstraintChecks=88545103  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2977
51.27	     nbFailedAssignments=2858  nbBacktracks=81  nbVisitedNodes=5916  nbRestartNogoods=305
51.27	       =>  wckTime=11.11  cpuTime=11.02  mem=18M288
58.28	   
58.28	   search
58.28	     run=4  nbConstraintChecks=146515446  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4971
58.28	     nbFailedAssignments=4797  nbBacktracks=131  nbVisitedNodes=9899  nbRestartNogoods=309
58.28	       =>  wckTime=18.116  cpuTime=18.0  mem=18M288
87.43	   
87.43	   search
87.43	     run=5  nbConstraintChecks=417645463  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13188
87.43	     nbFailedAssignments=12933  nbBacktracks=206  nbVisitedNodes=26327  nbRestartNogoods=426
87.43	       =>  wckTime=47.267  cpuTime=47.13  mem=18M288
96.57	   
96.57	   search
96.57	     run=6  nbConstraintChecks=482407673  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16416
96.57	     nbFailedAssignments=16038  nbBacktracks=319  nbVisitedNodes=32773  nbRestartNogoods=587
96.57	       =>  wckTime=56.405  cpuTime=56.26  mem=18M288
135.26	   
135.26	   search
135.26	     run=7  nbConstraintChecks=751140293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23598
135.26	     nbFailedAssignments=23038  nbBacktracks=489  nbVisitedNodes=47125  nbRestartNogoods=761
135.26	       =>  wckTime=95.102  cpuTime=94.91  mem=18M288
187.76	   
187.76	   search
187.76	     run=8  nbConstraintChecks=1125468947  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33095
187.76	     nbFailedAssignments=32271  nbBacktracks=745  nbVisitedNodes=66111  nbRestartNogoods=1135
187.76	       =>  wckTime=147.596  cpuTime=147.26  mem=18M288
214.14	   
214.14	   search
214.14	     run=9  nbConstraintChecks=1286709062  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38945
214.14	     nbFailedAssignments=37725  nbBacktracks=1129  nbVisitedNodes=77799  nbRestartNogoods=1452
214.14	       =>  wckTime=173.983  cpuTime=173.5  mem=18M288
281.03	   
281.03	   search
281.03	     run=10  nbConstraintChecks=1770991829  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59767
281.03	     nbFailedAssignments=57962  nbBacktracks=1705  nbVisitedNodes=119434  nbRestartNogoods=1656
281.03	       =>  wckTime=240.873  cpuTime=240.03  mem=18M288
392.63	   
392.63	   search
392.63	     run=11  nbConstraintChecks=2618187560  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=92626
392.63	     nbFailedAssignments=89945  nbBacktracks=2569  nbVisitedNodes=185140  nbRestartNogoods=2083
392.63	       =>  wckTime=352.468  cpuTime=351.06  mem=18M288
452.61	   
452.61	   search
452.61	     run=12  nbConstraintChecks=3034682148  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=113146
452.61	     nbFailedAssignments=109150  nbBacktracks=3866  nbVisitedNodes=226158  nbRestartNogoods=2175
452.61	       =>  wckTime=412.453  cpuTime=410.76  mem=18M288
559.77	   
559.77	   search
559.77	     run=13  nbConstraintChecks=3758412394  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=136137
559.77	     nbFailedAssignments=130185  nbBacktracks=5813  nbVisitedNodes=272113  nbRestartNogoods=2322
559.77	       =>  wckTime=519.606  cpuTime=517.34  mem=18M288
672.54	   
672.54	   search
672.54	     run=14  nbConstraintChecks=4559276454  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=164351
672.54	     nbFailedAssignments=155471  nbBacktracks=8732  nbVisitedNodes=328481  nbRestartNogoods=2345
672.54	       =>  wckTime=632.378  cpuTime=629.53  mem=18M288
812.90	   
812.90	   search
812.90	     run=15  nbConstraintChecks=5351364764  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=190328
812.90	     nbFailedAssignments=177060  nbBacktracks=13112  nbVisitedNodes=380046  nbRestartNogoods=2378
812.90	       =>  wckTime=772.736  cpuTime=769.14  mem=18M288
1020.95	   
1020.95	   search
1020.95	     run=16  nbConstraintChecks=6592814904  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=230544
1020.95	     nbFailedAssignments=210697  nbBacktracks=19680  nbVisitedNodes=460111  nbRestartNogoods=2439
1020.95	       =>  wckTime=980.79  cpuTime=976.11  mem=18M288
1350.45	   
1350.45	   search
1350.45	     run=17  nbConstraintChecks=8689244707  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=299217
1350.45	     nbFailedAssignments=269511  nbBacktracks=29533  nbVisitedNodes=596999  nbRestartNogoods=2485
1350.45	       =>  wckTime=1310.292  cpuTime=1303.9  mem=18M288
1393.05	o 80
1393.05	c 4
1459.98	o 81
1459.98	c 3
1807.41	   
1807.41	   search
1807.41	     run=18  nbConstraintChecks=11106005642  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=378367
1807.41	     nbFailedAssignments=333875  nbBacktracks=44311  nbVisitedNodes=752990  nbRestartNogoods=2541
1807.41	       =>  wckTime=1767.255  cpuTime=1758.44  mem=19M260
2412.14	v 174 13 7 98 12 136 0 42 79 4 90 58 9 11 123 62 60 163 160 86 177 0 160 144 12 158 74 115 0 32 9 34 42 20 95 9 124 72 24 6

Verifier Data (download as text)

3 unsatisfied constraints, 81 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/node7/watcher-276580-1169241313 -o ROOT/results/node7/solver-276580-1169241313 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276580-1169241313/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.92 1.98 1.99 5/86 14269
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=18540 CPUtime=0
/proc/14268/stat : 14268 (runsolver) R 14266 14268 13689 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 272526776 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14268/statm: 4635 279 244 17 0 2626 0

[startup+0.107664 s]
/proc/loadavg: 1.92 1.98 1.99 5/86 14269
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=914988 CPUtime=0.08
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 272526776 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515709 s]
/proc/loadavg: 1.92 1.98 1.99 5/86 14269
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915332 CPUtime=0.49
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 7414 0 1 0 44 5 0 0 18 0 8 0 272526776 937299968 7153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073589166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228833 7153 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33679 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 14276
/proc/meminfo: memFree=1285600/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=1.3
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14267 0 1 0 121 9 0 0 25 0 8 0 272526776 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228861 14005 2479 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272526780 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.12
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 272526784 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14005 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) 915444

[startup+2.98096 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 14276
/proc/meminfo: memFree=1285536/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2.94
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14273 0 1 0 277 17 0 0 25 0 8 0 272526776 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228861 14010 2479 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.13
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.1853 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 14276
/proc/meminfo: memFree=1285472/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=6.13
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14273 0 1 0 583 30 0 0 25 0 8 0 272526776 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228861 14010 2479 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.13
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915444

[startup+12.657 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 14276
/proc/meminfo: memFree=1285728/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=12.57
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14275 0 1 0 1207 50 0 0 25 0 8 0 272526776 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228861 14012 2479 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.13
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915444

[startup+25.5093 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 14276
/proc/meminfo: memFree=1285856/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=25.37
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14275 0 1 0 2442 95 0 0 25 0 8 0 272526776 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228861 14012 2479 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.13
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444

[startup+51.119 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 14337
/proc/meminfo: memFree=1249192/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=50.94
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14432 0 1 0 4936 158 0 0 25 0 8 0 272526776 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14162 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.23
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 272526784 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915444

[startup+102.343 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 14337
/proc/meminfo: memFree=1248808/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=102.09
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14438 0 1 0 10051 158 0 0 25 0 8 0 272526776 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14166 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.23
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 272526784 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915444

[startup+162.416 s]
/proc/loadavg: 1.99 1.98 1.99 4/100 14337
/proc/meminfo: memFree=1248808/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=162.11
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14439 0 1 0 16053 158 0 0 25 0 8 0 272526776 937414656 14166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.74
Current children cumulated vsize (KiB) 915444

[startup+2083.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 14339
/proc/meminfo: memFree=1248680/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2073.45
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 207179 166 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.45
Current children cumulated vsize (KiB) 915444

[startup+2143.88 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 14339
/proc/meminfo: memFree=1248616/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2133.18
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 213152 166 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.18
Current children cumulated vsize (KiB) 915444

[startup+2203.92 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 14339
/proc/meminfo: memFree=1248680/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2192.91
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 219125 166 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.91
Current children cumulated vsize (KiB) 915444

[startup+2263.97 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 14339
/proc/meminfo: memFree=1248616/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2252.62
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 225096 166 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812963 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.62
Current children cumulated vsize (KiB) 915444

[startup+2324.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 14339
/proc/meminfo: memFree=1248616/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2312.37
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 231070 167 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.37
Current children cumulated vsize (KiB) 915444

[startup+2384.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 14339
/proc/meminfo: memFree=1248680/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2372.1
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 237043 167 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.1
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 14339
/proc/meminfo: memFree=1248616/2055920 swapFree=4192812/4192956
[pid=14268] ppid=14266 vsize=915444 CPUtime=2400.01
/proc/14268/stat : 14268 (java) R 14266 14268 13689 0 -1 0 14442 0 1 0 239834 167 0 0 25 0 8 0 272526776 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228861 14168 2532 14 0 215331 0
[pid=14268/tid=14270] ppid=14266 vsize=915444 CPUtime=0.04
/proc/14268/task/14270/stat : 14270 (java) R 14266 14268 13689 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272526780 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915444 CPUtime=0.24
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13689 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915444 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272526784 937414656 14168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2412.26
CPU time (s): 2400.07
CPU user time (s): 2398.39
CPU system time (s): 1.68674
CPU usage (%): 99.4947
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.39
system time used= 1.68674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14461
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= 49925
involuntary context switches= 43501

runsolver used 3.15452 s user time and 7.04693 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Fri Jan 19 21:15:13 UTC 2007


IDJOB= 276580
IDBENCH= 5874
IDSOLVER= 68
FILE ID= node7/276580-1169241313

PBS_JOBID= 3589023

Free space on /tmp= 66558 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276580-1169241313/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-276580-1169241313 -o ROOT/results/node7/solver-276580-1169241313 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276580-1169241313/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6a733424b00122974afbb52c30dd3c16

RANDOM SEED= 830790870

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.220
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.220
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:       1332536 kB
Buffers:         52268 kB
Cached:         517980 kB
SwapCached:          0 kB
Active:         211476 kB
Inactive:       430288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3492 kB
Writeback:           0 kB
Mapped:          91900 kB
Slab:            66256 kB
Committed_AS:  7878464 kB
PageTables:       2328 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= 66558 MiB



End job on node7 on Fri Jan 19 21:55:26 UTC 2007